Loosely matching rhymes for symbolic program