private Function getEnemyOfFunction() { List<Term> l = new List<Term>(); l.Add(new Constant("Saladin")); return new Function("EnemyOf", l); }