Assertion list for term "sold with fault".

Results from Ascent++: 1
good ReceivesActionsold with fault 0.46