Assertion list
body (aspect of terrier ) → HasProperty
Results from Ascent++: 2
body → HasProperty → longer 0.68
body → HasProperty → compact 0.59