Incorporate Translations Of Equivalent Terms As Logic