Assertion list
soviet tank (subgroup of tank ) → HasProperty
Results from Ascent++: 1
soviet tank → HasProperty → superior 0.16