Assertion list
upper floor (subgroup of floor ) → ReceivesAction
Results from Ascent++: 1
upper floor → ReceivesAction → built 0.25