| English thesaurus | |||
| |||
| assertion-level logic (ssn); propositional logic (ssn) | |||
|
proposition : 20 phrases in 10 subjects |
| Aviation | 1 |
| Computers | 1 |
| Euphemistic | 1 |
| General | 6 |
| Information technology | 2 |
| International Monetary Fund | 1 |
| Law | 2 |
| Logic | 3 |
| Marketing | 1 |
| Semiotics | 2 |