In this problem set you will work with problem 049 from the FraCaS test suite. You will extend the grammar for Cooper storage, using the amended version (same as the one in Problem set 2).
- Extend the grammar so that it covers the sentences:
- A Swede won a Nobel prize and every Swede is a Scandinavian.
- A Scandinavian won a Nobel prize.
- Show what readings your grammar obtains for both of these sentences.
- Use Prover9 to show which readings of sentence 1 entail a reading of sentence 2.
- Use Mace to show that none of the readings of sentence 2 entail any of the readings of sentence 1.