write an interface to world_prop, and make iris_core (assertion logic + world satisfaction) work with it