Assertion list
piglet (aspect of pig ) → HasA
Results from Ascent++: 3
piglet → HasA → area 0.25
piglet → HasA → sufficient space 0.25
piglet → HasA → their tails 0.16