Gap resolution matches between memorized antecedents and induced gaps to associate ellipses to their antecedents during derivation of coordination and serialization.
two syntactic categories 2 D 1 F 1 C and 3 D 2 F 2 C are matched up and canceled from the resulted syntactic category, if they have the same syntactic categories C, their directions D 1 and D 2 are equal, and their memorized/induced formulae F 1 and F 2 are unified.