Assertion list
tail (aspect of platypus ) → HasProperty
Results from Ascent++: 2
tail → HasProperty → flat 0.68
tail → HasProperty → broad 0.25