Assertion: type destroyer | /r/HasProperty | contracted
Facets:
Source sentences:
text: Six Type 45 destroyers were contracted.