Loosely matching rhymes for propositional variable