Usage:
 zdatrinf -i INAME [-q QNAME] [-d DNAME] [-t TNAME] [-v#] [-m#] [-r#] [-c] [-k]


Obligatory Parameter: -i INAME, Name of _I_nput token file (generated by datrtok)

Optional Parameters:
 -q QNAME, Name of _Q_uery input file
 -d DNAME, Name of _D_eclaration input file
 -t TNAME, Name of _T_race output file
 -v # _V_erbosity mode,-2 (quiet) - 3 (chatter), DEFAULT=0
    Output will be written to stdout and (when given) tracefile
    (-2) show only errors and results WITHOUT succeeding '.'
    (-1) with '.'
    (0) and queries
    (1) and traces
    (2) and traces with used rules
    (3) and complete scan of input file (not recommended)
 -m #, _M_aximum depth for queries, DEFAULT=200
 -r #, maximum number of _R_ecursions for nested paths, DEFAULT=100
 -c _C_runch output, i.e. the Atoms will not be divided by Spaces
 -k enables input via _K_eyboard in addition to any given inputfile
Dec 18 1996, christoph