Text this: Compliance checking on first-order knowledge with conflicting and compensatory norms