Assertion list
british tank (subgroup of tank ) → HasProperty
Results from Ascent++: 1
british tank → HasProperty → more successful 0.59