Assertion list
tail (aspect of dragon ) → HasA

Results from Ascent++: 1
tailHasA head 0.16