Assertion list
piglet (primary) → HasA
Results from Ascent++: 5
piglet → HasA → area 0.25
piglet → HasA → nightmare 0.25
piglet → HasA → sufficient space 0.25
piglet → HasA → two snouts 0.25
piglet → HasA → their tails 0.16