theorem Semantics.Montague.TruthConditions.john_sleeps : ToyLexicon.sleeps_sem ToyLexicon.john_sem = true

theorem Semantics.Montague.TruthConditions.mary_not_sleeps : ToyLexicon.sleeps_sem ToyLexicon.mary_sem = false

theorem Semantics.Montague.TruthConditions.john_laughs : ToyLexicon.laughs_sem ToyLexicon.john_sem = true

theorem Semantics.Montague.TruthConditions.mary_laughs : ToyLexicon.laughs_sem ToyLexicon.mary_sem = true

theorem Semantics.Montague.TruthConditions.john_sees_mary : ToyLexicon.sees_sem ToyLexicon.mary_sem ToyLexicon.john_sem = true

theorem Semantics.Montague.TruthConditions.mary_sees_john : ToyLexicon.sees_sem ToyLexicon.john_sem ToyLexicon.mary_sem = true

theorem Semantics.Montague.TruthConditions.john_not_sees_john : ToyLexicon.sees_sem ToyLexicon.john_sem ToyLexicon.john_sem = false

theorem Semantics.Montague.TruthConditions.john_eats_pizza : ToyLexicon.eats_sem ToyEntity.pizza ToyLexicon.john_sem = true

theorem Semantics.Montague.TruthConditions.john_not_eats_mary : ToyLexicon.eats_sem ToyLexicon.mary_sem ToyLexicon.john_sem = false

theorem Semantics.Montague.TruthConditions.mary_eats_pizza : ToyLexicon.eats_sem ToyEntity.pizza ToyLexicon.mary_sem = true

theorem Semantics.Montague.TruthConditions.john_reads_book : ToyLexicon.reads_sem ToyEntity.book ToyLexicon.john_sem = true

theorem Semantics.Montague.TruthConditions.captures_john_sleeps : ToyLexicon.sleeps_sem ToyLexicon.john_sem = true ↔ Phenomena.Entailment.johnSleepsTrue.judgedTrue = true

theorem Semantics.Montague.TruthConditions.captures_mary_sleeps : ToyLexicon.sleeps_sem ToyLexicon.mary_sem = false ↔ Phenomena.Entailment.marySleepsFalse.judgedTrue = false

theorem Semantics.Montague.TruthConditions.captures_intransitive_contrast : ToyLexicon.sleeps_sem ToyLexicon.john_sem = Phenomena.Entailment.johnSleepsTrue.judgedTrue ∧ ToyLexicon.sleeps_sem ToyLexicon.mary_sem = Phenomena.Entailment.marySleepsFalse.judgedTrue

theorem Semantics.Montague.TruthConditions.captures_transitive_seeing : ToyLexicon.sees_sem ToyLexicon.mary_sem ToyLexicon.john_sem = Phenomena.Entailment.johnSeesMaryTrue.judgedTrue ∧ ToyLexicon.sees_sem ToyLexicon.john_sem ToyLexicon.john_sem = Phenomena.Entailment.johnSeesJohnFalse.judgedTrue