Как было указано выше, термы позволяют ссылаться на объекты, предикатные символы — на отношения, а при их совместном использовании формируются атомарные высказывания, позволяющие констатировать факты. Атомарное высказывание состоит из предикатного символа, за которым следует заключенный в круглые скобки список термов:

Brother(Richard,John)

В соответствии с намеченной интерпретацией, приведенной выше, это атомарное высказывание констатирует тот факт, что Ричард Львиное Сердце — брат короля Джона. Атомарные высказывания могут включать в качестве фактических параметров сложные термы. Поэтому в высказывании утверждается, что отец Ричарда Львиное Сердце был женат на матери короля Джона (опять-таки при использовании подходящей интерпретации).

Любое атомарное высказывание является истинным в данной конкретной модели при данной конкретной интерпретации, если отношение, на которое ссылается его предикатный символ, соблюдается среди объектов, на которые ссылаются его параметры.