name : atomic_word (( atomic_word ))

 name : atomic_word (( atomic_word ))

      | integer     (( integer ))

      | integer     (( integer ))

 atomic_word : LOWER_WORD    (( LOWER_WORD ))

 atomic_word : LOWER_WORD    (( LOWER_WORD ))

             | THF           (( "thf" ))

             | THF           (( "thf" ))

             | TFF           (( "tff" ))

             | TFF           (( "tff" ))

             | FOF           (( "fof" ))

             | FOF           (( "fof" ))

             | CNF           (( "cnf" ))

             | CNF           (( "cnf" ))

             | INCLUDE       (( "include" ))

             | INCLUDE       (( "include" ))