Knowledge Representations+MORK (MeTTa Optimized Reduction Kernel)+MORK Deep Dive+approved by