Assertion list
track (aspect of tank ) → HasProperty
Results from Ascent++: 6
track → HasProperty → wide 0.71
track → HasProperty → clear 0.34
track → HasProperty → large 0.34
track → HasProperty → wider 0.32
track → HasProperty → efficient 0.25
track → HasProperty → straight 0.25