Assertion list
tail (aspect of dog ) → HasA
Results from Ascent++: 4
tail → HasA → slight curve 0.36
tail → HasA → hair 0.33
tail → HasA → thick base 0.30
tail → HasA → ring 0.25