which-rule /Relex2Logic