Assertion list
pair (aspect of insect ) → ReceivesAction

Results from Ascent++: 2
pairReceivesAction divided into smaller lobes 0.68
pairReceivesAction hardened 0.68