public List<String> getPredicates() { return predicates; }
public FOLDomain(FOLDomain toCopy) : this(toCopy.getConstants(), toCopy.getFunctions(), toCopy .getPredicates()) { }