L’espressione del futuro tra codifica e inferenza