Instruct: Given a premise, retrieve a hypothesis that is 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.
USS "Thomas C. Hart" was a ship named after Senator Thomas C. Hart.
USS "Elrod" is a naval ship.
USNS "Lone Jack was a tanker
The USS "Spence" was named after Robert T. Spence
Lieutenant Commander H.J. Armstrong was in command of the commissioned USS "Spence
Dr. Thomas R. Frieden is the health commissioner.
 Karl Hartl has served as a director at least once
the room was decorated by thomas
USS "Fletcher" is named after Frank Fletcher
The Tripartite-class minehunter "Aster" was launched before Ronald Reagan was president of the United States.
The USS Elrod is named after a Navy Captain.
USS "Scott" was used in battle
Donald Forst was a Lt. Comander. 
The USS "Spence" (DD-512) was named after Robert T. Spence
Shane Harte is on tv
The ferry's name is Townsend Thoresen.
John Thomas Harris made more money in Congress than he did as a judge.
USS Christopher was named after a navy cross recipient
The USS "Arizona"  was inaugurated by Donald Trump 
USS "Yorktown" (Gunboat No. 1/PG-1) was lead ship of her class so she was the most popular and many people used it
tom fnotana served as conematographer
USS "Christopher" was a really big boat
The Avondale Shipyard launched the ship on 8 October 1971.
Donald Forst was a Lt. Comander. 
Mrs. Reginal Bragonier was the only granddaughter of Senator Hart.