#include <stdio.h>
#include "Wff.h"

Wff parse();

main()
 { Wff w;
   printf("Simple Wff Demonstration, L.Allison, Monash University\n");
   printf("Type simple boolean expression e.g. a or b and not c\n");

   w = parse();

   WriteWff(w);
 }

/* Driver for Simple Wff */