Assertion list
jet fuel (subgroup of fuel ) → HasProperty
Results from Ascent++: 1
jet fuel → HasProperty → clear 0.68