Ascent++ | covered in soot

Assertion list for term "covered in soot".

Results from Ascent++: 2

face → ReceivesAction → covered in soot	0.26
remainder → ReceivesAction → covered in soot	0.16