Assertion list
flare (primary) → HasA
Results from Ascent++: 2
flare → HasA → energy 0.34
flare → HasA → benzene 0.16