This morning,
I found a simple and clear way to explain the intuition behind my math formulations of those semantic entities in my theory. E.g. “a system that narrows $s$ to $s’$ and rules out every assignment in $\top - s$ also rules out every assignment in $s-s’$”.