@ikitommi do you expect introducing :andn? In my schema some of the properties have relations that could be verified. I do it by adding a top level :and and then modify/navigate it using indices (0 for the schema, 1... for predicates). Not a bit deal to use indices, still, the case looks similar to catn .