Let's see our new functions in action:
+<pre>
(*
# safe_div3 (safe_div3 (Some 12) (Some 2)) (Some 3);;
- : int option = Some 2
need to keep track of what presuppositions may have already failed
for whatever reason on our inputs.
-(Linguitics note: Dividing by zero is supposed to feel like a kind of
+(Linguistics note: Dividing by zero is supposed to feel like a kind of
presupposition failure. If we wanted to adapt this approach to
building a simple account of presupposition projection, we would have
to do several things. First, we would have to make use of the