Knowledge Representations+MORK (MeTTa Optimized Reduction Kernel)+approved at