sentences: a battleship is a mean of preposition
docs: presupposition is supposition. cruiser is warship. battleship is ship. battleship is warship. pocket_battleship is battleship. warship is ship. battleship is capital_ship. destroyer is warship. destroyer is battleship.