ELG: xorlo

From Lojban
Note for logicians: da is the "existential x", as in There exists some x such that x is ...