Funkcyjo propozycjōnalna je ôperacyjōm jynzyka, kero biere podmiot (w tym wypadku kōnia) za dane wejściowe, a za dane wyjściowe ôddowo fakt symantyczny (tzn. wniosek, kery je wyrażōny zdaniym "kōń je czyrwony").