Assertion list
possible world (subgroup of universe ) → HasProperty
Results from Ascent++: 1
possible world → HasProperty → real 0.84