Una interpretación de un lenguaje es una especificación de los objetos que satisfacen cada componente –por ejemplo, la nieve para "x es blanca"-.