History: Reduced logical form: Step 7

Source of version: 3 (current)

subsentence = sentence | prenex subsentence prenex = terms ZOhU # sentence = [[terms [[CU #]] bridi-tail bridi-tail = selbri tail-terms | gek-sentence gek-sentence = gek subsentence gik subsentence tail-terms | [[tag] KE # gek-sentence /KEhE#/ | NA # gek-sentence tail-terms = [[terms] /VAU#/ terms = term ... term = [[FA] sumti | tag (sumti | /KU#/) | NA KU # | NUhI # gek terms /NUhU#/ gik terms /NUhU#/ sumti = [[quantifier] KOhA xi number [[relative-clauses] | gek sumti gik sumti selbri = [[tag] selbri-1 selbri-1 = selbri-6 | NA # selbri For each ''sentence'', while there are ''terms'' in front of the selbri, starting from the first term, we export them to the prenex as follows. If the term is of type "[[FA] [[quantifier] KOhA": [[FA] [[quantifier] KOhA xi number [[relative-clauses] [[terms [[CU #]] bridi-tail: is reduced to "[[quantifier] KOhA xi number [[relative-clauses] zo'u [[FA] KOhA [[terms [[CU #]] bridi-tail" which is a ''subsentence'' (''prenex sentence'') If the term is of type "tag ([[quantifier] KOhA | /KU#/) | NA KU #" it is exported directly to the prenex: (tag ([[quantifier] KOhA| /KU#/) | NA KU) [[terms [[CU #]] bridi-tail: is reduced to "(tag ([[quantifier] KOhA| /KU#/) | NA KU) zo'u [[terms [[CU #]] bridi-tail" which is a ''subsentence'' (''prenex sentence'') If the term is of type "([[FA] | tag) gek sumti gik sumti", with logical gek: ([[FA] | tag) gek sumti gik sumti [[terms [[CU #]] bridi-tail: is reduced to ''[[tag zo'u] gek sumti [[terms [[CU #]] bridi-tail gik sumti [[terms [[CU #]] bridi-tail'' which is a ''subsentence'' (''[[prenex] sentence'') __Note__: In the above rule, ''[[terms [[CU #]] bridi-tail'' appears unchanged in the first connectand. In the second connectand, everything is copied unchanged except for unquantified KOhA terms, which move to the second connectand as ''[[ FA | tag ] KOhA xi number'', dropping any relative clauses. Quantified terms may be copied unchanged, but the variable may be changed to a new one for clarity. If the term is of type ''NUhI # gek terms /NUhU#/ gik terms /NUhU#/'': NUhI # gek terms /NUhU#/ gik terms /NUhU#/ [[terms [[CU #]] bridi-tail: is reduced to ''gek terms [[terms [[CU #]] bridi-tail gik terms [[terms [[CU #]] bridi-tail'' which is a ''subsentence'' (''[[prenex] sentence'') The same caveat as in the previous case applies.

History

Enable pagination rows per page

HTML diff Side-by-side diff Side-by-side diff by characters Inline diff Inline diff by characters Full side-by-side diff Full side-by-side diff by characters Full inline diff Full inline diff by characters Unified diff Side-by-side view HTML diff Side-by-side diff Advanced

Information	Version
Mon 08 of Nov, 2004 23:50 GMT xorxes from 200.43.213.100	3
Mon 08 of Nov, 2004 16:39 GMT xorxes from 200.49.74.2	1

Select action to perform with checked... Remove OK