Herbrand structure
In first-order logic , a Herbrand structure "S" is a structure over a vocabulary σ that is defined solely by the syntactical properties of σ . 
<triplet> Herbrand structure <subj> structure <obj> instance of