Another way to say "Horses are quadrupeds." is "one type of quadruped is a horse"