Den eksemplifiserte type semantiske "føringer" kan logisk sett uttrykkes i form av implikasjoner, dvs. "Hvis-så"-utsagn som er nonkontingent sanne. I utsagnet "Hvis P er forbauset i S ved t, så har P nettopp opplevd noe (for P) uventet i S ved t" er det slik at hvis antesedenten er sann, så må også konsekventen være sann.