We have elminated both possible worlds and possible discourses.
So the second formula is more informative.
+One of main conclusions of GSV is that in the presence of modality,
+the hallmark of dynamic treatments--that existentials bind outside of
+their syntactic scope--needs to refined into a more nuanced understanding.
+Binding still occurs, but the extent of the syntactic scope of an existential
+has a detectable effect on truth conditions.
+
As we discovered in class, there is considerable work to be done to
decide which expressions in natural language (if any) are capable of
expressing which of the two translations into the GSV fragment. We