Assertion list for term "covered in same simple".

Results from Ascent++: 1
learning ReceivesActioncovered in same simple 0.22