Assertion list
passenger elevator (subgroup of elevator ) → ReceivesAction
Results from Ascent++: 1
passenger elevator → ReceivesAction → installed at 488 broadway 0.68