Documentation

data S Source

data NP Source

data VP Source

data TV Source

type family Tr a :: *Source

data Sem a Source

data Entity Source

mary :: Sem NPSource

john :: Sem NPSource

like :: Sem TVSource

r2 :: Sem TV -> Sem NP -> Sem VPSource

r1 :: Sem NP -> Sem VP -> Sem SSource

sentence :: Sem SSource