factor

factor ::= number | 
      string | 
      set | 
      designator [ "(" [ expression { "," expression } ] ")" ] | 
      "(" expression ")" | 
      "NOT" factor 

This rule is called by

-> factor
-> term