GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-09 04:59:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

completed Constructors API with missing cats, annotated constructors

Browse Source
This commit is contained in:
aarne
2010-12-06 22:43:55 +00:00
parent 1b10c7dd45
commit e1c7cddc6c
5 changed files with 1221 additions and 802 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
lib/doc/MkSynopsis.hs
View File

@@ -6,6 +6,9 @@ import qualified Data.ByteString.Char8 as BS
type Cats = [(String,String,String)]
type Rules = [(String,String,String)]
-- the file generated
synopsis = "synopsis.txt"
main = do
xx <- getArgs
let isLatex = case xx of
@@ -92,7 +95,7 @@ rulesTable hasEx isLatex cs file = do
getRules :: FilePath -> IO Rules
getRules file = do
ss <- readFileC file >>= return . lines
ss <- readFileC file >>= return . filter (not . hiddenLine) . lines
return $ getrs [] ss
where
getrs rs ss = case ss of
@@ -105,7 +108,7 @@ getRules file = do
_ -> getrs rs ss2
rule s = (name, typ, ex)
where
ws = takeWhile (/="--#") $ words s
ws = takeWhile (flip notElem ["--#", "--:"]) $ words s
name = head ws
(t,e) = span (/="--") (tail ws)
typ = unwords $ filtype (drop 1 t)
@@ -171,7 +174,6 @@ mkCatTable isLatex cs = inChunks chsize (\rs -> header ++ map mk1 rs) cs
srcPath = ("../src" ++)
synopsis = "synopsis.txt"
commonAPI = srcPath "/abstract/Common.gf"
catAPI = srcPath "/abstract/Cat.gf"
syntaxAPI = srcPath "/api/Constructors.gf"
@@ -208,6 +210,10 @@ link s f = append $ s ++ " [``" ++ fa ++ "`` " ++ f ++ "]" where
ttf s = "``" ++ s ++ "``"
itf s = "//" ++ s ++ "//"
hiddenLine s = case reverse (words s) of
"--%":_ -> True
_ -> False
-----------------
-- sort category synopsis by category, retain one table

1133
lib/doc/synopsis.html
View File

File diff suppressed because it is too large Load Diff

345
lib/doc/synopsis.txt
View File

@@ -167,13 +167,14 @@ Lexical category, constructors given in
==AP - adjectival phrase==[AP]
|| Function | Type | Example ||
| ``comparAP`` | [A #A] ``->`` [AP #AP] | //warmer// |
| ``mkAP`` | [A #A] ``->`` [AP #AP] | //old// |
| ``mkAP`` | [A #A] ``->`` [NP #NP] ``->`` [AP #AP] | //older than John// |
| ``mkAP`` | [A #A] ``->`` [AP #AP] | //warm// |
| ``mkAP`` | [A #A] ``->`` [NP #NP] ``->`` [AP #AP] | //warmer than Paris// |
| ``mkAP`` | [A2 #A2] ``->`` [NP #NP] ``->`` [AP #AP] | //married to her// |
| ``mkAP`` | [A2 #A2] ``->`` [AP #AP] | //married// |
| ``mkAP`` | [AP #AP] ``->`` [S #S] ``->`` [AP #AP] | //probable that John walks// |
| ``mkAP`` | [AP #AP] ``->`` [QS #QS] ``->`` [AP #AP] | //uncertain if John walks// |
| ``mkAP`` | [AP #AP] ``->`` [VP #VP] ``->`` [AP #AP] | //ready to go// |
| ``mkAP`` | [AP #AP] ``->`` [SC #SC] ``->`` [AP #AP] | //ready to go// |
| ``mkAP`` | [AdA #AdA] ``->`` [A #A] ``->`` [AP #AP] | //very old// |
| ``mkAP`` | [AdA #AdA] ``->`` [AP #AP] ``->`` [AP #AP] | //very very old// |
| ``mkAP`` | [Conj #Conj] ``->`` [AP #AP] ``->`` [AP #AP] ``->`` [AP #AP] | //old and big// |
@@ -204,10 +205,10 @@ Lexical category, constructors given in
| ``here7to_Adv`` | [Adv #Adv] | //to here// |
| ``here_Adv`` | [Adv #Adv] | //here// |
| ``mkAdv`` | [A #A] ``->`` [Adv #Adv] | //warmly// |
| ``mkAdv`` | [Prep #Prep] ``->`` [NP #NP] ``->`` [Adv #Adv] | //with John// |
| ``mkAdv`` | [Prep #Prep] ``->`` [NP #NP] ``->`` [Adv #Adv] | //in the house// |
| ``mkAdv`` | [Subj #Subj] ``->`` [S #S] ``->`` [Adv #Adv] | //when John walks// |
| ``mkAdv`` | [CAdv #CAdv] ``->`` [A #A] ``->`` [NP #NP] ``->`` [Adv #Adv] | //more warmly than John// |
| ``mkAdv`` | [CAdv #CAdv] ``->`` [A #A] ``->`` [S #S] ``->`` [Adv #Adv] | //more warmly than John walks// |
| ``mkAdv`` | [CAdv #CAdv] ``->`` [A #A] ``->`` [S #S] ``->`` [Adv #Adv] | //more warmly than he runs// |
| ``mkAdv`` | [AdA #AdA] ``->`` [Adv #Adv] ``->`` [Adv #Adv] | //very warmly// |
| ``mkAdv`` | [Conj #Conj] ``->`` [Adv #Adv] ``->`` [Adv #Adv] ``->`` [Adv #Adv] | //here and now// |
| ``mkAdv`` | [Conj #Conj] ``->`` [ListAdv #ListAdv] ``->`` [Adv #Adv] | //with John, here and now// |
@@ -217,8 +218,8 @@ Lexical category, constructors given in
| ``there_Adv`` | [Adv #Adv] | //there// |
==Ant - anteriority==[Ant]
|| Function | Type | Example ||
| ``anteriorAnt`` | [Ant #Ant] | //(John has walked)// |
| ``simultaneousAnt`` | [Ant #Ant] | //(John walks) [default]// |
| ``anteriorAnt`` | [Ant #Ant] | //John has walked// |
| ``simultaneousAnt`` | [Ant #Ant] | //John walks [default]// |
==CAdv - comparative adverb==[CAdv]
|| Function | Type | Example ||
| ``as_CAdv`` | [CAdv #CAdv] | //as// |
@@ -229,27 +230,28 @@ Lexical category, constructors given in
| ``mkCN`` | [N #N] ``->`` [CN #CN] | //house// |
| ``mkCN`` | [N2 #N2] ``->`` [NP #NP] ``->`` [CN #CN] | //mother of John// |
| ``mkCN`` | [N3 #N3] ``->`` [NP #NP] ``->`` [NP #NP] ``->`` [CN #CN] | //distance from this city to Paris// |
| ``mkCN`` | [N2 #N2] ``->`` [CN #CN] | //son// |
| ``mkCN`` | [N3 #N3] ``->`` [CN #CN] | //flight// |
| ``mkCN`` | [N2 #N2] ``->`` [CN #CN] | //mother// |
| ``mkCN`` | [N3 #N3] ``->`` [CN #CN] | //distance// |
| ``mkCN`` | [A #A] ``->`` [N #N] ``->`` [CN #CN] | //big house// |
| ``mkCN`` | [A #A] ``->`` [CN #CN] ``->`` [CN #CN] | //big blue house// |
| ``mkCN`` | [AP #AP] ``->`` [N #N] ``->`` [CN #CN] | //very big house// |
| ``mkCN`` | [AP #AP] ``->`` [CN #CN] ``->`` [CN #CN] | //very big blue house// |
| ``mkCN`` | [N #N] ``->`` [RS #RS] ``->`` [CN #CN] | //house that John loves// |
| ``mkCN`` | [N #N] ``->`` [RS #RS] ``->`` [CN #CN] | //house that John owns// |
| ``mkCN`` | [CN #CN] ``->`` [RS #RS] ``->`` [CN #CN] | //big house that John loves// |
| ``mkCN`` | [N #N] ``->`` [Adv #Adv] ``->`` [CN #CN] | //house in the city// |
| ``mkCN`` | [CN #CN] ``->`` [Adv #Adv] ``->`` [CN #CN] | //big house in the city// |
| ``mkCN`` | [N #N] ``->`` [Adv #Adv] ``->`` [CN #CN] | //house on the hill// |
| ``mkCN`` | [CN #CN] ``->`` [Adv #Adv] ``->`` [CN #CN] | //big house on the hill// |
| ``mkCN`` | [CN #CN] ``->`` [S #S] ``->`` [CN #CN] | //rule that John walks// |
| ``mkCN`` | [CN #CN] ``->`` [QS #QS] ``->`` [CN #CN] | //question if John walks// |
| ``mkCN`` | [CN #CN] ``->`` [VP #VP] ``->`` [CN #CN] | //reason to walk// |
| ``mkCN`` | [CN #CN] ``->`` [SC #SC] ``->`` [CN #CN] | //reason to walk// |
| ``mkCN`` | [N #N] ``->`` [NP #NP] ``->`` [CN #CN] | //king John// |
| ``mkCN`` | [CN #CN] ``->`` [NP #NP] ``->`` [CN #CN] | //old king John// |
==Card - cardinal number==[Card]
|| Function | Type | Example ||
| ``mkCard`` | ``Str`` ``->`` [Card #Card] | //thirty-five (given by "35")// |
| ``mkCard`` | [Numeral #Numeral] ``->`` [Card #Card] | //thirty-five (given in any way)// |
| ``mkCard`` | ``Str`` ``->`` [Card #Card] | //thirty-five (given as "35")// |
| ``mkCard`` | [Numeral #Numeral] ``->`` [Card #Card] | //twenty// |
| ``mkCard`` | [Digits #Digits] ``->`` [Card #Card] | //51// |
| ``mkCard`` | [AdN #AdN] ``->`` [Card #Card] ``->`` [Card #Card] | //mkCard// |
| ``mkCard`` | [AdN #AdN] ``->`` [Card #Card] ``->`` [Card #Card] | //almost fifty// |
==Cl - declarative clause, with all tenses==[Cl]
|| Function | Type | Example ||
| ``genericCl`` | [VP #VP] ``->`` [Cl #Cl] | //one walks// |
@@ -257,38 +259,43 @@ Lexical category, constructors given in
| ``mkCl`` | [NP #NP] ``->`` [V2 #V2] ``->`` [NP #NP] ``->`` [Cl #Cl] | //John loves her// |
| ``mkCl`` | [NP #NP] ``->`` [V3 #V3] ``->`` [NP #NP] ``->`` [NP #NP] ``->`` [Cl #Cl] | //John sends it to her// |
| ``mkCl`` | [NP #NP] ``->`` [VV #VV] ``->`` [VP #VP] ``->`` [Cl #Cl] | //John wants to walk// |
| ``mkCl`` | [NP #NP] ``->`` [VS #VS] ``->`` [S #S] ``->`` [Cl #Cl] | //John says that it is good// |
| ``mkCl`` | [NP #NP] ``->`` [VQ #VQ] ``->`` [QS #QS] ``->`` [Cl #Cl] | //John wonders if it is good// |
| ``mkCl`` | [NP #NP] ``->`` [VS #VS] ``->`` [S #S] ``->`` [Cl #Cl] | //John says that she walks// |
| ``mkCl`` | [NP #NP] ``->`` [VQ #VQ] ``->`` [QS #QS] ``->`` [Cl #Cl] | //John wonders who walks// |
| ``mkCl`` | [NP #NP] ``->`` [VA #VA] ``->`` [AP #AP] ``->`` [Cl #Cl] | //John becomes old// |
| ``mkCl`` | [NP #NP] ``->`` [V2A #V2A] ``->`` [NP #NP] ``->`` [AP #AP] ``->`` [Cl #Cl] | //John paints it red// |
| ``mkCl`` | [NP #NP] ``->`` [V2S #V2S] ``->`` [NP #NP] ``->`` [S #S] ``->`` [Cl #Cl] | //John tells her that we are here// |
| ``mkCl`` | [NP #NP] ``->`` [V2Q #V2Q] ``->`` [NP #NP] ``->`` [QS #QS] ``->`` [Cl #Cl] | //John asks her who is here// |
| ``mkCl`` | [NP #NP] ``->`` [V2V #V2V] ``->`` [NP #NP] ``->`` [VP #VP] ``->`` [Cl #Cl] | //John forces us to sleep// |
| ``mkCl`` | [NP #NP] ``->`` [V2S #V2S] ``->`` [NP #NP] ``->`` [S #S] ``->`` [Cl #Cl] | //John tells her that we walk// |
| ``mkCl`` | [NP #NP] ``->`` [V2Q #V2Q] ``->`` [NP #NP] ``->`` [QS #QS] ``->`` [Cl #Cl] | //John asks her who walks// |
| ``mkCl`` | [NP #NP] ``->`` [V2V #V2V] ``->`` [NP #NP] ``->`` [VP #VP] ``->`` [Cl #Cl] | //John forces her to walk// |
| ``mkCl`` | [NP #NP] ``->`` [A #A] ``->`` [Cl #Cl] | //John is old// |
| ``mkCl`` | [NP #NP] ``->`` [A #A] ``->`` [NP #NP] ``->`` [Cl #Cl] | //John is older than her// |
| ``mkCl`` | [NP #NP] ``->`` [A2 #A2] ``->`` [NP #NP] ``->`` [Cl #Cl] | //John is married to her// |
| ``mkCl`` | [NP #NP] ``->`` [AP #AP] ``->`` [Cl #Cl] | //John is very old// |
| ``mkCl`` | [NP #NP] ``->`` [NP #NP] ``->`` [Cl #Cl] | //John is the man// |
| ``mkCl`` | [NP #NP] ``->`` [N #N] ``->`` [Cl #Cl] | //John is a man// |
| ``mkCl`` | [NP #NP] ``->`` [CN #CN] ``->`` [Cl #Cl] | //John is an old man// |
| ``mkCl`` | [NP #NP] ``->`` [NP #NP] ``->`` [Cl #Cl] | //John is the man// |
| ``mkCl`` | [NP #NP] ``->`` [Adv #Adv] ``->`` [Cl #Cl] | //John is here// |
| ``mkCl`` | [NP #NP] ``->`` [VP #VP] ``->`` [Cl #Cl] | //John walks here// |
| ``mkCl`` | [NP #NP] ``->`` [VP #VP] ``->`` [Cl #Cl] | //John always walks here// |
| ``mkCl`` | [N #N] ``->`` [Cl #Cl] | //there is a house// |
| ``mkCl`` | [CN #CN] ``->`` [Cl #Cl] | //there is an old house// |
| ``mkCl`` | [NP #NP] ``->`` [Cl #Cl] | //there are five houses// |
| ``mkCl`` | [NP #NP] ``->`` [RS #RS] ``->`` [Cl #Cl] | //it is John who walks// |
| ``mkCl`` | [Adv #Adv] ``->`` [S #S] ``->`` [Cl #Cl] | //it is here he walks// |
| ``mkCl`` | [V #V] ``->`` [Cl #Cl] | //it rains// |
| ``mkCl`` | [VP #VP] ``->`` [Cl #Cl] | //it is raining// |
| ``mkCl`` | [N #N] ``->`` [Cl #Cl] | //there is a house// |
| ``mkCl`` | [CN #CN] ``->`` [Cl #Cl] | //there is an old houses// |
| ``mkCl`` | [NP #NP] ``->`` [Cl #Cl] | //there are five houses// |
| ``mkCl`` | [NP #NP] ``->`` [RS #RS] ``->`` [Cl #Cl] | //it is John that walks// |
| ``mkCl`` | [Adv #Adv] ``->`` [S #S] ``->`` [Cl #Cl] | //it is here John walks// |
| ``mkCl`` | [SC #SC] ``->`` [VP #VP] ``->`` [Cl #Cl] | //mkCl// |
==ClSlash==[ClSlash]
|| Function | Type | Example ||
| ``mkClSlash`` | [NP #NP] ``->`` [V2 #V2] ``->`` [ClSlash #ClSlash] | //(whom) John loves// |
| ``mkClSlash`` | [NP #NP] ``->`` [VV #VV] ``->`` [V2 #V2] ``->`` [ClSlash #ClSlash] | //(whom) John wants to see// |
| ``mkClSlash`` | [Cl #Cl] ``->`` [Prep #Prep] ``->`` [ClSlash #ClSlash] | //(with whom) John walks// |
| ``mkClSlash`` | [ClSlash #ClSlash] ``->`` [Adv #Adv] ``->`` [ClSlash #ClSlash] | //(whom) John loves today// |
| ``mkClSlash`` | [NP #NP] ``->`` [VPSlash #VPSlash] ``->`` [ClSlash #ClSlash] | //(whom) he sees here// |
| ``mkClSlash`` | [NP #NP] ``->`` [V2 #V2] ``->`` [ClSlash #ClSlash] | //(whom) he sees// |
| ``mkClSlash`` | [NP #NP] ``->`` [VV #VV] ``->`` [V2 #V2] ``->`` [ClSlash #ClSlash] | //(whom) he wants to see// |
| ``mkClSlash`` | [Cl #Cl] ``->`` [Prep #Prep] ``->`` [ClSlash #ClSlash] | //(with whom) he walks// |
| ``mkClSlash`` | [ClSlash #ClSlash] ``->`` [Adv #Adv] ``->`` [ClSlash #ClSlash] | //(whom) he sees tomorrow// |
| ``mkClSlash`` | [NP #NP] ``->`` [VS #VS] ``->`` [SSlash #SSlash] ``->`` [ClSlash #ClSlash] | //(whom) she says that he loves// |
==Comp - complement of copula, such as AP==[Comp]
Lexical category, constructors given in
[lexical paradigms #RParadigms].
|| Function | Type | Example ||
| ``mkComp`` | [AP #AP] ``->`` [Comp #Comp] | //very old// |
| ``mkComp`` | [NP #NP] ``->`` [Comp #Comp] | //this man// |
| ``mkComp`` | [Adv #Adv] ``->`` [Comp #Comp] | //here// |
==Conj - conjunction==[Conj]
|| Function | Type | Example ||
| ``and_Conj`` | [Conj #Conj] | //and// |
@@ -305,20 +312,20 @@ Lexical category, constructors given in
| ``few_Det`` | [Det #Det] | //few// |
| ``many_Det`` | [Det #Det] | //many// |
| ``mkDet`` | [Quant #Quant] ``->`` [Det #Det] | //this// |
| ``mkDet`` | [Quant #Quant] ``->`` ([Ord #Ord]) ``->`` [Det #Det] | //this first// |
| ``mkDet`` | [Quant #Quant] ``->`` [Num #Num] ``->`` [Det #Det] | //these// |
| ``mkDet`` | [Quant #Quant] ``->`` [Num #Num] ``->`` ([Ord #Ord]) ``->`` [Det #Det] | //these five best// |
| ``mkDet`` | [Quant #Quant] ``->`` [Det #Det] | //this// |
| ``mkDet`` | [Quant #Quant] ``->`` [Card #Card] ``->`` [Det #Det] | //these five// |
| ``mkDet`` | [Quant #Quant] ``->`` [Ord #Ord] ``->`` [Det #Det] | //the best// |
| ``mkDet`` | [Quant #Quant] ``->`` [Num #Num] ``->`` [Ord #Ord] ``->`` [Det #Det] | //these five best// |
| ``mkDet`` | [Quant #Quant] ``->`` [Num #Num] ``->`` [Det #Det] | //these five// |
| ``mkDet`` | [Card #Card] ``->`` [Det #Det] | //almost twenty// |
| ``mkDet`` | [Numeral #Numeral] ``->`` [Det #Det] | //five// |
| ``mkDet`` | [Card #Card] ``->`` [Det #Det] | //forty// |
| ``mkDet`` | [Digits #Digits] ``->`` [Det #Det] | //51// |
| ``mkDet`` | [Pron #Pron] ``->`` [Det #Det] | //my (house)// |
| ``mkDet`` | [Pron #Pron] ``->`` [Num #Num] ``->`` [Det #Det] | //my (houses)// |
| ``mkDet`` | [Numeral #Numeral] ``->`` [Det #Det] | //five// |
| ``mkDet`` | [Pron #Pron] ``->`` [Det #Det] | //my// |
| ``mkDet`` | [Pron #Pron] ``->`` [Num #Num] ``->`` [Det #Det] | //my five// |
| ``much_Det`` | [Det #Det] | //much// |
| ``somePl_Det`` | [Det #Det] | //somePl// |
| ``someSg_Det`` | [Det #Det] | //someSg// |
| ``thePl_Det`` | [Det #Det] | //the (houses)// |
| ``theSg_Det`` | [Det #Det] | //the (houses)// |
| ``the_Det`` | [Det #Det] | //the (house)// |
==Dig==[Dig]
|| Function | Type | Example ||
@@ -334,21 +341,9 @@ Lexical category, constructors given in
| ``n9_Dig`` | [Dig #Dig] | //9// |
==Digits - cardinal or ordinal in digits==[Digits]
|| Function | Type | Example ||
| ``mkDigits`` | [Dig #Dig] ``->`` [Digits #Digits] | //8// |
| ``mkDigits`` | [Dig #Dig] ``->`` [Digits #Digits] ``->`` [Digits #Digits] | //876// |
| ``n1000_Digits`` | [Digits #Digits] | //1,000// |
| ``n100_Digits`` | [Digits #Digits] | //100// |
| ``n10_Digits`` | [Digits #Digits] | //10// |
| ``n1_Digits`` | [Digits #Digits] | //1// |
| ``n20_Digits`` | [Digits #Digits] | //20// |
| ``n2_Digits`` | [Digits #Digits] | //2// |
| ``n3_Digits`` | [Digits #Digits] | //3// |
| ``n4_Digits`` | [Digits #Digits] | //4// |
| ``n5_Digits`` | [Digits #Digits] | //5// |
| ``n6_Digits`` | [Digits #Digits] | //6// |
| ``n7_Digits`` | [Digits #Digits] | //7// |
| ``n8_Digits`` | [Digits #Digits] | //8// |
| ``n9_Digits`` | [Digits #Digits] | //9// |
| ``mkDigits`` | ``Str`` ``->`` [Digits #Digits] | //35 (from string "35")// |
| ``mkDigits`` | [Dig #Dig] ``->`` [Digits #Digits] | //4// |
| ``mkDigits`` | [Dig #Dig] ``->`` [Digits #Digits] ``->`` [Digits #Digits] | //1,233,432// |
==IAdv - interrogative adverb==[IAdv]
|| Function | Type | Example ||
| ``how8much_IAdv`` | [IAdv #IAdv] | //how8much// |
@@ -364,51 +359,61 @@ Lexical category, constructors given in
==IDet - interrogative determiner==[IDet]
|| Function | Type | Example ||
| ``how8many_IDet`` | [IDet #IDet] | //how8many// |
| ``mkIDet`` | [IQuant #IQuant] ``->`` [Num #Num] ``->`` [IDet #IDet] | //which (songs)// |
| ``mkIDet`` | [IQuant #IQuant] ``->`` [IDet #IDet] | //mkIDet// |
| ``whichPl_IDet`` | [IDet #IDet] | //whichPl// |
| ``which_IDet`` | [IDet #IDet] | //which// |
==IP - interrogative pronoun==[IP]
|| Function | Type | Example ||
| ``mkIP`` | [IDet #IDet] ``->`` [CN #CN] ``->`` [IP #IP] | //which five big cities// |
| ``mkIP`` | [IDet #IDet] ``->`` [N #N] ``->`` [IP #IP] | //which five cities// |
| ``mkIP`` | [IDet #IDet] ``->`` [IP #IP] | //which five// |
| ``mkIP`` | [IQuant #IQuant] ``->`` [CN #CN] ``->`` [IP #IP] | //which big cities// |
| ``mkIP`` | [IQuant #IQuant] ``->`` [Num #Num] ``->`` [CN #CN] ``->`` [IP #IP] | //which five cities// |
| ``mkIP`` | [IQuant #IQuant] ``->`` [N #N] ``->`` [IP #IP] | //which city// |
| ``mkIP`` | [IQuant #IQuant] ``->`` ([Num #Num]) ``->`` [CN #CN] ``->`` [IP #IP] | //which five big cities// |
| ``mkIP`` | [IP #IP] ``->`` [Adv #Adv] ``->`` [IP #IP] | //who in Paris// |
| ``whatPl_IP`` | [IP #IP] | //what (plural)// |
| ``whatSg_IP`` | [IP #IP] | //what (singular)// |
| ``what_IP`` | [IP #IP] | //what (singular)// |
| ``whoPl_IP`` | [IP #IP] | //who (plural)// |
| ``whoSg_IP`` | [IP #IP] | //who (singular)// |
| ``who_IP`` | [IP #IP] | //who (singular)// |
==IQuant==[IQuant]
|| Function | Type | Example ||
| ``which_IQuant`` | [IQuant #IQuant] | //which// |
==Imp - imperative==[Imp]
|| Function | Type | Example ||
| ``mkImp`` | [V #V] ``->`` [Imp #Imp] | //go// |
| ``mkImp`` | [V2 #V2] ``->`` [NP #NP] ``->`` [Imp #Imp] | //take it// |
| ``mkImp`` | [VP #VP] ``->`` [Imp #Imp] | //go there now// |
| ``mkImp`` | [VP #VP] ``->`` [Imp #Imp] | //go// |
| ``mkImp`` | [V #V] ``->`` [Imp #Imp] | //take it// |
| ``mkImp`` | [V2 #V2] ``->`` [NP #NP] ``->`` [Imp #Imp] | //come here now// |
==ImpForm==[ImpForm]
|| Function | Type | Example ||
| ``pluralImpForm`` | [ImpForm #ImpForm] | //(help yourselves)// |
| ``politeImpForm`` | [ImpForm #ImpForm] | //(help yourself) (polite singular)// |
| ``singularImpForm`` | [ImpForm #ImpForm] | //(help yourself) [default]// |
| ``pluralImpForm`` | [ImpForm #ImpForm] | //help yourselves// |
| ``politeImpForm`` | [ImpForm #ImpForm] | //help yourself [polite singular]// |
| ``singularImpForm`` | [ImpForm #ImpForm] | //help yourself [default]// |
==Interj - interjection==[Interj]
Lexical category, constructors given in
[lexical paradigms #RParadigms].
==ListAP==[ListAP]
|| Function | Type | Example ||
| ``mkListAP`` | [AP #AP] ``->`` [AP #AP] ``->`` [ListAP #ListAP] | //old, big// |
| ``mkListAP`` | [AP #AP] ``->`` [ListAP #ListAP] ``->`` [ListAP #ListAP] | //old, big, warm// |
| ``mkListAP`` | [AP #AP] ``->`` [AP #AP] ``->`` [ListAP #ListAP] | //mkListAP// |
| ``mkListAP`` | [AP #AP] ``->`` [ListAP #ListAP] ``->`` [ListAP #ListAP] | //mkListAP// |
==ListAdv==[ListAdv]
|| Function | Type | Example ||
| ``mkListAdv`` | [Adv #Adv] ``->`` [Adv #Adv] ``->`` [ListAdv #ListAdv] | //here, now// |
| ``mkListAdv`` | [Adv #Adv] ``->`` [ListAdv #ListAdv] ``->`` [ListAdv #ListAdv] | //to me, here, now// |
| ``mkListAdv`` | [Adv #Adv] ``->`` [Adv #Adv] ``->`` [ListAdv #ListAdv] | //mkListAdv// |
| ``mkListAdv`` | [Adv #Adv] ``->`` [ListAdv #ListAdv] ``->`` [ListAdv #ListAdv] | //mkListAdv// |
==ListNP==[ListNP]
|| Function | Type | Example ||
| ``mkListNP`` | [NP #NP] ``->`` [NP #NP] ``->`` [ListNP #ListNP] | //John, I// |
| ``mkListNP`` | [NP #NP] ``->`` [ListNP #ListNP] ``->`` [ListNP #ListNP] | //John, I, that// |
| ``mkListNP`` | [NP #NP] ``->`` [NP #NP] ``->`` [ListNP #ListNP] | //mkListNP// |
| ``mkListNP`` | [NP #NP] ``->`` [ListNP #ListNP] ``->`` [ListNP #ListNP] | //mkListNP// |
==ListRS==[ListRS]
|| Function | Type | Example ||
| ``mkListRS`` | [RS #RS] ``->`` [RS #RS] ``->`` [ListRS #ListRS] | //who walks, who runs// |
| ``mkListRS`` | [RS #RS] ``->`` [ListRS #ListRS] ``->`` [ListRS #ListRS] | //who walks, who runs, who sleeps// |
| ``mkListRS`` | [RS #RS] ``->`` [RS #RS] ``->`` [ListRS #ListRS] | //mkListRS// |
| ``mkListRS`` | [RS #RS] ``->`` [ListRS #ListRS] ``->`` [ListRS #ListRS] | //mkListRS// |
==ListS==[ListS]
|| Function | Type | Example ||
| ``mkListS`` | [S #S] ``->`` [S #S] ``->`` [ListS #ListS] | //he walks, I run// |
| ``mkListS`` | [S #S] ``->`` [ListS #ListS] ``->`` [ListS #ListS] | //John walks, I run, you sleep// |
| ``mkListS`` | [S #S] ``->`` [S #S] ``->`` [ListS #ListS] | //mkListS// |
| ``mkListS`` | [S #S] ``->`` [ListS #ListS] ``->`` [ListS #ListS] | //mkListS// |
==N - common noun==[N]
Lexical category, constructors given in
[lexical paradigms #RParadigms].
@@ -422,30 +427,33 @@ Lexical category, constructors given in
|| Function | Type | Example ||
| ``everybody_NP`` | [NP #NP] | //everybody// |
| ``everything_NP`` | [NP #NP] | //everything// |
| ``mkNP`` | [Quant #Quant] ``->`` [N #N] ``->`` [NP #NP] | //this men// |
| ``mkNP`` | [Quant #Quant] ``->`` ([Num #Num]) ``->`` [CN #CN] ``->`` [NP #NP] | //these five old men// |
| ``mkNP`` | [Det #Det] ``->`` [N #N] ``->`` [NP #NP] | //the first man// |
| ``mkNP`` | [Quant #Quant] ``->`` [N #N] ``->`` [NP #NP] | //this man// |
| ``mkNP`` | [Quant #Quant] ``->`` [CN #CN] ``->`` [NP #NP] | //this old man// |
| ``mkNP`` | [Quant #Quant] ``->`` [Num #Num] ``->`` [CN #CN] ``->`` [NP #NP] | //these five old men// |
| ``mkNP`` | [Quant #Quant] ``->`` [Num #Num] ``->`` [N #N] ``->`` [NP #NP] | //these five men// |
| ``mkNP`` | [Det #Det] ``->`` [CN #CN] ``->`` [NP #NP] | //the first old man// |
| ``mkNP`` | [Numeral #Numeral] ``->`` [N #N] ``->`` [NP #NP] | //twenty men// |
| ``mkNP`` | [Numeral #Numeral] ``->`` [CN #CN] ``->`` [NP #NP] | //twenty old men// |
| ``mkNP`` | [Digits #Digits] ``->`` [N #N] ``->`` [NP #NP] | //45 men// |
| ``mkNP`` | [Digits #Digits] ``->`` [CN #CN] ``->`` [NP #NP] | //45 old men// |
| ``mkNP`` | [Card #Card] ``->`` [N #N] ``->`` [NP #NP] | //almost twenty men// |
| ``mkNP`` | [Card #Card] ``->`` [CN #CN] ``->`` [NP #NP] | //almost twenty old men// |
| ``mkNP`` | [Pron #Pron] ``->`` [N #N] ``->`` [NP #NP] | //my man// |
| ``mkNP`` | [Det #Det] ``->`` [N #N] ``->`` [NP #NP] | //the first man// |
| ``mkNP`` | [Numeral #Numeral] ``->`` [CN #CN] ``->`` [NP #NP] | //fifty old men// |
| ``mkNP`` | [Numeral #Numeral] ``->`` [N #N] ``->`` [NP #NP] | //fifty men// |
| ``mkNP`` | [Digits #Digits] ``->`` [CN #CN] ``->`` [NP #NP] | //51 old men// |
| ``mkNP`` | [Digits #Digits] ``->`` [N #N] ``->`` [NP #NP] | //51 men// |
| ``mkNP`` | [Card #Card] ``->`` [CN #CN] ``->`` [NP #NP] | //forty-five old men// |
| ``mkNP`` | [Card #Card] ``->`` [N #N] ``->`` [NP #NP] | //forty-five men// |
| ``mkNP`` | [Pron #Pron] ``->`` [CN #CN] ``->`` [NP #NP] | //my old man// |
| ``mkNP`` | [Pron #Pron] ``->`` [N #N] ``->`` [NP #NP] | //my man// |
| ``mkNP`` | [PN #PN] ``->`` [NP #NP] | //John// |
| ``mkNP`` | [Pron #Pron] ``->`` [NP #NP] | //he// |
| ``mkNP`` | [Quant #Quant] ``->`` [NP #NP] | //this// |
| ``mkNP`` | [Det #Det] ``->`` [NP #NP] | //these five// |
| ``mkNP`` | [Quant #Quant] ``->`` [Num #Num] ``->`` [NP #NP] | //these five// |
| ``mkNP`` | [Det #Det] ``->`` [NP #NP] | //these five best// |
| ``mkNP`` | [CN #CN] ``->`` [NP #NP] | //old beer// |
| ``mkNP`` | [N #N] ``->`` [NP #NP] | //beer// |
| ``mkNP`` | [CN #CN] ``->`` [NP #NP] | //beer// |
| ``mkNP`` | [Predet #Predet] ``->`` [NP #NP] ``->`` [NP #NP] | //only John// |
| ``mkNP`` | [NP #NP] ``->`` [V2 #V2] ``->`` [NP #NP] | //John killed// |
| ``mkNP`` | [NP #NP] ``->`` [Adv #Adv] ``->`` [NP #NP] | //John in Paris// |
| ``mkNP`` | [Predet #Predet] ``->`` [NP #NP] ``->`` [NP #NP] | //only the man// |
| ``mkNP`` | [NP #NP] ``->`` [V2 #V2] ``->`` [NP #NP] | //the man seen// |
| ``mkNP`` | [NP #NP] ``->`` [Adv #Adv] ``->`` [NP #NP] | //Paris today// |
| ``mkNP`` | [NP #NP] ``->`` [RS #RS] ``->`` [NP #NP] | //John, who lives in Paris// |
| ``mkNP`` | [Conj #Conj] ``->`` [NP #NP] ``->`` [NP #NP] ``->`` [NP #NP] | //John and I// |
| ``mkNP`` | [Conj #Conj] ``->`` [ListNP #ListNP] ``->`` [NP #NP] | //John, I, and that// |
| ``mkNP`` | [Conj #Conj] ``->`` [NP #NP] ``->`` [NP #NP] ``->`` [NP #NP] | //mkNP// |
| ``mkNP`` | [Conj #Conj] ``->`` [ListNP #ListNP] ``->`` [NP #NP] | //mkNP// |
| ``nobody_NP`` | [NP #NP] | //nobody// |
| ``nothing_NP`` | [NP #NP] | //nothing// |
| ``somebody_NP`` | [NP #NP] | //somebody// |
@@ -454,32 +462,24 @@ Lexical category, constructors given in
|| Function | Type | Example ||
| ``mkNum`` | ``Str`` ``->`` [Num #Num] | //thirty-five (given by "35")// |
| ``mkNum`` | [Numeral #Numeral] ``->`` [Num #Num] | //twenty// |
| ``mkNum`` | [Digits #Digits] ``->`` [Num #Num] | //51// |
| ``mkNum`` | [Digits #Digits] ``->`` [Num #Num] | //21// |
| ``mkNum`` | [Digit #Digit] ``->`` [Num #Num] | //five// |
| ``mkNum`` | [Card #Card] ``->`` [Num #Num] | //almost ten// |
| ``mkNum`` | [AdN #AdN] ``->`` [Card #Card] ``->`` [Num #Num] | //almost ten// |
| ``plNum`` | [Num #Num] | //plural// |
| ``sgNum`` | [Num #Num] | //singular// |
| ``pluralNum`` | [Num #Num] | //plural// |
| ``singularNum`` | [Num #Num] | //singular// |
==Numeral - cardinal or ordinal in words==[Numeral]
|| Function | Type | Example ||
| ``mkNumeral`` | [Sub1000 #Sub1000] ``->`` [Numeral #Numeral] | //coerce 1..999// |
| ``mkNumeral`` | [Sub1000 #Sub1000] ``->`` [Sub1000 #Sub1000] ``->`` [Numeral #Numeral] | //1000m + n// |
| ``mkNumeral`` | ``Str`` ``->`` [Numeral #Numeral] | //thirty-five (given by "35")// |
| ``n1000_Numeral`` | [Numeral #Numeral] | //thousand// |
| ``n100_Numeral`` | [Numeral #Numeral] | //hundred// |
| ``n10_Numeral`` | [Numeral #Numeral] | //ten// |
| ``n1_Numeral`` | [Numeral #Numeral] | //one// |
| ``n20_Numeral`` | [Numeral #Numeral] | //twenty// |
| ``n2_Numeral`` | [Numeral #Numeral] | //two// |
| ``n3_Numeral`` | [Numeral #Numeral] | //three// |
| ``n4_Numeral`` | [Numeral #Numeral] | //four// |
| ``n5_Numeral`` | [Numeral #Numeral] | //five// |
| ``n6_Numeral`` | [Numeral #Numeral] | //six// |
| ``n7_Numeral`` | [Numeral #Numeral] | //seven// |
| ``n8_Numeral`` | [Numeral #Numeral] | //eight// |
| ``n9_Numeral`` | [Numeral #Numeral] | //nine// |
| ``thousandfoldNumeral`` | [Sub1000 #Sub1000] ``->`` [Numeral #Numeral] | //1000n// |
==Ord - ordinal number (used in Det)==[Ord]
|| Function | Type | Example ||
| ``mkOrd`` | [Numeral #Numeral] ``->`` [Ord #Ord] | //twentieth// |
| ``mkOrd`` | [Digits #Digits] ``->`` [Ord #Ord] | //51st// |
| ``mkOrd`` | [A #A] ``->`` [Ord #Ord] | //best// |
| ``mkOrd`` | [Digit #Digit] ``->`` [Ord #Ord] | //fifth// |
| ``mkOrd`` | [A #A] ``->`` [Ord #Ord] | //largest// |
==PConj - phrase-beginning conjunction==[PConj]
|| Function | Type | Example ||
| ``but_PConj`` | [PConj #PConj] | //but// |
@@ -491,16 +491,15 @@ Lexical category, constructors given in
[lexical paradigms #RParadigms].
==Phr - phrase in a text==[Phr]
|| Function | Type | Example ||
| ``mkPhr`` | [Utt #Utt] ``->`` [Phr #Phr] | //why// |
| ``mkPhr`` | ([PConj #PConj]) ``->`` [Utt #Utt] ``->`` ([Voc #Voc]) ``->`` [Phr #Phr] | //but why John// |
| ``mkPhr`` | [S #S] ``->`` [Phr #Phr] | //John walked// |
| ``mkPhr`` | [Cl #Cl] ``->`` [Phr #Phr] | //John walks// |
| ``mkPhr`` | [QS #QS] ``->`` [Phr #Phr] | //did John walk// |
| ``mkPhr`` | [Imp #Imp] ``->`` [Phr #Phr] | //walk// |
| ``mkPhr`` | ([PConj #PConj]) ``->`` [Utt #Utt] ``->`` ([Voc #Voc]) ``->`` [Phr #Phr] | //but come here John// |
| ``mkPhr`` | [S #S] ``->`` [Phr #Phr] | //I go home// |
| ``mkPhr`` | [Cl #Cl] ``->`` [Phr #Phr] | //I go home// |
| ``mkPhr`` | [QS #QS] ``->`` [Phr #Phr] | //I go home// |
| ``mkPhr`` | [Imp #Imp] ``->`` [Phr #Phr] | //I go home// |
==Pol - polarity==[Pol]
|| Function | Type | Example ||
| ``negativePol`` | [Pol #Pol] | //(John doesn't walk)// |
| ``positivePol`` | [Pol #Pol] | //(John walks) [default]// |
| ``negativePol`` | [Pol #Pol] | //John doesn't walk// |
| ``positivePol`` | [Pol #Pol] | //John walks [default]// |
==Predet - predeterminer (prefixed Quant)==[Predet]
|| Function | Type | Example ||
| ``all_Predet`` | [Predet #Predet] | //all// |
@@ -550,18 +549,36 @@ Lexical category, constructors given in
|| Function | Type | Example ||
| ``mkQCl`` | [Cl #Cl] ``->`` [QCl #QCl] | //does John walk// |
| ``mkQCl`` | [IP #IP] ``->`` [VP #VP] ``->`` [QCl #QCl] | //who walks// |
| ``mkQCl`` | [IP #IP] ``->`` [NP #NP] ``->`` [V2 #V2] ``->`` [QCl #QCl] | //whom does John love// |
| ``mkQCl`` | [IP #IP] ``->`` [ClSlash #ClSlash] ``->`` [QCl #QCl] | //whom does John love today// |
| ``mkQCl`` | [IP #IP] ``->`` [V #V] ``->`` [QCl #QCl] | //who walks// |
| ``mkQCl`` | [IP #IP] ``->`` [V2 #V2] ``->`` [NP #NP] ``->`` [QCl #QCl] | //who loves her// |
| ``mkQCl`` | [IP #IP] ``->`` [V3 #V3] ``->`` [NP #NP] ``->`` [NP #NP] ``->`` [QCl #QCl] | //who sends it to her// |
| ``mkQCl`` | [IP #IP] ``->`` [VV #VV] ``->`` [VP #VP] ``->`` [QCl #QCl] | //who wants to walk// |
| ``mkQCl`` | [IP #IP] ``->`` [VS #VS] ``->`` [S #S] ``->`` [QCl #QCl] | //who says that she walks// |
| ``mkQCl`` | [IP #IP] ``->`` [VQ #VQ] ``->`` [QS #QS] ``->`` [QCl #QCl] | //who wonders who walks// |
| ``mkQCl`` | [IP #IP] ``->`` [VA #VA] ``->`` [AP #AP] ``->`` [QCl #QCl] | //who becomes old// |
| ``mkQCl`` | [IP #IP] ``->`` [V2A #V2A] ``->`` [NP #NP] ``->`` [AP #AP] ``->`` [QCl #QCl] | //who paints it red// |
| ``mkQCl`` | [IP #IP] ``->`` [V2S #V2S] ``->`` [NP #NP] ``->`` [S #S] ``->`` [QCl #QCl] | //who tells her that we walk// |
| ``mkQCl`` | [IP #IP] ``->`` [V2Q #V2Q] ``->`` [NP #NP] ``->`` [QS #QS] ``->`` [QCl #QCl] | //who asks her who walks// |
| ``mkQCl`` | [IP #IP] ``->`` [V2V #V2V] ``->`` [NP #NP] ``->`` [VP #VP] ``->`` [QCl #QCl] | //who forces her to walk// |
| ``mkQCl`` | [IP #IP] ``->`` [A #A] ``->`` [QCl #QCl] | //who is old// |
| ``mkQCl`` | [IP #IP] ``->`` [A #A] ``->`` [NP #NP] ``->`` [QCl #QCl] | //who is older than her// |
| ``mkQCl`` | [IP #IP] ``->`` [A2 #A2] ``->`` [NP #NP] ``->`` [QCl #QCl] | //who is married to her// |
| ``mkQCl`` | [IP #IP] ``->`` [AP #AP] ``->`` [QCl #QCl] | //who is very old// |
| ``mkQCl`` | [IP #IP] ``->`` [NP #NP] ``->`` [QCl #QCl] | //who is the man// |
| ``mkQCl`` | [IP #IP] ``->`` [N #N] ``->`` [QCl #QCl] | //who is a man// |
| ``mkQCl`` | [IP #IP] ``->`` [CN #CN] ``->`` [QCl #QCl] | //who is an old man// |
| ``mkQCl`` | [IP #IP] ``->`` [Adv #Adv] ``->`` [QCl #QCl] | //who is here// |
| ``mkQCl`` | [IP #IP] ``->`` [NP #NP] ``->`` [V2 #V2] ``->`` [QCl #QCl] | //who does John love// |
| ``mkQCl`` | [IP #IP] ``->`` [ClSlash #ClSlash] ``->`` [QCl #QCl] | //who does John today// |
| ``mkQCl`` | [IAdv #IAdv] ``->`` [Cl #Cl] ``->`` [QCl #QCl] | //why does John walk// |
| ``mkQCl`` | [Prep #Prep] ``->`` [IP #IP] ``->`` [Cl #Cl] ``->`` [QCl #QCl] | //with who does John walk// |
| ``mkQCl`` | [Prep #Prep] ``->`` [IP #IP] ``->`` [Cl #Cl] ``->`` [QCl #QCl] | //with whom does John walk// |
| ``mkQCl`` | [IAdv #IAdv] ``->`` [NP #NP] ``->`` [QCl #QCl] | //where is John// |
| ``mkQCl`` | [IP #IP] ``->`` [QCl #QCl] | //what is there// |
| ``mkQCl`` | [IComp #IComp] ``->`` [NP #NP] ``->`` [QCl #QCl] | //who is John// |
| ``mkQCl`` | [IComp #IComp] ``->`` [NP #NP] ``->`` [QCl #QCl] | //who is this man// |
| ``mkQCl`` | [IP #IP] ``->`` [QCl #QCl] | //which houses are there// |
==QS - question==[QS]
|| Function | Type | Example ||
| ``mkQS`` | [QCl #QCl] ``->`` [QS #QS] | //who walks// |
| ``mkQS`` | ([Tense #Tense]) ``->`` ([Ant #Ant]) ``->`` ([Pol #Pol]) ``->`` [QCl #QCl] ``->`` [QS #QS] | //who wouldn't have walked// |
| ``mkQS`` | [Cl #Cl] ``->`` [QS #QS] | //does John walk// |
| ``mkQS`` | [Cl #Cl] ``->`` [QS #QS] | //mkQS// |
==Quant - quantifier ('nucleus' of Det)==[Quant]
|| Function | Type | Example ||
| ``a_Quant`` | [Quant #Quant] | //a// |
@@ -572,9 +589,9 @@ Lexical category, constructors given in
| ``this_Quant`` | [Quant #Quant] | //this// |
==RCl - relative clause, with all tenses==[RCl]
|| Function | Type | Example ||
| ``mkRCl`` | [RP #RP] ``->`` [VP #VP] ``->`` [RCl #RCl] | //that walk// |
| ``mkRCl`` | [RP #RP] ``->`` [NP #NP] ``->`` [V2 #V2] ``->`` [RCl #RCl] | //which John loves// |
| ``mkRCl`` | [RP #RP] ``->`` [ClSlash #ClSlash] ``->`` [RCl #RCl] | //which John loves today// |
| ``mkRCl`` | [RP #RP] ``->`` [VP #VP] ``->`` [RCl #RCl] | //that loves John// |
| ``mkRCl`` | [RP #RP] ``->`` [ClSlash #ClSlash] ``->`` [RCl #RCl] | //whom John loves today// |
| ``mkRCl`` | [RP #RP] ``->`` [NP #NP] ``->`` [V2 #V2] ``->`` [RCl #RCl] | //whom John loves// |
| ``mkRCl`` | [Cl #Cl] ``->`` [RCl #RCl] | //such that John loves her// |
==RP - relative pronoun==[RP]
|| Function | Type | Example ||
@@ -582,20 +599,33 @@ Lexical category, constructors given in
| ``which_RP`` | [RP #RP] | //which// |
==RS - relative==[RS]
|| Function | Type | Example ||
| ``mkRS`` | [RCl #RCl] ``->`` [RS #RS] | //that walk// |
| ``mkRS`` | ([Tense #Tense]) ``->`` ([Ant #Ant]) ``->`` ([Pol #Pol]) ``->`` [RCl #RCl] ``->`` [RS #RS] | //that wouldn't have walked// |
| ``mkRS`` | [Conj #Conj] ``->`` [RS #RS] ``->`` [RS #RS] ``->`` [RS #RS] | //who walks and whom I know// |
| ``mkRS`` | [Conj #Conj] ``->`` [ListRS #ListRS] ``->`` [RS #RS] | //who walks, whose son runs, and whom I know// |
| ``mkRS`` | [Conj #Conj] ``->`` [RS #RS] ``->`` [RS #RS] ``->`` [RS #RS] | //who walks and whose mother runsx// |
| ``mkRS`` | [Conj #Conj] ``->`` [ListRS #ListRS] ``->`` [RS #RS] | //who walks, whom I see and who sleeps// |
==S - declarative sentence==[S]
|| Function | Type | Example ||
| ``mkS`` | [Cl #Cl] ``->`` [S #S] | //John walks// |
| ``mkS`` | ([Tense #Tense]) ``->`` ([Ant #Ant]) ``->`` ([Pol #Pol]) ``->`` [Cl #Cl] ``->`` [S #S] | //John wouldn't have walked// |
| ``mkS`` | [Conj #Conj] ``->`` [S #S] ``->`` [S #S] ``->`` [S #S] | //John walks and I run// |
| ``mkS`` | [Conj #Conj] ``->`` [ListS #ListS] ``->`` [S #S] | //John walks, I run and you sleep// |
| ``mkS`` | [Adv #Adv] ``->`` [S #S] ``->`` [S #S] | //today, John walks// |
==SC - embedded sentence or question==[SC]
Lexical category, constructors given in
[lexical paradigms #RParadigms].
|| Function | Type | Example ||
| ``mkSC`` | [S #S] ``->`` [SC #SC] | //that he walks// |
| ``mkSC`` | [QS #QS] ``->`` [SC #SC] | //whether he walks// |
| ``mkSC`` | [VP #VP] ``->`` [SC #SC] | //to walk// |
==SSlash==[SSlash]
|| Function | Type | Example ||
| ``mkSSlash`` | [Temp #Temp] ``->`` [Pol #Pol] ``->`` [ClSlash #ClSlash] ``->`` [SSlash #SSlash] | //mkSSlash// |
==Sub100==[Sub100]
|| Function | Type | Example ||
| ``mkSub100`` | [Unit #Unit] ``->`` [Sub100 #Sub100] | //coerce 1..9// |
| ``mkSub100`` | [Unit #Unit] ``->`` [Unit #Unit] ``->`` [Sub100 #Sub100] | //10m + n// |
| ``tenfoldSub100`` | [Unit #Unit] ``->`` [Sub100 #Sub100] | //10n// |
==Sub1000==[Sub1000]
|| Function | Type | Example ||
| ``mkSub1000`` | [Sub100 #Sub100] ``->`` [Sub1000 #Sub1000] | //coerce 1..99// |
| ``mkSub1000`` | [Sub10 #Sub10] ``->`` [Sub1000 #Sub1000] | //100n// |
| ``mkSub1000`` | [Sub10 #Sub10] ``->`` [Sub100 #Sub100] ``->`` [Sub1000 #Sub1000] | //100m + n// |
==Subj - subjunction==[Subj]
|| Function | Type | Example ||
| ``although_Subj`` | [Subj #Subj] | //although// |
@@ -608,21 +638,31 @@ Lexical category, constructors given in
[lexical paradigms #RParadigms].
==Tense - tense==[Tense]
|| Function | Type | Example ||
| ``conditionalTense`` | [Tense #Tense] | //(John would walk)// |
| ``futureTense`` | [Tense #Tense] | //(John will walk)// |
| ``pastTense`` | [Tense #Tense] | //(John walked)// |
| ``presentTense`` | [Tense #Tense] | //(John walks) [default]// |
| ``conditionalTense`` | [Tense #Tense] | //John would walk// |
| ``futureTense`` | [Tense #Tense] | //John will walk// |
| ``pastTense`` | [Tense #Tense] | //John walked// |
| ``presentTense`` | [Tense #Tense] | //John walks [default]// |
==Text - text consisting of several phrases==[Text]
|| Function | Type | Example ||
| ``emptyText`` | [Text #Text] | //(empty text)// |
| ``mkText`` | [Phr #Phr] ``->`` [Text #Text] | //But John walks.// |
| ``mkText`` | [Phr #Phr] ``->`` ([Punct #Punct]) ``->`` ([Text #Text]) ``->`` [Text #Text] | //John walks? Yes.// |
| ``mkText`` | [Utt #Utt] ``->`` [Text #Text] | //John.// |
| ``mkText`` | [Utt #Utt] ``->`` [Text #Text] | //Yes.// |
| ``mkText`` | [S #S] ``->`` [Text #Text] | //John walked.// |
| ``mkText`` | [Cl #Cl] ``->`` [Text #Text] | //John walks.// |
| ``mkText`` | [QS #QS] ``->`` [Text #Text] | //Did John walk?// |
| ``mkText`` | [Imp #Imp] ``->`` [Text #Text] | //Walk!// |
| ``mkText`` | ([Pol #Pol]) ``->`` [Imp #Imp] ``->`` [Text #Text] | //Walk!// |
| ``mkText`` | [Text #Text] ``->`` [Text #Text] ``->`` [Text #Text] | //Where? When? Here. Now!// |
==Unit==[Unit]
|| Function | Type | Example ||
| ``n1_Unit`` | [Unit #Unit] | //one// |
| ``n2_Unit`` | [Unit #Unit] | //two// |
| ``n3_Unit`` | [Unit #Unit] | //three// |
| ``n4_Unit`` | [Unit #Unit] | //four// |
| ``n5_Unit`` | [Unit #Unit] | //five// |
| ``n6_Unit`` | [Unit #Unit] | //six// |
| ``n7_Unit`` | [Unit #Unit] | //seven// |
| ``n8_Unit`` | [Unit #Unit] | //eight// |
| ``n9_Unit`` | [Unit #Unit] | //nine// |
==Utt - sentence, question, word...==[Utt]
|| Function | Type | Example ||
| ``lets_Utt`` | [VP #VP] ``->`` [Utt #Utt] | //let's walk// |
@@ -630,15 +670,14 @@ Lexical category, constructors given in
| ``mkUtt`` | [Cl #Cl] ``->`` [Utt #Utt] | //John walks// |
| ``mkUtt`` | [QS #QS] ``->`` [Utt #Utt] | //did John walk// |
| ``mkUtt`` | [QCl #QCl] ``->`` [Utt #Utt] | //does John walk// |
| ``mkUtt`` | [Imp #Imp] ``->`` [Utt #Utt] | //love yourself// |
| ``mkUtt`` | ([ImpForm #ImpForm]) ``->`` ([Pol #Pol]) ``->`` [Imp #Imp] ``->`` [Utt #Utt] | //don't love yourselves// |
| ``mkUtt`` | [IP #IP] ``->`` [Utt #Utt] | //who// |
| ``mkUtt`` | [IAdv #IAdv] ``->`` [Utt #Utt] | //why// |
| ``mkUtt`` | [NP #NP] ``->`` [Utt #Utt] | //John// |
| ``mkUtt`` | [NP #NP] ``->`` [Utt #Utt] | //this man// |
| ``mkUtt`` | [Adv #Adv] ``->`` [Utt #Utt] | //here// |
| ``mkUtt`` | [VP #VP] ``->`` [Utt #Utt] | //to walk// |
| ``mkUtt`` | [VP #VP] ``->`` [Utt #Utt] | //to sleep// |
| ``mkUtt`` | [CN #CN] ``->`` [Utt #Utt] | //beer// |
| ``mkUtt`` | [AP #AP] ``->`` [Utt #Utt] | //fine// |
| ``mkUtt`` | [AP #AP] ``->`` [Utt #Utt] | //good// |
| ``mkUtt`` | [Card #Card] ``->`` [Utt #Utt] | //five// |
| ``no_Utt`` | [Utt #Utt] | //no// |
| ``yes_Utt`` | [Utt #Utt] | //yes// |
@@ -668,26 +707,30 @@ Lexical category, constructors given in
[lexical paradigms #RParadigms].
==VP - verb phrase==[VP]
|| Function | Type | Example ||
| ``mkVP`` | [V #V] ``->`` [VP #VP] | //walk// |
| ``mkVP`` | [V2 #V2] ``->`` [NP #NP] ``->`` [VP #VP] | //love her// |
| ``mkVP`` | [V3 #V3] ``->`` [NP #NP] ``->`` [NP #NP] ``->`` [VP #VP] | //send it to her// |
| ``mkVP`` | [VV #VV] ``->`` [VP #VP] ``->`` [VP #VP] | //want to walk// |
| ``mkVP`` | [VS #VS] ``->`` [S #S] ``->`` [VP #VP] | //know that she walks// |
| ``mkVP`` | [VQ #VQ] ``->`` [QS #QS] ``->`` [VP #VP] | //ask if she walks// |
| ``mkVP`` | [VA #VA] ``->`` [AP #AP] ``->`` [VP #VP] | //become old// |
| ``mkVP`` | [V #V] ``->`` [VP #VP] | //sleep// |
| ``mkVP`` | [V2 #V2] ``->`` [NP #NP] ``->`` [VP #VP] | //love it// |
| ``mkVP`` | [V3 #V3] ``->`` [NP #NP] ``->`` [NP #NP] ``->`` [VP #VP] | //send a message to her// |
| ``mkVP`` | [VV #VV] ``->`` [VP #VP] ``->`` [VP #VP] | //want to run// |
| ``mkVP`` | [VS #VS] ``->`` [S #S] ``->`` [VP #VP] | //know that she runs// |
| ``mkVP`` | [VQ #VQ] ``->`` [QS #QS] ``->`` [VP #VP] | //wonder if she runs// |
| ``mkVP`` | [VA #VA] ``->`` [AP #AP] ``->`` [VP #VP] | //become red// |
| ``mkVP`` | [V2A #V2A] ``->`` [NP #NP] ``->`` [AP #AP] ``->`` [VP #VP] | //paint it red// |
| ``mkVP`` | [V2S #V2S] ``->`` [NP #NP] ``->`` [S #S] ``->`` [VP #VP] | //tell her that we walk// |
| ``mkVP`` | [V2Q #V2Q] ``->`` [NP #NP] ``->`` [QS #QS] ``->`` [VP #VP] | //ask her who walks// |
| ``mkVP`` | [V2V #V2V] ``->`` [NP #NP] ``->`` [VP #VP] ``->`` [VP #VP] | //force her to walk// |
| ``mkVP`` | [A #A] ``->`` [VP #VP] | //be warm// |
| ``mkVP`` | [AP #AP] ``->`` [VP #VP] | //be very warm// |
| ``mkVP`` | [A #A] ``->`` [NP #NP] ``->`` [VP #VP] | //be older than her// |
| ``mkVP`` | [A2 #A2] ``->`` [NP #NP] ``->`` [VP #VP] | //be married to her// |
| ``mkVP`` | [AP #AP] ``->`` [VP #VP] | //be warm// |
| ``mkVP`` | [N #N] ``->`` [VP #VP] | //be a man// |
| ``mkVP`` | [CN #CN] ``->`` [VP #VP] | //be an old man// |
| ``mkVP`` | [NP #NP] ``->`` [VP #VP] | //be the man// |
| ``mkVP`` | [NP #NP] ``->`` [VP #VP] | //be this man// |
| ``mkVP`` | [Adv #Adv] ``->`` [VP #VP] | //be here// |
| ``mkVP`` | [VP #VP] ``->`` [Adv #Adv] ``->`` [VP #VP] | //sleep here// |
| ``mkVP`` | [AdV #AdV] ``->`` [VP #VP] ``->`` [VP #VP] | //always sleep// |
| ``mkVP`` | [VPSlash #VPSlash] ``->`` [NP #NP] ``->`` [VP #VP] | //paint it black// |
| ``mkVP`` | [VPSlash #VPSlash] ``->`` [VP #VP] | //paint itself black// |
| ``mkVP`` | [Comp #Comp] ``->`` [VP #VP] | //be warm// |
| ``passiveVP`` | [V2 #V2] ``->`` [VP #VP] | //be loved// |
| ``passiveVP`` | [V2 #V2] ``->`` [NP #NP] ``->`` [VP #VP] | //be loved by her// |
| ``progressiveVP`` | [VP #VP] ``->`` [VP #VP] | //be sleeping// |
@@ -700,6 +743,8 @@ Lexical category, constructors given in
| ``mkVPSlash`` | [V2Q #V2Q] ``->`` [QS #QS] ``->`` [VPSlash #VPSlash] | //(whom) (John) asks who sleeps// |
| ``mkVPSlash`` | [V2S #V2S] ``->`` [S #S] ``->`` [VPSlash #VPSlash] | //(whom) (John) tells that we sleep// |
| ``mkVPSlash`` | [V2V #V2V] ``->`` [VP #VP] ``->`` [VPSlash #VPSlash] | //(whom) (John) forces to sleep// |
| ``mkVPSlash`` | [VV #VV] ``->`` [VPSlash #VPSlash] ``->`` [VPSlash #VPSlash] | //want always to buy// |
| ``mkVPSlash`` | [V2V #V2V] ``->`` [NP #NP] ``->`` [VPSlash #VPSlash] ``->`` [VPSlash #VPSlash] | //beg me always to buy// |
==VQ - question-complement verb==[VQ]
Lexical category, constructors given in
[lexical paradigms #RParadigms].

12
lib/src/Make.hs
View File

@@ -28,6 +28,7 @@ presSymbolPath = "" -- "-path=.:abstract:present:common:romance:scandinavian" --
-- we also give the functors implied
langsCoding = [
(("amharic", "Amh"),""),
(("arabic", "Ara"),""),
(("bulgarian","Bul"),""),
(("catalan", "Cat"),"Romance"),
@@ -36,20 +37,21 @@ langsCoding = [
(("english", "Eng"),""),
(("finnish", "Fin"),""),
(("french", "Fre"),"Romance"),
(("hindi", "Hin"),""),
(("hindi", "Hin"),"Hindustani"),
(("german", "Ger"),""),
(("interlingua","Ina"),""),
(("italian", "Ita"),"Romance"),
(("latin", "Lat"),""),
(("norwegian","Nor"),"Scand"),
(("polish", "Pol"),""),
(("punjabi", "Pnb"),""),
(("romanian", "Ron"),""),
(("russian", "Rus"),""),
(("spanish", "Spa"),"Romance"),
(("swedish", "Swe"),"Scand"),
(("thai", "Tha"),""),
(("turkish", "Tur"),""),
(("urdu", "Urd"),"")
(("urdu", "Urd"),"Hindustani")
]
implied (_,lan) = [fun | ((_,la),fun) <- langsCoding, la == lan, fun /= ""]
@@ -63,7 +65,7 @@ langsLangAll = langs
langsLang = langs `except` langsIncomplete ---- []
-- languages for which Lang can be compiled but which are incomplete
langsIncomplete = ["Ara","Hin","Lat","Tha","Tur"]
langsIncomplete = ["Amh","Ara","Hin","Lat","Pnb","Tha","Tur","Urd"]
-- languages for which to compile Try
langsAPI = langsLang `except` (langsIncomplete ++ ["Ina"])
@@ -149,13 +151,13 @@ make xx = do
return ()
gfc pres ppath file = do
let preproc = if pres then "-preproc=./mkPresent" else ""
let preproc = if pres then "-preproc=mkPresent" else ""
let path = if pres then ppath else ""
putStrLn $ "Compiling " ++ file
run_gfc ["-s","-src", preproc, path, file]
gfcmin path file = do
let preproc = "-preproc=./mkMinimal"
let preproc = "-preproc=mkMinimal"
putStrLn $ "Compiling minimal " ++ file
run_gfc ["-s","-src", preproc, path, file]

521
lib/src/api/Constructors.gf
View File

File diff suppressed because it is too large Load Diff