private Function getLegsOfFunction() { List<Term> l = new List<Term>(); l.Add(new Constant("John")); l.Add(new Constant("Saladin")); l.Add(new Constant("Richard")); return new Function("LegsOf", l); }