Package m3.reasoning.slor