Assertion list for term "spanned by the watermark".

Results from Ascent++: 1
compartment ReceivesActionspanned by the watermark 0.25