passive rule /Relex2Logic