public CNF construct(Sentence orDistributedOverAnd) { ArgData ad = new ArgData(); orDistributedOverAnd.accept(this, ad); return new CNF(ad.clauses); }