GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-12 20:52:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

Predic

Browse Source
This commit is contained in:
aarne
2005-09-02 13:04:49 +00:00
parent a41490c7d0
commit 21a2a81a27
3 changed files with 158 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

49
lib/resource/abstract/Predic.gf Normal file
View File

@@ -0,0 +1,49 @@
abstract Predic = Categories ** {
cat
VType ;
CType ;
Verb VType ;
Compl VType ;
fun
Vt_ : VType ;
Vt : CType -> VType ;
VtN : CType -> VType ;
CtN,
CtS,
CtV,
CtQ,
CtA : CType ;
SPredVerb : (v : VType) -> NP -> Verb v -> Compl v -> Cl ;
QPredVerb : (v : VType) -> IP -> Verb v -> Compl v -> QCl ;
RPredVerb : (v : VType) -> RP -> Verb v -> Compl v -> RCl ;
IPredVerb : (v : VType) -> Verb v -> Compl v -> VCl ;
ComplNil : Compl Vt_ ;
ComplNP : NP -> Compl (Vt CtN) ;
ComplS : S -> Compl (Vt CtS) ;
ComplQ : QS -> Compl (Vt CtQ) ;
ComplA : AP -> Compl (Vt CtQ) ;
ComplAdd : (c : CType) -> NP -> Compl (Vt c) -> Compl (VtN c) ;
{-
MkSlash3 : NG NtS -> VG (VtN CtN) -> CG (Vt CtN) -> Slash ;
MkSlash2 : (c : CType) -> NG NtS -> VG (VtN c) -> CG (Vt c) -> Slash ;
MkSlash1 : NG NtS -> VG (Vt CtN) -> Slash ;
SlashQ : NG NtQ -> Slash -> SG NtQ ;
-}
UseV1 : V -> Verb Vt_ ;
UseV2 : V2 -> Verb (Vt CtN) ;
UseVS : VS -> Verb (Vt CtS) ;
UseV3 : V3 -> Verb (VtN CtN) ;
UseV2S : V2S -> Verb (VtN CtS) ;
UseV2Q : V2Q -> Verb (VtN CtQ) ;
---- etc
}