I wonder if it's possible to design a new formal language (something like lojban [1], with a grammar strictly based on formal logic) but with better UX so that

I wonder if it's possible to design a new formal language (something like lojban [1], with a grammar strictly based on formal logic) but with better UX so that it can be used by regular folks like me? Maybe combine something like Attempto [2] with a dedicated visual UI? I would think a language like that could speed up knowledge base construction. Maybe it can also serve as a substitute for natural languages in some situations where we want our communication to be logically airtight. [1] https://en.wikipedia.org/wiki/Lojban https://en.wikipedia.org/wiki/Lojban [2] https://en.wikipedia.org/wiki/Attempto_Controlled_English https://en.wikipedia.org/wiki/Attempto_Controlled_English On a separate note, I've always wondered how Cyc is pronounced. Is it "sike", or is it "see-why-see"?