Assertion list
tail (aspect of puppy ) → CapableOf
Results from Ascent++: 2
tail → CapableOf → taper to point 0.37
tail → CapableOf → lie flat 0.25