Lex minus dixit quam voluit, lex magis dixit quam voluit: A formal study on legal compliance and interpretation