From e9e80fc389365e24d4300d7d5390c7d833a96c50 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 25 Jun 2008 16:54:35 +0000 Subject: changed names of resource-1.3; added a note on homepage on release --- examples/mp3/MP3I.gf | 24 ------------------------ 1 file changed, 24 deletions(-) delete mode 100644 examples/mp3/MP3I.gf (limited to 'examples/mp3/MP3I.gf') diff --git a/examples/mp3/MP3I.gf b/examples/mp3/MP3I.gf deleted file mode 100644 index ab8eb7915..000000000 --- a/examples/mp3/MP3I.gf +++ /dev/null @@ -1,24 +0,0 @@ ---# -path=.:resource-0.6/english:resource-0.6/abstract:prelude - -incomplete concrete MP3I of MP3 = open Structural, Lexicon in { - - flags startcat=Move ; - - lincat - Move = Phr ; - Song = NP ; - - lin - Play song = ImperOne (ImperVP (PosVG (PredTV play song))) ; - CanPlay song = QuestPhrase (QuestVP ThouNP (PosVG (PredVV CanVV (PredTV play song)))) ; - WantPlay song = IndicPhrase (PredVP INP (PosVG (PredVV WantVV (PredTV play song)))) ; - WhichPlay = QuestPhrase (IntVP (NounIPOne (UseN song)) (PosVG (PredPassV (VTrans play)))) ; - - ThisSong = DetNP ThisDet (UseN song) ; - This = ThisNP ; - - Yesterday = yesterday ; - ----- MkSong : String -> Song ; - -} -- cgit v1.2.3