Assertion list
house cricket (subgroup of cricket ) → HasA
Results from Ascent++: 1
house cricket → HasA → three dark bands 0.25