iaam / semantics / i40fd-inf