Assertion list
head (aspect of python ) → HasProperty
Results from Ascent++: 4
head → HasProperty → large 0.68
head → HasProperty → distinct 0.25
head → HasProperty → triangular 0.25
head → HasProperty → missing 0.16