[Axiom] Ur (simple.zsg)