Loosely matching rhymes for logical analysis