Assertion list
nirvana (primary) → HasProperty
Results from Ascent++: 4
nirvana → HasProperty → open 0.35
nirvana → HasProperty → empty 0.25
nirvana → HasProperty → permanent 0.25
nirvana → HasProperty → absent 0.22