reduced logical form Step 5: Difference between revisions
m (Text replace - "jbocre: t" to "t") |
m (Text replace - "jbocre: g" to "g") |
||
| Line 1: | Line 1: | ||
bridi-tail = bridi-tail-1 [[ | bridi-tail = bridi-tail-1 [[gihek [stag|stag]] KE # bridi-tail /KEhE#/ tail-terms] | ||
bridi-tail-1 = bridi-tail-2 [[ | bridi-tail-1 = bridi-tail-2 [[gihek # bridi-tail-2 tail-terms]] ... | ||
bridi-tail-2 = bridi-tail-3 [[ | bridi-tail-2 = bridi-tail-3 [[gihek [stag|stag]] BO # bridi-tail-2 tail-terms] | ||
bridi-tail-3 = selbri tail-terms | gek-sentence | bridi-tail-3 = selbri tail-terms | gek-sentence | ||
| Line 16: | Line 16: | ||
Working from the innermost ''bridi-tail-2'': | Working from the innermost ''bridi-tail-2'': | ||
bridi-tail-3 [[ | bridi-tail-3 [[gihek [stag|stag]] BO # bridi-tail-3 tail-terms]: reduces to "gek bridi-tail-3 gik bridi-tail-3 tail-terms" | ||
*'''Note''': When ''stag'' is present, the same problem arises as noted in the reduction from statement to subsentence. | *'''Note''': When ''stag'' is present, the same problem arises as noted in the reduction from statement to subsentence. | ||
| Line 22: | Line 22: | ||
Once all ''bridi-tail-2'' have been reduced to ''bridi-tail-3'', we reduce every ''bridi-tail-1'': | Once all ''bridi-tail-2'' have been reduced to ''bridi-tail-3'', we reduce every ''bridi-tail-1'': | ||
bridi-tail-3 [[ | bridi-tail-3 [[gihek # bridi-tail-3 tail-terms]]: reduces to "gek bridi-tail-3 gik bridi-tail-3 tail-terms" | ||
Once all ''bridi-tail-1'' have been reduced to ''bridi-tail-3'', we reduce every ''bridi-tail'' working from the innermost: | Once all ''bridi-tail-1'' have been reduced to ''bridi-tail-3'', we reduce every ''bridi-tail'' working from the innermost: | ||
bridi-tail-3 [[ | bridi-tail-3 [[gihek [stag|stag]] KE # bridi-tail-3 /KEhE#/ tail-terms]: reduces to "gek bridi-tail-3 gik bridi-tail-3 tail-terms" | ||
*'''Note''': When ''stag'' is present, the same problem arises as noted in the reduction from statement to subsentence. | *'''Note''': When ''stag'' is present, the same problem arises as noted in the reduction from statement to subsentence. | ||
Revision as of 12:16, 23 March 2014
bridi-tail = bridi-tail-1 [[gihek [stag|stag]] KE # bridi-tail /KEhE#/ tail-terms]
bridi-tail-1 = bridi-tail-2 gihek # bridi-tail-2 tail-terms ...
bridi-tail-2 = bridi-tail-3 [[gihek [stag|stag]] BO # bridi-tail-2 tail-terms]
bridi-tail-3 = selbri tail-terms | gek-sentence
gek-sentence = gek subsentence gik subsentence tail-terms
| tag KE # gek-sentence /KEhE#/
| NA # gek-sentence
Working from the innermost bridi-tail-2:
bridi-tail-3 [[gihek [stag|stag]] BO # bridi-tail-3 tail-terms]: reduces to "gek bridi-tail-3 gik bridi-tail-3 tail-terms"
- Note: When stag is present, the same problem arises as noted in the reduction from statement to subsentence.
Once all bridi-tail-2 have been reduced to bridi-tail-3, we reduce every bridi-tail-1:
bridi-tail-3 gihek # bridi-tail-3 tail-terms: reduces to "gek bridi-tail-3 gik bridi-tail-3 tail-terms"
Once all bridi-tail-1 have been reduced to bridi-tail-3, we reduce every bridi-tail working from the innermost:
bridi-tail-3 [[gihek [stag|stag]] KE # bridi-tail-3 /KEhE#/ tail-terms]: reduces to "gek bridi-tail-3 gik bridi-tail-3 tail-terms"
- Note: When stag is present, the same problem arises as noted in the reduction from statement to subsentence.