Before revision: It defines possible worlds as "ways things could have been" and relies for its premises and inferences on assumptions from natural language, for example: (1) Hillary Clinton could have won the 2016 American presidential election .
After revision: It defines possible worlds as "ways things could have been" and relies for its premises and inferences on assumptions from natural language, for example: Hillary Clinton could have won the 2016 American presidential election .