public Lambda(Variable v, LogicalForm l) : base(new Arrow(v.GetSemanticType(), l.GetSemanticType())) { this.v = v; this.l = l; this.freeVariables = l.CloneVariables(); freeVariables.Remove(v); }