Svag matchende rim for propositional function