Assertion list
floor level (subgroup of floor ) → ReceivesAction
Results from Ascent++: 1
floor level → ReceivesAction → raised 0.68