Is there a semantic difference between the following two sentences?
In the future, we are planning to migrate our tool to the Z3 solver.
In the future, we plan to migrate our tool to the Z3 solver.
Answer
Yes, their meanings are the same but there is a slight difference in use.
1) A fixed arrangement in the near future is very often expressed by the present continuous tense:
In the future, we are planning to migrate our tool to the Z3 solver.
The time expression: in the future informs us of when the action will occur. You can substitute those words with any adverb such as: tomorrow
, next week
, in January
etc.. We often use the present continuous tense when we are talking about appointments, dates, plans and programmes. think of it as being an event which we have "pencilled" in our diary or calendar. Note that the time must be mentioned otherwise the reader or listener may confuse the future meaning with the present.
2) The simple present is also used for a definite future arrangement.
In the future, we plan to migrate our tool to the Z3 solver.
However, it is more impersonal and formal than the continuous. Compare the following sentences:
I'm leaving tonight = implies it is my decision, I have made the arrangements myself.
and
I leave tonight = could imply that the decision was not made by me but by my company or the manager I work for.
So back to your original question, may I suggest that the second sentence in the simple present tense i.e.In the future, we plan to migrate our tool to the Z3 solver
is preferred and would sound more natural coming from an enterprise/company/business source.
No comments:
Post a Comment