% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %
%                                                                           %
% File:            verb_val.dtr                                             %
% Purpose:         verb valency - subcategorization, passive & logical form %
% Author:          Erik Kafe,  14 August, 1994                              %
% Email:           kafe@cphling.dk                                          %
% Version:         1.01                                                     %
%                                                                           %
%   Copyright (c) University of Copenhagen 1994.  All rights reserved.      %
%                                                                           %
% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

# nc node : <node name>.

Verb:           <> ==
                <subject type> == animate
                <default> == Active.

V:              <> == Verb
                <voice> == "<default voice>"
                <syntax> == Syntax
                <logical-form> == Logical-form.

V1:             <> == V
                <x> == Left-syn
                <subject> == Subject.

V2:             <> == V1
                <y> == Right1-syn
                <object> == Object.

V3:             <> == V2
                <z> == Right2-syn
                <comp> == Inf-comp.

% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

% Hidden (non-evaluable):

Syntax:         <syntax> == "<x>" [ "<node name>" ] "<y>" "<z>".

Left-syn:       <xx> == "<default left>"
                <x> ==  [ <xx type> <xx func> <xx cat> ].

Right1-syn:     <yy> == "<default right first>"
                <y> ==  [ <yy prep> <yy type> <yy func> <yy cat> ].

Right2-syn:     <default> == Inf-comp
                <zz> == <default right rest first>
                <f> ==  [ subj_gap - <zz subject type> <zz subject func> ]
                <i> ==  [ to - <zz type> <zz pred> ]
                <z> ==  <f> <i>.

Logical-form:   <logical-form> == <p> <a>
                <p> == "<pred>"
                <a> == [ "<default arg 1 type>" 
                         "<default arg 2 type>" 
                         "<default arg 3 pred>" ].

Active:         <default> == Inf-comp
                <default voice> == <node name>
                <default left> == "<subject>"
                <default right first> == "<object>"
                <default arg 1> == <default left>
                <default arg 2> == <default right first>.

Passive:        <default> == Inf-comp
                <default voice> == <node name>
                <default left> == "<object>"
                <default left func> == patient
                <default right first> == "<subject>"
                <default right first func> == agent
                <default right first prep> == by
                <default arg 1> == <default right first>
                <default arg 2> == <default left>.

Inf-comp:       <default right rest first> == "<comp>"
                <default arg 3> == <default right rest first>
                <comp subject> == "<default arg 2>"
                <comp type> == infinitival
                <comp pred> == action.

Subject:        <subject cat> == np
                <subject func> == <node name>
                <subject type> == Verb.

Object:         <object cat> == np
                <object func> == <node name>
                <object prep> == Verb.

% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

% Lexemes:

Rain:           <> == V1
                <pred> == <node name>
                <subject cat> == pronoun
                <subject type> == indefinite.

Sleep:          <> == V1
                <pred> == <node name>.

Eat:            <> == V2
                <pred> == <node name>
                <object type> == edible.

Persuade:       <> == V3
                <pred> == <node name>
                <object type> == animate.

% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

% Words:

Rains:          <> == Rain.

Sleeps:         <> == Sleep.

Eats:           <> == Eat.

Is-eaten:       <> == Eat
                <default> == Passive.

Persuades:      <> == Persuade.

Is-persuaded:   <> == Persuade
                <default> == Passive.

% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

% Some example theorems:

% Eats:
%               <voice> = active
%               <syntax> = [ animate subject np ]
%                          [ eats ]
%                          [ edible object np ] 
%               <logical-form> = eat [ animate edible ].
%     
% Is-eaten:
%               <voice> = passive
%               <syntax> = [ edible patient np ]
%                          [ is-eaten ]
%                          [ by animate agent np ] 
%               <logical-form> = eat [ animate edible ].
%     
% Persuades:
%               <voice> = active
%               <syntax> = [ animate subject np ]
%                          [ persuades ]
%                          [ animate object np ] 
%                          [ subj_gap - animate object ]
%                          [ to - infinitival action ] 
%               <logical-form> = persuade [ animate animate action ] .
%     
% Is-persuaded:
%               <voice> = passive
%               <syntax> = [ animate patient np ]
%                          [ is-persuaded ]
%                          [ by animate agent np ]
%                          [ subj_gap - animate patient ]
%                          [ to - infinitival action ] 
%               <logical-form> = persuade [ animate animate action ] .

% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

# show          <voice>
                <syntax>
                <logical-form>.

# hide          Syntax
                Logical-form
                Left-syn
                Right1-syn
                Right2-syn
                Inf-comp
                Third-comp
                Active
                Passive
                Subject
                Object
                Verb V V1 V2 V3
                Rain Sleep Eat Persuade.

% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % %

% The next line is the Revision Control System Id: do not delete it.
% $Id: archive.dtr,v 1.1 1997/04/09 20:40:33 root Exp $