next up previous contents
Next: Semantics trace for Up: No Title Previous: Autosegmental automaton

DATR theorems syncnode.theo

Hund:<semantics> = lambda [ x ] ( tame_canine [ x ] ).
Hund:<surf morphon flex plur dat> = # wpros noumlaut h U n d + @ + n # .
Hund:<surf morphon flex plur> = # wpros noumlaut h U n d + @ + # .
Hund:<surf morphon flex sing gen> = # wpros noumlaut h U n d + s # .
Hund:<surf morphon flex> = # wpros noumlaut h U n d + # .
Hund:<surf orth flex plur dat> = h u n d e n .
Hund:<surf orth flex plur> = h u n d e .
Hund:<surf orth flex sing gen> = h u n d s .
Hund:<surf orth flex> = h u n d .
Hund:<surf phon flex plur dat>   = # h / U n . d + @ + n # .
Wolf:<semantics> = lambda [ x ] ( wild\_canine [ x ] ) .
Wolf:<surf orth flex plur dat>   =  w  "o l f e n .
Wolf:<surf orth flex plur>   =  w  "o l f e .
Wolf:<surf orth flex sing gen> = w o l f s .
Wolf:<surf orth flex> = w o l f .
Wolf:<surf phon flex plur dat> = # v / 9 l . f + @ + n # .
Wolf:<surf phon flex plur> = # v / 9 l . f + @ + # .
Wolf:<surf phon flex sing gen> = # v / O l f + s # .
Wolf:<surf phon flex> = # v / O l f + # .
Wolfshund:<semantics> = lambda [ x y ] ( tame_canine [ x ] & wild_canine [ y ] & cross_breed [ x y ] ) .
Wolfshund:<surf phon flex plur dat> = # v / O l f + s # # h / / U n . d + @ + n # .
Wolfshund:<surf phon flex plur> = # v / O l f + s # # h / / U n . d + @ + # .
Wolfshund:<surf phon flex sing gen> = # v / O l f + s # # h / / U n t + s # .
Wolfshund:<surf phon flex> = # v / O l f + s # # h / / U n t + # .



Dafydd Gibbon
Sat Jan 6 20:59:29 MET 1996