Il calcolo dell'inferenza sarà il carico di lavoro dominante.