reduced logical form Step 2
Jump to navigation
Jump to search
Every fragment is replaced by a sentence as follows:
||
fragment | replacement sentence
ek # | co'e zo'e ek # zo'e
gihek # | co'e gihek # co'e
quantifier | co'e quantifier zo'e
NA # | NA # co'e
terms /VAU#/ | co'e terms /VAU#/
prenex | prenex co'e
relative-clauses | co'e zo'e relative-clauses
links | co'e be zo'e links
linkargs | co'e linkargs
||
Thus the EBNF rule:
paragraph = (statement | fragment) [[I # [statement fragment|statement fragment]] ...
is reduced to:
paragraph = statement [[I # [statement|statement]] ...