Automated Reasoning Execution Protocol | Automated Reasoning | Artificial Intelligence | NEROS