Assertion list
tail (aspect of horseshoe crab ) → CapableOf
Results from Ascent++: 1
tail → CapableOf → act as rudder 0.25