Assertion list for term "contained in fact".

Results from Ascent++: 1
circuit ReceivesActioncontained in fact 0.41