[Axiom] Ur (weighted evaluation)