Assertion list
fuel tank (subgroup of tank ) → CapableOf
Results from Ascent++: 1
fuel tank → CapableOf → pose hazard 0.43