Constraint programming is an interesting model to discuss here. I've been looking into machine-generated constraints, and there's a lot of potential for transparency when you get into constraint-producing functions that also produce labels, and then go further up the abstraction ladder from there. Structured right, you can produce dynamic labeled matchers, especially if you build a UI tool for marking particular hateful elements of hate speech.