forked from GitHub/comp-syntax-gu-mlt
17 lines
322 B
Plaintext
17 lines
322 B
Plaintext
concrete FactsFin of Facts =
|
|
open SyntaxFin, SymbolicFin, (E=ExtendFin) in {
|
|
|
|
lincat
|
|
Fact = Cl ;
|
|
Object = NP ;
|
|
Attribute = CN ;
|
|
Value = NP ;
|
|
Name = NP ;
|
|
|
|
lin
|
|
AttributeFact attr obj val = mkCl (mkNP (E.GenNP obj) attr) val ;
|
|
NameObject name = name ;
|
|
NameValue name = name ;
|
|
IntValue int = symb int ;
|
|
|
|
} |