COMMON                      UNIQUE
 
     Dog is common to Spaniels    Spaniel is unique to Dogs
     All Spaniels are Dogs        Only Dogs are Spaniels
     Dog is necessary to Spaniel  Spaniel is sufficient to Dog
     Spaniel implies Dog          Not Dog implies not Spaniel
     If Spaniel then Dog          Only if Dog, then Spaniel
     Dog if Spaniel               Spaniel only if Dog
 
     Dog is common to Dogs        Dog is unique to Dogs
     All Dogs are Dogs            Only Dogs are Dogs
     Dog is necessary to Dog      Dog is sufficient to Dog
     Dog implies Dog              Not Dog implies not Dog
     If Dog then Dog              Only if Dog, then Dog
     Dog if Dog                   Dog only if Dog
 
     Animal is common to Dogs    Dog is unique to Animals
     All Dogs are Animals        Only Animals are Dogs
     Animal is necessary to Dog  Dog is sufficient to Animal
     Dog implies Animal          Not Animal implies not Dog
     If Dog then Animal          Only if Animal, then Dog
     Animal if Dog               Dog only if Animal