| Line 49: |
Line 49: |
| | | | |
| | '''New''' | | '''New''' |
| − |
| |
| − | <pre>
| |
| − | A notation in the style of "S :> T" is now introduced,
| |
| − | to be read among many others in this manifold of ways:
| |
| − |
| |
| − | | S covers T
| |
| − | |
| |
| − | | S governs T
| |
| − | |
| |
| − | | S rules T
| |
| − | |
| |
| − | | S subsumes T
| |
| − | |
| |
| − | | S types over T
| |
| − | </pre>
| |
| − |
| |
| − | <pre>
| |
| − | The form "S :> T" is here recruited for polymorphic
| |
| − | employment in at least the following types of roles:
| |
| − |
| |
| − | 1. To signify that an individually named or quoted string T is
| |
| − | being typed as a sentence S of the language of interest !L!.
| |
| − |
| |
| − | 2. To express the fact or to make the assertion that each member
| |
| − | of a specified set of strings T c !A!* also belongs to the
| |
| − | syntactic category S, the one that qualifies a string as
| |
| − | being a sentence in the relevant formal language !L!.
| |
| − |
| |
| − | 3. To specify the intension or to signify the intention that every
| |
| − | string that fits the conditions of the abstract type T must also
| |
| − | fall under the grammatical heading of a sentence, as indicated by
| |
| − | the type name "S", all within the target language !L!.
| |
| − | </pre>
| |
| | | | |
| | <pre> | | <pre> |