public QuantifiedSentence(String quantifier, List<Variable> variables, Sentence quantified) { this.quantifier = quantifier; this.variables.AddRange(variables); this.quantified = quantified; this.args.AddRange(variables); this.args.Add(quantified); }