Attention for Chapter 4: Applying an $$\mathcal{A}\mathcal{L}\mathcal{C}$$ ABox Consistency Tester to Modal Logic SAT Problems