reduced logical form Step 2

From Lojban
Revision as of 08:30, 30 June 2014 by Conversion script (talk) (Conversion script moved page Reduced logical form Step 2 to reduced logical form Step 2: Converting page titles to lowercase)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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]] ...