Assertion: r's value | /r/UsedFor | refer to final conditions
Facets:
Source sentences:
text: values with a subscript of "2" refer to final conditions