Assertion list
new breed (subgroup of breed ) → HasA

Results from Ascent++: 1
new breedHasA rich history 0.16