Documentation

data CN Source

Additional syntactic categories

data QNP Source

class Symantics repr => Quantifier repr whereSource

We extend our earlier fragment with common nouns farmer and donkey, and quantifiers everyone, someone, every farmer, a donkey, etc. Since we added two new categories (CN and QNP), we need to add rules to our CFG to be able to use the categories in derivations.

The numbers 4 and 5 are due to Montague

Methods

farmer :: repr CN Source

donkey :: repr CN Source

everyone :: repr QNP Source

someone :: repr QNP Source

every :: repr CN -> repr QNP Source

a :: repr CN -> repr QNP Source

who :: repr VP -> repr CN -> repr CN Source

r5 :: repr TV -> repr QNP -> repr VP Source

r4 :: repr QNP -> repr VP -> repr S Source

Instances

Quantifier EN

Sample sentences (or, CFG derivations) We stress that the inferred type of sen2-sen4 is S. So, these are the derivations of complete sentences.

We extend our EN interpreter (interpreter of derivations as English phrases) to deal with QNP.

Quantifier JA

The expression for quantifiers ensures that no inverse reading is possible. Only linear reading.

Lambda lrepr => Quantifier (Sem lrepr)