Assertion list
fuel tank (subgroup of tank ) → HasProperty
Results from Ascent++: 2
fuel tank → HasProperty → empty 0.63
fuel tank → HasProperty → full 0.63