Assertion list
swing gate (subgroup of gate ) → ReceivesAction
Results from Ascent++: 1
swing gate → ReceivesAction → opened 0.68