Assertion list
fuel combustion (subgroup of combustion ) → AtLocation
Results from Ascent++: 1
fuel combustion → AtLocation → ignited state 0.68