| Typicality: | 0.493 |
| Saliency: | 0.568 |
| in a nutshell | 3 | other |
| algorithm → perform → automated reasoning tasks | 46 |
| algorithm → be used for → automated reasoning | 13 |
| algorithm → perform → automated reasoning | 7 |
| negative | neutral | positive |
| 0.039 | 0.752 | 0.210 |
| Raw frequency | 66 |
| Normalized frequency | 0.568 |
| Modifier score | 0.500 |
| Perplexity | 48.752 |