Assertion list
ant (primary) → HasA

Results from Ascent++: 1
antHasA two abdomens 0.25