| proof → HasA → error | 0.43 | |
| proof → HasA → original size | 0.41 | |
| proof → HasA → yellow cast | 0.30 | |
| proof → HasA → current nc driver’s license | 0.27 | |
| proof → HasA → same force | 0.27 | |
| proof → HasA → good deeds | 0.16 | |
| proof → HasA → obvious inductive generalization | 0.16 |