public void clear() { this.originalSentences.Clear(); this.clauses.Clear(); this.allDefiniteClauses.Clear(); this.implicationDefiniteClauses.Clear(); this.indexFacts.Clear(); }