Loosely matching rhymes for logic analysis