Assertion list for term "obtained by the measurement".

Results from Ascent++: 1
signal ReceivesActionobtained by the measurement 0.36