diff options
| author | bjorn <bjorn@bringert.net> | 2008-08-14 07:58:04 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-08-14 07:58:04 +0000 |
| commit | 77270a010a0b453e9a84c3e62db7cfd22e49d55d (patch) | |
| tree | d17682a545d6ac1e68ff49b8c20964182794baf7 /grammars/TALK/GF_GoDiS/Core/System | |
| parent | 0bbb906141711767678f82b15a7b43e65e0b5bd6 (diff) | |
Remove the grammars directory. It was full of old grammars that don't compile these days. See the old source distributions if you want them.
Diffstat (limited to 'grammars/TALK/GF_GoDiS/Core/System')
| -rw-r--r-- | grammars/TALK/GF_GoDiS/Core/System/systemCore.gf | 158 | ||||
| -rw-r--r-- | grammars/TALK/GF_GoDiS/Core/System/systemCoreEng.gf | 146 | ||||
| -rw-r--r-- | grammars/TALK/GF_GoDiS/Core/System/systemCorePro.gf | 128 | ||||
| -rw-r--r-- | grammars/TALK/GF_GoDiS/Core/System/systemCoreSwe.gf | 141 |
4 files changed, 0 insertions, 573 deletions
diff --git a/grammars/TALK/GF_GoDiS/Core/System/systemCore.gf b/grammars/TALK/GF_GoDiS/Core/System/systemCore.gf deleted file mode 100644 index e2cc71ab5..000000000 --- a/grammars/TALK/GF_GoDiS/Core/System/systemCore.gf +++ /dev/null @@ -1,158 +0,0 @@ --- general grammar
---# -path=.:../Shared
-
-abstract systemCore = sharedCore ** {
-
-cat
-
- DMoves;
-
-
--- internal forms
-
- --Proposition;
- Other_ICM;
- Other_ICM_Followed;
- Sem_ICM;
- Sem_ICM_Followed;
- Und_ICM;
- Und_ICM_Followed;
-
-
-
--- Confirm
--- This is where the system confirms that the action has been taken.
- Confirm;
-
-
--- Report
--- This is where the system reports on the actions taken
--- i.e. "The song Leviathan was added to the playlist"
-
--- The report consists of a Request.
- Report;
- Status;
-
--- Asks specific for the System
- SystemAsk;
-
-
--- Issues
-
- Issue;
- PropIssue;
- AskIssue;
- ListIssue;
- IssueList;
- ListItem;
-
-
-fun
-
--- BASICS
-
- makeSofDMoves : DMoves -> S;
- makeDMPair : DMove -> DMove -> DMoves;
- makeDMList : DMove -> DMoves -> DMoves;
-
-
--- ICM
-
- -- Plus en som tar en strang... oj oj for genereringen.
--- makeICMPerString : Per_ICM_Followed -> String -> ICM;
- makeICMPerString : Per_ICM_Followed -> ICM;
-
- makeICMSem : Sem_ICM -> ICM;
- makeICMSemMoveReq : Sem_ICM_Followed -> Request -> ICM;
- makeICMSemMoveAnswer : (t : Task) -> Sem_ICM_Followed -> Answer t -> ICM;
- makeICMSemMoveAsk : (t : Task) -> Sem_ICM_Followed -> Ask t -> ICM;
-
- makeICMUnd : Und_ICM -> ICM;
- makeICMUndProp : (t : Task) -> Und_ICM_Followed -> Proposition t -> ICM;
-
- makeICMOther : Other_ICM -> ICM;
- makeICMOtherIssue : Other_ICM_Followed -> ListItem -> ICM;
- makeICMOtherReq : (t : Task) -> Other_ICM_Followed -> Action t -> ICM;
-
- makeICMAccIssue : Acc_ICM_Followed -> Issue -> ICM;
-
--- !!! Väldigt rekursivt!!!!
-
-
-
-
--- Confirm
- --makeConfirm : SingleAction -> Confirm;
- makeConfirmMove : Confirm -> DMove;
-
-
--- Report
-
- -- Behöver en till kategori, en Status...
- -- Hmm... undrar hur jag ska gora det här snyggt.
-
-
- makeReport : SingleAction -> Status -> Report;
- makeReportMove : Report -> DMove;
-
--- Ask
- makeSystemAsk : SystemAsk -> DMove;
- makeAskSet : IssueList -> SystemAsk;
- makeInstantiatedAsk : (t : Task) -> Action t -> SystemAsk;
- makeInstantiatedAskSingle : SingleAction -> SystemAsk;
-
-
--- Issues
-
- makePropIssue : (t : Task) -> Proposition t -> PropIssue;
-
- makeIssueProp : PropIssue -> Issue;
- makeIssueAsk : AskIssue -> Issue;
- makeIssueList : ListIssue -> Issue;
-
- makePropIssue : (t : Task) -> Proposition t -> PropIssue;
- makeAskIssue : (t : Task) -> Ask t -> AskIssue;
-
- --makeListItemProp : PropIssue -> ListItem;
- makeListItemAsk : AskIssue -> ListItem;
- makeListItemAction : (t : Task) -> Action t -> ListItem;
- makeListItemSingleAction : SingleAction -> ListItem;
-
- makeListIssue : ListItem -> ListItem -> ListIssue;
- makeListIssue2 : ListItem -> ListIssue ->ListIssue;
-
- makeActualListIssue : ListIssue -> IssueList;
-
--- Lexicon
- makeBasicAsk : SystemAsk;
-
- sem_pos : Sem_ICM;
- sem_pos_followed : Sem_ICM_Followed;
- sem_neg : Sem_ICM;
- --sem_int : Sem_ICM;
-
- und_pos : Und_ICM;
- und_pos_followed : Und_ICM_Followed;
- und_neg : Und_ICM;
- und_int : Und_ICM_Followed;
-
- reraise : Other_ICM;
- reraise_followed : Other_ICM_Followed;
- loadplan : Other_ICM;
- accomodate : Other_ICM_Followed;
- reaccomodate : Other_ICM_Followed;
-
- a_String : String;
-
- status_done : Status;
- status_initiated : Status;
- status_pending : Status;
- status_failed : Status;
-
-}
-
-
-
-
-
-
diff --git a/grammars/TALK/GF_GoDiS/Core/System/systemCoreEng.gf b/grammars/TALK/GF_GoDiS/Core/System/systemCoreEng.gf deleted file mode 100644 index b0cd17c2e..000000000 --- a/grammars/TALK/GF_GoDiS/Core/System/systemCoreEng.gf +++ /dev/null @@ -1,146 +0,0 @@ -concrete systemCoreEng of systemCore = sharedCoreEng ** {
-
---flags lexer=text ; unlexer=text ; startcat=DMoveList ;
---# -path=.:../:../Shared
-flags conversion=finite;
-
-
-lin
-
--- Greet
- makeGreetMove gre = {s = gre.s ++ "!"};
-
--- Quit
- makeQuitMove qui = {s = qui.s ++ "!"};
-
--- Answer
- makeAnswer _ ans = {s = ans.s};
- makeNegAnswer _ ans = {s = "not" ++ ans.s};
- makeAnswerMove _ sha = {s = sha.s ++ "."};
- makeNegAnswerMove _ sha = {s = sha.s ++ "."};
-
--- Ask
- singleAsk _ ask = {s = ask.s};
- makeYesNoAsk _ action = {s = action.s};
- makeAsk ask = {s = ask.s ++ "."};
-
-
--- Request
-
- -- makeRequestMove moved to System and User respectively
- -- because of differing linearizations
-
- makeRequest req = {s = req.s ++ "."};
- makeRequestMove req = {s = req.s };
- makeNegRequestMove req = {s = req.s};
-
--- BASICS
-
- makeSofDMoves dms = {s = dms.s};
- makeDMPair dm1 dm2 = {s = dm1.s ++ dm2.s};
- makeDMList dm dms = {s = dm.s ++ dms.s};
-
-
--- Confirm
-
- --makeConfirm req = {s = ["managed to"] ++ req.s ++ "."};
- makeConfirmMove conM = {s = conM.s ++ "."};
-
--- Report
- makeReport req status = {s = status.s ++ req.s ++ "." };
- makeReportMove repM = {s = repM.s};
-
-
--- ICM
-
- -- makeICMPerString perI string = {s = perI.s ++ string.s ++ "."};
- makeICMPerString perI = {s = perI.s};
-
- makeICMSem semI = {s = semI.s};
- makeICMSemMoveReq semI req = {s = semI.s ++ req.s ++ "."};
- makeICMSemMoveAnswer _ semI ans = {s = semI.s ++ ans.s ++ "."};
- makeICMSemMoveAsk _ semI ask = {s = semI.s ++ ask.s ++ "."};
-
-
- makeICMUnd undI = {s = undI.s};
- makeICMUndProp _ undI prop = {s = prop.s ++ undI.s };
-
- makeICMAccIssue accI issue = {s = accI.s ++ [", i cannot answer questions about"] ++ issue.s ++ "."};
-
- makeICMOther otherI = {s = otherI.s };
- makeICMOtherIssue otherI issue = {s = otherI.s ++ issue.s ++ "."};
- makeICMOtherReq _ other req = {s = other.s ++ req.s ++ "."};
-
-
--- Ask
-
- makeSystemAsk sysA = {s = sysA.s ++ "?"};
- makeAskSet set = {s = ["do you want to"] ++ set.s};
- makeInstantiatedAsk _ insA = {s = ["do you want to"] ++ insA.s };
- makeInstantiatedAskSingle insA = {s = ["do you want to"] ++ insA.s};
-
--- Isues
-
- makePropIssue _ prop = {s = prop.s};
-
- makeIssueProp pi = {s = pi.s};
- makeIssueAsk ai = {s = ai.s};
- makeIssueList li = {s = li.s};
-
- --makePropIssue _ prop = {s = prop.s};
- makeAskIssue _ ask = {s = ask.s};
-
- -- makeListItemProp propI = {s = propI.s};
- makeListItemAsk askI = {s = "ask" ++ "about" ++ askI.s};
- makeListItemAction _ action = {s = action.s};
- makeListItemSingleAction action = {s = action.s};
-
- makeListIssue prop1 prop2 = {s = prop1.s ++ "or" ++ prop2.s};
- makeListIssue2 prop list = {s = prop.s ++ "," ++ list.s};
-
- makeActualListIssue list = {s = list.s};
-
-
-pattern
-
- makeBasicAsk = ["what can i do for you"];
-
- sem_pos = "okay";
- sem_pos_followed = [""];
- sem_neg = ["i am sorry i do not understand ."];
- -- sem_int = ["what do you mean with"];
-
- und_pos = ["okay ."];
- und_pos_followed = ["."];
- und_neg = ["i do not understand what you mean ."];
- und_int = [", is this correct ?"]; -- följer yttrandet!!!
-
- per_pos = ["i thought you said"]; -- följs av en sträng
-
- reraise = ["so ,"];
- reraise_followed = ["so ,"];
- loadplan = ["lets see ."];
- accomodate = ["i assume you mean"];
- reaccomodate = ["returning to "];
-
-
- -- ICMs
- -- Moved from General because of differing linearisations user and system.
-
- per_neg = variants {["pardon i did not hear what you said ."] ; ["pardon ?"]; ["sorry ?"]};
- per_int = variants { ["pardon ?"] ; ["what did you say ?"] };
-
- acc_pos = "okay";
- acc_neg = "sorry";
- acc_neg_alone = "sorry";
-
-
- status_done = ["managed to"];
- status_initiated = ["started to"];
- status_pending = ["waiting to"];
- status_failed = ["failed to"];
-
-
-}
-
-
diff --git a/grammars/TALK/GF_GoDiS/Core/System/systemCorePro.gf b/grammars/TALK/GF_GoDiS/Core/System/systemCorePro.gf deleted file mode 100644 index 6b037b967..000000000 --- a/grammars/TALK/GF_GoDiS/Core/System/systemCorePro.gf +++ /dev/null @@ -1,128 +0,0 @@ -
-
-concrete systemCorePro of systemCore = sharedCorePro ** {
-
-
-flags lexer=codelit ; unlexer=concat ;
-flags conversion=finite;
-
-
-lincat
-
-
--- Confirm
--- This is where the system confirms that the action has been taken.
- Confirm = {s : Str};
-
-
--- Report
--- This is where the system reports on the actions taken
--- i.e. "The song Leviathan was added to the playlist"
-
--- The report consists of a Request.
- Report = {s : Str};
-
-lin
-
--- BASICS
-
- makeSofDMoves dms = {s = "[" ++ dms.s ++ "]"};
- makeDMPair dm1 dm2 = {s = dm1.s ++ "," ++ dm2.s};
- makeDMList dm dms = {s = dm.s ++ "," ++ dms.s};
-
-
-
--- Confirm
- --makeConfirm req = { s = "confirm" ++ "(" ++ req.s ++ ")"};
- makeConfirmMove conM = {s = "confirm" ++ "(" ++ conM.s ++ ")"};
-
-
--- Report
- makeReport req status = { s = "report" ++ "(" ++ req.s ++ "," ++ status.s ++ ")"};
- makeReportMove repM = {s = repM.s};
-
--- Ask
-
- makeSystemAsk sysA = {s = "ask" ++ "(" ++ sysA.s ++ ")"};
- makeAskSet set = {s = set.s};
- makeInstantiatedAsk _ insA = {s = "action" ++ "(" ++ insA.s ++ ")"};
- makeInstantiatedAskSingle insA = {s = "action" ++ "(" ++ insA.s ++ ")"};
-
-
--- ICM
- -- Plus en som tar en strang... oj oj for genereringen.
- -- makeICMPerString perI string = {s = perI.s ++ string.s};
- makeICMPerString perI = {s = perI.s };
-
- makeICMSem semI = {s = semI.s};
- makeICMSemMoveReq semI req = {s = semI.s ++ ":" ++ req.s};
- makeICMSemMoveAnswer _ semI ans = {s = semI.s ++ ":" ++ ans.s};
- makeICMSemMoveAsk _ semI ask = {s = semI.s ++ ":" ++ ask.s};
-
- makeICMUnd undI = {s = undI.s};
- makeICMUndProp _ undI prop = {s = undI.s ++ ":" ++ "usr" ++ "*" ++ prop.s};
-
-
- makeICMOther otherI = {s = otherI.s};
- makeICMOtherIssue otherI issue = {s = otherI.s ++ ":" ++ issue.s};
- makeICMOtherReq _ other req = {s = other.s ++ ":" ++ req.s};
-
- makeICMAccIssue otherI issue = {s = otherI.s ++ ":" ++ issue.s};
-
--- !!! Väldigt rekursivt!!!!
-
--- Isues
-
- makePropIssue _ prop = {s = prop.s};
-
- makeIssueProp pi = {s = pi.s};
- makeIssueAsk ai = {s = ai.s};
- makeIssueList li = {s = li.s};
-
- makePropIssue _ prop = {s = prop.s};
- makeAskIssue _ ask = {s = "X" ++ "^" ++ ask.s ++ "(" ++ "X" ++ ")"};
-
- --makeListItemProp propI = {s = propI.s};
- makeListItemAsk askI = {s = "issue" ++ "(" ++ askI.s ++ ")"};
- makeListItemAction _ action = {s = variants {("action" ++ "(" ++ action.s ++ ")") ;
- action.s }};
- makeListItemSingleAction action = {s = variants { ("action" ++ "(" ++ action.s ++ ")") ;
- action.s }};
-
- makeListIssue prop1 prop2 = {s = prop1.s ++ "," ++ prop2.s};
- makeListIssue2 prop list = {s = prop.s ++ "," ++ list.s};
-
- makeActualListIssue list = {s = "set" ++ "(" ++ "[" ++ list.s ++ "]" ++ ")"};
-
-
-pattern
-
--- LEXICON
-
- makeBasicAsk = ["x ^ action ( x )"]; -- OBS OBS!!!
-
- sem_pos = ["sem * pos"];
- sem_pos_followed = ["sem * pos"];
- sem_neg = ["sem * neg"];
- --sem_int = ["sem * int"];
-
- und_pos = ["und * pos"];
- und_pos_followed = ["und * pos"];
- und_neg = ["und * neg"];
- und_int = ["und * int"];
-
- reraise = "reraise";
- reraise_followed = "reraise";
- loadplan = "loadplan";
- accomodate = "accomodate";
- reaccomodate = "reaccomodate";
-
- status_done = "done";
- status_initiated = "initiated";
- status_pending = "pending";
- status_failed = "failed";
-
-
-
-}
-
diff --git a/grammars/TALK/GF_GoDiS/Core/System/systemCoreSwe.gf b/grammars/TALK/GF_GoDiS/Core/System/systemCoreSwe.gf deleted file mode 100644 index 67e60a59b..000000000 --- a/grammars/TALK/GF_GoDiS/Core/System/systemCoreSwe.gf +++ /dev/null @@ -1,141 +0,0 @@ -concrete systemCoreSwe of systemCore = sharedCoreSwe ** {
-
---flags lexer=codelit ; unlexer=codelit ; startcat=DMoveList ;
---# -path=.:../:../Shared
-flags conversion=finite;
-
-lin
-
--- Greet
- makeGreetMove gre = {s = gre.s ++ "!"};
-
--- Quit
- makeQuitMove qui = {s = qui.s ++ "!"};
-
--- Answer
- makeAnswer _ ans = {s = ans.s};
- makeNegAnswer _ ans = {s = "inte" ++ ans.s};
- makeAnswerMove _ sha = {s = sha.s ++ "."};
- makeNegAnswerMove _ sha = {s = sha.s ++ "."};
-
--- Ask
- singleAsk _ ask = {s = ask.s};
- makeYesNoAsk _ action = {s = action.s};
- makeAsk ask = {s = ask.s ++ "."};
-
-
--- Request
-
- -- makeRequestMove moved to System and User respectively
- -- because of differing linearizations
-
- makeRequest req = {s = req.s ++ "."};
-
- makeRequestMove req = {s = req.s };
- makeNegRequestMove req = {s = req.s};
-
-
-
--- BASICS
-
- makeSofDMoves dms = {s = dms.s};
- makeDMPair dm1 dm2 = {s = dm1.s ++ dm2.s};
- makeDMList dm dms = {s = dm.s ++ dms.s};
-
-
--- Confirm
-
- --makeConfirm req = {s = ["lyckades med att"] ++ req.s ++ "."};
- makeConfirmMove conM = {s = conM.s};
-
--- Report
- makeReport req status= {s = status.s ++ req.s ++ "."};
- makeReportMove repM = {s = repM.s};
-
-
--- ICM
-
- --makeICMPerString perI string = {s = perI.s ++ string.s ++ "."};
- makeICMPerString perI = {s = perI.s};
-
- makeICMSem semI = {s = semI.s};
- makeICMSemMoveReq semI req = {s = semI.s ++ req.s ++ "."};
- makeICMSemMoveAnswer _ semI ans = {s = semI.s ++ "med" ++ ans.s ++ "."};
- makeICMSemMoveAsk _ semI ask = {s = semI.s ++ ask.s ++ "."};
-
-
- makeICMUnd undI = {s = undI.s};
- makeICMUndProp _ undI prop = {s = prop.s ++ "," ++ undI.s};
-
- makeICMAccIssue accI issue = {s = accI.s ++ issue.s};
-
- makeICMOther otherI = {s = otherI.s ++ "."};
- makeICMOtherIssue otherI issue = {s = otherI.s ++ issue.s ++ "."};
-
--- Ask
-
- makeSystemAsk sysA = {s = sysA.s ++ "?"};
- makeAskSet set = {s = ["vill du"] ++ set.s};
- makeInstantiatedAsk _ insA = {s = ["vill du"] ++ insA.s};
- makeInstantiatedAskSingle insA = {s = ["vill du"] ++ insA.s};
-
--- Isues
-
- makePropIssue _ prop = {s = prop.s};
-
- makeIssueProp pi = {s = pi.s};
- makeIssueAsk ai = {s = ai.s};
- makeIssueList li = {s = li.s};
-
- --makePropIssue prop = {s = prop.s};
- makeAskIssue _ ask = {s = ask.s};
-
- -- makeListItemProp propI = {s = propI.s};
- makeListItemAsk askI = {s = "fråga" ++ "om" ++ askI.s};
- makeListItemAction _ action = {s = action.s};
- makeListItemSingleAction action = {s = action.s};
-
- makeListIssue prop1 prop2 = {s = prop1.s ++ "eller" ++ prop2.s};
-
-
-
-pattern
-
- makeBasicAsk = ["vad kan jag göra för dig"];
-
- sem_pos = "okej";
- sem_neg = ["förlåt jag förstår inte vad du menar."];
- -- sem_int = ["vad menar du med"];
-
- und_pos = "okej.";
- und_neg = ["jag förstår inte vad du menar."];
- und_int = ["är det korrekt?"]; -- följer yttrandet!!!
-
- per_pos = ["jag tyckte du sa"]; -- följs av en sträng
-
- reraise = ["så ,"];
- reraise_followed = ["så ,"];
- loadplan = ["låt oss se ."];
- accomodate = ["jag antar att du menar"];
- reaccomodate = ["gå tillbaks till"];
-
-
- -- ICMs
- -- Moved from General because of differing linearisations user and system.
-
- per_neg = variants {"ursäkta"; "förlåt" ; ["ursäkta jag hörde inte vad du sa"]};
- per_int = variants { "ursäkta" ; ["vad sa du"] };
-
- acc_pos = "okej";
- acc_neg = ["ledsen jag kan inte svara på frågor om"];
- acc_neg_alone = "ledsen";
-
- status_done = ["lyckades med att"];
- status_initiated = ["började med att"];
- status_pending = ["avvaktar med att"];
- status_failed = ["misslyckades med att"];
-
-
-}
-
-
|
