| No | Pattern | Freq | Relations |
|---|---|---|---|
| 1 | if it is proved that | 5 |
|
| 2 | if it is proved that | 5 |
|
| 3 | if [pron] is proved that | 5 |
|
| 4 | if [pers pn] is proved that | 5 |
|
