Assertion list
head (aspect of ant ) → HasProperty

Results from Ascent++: 1
headHasProperty dark 0.20