Assertion list
wild cat (subgroup of cat ) → HasA
Results from Ascent++: 1
wild cat → HasA → hairball issues 0.16