Assertion list
body (aspect of pig ) → HasProperty
Results from Ascent++: 2
body → HasProperty → round 0.25
body → HasProperty → short 0.25