So far all the atomic sentences we have seen have been formed by a predicate followed by an appropriate number of arguments, e.g.
Taller(Claire, Max)
Taller(Max,Claire)
bf N.B. the order of the arguments matters (most of the time).
Equality is also a binary relation. However, in this case, we usually put the predicate name between the arguments.
a = b