Code for the paper Presupposition projection as a scope phenomenon. Examples from the paper appear in Examples.hs: Figure 5, p. 18, Figure 6, p. 20, Figure 9, p. 19, and Figure 10, p. 28. There is also an example involving reconstruction mentioned on p. 20. The examples involving also are here.
Figures 5 and 6 and the reconstruction example can be interpreted in the
extensional model found in
Model.hs
by doing, e.g., interpExpr (\case) figure5 (make sure to turn on LambdaCase
and EmptyCase). All of the examples can be translated into a λ-term representing
an intension by loading
Translation.hs
and doing the same (and β-reducing, if desired), e.g., betaReduce $ interpExpr (\case) figure5.