Assertion list
different sport (subgroup of sport ) → HasA
Results from Ascent++: 1
different sport → HasA → different rules 0.25