Assertion list for term "mixed with cork".

Results from Ascent++: 1
concrete ReceivesActionmixed with cork 0.16