initialized lecture 2

This commit is contained in:
Aarne Ranta
2025-04-02 10:14:36 +02:00
parent e407a2b584
commit 20d5649c22
3 changed files with 90 additions and 0 deletions

View 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 ;
}