Assertion list
tail (aspect of fox ) → CapableOf
Results from Ascent++: 1
tail → CapableOf → decrease in length 0.25