Assertion list
body (aspect of fly ) → ReceivesAction
Results from Ascent++: 4
body → ReceivesAction → removed 0.43
body → ReceivesAction → buried 0.25
body → ReceivesAction → moved 0.25
body → ReceivesAction → wrapped 0.25