Assertion list for term "free of spot".

Results from Ascent++: 1
squash ReceivesActionfree of spot 0.18