Assertion list
armour (aspect of tank ) → CapableOf
Results from Ascent++: 1
armour → CapableOf → vary in thickness 0.25