An artifical language largely inspired by PredicateLogic?.
A lot more information can be found [here].
![[Home]](wikipedia.png)