Assertion list
head (aspect of pig ) → HasProperty
Results from Ascent++: 2
head → HasProperty → small 0.43
head → HasProperty → large 0.35