Lojban/Namespaces