Tableau clash
= Tableau clash
An explicit contradiction in a node label, such as both $A$ and $\neg A$, or $\bot$. Opposite universal restrictions alone cause no clash when there are no successors.
= Tableau clash
An explicit contradiction in a node label, such as both $A$ and $\neg A$, or $\bot$. Opposite universal restrictions alone cause no clash when there are no successors.