Auxiliaries

Auxiliaries can also be used as normal verbs:

<Lexicon entries>= << >>

{PUT haben
 lex(cats            : [vinf]
     comps_opt       : [zu object])}
{PUT habe
 lex(cats            : [vfin]
     agrs            : [[1 sing nom]]
     comps_req       : [subject]
     comps_opt       : [object])}
 
{PUT haben
 lex(cats            : [vinf]
     aux             : [haben]
     comps_opt       : [zu]
     comps_req       : [vp_past])}
{PUT habe
 lex(cats            : [vfin]
     agrs            : [[1 sing nom]]
     aux             : [haben]
     comps_req       : [subject vp_past])}
 
{PUT sein
 lex(cats            : [vinf]
     comps_opt       : [zu nominative])}
{PUT bin
 lex(cats            : [vfin]
     agrs            : [[1 sing nom]]
     comps_req       : [subject]
     comps_opt       : [nominative])}
 
{PUT sein
 lex(cats            : [vinf]
     aux             : [sein]
     comps_opt       : [zu]
     comps_req       : [vp_past])}
{PUT bin
 lex(cats            : [vfin]
     agrs            : [[1 sing nom]]
     aux             : [sein]
     comps_req       : [subject vp_past])}