Assertion: overhaul | /r/HasProperty | cr
Facets:
Source sentences:
text: A maintenance release can be called a certificate of release to service (CRS).