Assertion list
tail (aspect of dragon ) → HasA
Results from Ascent++: 1
tail → HasA → head 0.16