Por ejemplo, la oración «Caín mató a Abel» se puede formalizar así: