Assertion list for term "contained in the wct".

Results from Ascent++: 1
exception ReceivesActioncontained in the wct 0.30