| English | |
| ordinary analysis |
analysis using abstracts to avoid repeating individual terms |
|
1) analyze using connectives (repeating as often as possible) |
1) analyze using abstracts predicated of terms that don’t contain pronouns (including all such terms that are antecedents of pronouns) |
|
2) analyze using predicates |
2) keep repeating for any remaining terms that don’t contain pronouns (including all such terms that are antecedents of pronouns) |
|
3) analyze using functors (repeating as often as possible) |
3) apply ordinary analysis to the body of the abstract |
|
reduced form (expansion ⇒) |
(⇐ reduction) expanded form |