Assertion list
leg (aspect of giraffe ) → CapableOf
Results from Ascent++: 1
leg → CapableOf → look shorter than the front legs 0.50