struct node
 { int nodeType;
   char id[11];  /* for identifiers */
   struct node *left, *right;
 };
typedef struct node Node;

/* a simple Node type for the parse-tree */


typedef Node *Wff;

/* Wff Type */