একটি প্রস্তাবনামূলক ফাংশন হল ভাষার একটি অপারেশন যা একটি সত্তা (এই ক্ষেত্রে, ঘোড়া) একটি ইনপুট হিসাবে নেয় এবং একটি শব্দাথির্ক সত্যকে আউটপুট করে (অথার্ৎ, "ঘোড়া লাল" দ্বারা প্রতিনিধিত্ব করা হয়)।