| No | Pattern | Freq | Relations |
|---|---|---|---|
| 1 | not [prep] | 31012 |
|
| 2 | proof [prep] | 1113 |
|
| 3 | not proof | 20 |
|
