I'd recommend loading that into the playground at play.authzed.com and then modifying as you go along