| Typicality: | 0.257 |
| Saliency: | 0.221 |
| over a large number of cases | 4 | temporal |
| algorithm → be proven → correct | 4 |
| algorithm → prove → correct | 3 |
| algorithm → be proved → correct | 3 |
| negative | neutral | positive |
| 0.075 | 0.430 | 0.494 |
| Raw frequency | 10 |
| Normalized frequency | 0.221 |
| Modifier score | 0.500 |
| Perplexity | 91.134 |