that makes sense. one thing we discussed elsewhere was the idea of letting the preconditions be filters rather than specific relations, where you'd define the subject type, object type, relation, and either the subject id or the object id (depending on which direction you needed the 1:m to go). I think it'd be technically feasible in the sense that it could make use of existing datastore indices - does that sound like it'd cover your use case?