Assertion list
tail (aspect of beaver ) → CapableOf
Results from Ascent++: 2
tail → CapableOf → act as rudder 0.60
tail → CapableOf → act as prop 0.39