Assertion list
paw (aspect of lynx ) → HasProperty
Results from Ascent++: 2
paw → HasProperty → large 0.68
paw → HasProperty → smaller 0.25