ZDATR HyprLex Testbed Interface
ZDATR: HyprLex Testbed Interface
Dafydd Gibbon, U Bielefeld, 22 March 1996
BROWSE:
engcomp.dtr
katja2.dtr
mp_comp.dtr
schmitt.dtr
discpart.dtr
bubble.dtr
engcomp.dec
katja2.dec
mp_comp.dec
schmitt.dec
discpart.dec
bubble.dec
engcomp.qry
katja2.qry
mp_comp.qry
schmitt.qry
discpart.qry
bubble.qry
SELECT FILES:
THEORY !
engcomp.dtr
katja2.dtr
mp_comp.dtr
schmitt.dtr
discpart.dtr
bubble.dtr
DECLAR ?
engcomp.dec
katja2.dec
mp_comp.dec
schmitt.dec
discpart.dec
bubble.dec
LIST ?
engcomp.qry
katja2.qry
mp_comp.qry
schmitt.qry
discpart.qry
bubble.qry
MANUAL QUERY
(expandable box):
% Queries for theory `engcomp.dtr' Morphograph:<l a d y> Morphograph:<l a d y #+ s> Busdriver:<surf graph> Busdriver:<surf graph orth> Busdriver:<surf> Busdriver:<surf phon> Busdriver:<sem> Busdriver:<plur surf graph> Busdriver:<plur surf graph orth> Busdriver:<plur surf> Busdriver:<plur surf phon> Busdriver:<plur sem>
INPUT TYPE:
MANUAL
DECLAR
LIST
OUTPUT OPTIONS:
notrace
trace
nocrunch
crunch
theorem
value
OPERATE:
Further information on DATR, ZDATR, ILEX, HyprLex.
Dafydd Gibbon
22 March 1997