Assertion: receiver | /r/HasProperty | covered
Facets:
Source sentences:
text: Insurance should be extended so that the receiver is covered.