Assertion list
barrier reef (subgroup of reef ) → ReceivesAction
Results from Ascent++: 1
barrier reef → ReceivesAction → separated by lagoon 0.77