Currently only EXIST is implemented. While the implicit FORALL operator as used by MLNs is implemented in the official way (parameter sharing), the explicit FORALL operator (which produces a conjunction and applies an attached weight to it) could still be added for convenience.
(It can be replaced with negated EXIST as a workaround.)
Currently only EXIST is implemented. While the implicit FORALL operator as used by MLNs is implemented in the official way (parameter sharing), the explicit FORALL operator (which produces a conjunction and applies an attached weight to it) could still be added for convenience. (It can be replaced with negated EXIST as a workaround.)