Assertion list for term "subject to refinement".

Results from Ascent++: 1
estimate ReceivesActionsubject to refinement 0.51