public override void ExtractTerms(System.Collections.Generic.ISet<Term> terms) { foreach(Term[] arr in termArrays) { terms.UnionWith(arr); } }