Svag matchende rim for propositional variable