Assertion list
hull (aspect of tank ) → CapableOf
Results from Ascent++: 1
hull → CapableOf → remain unchanged 0.25