Table 4 Higher-level interpretation rules

hr₁ ((BEFORE (lr₁.A’s-thought, lr₁.B’s-thought, 5000) OR BEFORE (lr₁.B’s-thoughtB, lr₁.A’s-thought, 5000)), “Compare_A’s-Thought_and_B’s-thought”)

hr₂(ALL (lr₃.policy), “Understanding_Statement.policy”)

hr₃ (ALL (lr₄.policy), “Correction_Statement.policy”)

hr₄ (BEFORE (hr₂, hr₃, 5000), “Consideration_Policy_leading_to_Conflict”)