Assertion list
world (primary) → DefinedAs
Results from Ascent++: 1
world → DefinedAs → uncertainty 0.54