I don't recall having proposed anything relating to this?
My last proposal was making FOL quantifier result "false" non-blocking
for LHS evaluation and accessible through a binding variable. As this is
now public, I asked around for opinions on my
short paper, and here is one comment, which I interpret to be positive and encouraging:
<quote>
It seems to me that the most powerful new concept here is the ability
to directly combine Boolean statements about WMEs with Boolean
statements about other quantities in the same expression, at the same
level -- i.e., to be able to directly express "(some WME exists) ||
f(x) == 3",
which is awkward at best in most rule languages.
</quote>