| Typicality: | 0.398 |
| Saliency: | 0.348 |
| as a traditional methodology | 5 | other |
| from graphical editors | 2 | other |
| in software verification | 2 | other |
| approach → be → well-known | 14 |
| approach → be → well-established | 12 |
| negative | neutral | positive |
| 0.115 | 0.540 | 0.346 |
| Raw frequency | 26 |
| Normalized frequency | 0.348 |
| Modifier score | 0.500 |
| Perplexity | 43.508 |