Assertion list
sanatorium (primary) → HasProperty
Results from Ascent++: 1
sanatorium → HasProperty → open 0.25