mirror of
https://github.com/GrammaticalFramework/comp-syntax-gu-mlt.git
synced 2026-02-09 06:41:07 -07:00
lecture synopsis in README.md, material in each subcategory
This commit is contained in:
30
lectures/lecture-01/Intro.gf
Normal file
30
lectures/lecture-01/Intro.gf
Normal file
@@ -0,0 +1,30 @@
|
||||
abstract Intro = {
|
||||
|
||||
cat
|
||||
S ;
|
||||
NP ;
|
||||
VP ;
|
||||
CN ;
|
||||
AP ;
|
||||
Det ;
|
||||
Pron ;
|
||||
N ;
|
||||
A ;
|
||||
V2 ;
|
||||
|
||||
fun
|
||||
PredVP : NP -> VP -> S ;
|
||||
ComplV2 : V2 -> NP -> VP ;
|
||||
DetCN : Det -> CN -> NP ;
|
||||
AdjCN : AP -> CN -> CN ;
|
||||
UseN : N -> CN ;
|
||||
UseA : A -> AP ;
|
||||
UsePron : Pron -> NP ;
|
||||
|
||||
the_Det : Det ;
|
||||
black_A : A ;
|
||||
cat_N : N ;
|
||||
see_V2 : V2 ;
|
||||
we_Pron : Pron ;
|
||||
|
||||
}
|
||||
Reference in New Issue
Block a user