% % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % File: englex2.dtr % % Purpose: sample DATR feature-logic description of English lexicon % % Author: James Kilbury, 14 August 1994 % % Email: kilbury@ling.uni-duesseldorf.de % % Address: U Drf, Universitaetsstr. 1, D-40225 Duesseldorf, Germany % % Related files: englex21.dmp, englex22.dmp, fldcons.dtr, etc. % % Version: 2.01 (20 September 1994) % % % % Copyright (c) University of Duesseldorf 1994. All rights reserved. % % % % NB: This example merely serves to illustrate formal techniques; % % the analysis of English is NOT a serious proposal. % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % Call cp([fldcons, fldpatr2, englex2]) (PATR-II syntax) or % cp([fldcons, fldqpatr, englex2]) (QPATR syntax) to load, % inferences(20000) to set recursion depth, and e.g. % John to get the FLD in PROLOG notation. # nc node: . % node-name-to-atom conversion CAT: <> == type_violation <*> == FS: % sign structure == ATOM:<"" ^> % surf(ace) = orthography == ATOM: % syn(tax) == ATOM:<"" ^>. % sem(antics) hack % minor categories % % % % % % % % % % % MINOR: <> == CAT == FS:. DET: % determiner <> == MINOR == FS: == ATOM: == FS: == VAR:<^>. CONJ: % conjunction <> == MINOR == ATOM:. % major categories % % % % % % % % % % % MAJOR: <> == CAT == FS: == ATOM: == ATOM:<0 ^> == FS: == FS: == ATOM: == ATOM: == ATOM:. VERBAL: <> == MAJOR == ATOM: == LIST == SUBJ:< |:<> ||' ~:< |:<> | > > == RP: VAR:<^> == ATOM: == FS: == ATOM:<"" ^> == LIST == VAR:<^> == ATOM:. PREP: <> == MAJOR == ATOM: == ATOM:<"" ^>. NOUN: <> == MAJOR == FS: == FS: == ATOM: == ATOM:<3 ^> == ATOM: == FS: == ATOM:<"" ^> == VAR:<^>. PRNOUN: % proper noun <> == NOUN == ATOM:<2 ^> == ATOM:. EXPL: % expletive nouns <> == PRNOUN == ATOM: == ATOM:. ADJ: <> == VERBAL == ATOM:. % predicative VERB: <> == VERBAL == ATOM: == ATOM:. EXPLETIVE: % expletive verb <> == VERB == ATOM: == EXPL_SUBJ:< |:<> ||' ~:< |:<> | > >. TRANS: % transitive <> == VERB == LIST == OBJ:< |:<> ||' ~:< |:<> | >> == RP: VAR:<^> == ATOM: == LIST == VAR:<^> == ATOM:. % phrasal and complement categories % % NP: <> == NOUN == VAR:<^> == ATOM:<2 ^> == VAR:<^>. % NPs can be lexical. SUBJ: % subject <> == NP. EXPL_SUBJ: % expletive subject <> == SUBJ == ATOM: == ATOM: == ATOM: == ATOM:<3 ^> == ATOM:. OBJ: % object <> == NP == VAR:<^> == VAR:<^>. VP: % verb phrase <> == VERB == VAR:<^> == ATOM:<2 ^> == ATOM:. VCOMP: % VP complement <> == VP == ATOM:. % lexical entries % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % A: <> == DET == ATOM:. And: <> == CONJ. It: <> == EXPL. John: <> == PRNOUN. Little: <> == ADJ. Man: <> == NOUN. Mary: <> == PRNOUN. Old: <> == ADJ. Rains: <> == EXPLETIVE. Sees: <> == TRANS. Sleeps: <> == VERB. The: <> == DET. To: <> == PREP. Woman: <> == NOUN. % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % % # show <*>. # hide CAT MINOR DET CONJ MAJOR VERBAL PREP NOUN PRNOUN EXPL ADJ VERB EXPLETIVE TRANS NP SUBJ EXPL_SUBJ OBJ VP VCOMP FS LIST ATOM VAR RP FS_Path FL_Fmlas Path_Expr FL_Path FL_Path_Rest ^ ~ | || ||| |' ||' |||' Bounded$ PRev$ PCutoff$ PCut$ Anon_Var& Variable& Conjunction& Value_at_Path& Reentrancy& FS_at_Path& Path_Connective& LBracket& RBracket&. % 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 $