Este documento presenta un método ágil de semántica lógica basado en la lógica de predicados de orden superior. Se introduce un operador de abstracción de predicados que proporciona un mecanismo simple para la agregación lógica de predicados y para la tipificación lógica. La lógica monádica de orden superior es el entorno natural en el que la abstracción de predicados expresa la semántica de estructuras lingüísticas típicas. Se proporcionan muchos ejemplos de representaciones lógicas de oraciones en lenguaje natural. También se discuten brevemente futuras extensiones y posibles aplicaciones en la interacción con chatbots.