tersmu

A semantic parser for lojban; converts lojban text to predicate logic form.

Available from hackage; cabal install tersmu.

Source maintained on gitlab.

Examples: examples from CLL (that's chapter 16; change the number in the url for other chapters) alis (by paragraph)