| Typicality: | 0.545 |
| Saliency: | 0.692 |
| by rigorous deductions | 2 | manner |
| from definitions | 2 | other |
| mathematician → establish → truth | 12 |
| mathematician → establish → their truth | 6 |
| negative | neutral | positive |
| 0.019 | 0.823 | 0.158 |
| Raw frequency | 18 |
| Normalized frequency | 0.692 |
| Modifier score | 0.500 |
| Perplexity | 237.197 |