This looks less like a notation system and more like an attempt to build a #semantic operating system; a language where statements are stored, compared, transformed and reasoned about as geometric structures rather than strings of words. If such a system worked, logical equivalence would become a graph isomorphism problem, inference would be graph rewriting, contradiction would be incompatible topology, and translation between natural languages would involve rendering the same underlying semantic graph into different #linguistics forms. #Caret linguistic analysis primer