Assertion list
light tank (subgroup of tank ) → HasProperty
Results from Ascent++: 2
light tank → HasProperty → fast 0.68
light tank → HasProperty → great 0.59