use oper in examples

This commit is contained in:
krasimir
2009-06-13 13:36:41 +00:00
parent fb29ce7834
commit c25d7be877
6 changed files with 38 additions and 38 deletions

View File

@@ -12,12 +12,12 @@ param Num = sg | pl ;
param Kas = nom | acc ;
param DepNum = depnum | cnum Num ;
lintype SS = {s : Str} ;
lintype SSDep = {s : Num => Sex => Str} ; -- needs Num and Sex
lintype SSSrc = {s : Str ; n : Num ; x : Sex} ; -- gives Num and Sex
lintype SSSrc2 = {s : Num => Sex => Str ; n : DepNum ; x : Sex} ; -- gives and needs
lintype SSDep2 = {s : DepNum => Sex => Num => Sex => Str} ; -- needs Auth's & Recp's
lintype SSSrcNum = {s : Str ; n : Num} ; -- gives Num only
oper SS = {s : Str} ;
oper SSDep = {s : Num => Sex => Str} ; -- needs Num and Sex
oper SSSrc = {s : Str ; n : Num ; x : Sex} ; -- gives Num and Sex
oper SSSrc2 = {s : Num => Sex => Str ; n : DepNum ; x : Sex} ; -- gives and needs
oper SSDep2 = {s : DepNum => Sex => Num => Sex => Str} ; -- needs Auth's & Recp's
oper SSSrcNum = {s : Str ; n : Num} ; -- gives Num only
oper