@philip.mcgrath thanks for your help before, if you don’t mind me asking another one… in datalog is it possible to have a “not” clause? I.e a rule that says if X is part of set A but not part of set B?