Assertion list
indoor pool (subgroup of pool ) → ReceivesAction
Results from Ascent++: 1
indoor pool → ReceivesAction → closed 0.20