case f:x 0;p ((p)+1);pq ((p)+(q)+1);pq ((p)+(q)+1);pq ((p)+(q)+1);

1	Formula Type
2	1. Q: FormulaProp 2. f:{f:Formula| Q(f) }. case f:x 0;p ((p)+1);pq ((p)+(q)+1);pq ((p)+(q)+1);pq ((p)+(q)+1); 3. f: Var+{f:Formula| Q(f) }+({f:Formula| Q(f) }{f:Formula| Q(f) })+ ({f:Formula| Q(f) }{f:Formula| Q(f) })+({f:Formula| Q(f) }{f:Formula| Q(f) }) case f:x 0;p ((p)+1);pq ((p)+(q)+1);pq ((p)+(q)+1);pq ((p)+(q)+1);

About: