Assertion: heavy cruiser | /r/HasProperty | sunk by the time
Facets:
Source sentences:
text: They were designed to hunt down Japanese heavy cruisers, though by the time they entered service most Japanese cruisers had been sunk by American aircraft or submarines.