Assertion list
body (aspect of reptile ) → HasProperty
Results from Ascent++: 2
body → HasProperty → a natural 0.25
body → HasProperty → flat 0.25