«Predicato (logica)» su inglese con traduzione parallela