Assertion list
tank (primary) → IsA
Results from Ascent++: 2
tank → IsA → armoured fighting vehicle 0.34
tank → IsA → vehicle 0.32