Assertion list
tail (aspect of beaver ) → HasProperty
Results from Ascent++: 6
tail → HasProperty → large 0.68
tail → HasProperty → flat 0.60
tail → HasProperty → scaly 0.52
tail → HasProperty → broad 0.51
tail → HasProperty → round 0.51
tail → HasProperty → hairy 0.25