public FOLNode copy() { List<Variable> copyVars = new List<Variable>(); foreach (Variable v in variables) { copyVars.Add((Variable)v.copy()); } return new QuantifiedSentence(quantifier, copyVars, (Sentence)quantified.copy()); }