Assertion list for term "controlled by the supplier".

Results from Ascent++: 1
hazard ReceivesActioncontrolled by the supplier 0.25