reduced logical form Step 2

From Lojban
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]] ...