"El libro está sobre la mesa", trascrito a lenguaje lógico, se expresa: "aRb".