Another way to say "Horses are quadruped mammals" is "Some quadruped mammals are horses"