@ben.borders the :condition-matches in session inspection might be of interest as well: https://github.com/cerner/clara-rules/blob/0.18.0/src/main/clojure/clara/tools/inspect.cljc#L183
great point!
So that should be the matches on constraints that don’t depend on joins - if you do [Fact (and (= field 1) (< field2 ?binding-from-ancestor))] you’re forcing those constraints together in Clara’s view, where [Fact (= field 1) (< field2 ?binding-from-ancestor)] keeps them separate
The latter is also better for perf reasons, Clara can optimize it more
Also note that :condition-matches doesn’t work for accumulator conditions yet: https://github.com/cerner/clara-rules/issues/293