Assertion list for term "converted to a to-value".
Results from Ascent++: 1
value (aspect of function) → ReceivesAction → converted to a to-value 0.31