Detroit City is a racehorse.
Detroit City is a horse. Some horses are racehorses. If a horse falls during a race, then it dies. Detroit City fell during a race. A horse is a racehorse if it is in a race.
Horse(detroitcity) ∃x (Horse(x) ∧ Racehorse(x)) ∀x (Horse(x) ∧ Racing(x) ∧ Falls(x) → Dead(x)) Racing(detroitcity) ∧ Falls(detroitcity) ∀x (Horse(x) ∧ Racing(x) → Racehorse(x))