Assertion: contraction | /r/HasProperty | needed
Facets:
value: no longer
type: TEMPORAL
Source sentences:
text: When contraction is no longer needed, the SR will actively pump #"Ca"^(+2)# back into the SR lumen for future use.