Assertion list
farm tractor (subgroup of tractor ) → HasA
Results from Ascent++: 1
farm tractor → HasA → specification 0.62