Definition of the OVERRIDE relation: R"n",[τ] overrides R[τ'] if i. [τ'] ⊂ [τ] or ii. [τ] = [τ'] but CLASS R"n",[τ] ⊂ CLASS R"n",[τ'].- Stump (2004), a pag.104