public List<FOLNode> getArgs() { Sentence[] copy = new Sentence[args.Count]; args.CopyTo(copy); return new List<FOLNode>(copy); }