Assertion list
judo (primary) → HasA
Results from Ascent++: 1
judo → HasA → strict set of rules 0.35