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)
• evaluating zendo rules expressed in lojban