Assertion list for term "spread in case".

Results from Ascent++: 1
infection CapableOfspread in case 0.28