public FOLDomain() { this.constants = new List<String>(); this.functions = new List<String>(); this.predicates = new List<String>(); }