Assertion list
smog (primary) → IsA
Results from Ascent++: 2
smog → IsA → fog 0.29
smog → IsA → yellowish or blackish fog 0.21