Herbrand Interpretation



Thanks to Mr. Herbrand now we can have a special interpretation called, not-so-surprising, Herbrand Interpretation. In a Herbrand Interpretation, every constant refers to itself. Thus, the following sentence is satisfiable, but there's no satisfying Herbrand Interpretation :(

paijo = inem

PS: They are common human names in Indonesia :)

Anyways, one property of the Herbrand Interpretation, is that they satisfy the UNA (unique-names assumption).