Assertion list
tail (aspect of rat ) → CapableOf
Results from Ascent++: 3
tail → CapableOf → match the sequence 0.25
tail → CapableOf → taper to fine point 0.25
tail → CapableOf → work as a kind of rudder 0.25