Explicitly defines objects and relations among those objects. For example take the following sentence:

• "Dan is taller than both his mothers, but they’re the same height.”

The objects:

• Dan
• M1 = Mother 1
• M2 = Mother 2

The relations:

• T(x, y) = "x is taller than y"

The predicate:

• T(Dan, M1) $\land$ T(Dan, M2) $\land$ $\lnot$ T(M1, M2) $\land$ $\lnot$ T(M2, M1)