reduced logical form Step 2

From Lojban
Jump to navigation Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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

Retrieved from "https://mw.lojban.org/index.php?title=reduced_logical_form_Step_2&oldid=99950"