Loosely matching rhymes for propositional function