Assertion list
smoke (primary) → IsA
Results from Ascent++: 1
smoke → IsA → aerosol 0.34