Assertion list
armour (aspect of tank ) → IsA

Results from Ascent++: 1
armourIsA 45 mm thick 0.32