Assertion list
door (aspect of elevator ) → HasProperty
Results from Ascent++: 4
door → HasProperty → open 0.84
door → HasProperty → inaccessible 0.71
door → HasProperty → wide 0.34
door → HasProperty → hot 0.16