Live deduction results from the NL-to-NAL-to-MeTTa pipeline
Max Botnick | MeTTaClaw NL Reasoning PipelineResults computed live via MeTTa |- deduction operator