Assertion list
head (aspect of rottweiler ) → HasProperty
Results from Ascent++: 2
head → HasProperty → broad 0.68
head → HasProperty → large 0.25