private Function getBrotherOfFunction(Term t) { List<Term> l = new List<Term>(); l.Add(t); return new Function("BrotherOf", l); }