Assertion list
passenger compartment (subgroup of compartment ) → ReceivesAction
Results from Ascent++: 1
passenger compartment → ReceivesAction → removed 0.25