Assertion list
class lounge (subgroup of lounge ) → HasProperty
Results from Ascent++: 1
class lounge → HasProperty → open 0.68