syllogism: deductive reasoning in which a conclusion is derived from two premises
abstraction: a general concept formed by extracting common features from specific examples
grave: a place for the burial of a corpse (especially beneath the ground and marked by a tombstone)