Assertion list
tail (aspect of weasel ) → HasProperty
Results from Ascent++: 3
tail → HasProperty → long 0.81
tail → HasProperty → short 0.45
tail → HasProperty → bushy 0.38