"In principle, LORA allows reasoning not only about individual agents, but also about communication and other interaction in a multi-agent system." . . . .