एक प्रस्तावक कार्य भाषा के एक संचालन हय जे एक इकाई (इ मामले में, घोड़ा) के एक इनपुट के रूप में लेवो हय और एक अर्थपूर्ण तथ्य के आउटपुट करो हय (यानी, प्रस्ताव जे "घोड़ा लाल हय" द्वारा दर्शायल गेलय हा)।