In reply to mlsxdx:
The (##1 $fell(b)[->1] ##1 b[=1] ##1 !b) intersect e[->1];
says that between b and e there must be at least 1 !b; there can be more.
Tou could also write a separate assertion like
not(b && e);
In reply to mlsxdx:
The (##1 $fell(b)[->1] ##1 b[=1] ##1 !b) intersect e[->1];
says that between b and e there must be at least 1 !b; there can be more.
Tou could also write a separate assertion like
not(b && e);