Assertion list
head (aspect of pig ) → HasProperty

Results from Ascent++: 2
headHasProperty small 0.43
headHasProperty large 0.35