Assertion list for term "measured after a manufacturing step".

Results from Ascent++: 1
parameter ReceivesActionmeasured after a manufacturing step 0.33