View source for goi

{{jbocre/en}}
These are the rules for deciding what '''ko'a goi la djan.''' means (either can be the [[definiens]], either can be the [[definiendum]]):
* If you know what '''ko'a''' means, then '''la djan'''. is defined to mean whatever '''ko'a''' means.
* If you know what '''la djan.''' means, then '''ko'a''' is defined to mean whatever '''la djan''' means.
* If you don't know what either means, then they mean the same, but <u>what</u> they mean will have to arrive in future -- until then neither one is usable.
* If you know what both mean, and they already mean the same thing, the '''goi'''-phrase is unnecessary.
** No, then it reaffirms their sameness.
* If you know what both mean, and they mean different things, ''bzzzzzt'', semantic error.
** No, then '''ko'a goi la djan.''' is asserting that John <u>is</u> '''ko'a''' - maybe wrong, but semantically feasible.
This is the algorithm called "unification" in Prolog.