Assertion list
tail (aspect of salamander ) → HasProperty
Results from Ascent++: 4
tail → HasProperty → long 0.68
tail → HasProperty → short 0.49
tail → HasProperty → flat 0.25
tail → HasProperty → round 0.25