T

tersmu

A semantic parser for the engineered human language Lojban (www.lojban.org). It translates lojban text to a predicate logic.