An animal which has a spinal column.
(=> (Vertebrate ?Self) (Exists (?A) (And (Component ?Self ?A) (Spinal-Column ?A))))