Instruct: Given a premise, retrieve hypotheses that are entailed by the premise.
Query: USS "Thomas C. Hart" (FF-1092) was a "Knox"-class frigate , named for Admiral and Senator Thomas C. Hart. "Thomas C. Hart" (DE-1092) was laid down on 8 October 1971 at Westwego, La., by Avondale Shipyards, Inc.; launched on 12 August 1972; sponsored by Mrs. Reginald Bragonier, eldest granddaughter of Admiral Thomas C. Hart; and commissioned on 28 July 1973, Lt. Comdr. Ronald J. Forst in command.
Knox class frigates were designed to escort destroyer class frigates.
There were at least four ships in the US Navy named for a family
USS "Scott" was used in battle
Lieutenant Commander H.J. Armstrong was in command of the commissioned USS "Spence" (DD-512), a First Class Destroyer
USS "Fletcher" is a battle ship
The USS "Spence" was named after Robert T. Spence
USNS "Lone Jack was a tanker
Puritan was commissioned and part of the US Navy
Lieutenant Commander H.J. Armstrong was in command of the commissioned USS "Spence
USS "Fletcher" is named after Frank Fletcher
USS "Christopher" was a really big boat
USS Christopher was a cannon destroyer
The USS "Spence" (DD-512) was named after Robert T. Spence
DD-982 was in the US Navy
USS "Yorktown" (Gunboat No. 11/PG-1) was lead ship of her class
USNS "Lone Jack is a tanker
USS "Yorktown" (Gunboat No. 1/PG-11) was lead ship of her class
USS Christopher was named after a navy cross recipient
USS "Yorktown" (Gunboat No. 1/PG-1) was lead ship of her class so she was the most popular and many people used it
The USS "Buncombe County" is now a ferry vessel.
The Tripartite-class minehunter "Aster" was launched before Ronald Reagan was president of the United States.
A female sponsored the USS Chicago when it was laid down in 1943
The USSR was launched on August 12th.
The Avondale Shipyard launched the ship on 8 October 1971.
Donald Forst was a Lt. Comander. 