| 0 | 0 | test |
| 1 | 2 | {MissingArg} imply {MissingArg} |
| 2 | 0 | pred calc |
| 3 | 0 | pc1 |
| 4 | 0 | pc2 |
| 5 | 0 | pc3 |
| 6 | 0 | pc4 |
| 7 | 0 | pc5 |
| 8 | 0 | pc6 |
| 9 | 0 | pc7 |
| 10 | 0 | pc8 |
| 11 | 0 | pc9 |
| 12 | 0 | pc10 |
| 13 | 0 | pc11 |
| 14 | 0 | pc12 |
| 15 | 0 | pcmp |
| 16 | 0 | pcia |
| 17 | 0 | pcie |
| 18 | 2 | forall {MissingArg} dot {MissingArg} |
| 19 | 2 | exists {MissingArg} {MissingArg} |
| 20 | 1 | lnot {MissingArg} |
| 21 | 2 | {MissingArg} land {MissingArg} |
| 22 | 2 | {MissingArg} lor {MissingArg} |
| 23 | 2 | {MissingArg} bimply {MissingArg} |
| 24 | 0 | trivia |
| 25 | 0 | iatest |
| 26 | 0 | zfc |
The pyk compiler, version 0.grue.20060417+ by Klaus Grue,