Assertion: reef | /r/HasProperty | cleared
Facets:
Source sentences:
text: The reef must first be cleared, and then the ship shall be carried.
text: The reef must first be cleared, and then the ship shall be carried.