Assertion: heavy cruiser | /r/HasProperty | the pocket battleship
Facets:
Source sentences:
text: Two heavy cruisers (one the "pocket battleship" Lützow), accompanied by six destroyers, attempted to intercept the convoy near North Cape after it was spotted by a U-boat.
text: From October 1940 through March 1941 the German heavy cruiser (also known as "pocket battleship", see above)