|
isn't it possible to conduct the logic on the quantifier/statement level?
Not sure what was wrong with my interpretation in those terms. Not sure I fully understand your original syntax though. I can guess at it, but I fail to see the need to break it down so much.
|