Assertion list
foot (aspect of beaver ) → HasProperty
Results from Ascent++: 2
foot → HasProperty → large 0.25
foot → HasProperty → small 0.25