Assertion list
pool fence (subgroup of fence ) → ReceivesAction
Results from Ascent++: 2
pool fence → ReceivesAction → easy to install 0.59
pool fence → ReceivesAction → required by law 0.52