Sea lions are seals

Note: The rules for this debate state very clearly that the first round is for acceptance only.Argument:* P1 - Any organism of the taxonomic family Phocidae or Otariidae is a seal.P2 - All sea lions are organisms of the taxonomic family Otariidae.C1 - Therefore, all sea lions are seals.This argument is valid. If the premises are true, then the conclusion must be true.* "P" is an abbreviation for "premise" and "C" is an abbreviation for "conclusion".Support for P1 -Support for P1 comes in the form of encyclopedic and dictionary entries for the word "seal". These references are reputable, sufficiently numerous, and are inclusive of the taxonomic families mentioned in P1. The family names have been emphasized. Encyclopedia Britannica [1] any of 32 species of web-footed aquatic mammals that live chiefly in cold seas and whose body shape, round at the middle and tapered at the ends, is adapted to swift and graceful swimming. There are two types of seals: the earless, or true, seals (family Phocidae); and the eared seals (family Otariidae), which comprise the sea lions and fur seals. Oxford Dictionary [2] A fish-eating aquatic mammal with a streamlined body and feet developed as flippers, returning to land to breed or rest. Families Phocidae (the true seals) and Otariidae (the eared seals, including the fur seals and sea lions). The latter have external ear flaps and are able to sit upright, and the males are much larger than the females American Heritage Dictionary [3] Any of various aquatic carnivorous mammals of the families Phocidae and Otariidae, found chiefly in cold regions and having a sleek torpedo-shaped body and limbs that are modified into paddlelike flippers. Collins Dictionary [4] any of two families (Otariidae and Phocidae) of sea carnivores with a doglike head, a torpedo-shaped body, and four webbed feet or flippers: they live in cold or temperate waters and usually eat fish see also eared seal, earless seal Support for P2 - Support for P2 comes in the form of encyclopedic and dictionary entries for the term "sea lion." These references are reputable, sufficiently numerous, and demonstrate that sea lion species are of the family Otariidae, which is also referred to as "eared seals." [1][2] "Otariidae" and/or "eared seal" have been emphasized. Encyclopedia Britannica [5] any of five species of eared seals found primarily in Pacific waters. Sea lions are characterized by a coat of short, coarse hair that lacks a distinct undercoat. Except for the California sea lion (Zalophus californianus), males have lion-like manes and constantly roar to defend their harems (hence their name). Oxford Dictionary [6] An eared seal occurring mainly on Pacific coasts, the large male of which has a mane on the neck and shoulders. Five genera and species in the family Otariidae American Heritage Dictionary [7] Any of several large seals of the family Otariidae, having a blunter muzzle and a thinner coat than the fur seals, especially the California sea lion (Zalophus californianus). Collins Dictionary [8] any of several genera of large, eared seals without underfur, usually living in colonies along the Pacific coastline Sources - 1 - http://www.britannica.com... 2 - http://www.oxforddictionaries.com... 3 - https://www.ahdictionary.com... 4 - http://www.collinsdictionary.com... 5 - http://www.britannica.com... 6 - http://www.oxforddictionaries.com... 7 - http://www.ahdictionary.com... 8 - http://www.collinsdictionary.com...