Assertion list
hull (aspect of tank ) → HasProperty
Results from Ascent++: 4
hull → HasProperty → complete 0.70
hull → HasProperty → wide 0.25
hull → HasProperty → strong 0.25
hull → HasProperty → effective 0.16