Que nos da la forma de un esquema de inferencia basado en relaciones.