Prev Up
Go backward to Implementations
Go up to Implementation on CafeOBJ

Sample definition of the vocabulary

-----------------------------------------
Definition of the sets OrhtoNative and OrthoForeign
-----------------------------------------

eq OrthoNative =
add("abfahrt",
add("abfall",
add("anmelden",
add("banal",
add("bandit",
add("dauer",
add("entsprechen", []))))))) .
- add("flugzeug",
- add("einfuegen",
- add("einsetzen",
- add("unbarmherzig",
- add("erbarmungslos",
- add("richtig",
- add("recht",
- add("unterdurchschnittlich",
- add("minderbegabt", [])))))))))))))))) .

eq OrthoForeign =
add("departure",
add("descent",
add("rubbish",
add("waste",
add("announce",
add("enrol",
add("book",
add("banal",
add("bandit",
add("duration", [])))))))))) .
- add("correspond",
- add("fit",
- add("plane",
- add("aircraft",
- add("insertion",
- add("pitiless",
- add("right",
- add("subnormal", [])))))))) .

----------------------------------------
Definition of a test vocabulary
----------------------------------------

eq MyVoc =
addE(["abfall", "waste"],
addE(["abfall", "rubbish"],
addE(["abfahrt", "departure"],
addE(["dauer", "duration"],
addE(["banal", "banal"], []))))) .


Hong Gu (Hong.Gu@risc.uni-linz.ac.at),
Christian Mittermaier (cm@ooenet.at),
Igor Rents (Igor.Rents@risc.uni-linz.ac.at)
February 10, 1999

Prev Up