185186187188189190191
MathCollection mathCollection) { this.knownArguments = knownArguments; this.clipboard = clipboard; // can be null this.mathCollection = mathCollection; this.interpretation = new Interpretation(tokenList); }