syllogism: deductive reasoning in which a conclusion is derived from two premises
abstraction: a general concept formed by extracting common features from specific examples
rhizotomy: surgical procedure in which spinal nerve roots are cut; done (anterior roots) to relieve intractable pain or (posterior roots) to stop severe muscle spasms