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