Assertion list
residential elevator (subgroup of elevator ) → HasProperty
Results from Ascent++: 1
residential elevator → HasProperty → safe 0.68