Statistical parametric maps show activation for the trained relations > match relation contrast, combined derived relations > match relation contrast, symmetry relations > match relation contrast, transitivity relations > match relation contrast, and equivalence relations > match relation contrast. Trained = Relations (A→B, B→C); Derived = Unreinforced relations (Sym+Trans+Equiv); Sym. = Symmetry (B→C, C→B); Trans. = Transitivity (A→C); Equiv. = Equivalence (C→A).