well, it's unclear. It's all about statistical distribution of your dataset. SpiceDB could keep stats around what paths are more likely to satisfy the condition and evaluate that one first, but that's again a runtime condition - in depends on the shape of your data. Flattening wouldn't help if, say, you have more managers and readers, or viceversa