The following nine examples were automatically inferred using the Bielefeld mud (``minimal unix datr'') software for DATR trace construction.
Trace: 1 Theory: syntax3.dtr.norm Query: syntax.qry.norm
(1) --->> Verb : < surf >
=1>L: Verb: < surf > == " < subject surf > " #
" < verb surf root > " + < morph suffix < agr > > +
" < object surf > "
G: Verb: < surf >
<2= Verb: < surf > = subject surf
=2>L: Verb: < subject surf > == 0
G: Verb: < subject surf >
<2= Verb: < subject surf > = 0
<2= Verb: < surf > = verb surf root
=2>L: Verb: < verb surf root > == " < surf root > "
G: Verb: < verb surf root >
<3= Verb: < verb surf root > = surf root
=3>L: Verb: < surf root > == 0
G: Verb: < surf root >
<3= Verb: < surf root > = 0
<2= Verb: < verb surf root > = 0
<3= Verb: < surf > = agr
=3>L: Verb: < agr > == " < subject pers > " " < subject num > "
G: Verb: < surf >
<4= Verb: < agr > = subject pers
=4>L: Verb: < subject pers > == 0
G: Verb: < subject pers >
<4= Verb: < subject pers > = 0
<4= Verb: < agr > = subject num
=4>L: Verb: < subject num > == 0
G: Verb: < subject num >
<4= Verb: < subject num > = 0
<3= Verb: < agr > = 0 0
<2= Verb: < surf > = morph suffix 0 0
=2>L: Verb: < morph suffix 0 0 > == 0
G: Verb: < surf >
<2= Verb: < morph suffix 0 0 > = 0
<2= Verb: < surf > = object surf
=2>L: Verb: < object surf > == 0
G: Verb: < object surf >
<2= Verb: < object surf > = 0
<1= Verb: < surf > = 0 # 0 + 0 + 0
33 |- Verb : < surf > = 0 # 0 + 0 + 0 .
(2) --->> Noun : < surf >
=1>L: Noun: < surf > == " < surf root > " + < morph suffix < agr > >
G: Noun: < surf >
<2= Noun: < surf > = surf root
=2>L: Noun: < surf root > == 0
G: Noun: < surf root >
<2= Noun: < surf root > = 0
<3= Noun: < surf > = agr
=3>L: Noun: < agr > == " < num > "
G: Noun: < surf >
<4= Noun: < agr > = num
=4>L: Noun: < num > ==
G: Noun: < num >
<4= Noun: < num > =
<3= Noun: < agr > =
<2= Noun: < surf > = morph suffix
=2>L: Noun: < morph suffix > == 0
G: Noun: < surf >
<2= Noun: < morph suffix > = 0
<1= Noun: < surf > = 0 + 0
13 |- Noun : < surf > = 0 + 0 .
(3) --->> John : < surf >
=1>L: John: < surf > == Noun
G: John: < surf >
=2>L: Noun: < surf > == " < surf root > " + < morph suffix < agr > >
G: John: < surf >
<3= Noun: < surf > = surf root
=3>L: John: < surf root > == j o h n
G: John: < surf root >
<3= John: < surf root > = j o h n
<4= Noun: < surf > = agr
=4>L: Noun: < agr > == " < num > "
G: John: < surf >
<5= Noun: < agr > = num
=5>L: John: < num > == sing
G: John: < num >
<5= John: < num > = sing
<4= Noun: < agr > = sing
<3= Noun: < surf > = morph suffix sing
=3>L: Noun: < morph suffix sing > == 0
G: John: < surf >
<3= Noun: < morph suffix sing > = 0
<2= Noun: < surf > = j o h n + 0
<1= John: < surf > = j o h n + 0
18 |- John : < surf > = j o h n + 0 .
(4) --->> Mother : < surf >
=1>L: Mother: < surf > == Noun
G: Mother: < surf >
=2>L: Noun: < surf > == " < surf root > " + < morph suffix < agr > >
G: Mother: < surf >
<3= Noun: < surf > = surf root
=3>L: Mother: < surf root > == m o t h e r
G: Mother: < surf root >
<3= Mother: < surf root > = m o t h e r
<4= Noun: < surf > = agr
=4>L: Noun: < agr > == " < num > "
G: Mother: < surf >
<5= Noun: < agr > = num
=5>L: Mother: < num > == sing
G: Mother: < num >
<5= Mother: < num > = sing
<4= Noun: < agr > = sing
<3= Noun: < surf > = morph suffix sing
=3>L: Noun: < morph suffix sing > == 0
G: Mother: < surf >
<3= Noun: < morph suffix sing > = 0
<2= Noun: < surf > = m o t h e r + 0
<1= Mother: < surf > = m o t h e r + 0
20 |- Mother : < surf > = m o t h e r + 0 .
(5) --->> Like : < surf >
=1>L: Like: < surf > == Verb
G: Like: < surf >
=2>L: Verb: < surf > == " < subject surf > " #
" < verb surf root > " +
< morph suffix < agr > > + " < object surf > "
G: Like: < surf >
<3= Verb: < surf > = subject surf
=3>L: Like: < subject surf > == Verb
G: Like: < subject surf >
=4>L: Verb: < subject surf > == 0
G: Like: < subject surf >
<4= Verb: < subject surf > = 0
<3= Like: < subject surf > = 0
<3= Verb: < surf > = verb surf root
=3>L: Like: < verb surf root > == Verb
G: Like: < verb surf root >
=4>L: Verb: < verb surf root > == " < surf root > "
G: Like: < verb surf root >
<5= Verb: < verb surf root > = surf root
=5>L: Like: < surf root > == l i k e
G: Like: < surf root >
<5= Like: < surf root > = l i k e
<4= Verb: < verb surf root > = l i k e
<3= Like: < verb surf root > = l i k e
<4= Verb: < surf > = agr
=4>L: Verb: < agr > == " < subject pers > " " < subject num > "
G: Like: < surf >
<5= Verb: < agr > = subject pers
=5>L: Like: < subject pers > == Verb
G: Like: < subject pers >
=6>L: Verb: < subject pers > == 0
G: Like: < subject pers >
<6= Verb: < subject pers > = 0
<5= Like: < subject pers > = 0
<5= Verb: < agr > = subject num
=5>L: Like: < subject num > == Verb
G: Like: < subject num >
=6>L: Verb: < subject num > == 0
G: Like: < subject num >
<6= Verb: < subject num > = 0
<5= Like: < subject num > = 0
<4= Verb: < agr > = 0 0
<3= Verb: < surf > = morph suffix 0 0
=3>L: Verb: < morph suffix 0 0 > == 0
G: Like: < surf >
<3= Verb: < morph suffix 0 0 > = 0
<3= Verb: < surf > = object surf
=3>L: Like: < object surf > == Verb
G: Like: < object surf >
=4>L: Verb: < object surf > == 0
G: Like: < object surf >
<4= Verb: < object surf > = 0
<3= Like: < object surf > = 0
<2= Verb: < surf > = 0 # l i k e + 0 + 0
<1= Like: < surf > = 0 # l i k e + 0 + 0
42 |- Like : < surf > = 0 # l i k e + 0 + 0 .
(6) --->> Like : < surf root >
=1>L: Like: < surf root > == l i k e
G: Like: < surf root >
<1= Like: < surf root > = l i k e
4 |- Like : < surf root > = l i k e .
(7) --->> Like : < verb surf root >
=1>L: Like: < verb surf root > == Verb
G: Like: < verb surf root >
=2>L: Verb: < verb surf root > == " < surf root > "
G: Like: < verb surf root >
<3= Verb: < verb surf root > = surf root
=3>L: Like: < surf root > == l i k e
G: Like: < surf root >
<3= Like: < surf root > = l i k e
<2= Verb: < verb surf root > = l i k e
<1= Like: < verb surf root > = l i k e
8 |- Like : < verb surf root > = l i k e .
(8) --->> Sentence_1 : < verb surf root >
=1>L: Sentence_1: < verb surf root > == Like : < surf root >
G: Sentence_1: < verb surf root >
<2= Sentence_1: < verb surf root > = surf root
=2>L: Like: < surf root > == l i k e
G: Sentence_1: < verb surf root >
<2= Like: < surf root > = l i k e
<1= Sentence_1: < verb surf root > = l i k e
7 |- Sentence_1 : < verb surf root > = l i k e .
(9) --->> Sentence_1 : < surf >
=1>L: Sentence_1: < surf > == Verb
G: Sentence_1: < surf >
=2>L: Verb: < surf > == " < subject surf > " #
" < verb surf root > " +
< morph suffix < agr > > + " < object surf > "
G: Sentence_1: < surf >
<3= Verb: < surf > = subject surf
=3>L: Sentence_1: < subject surf > == " Mother : < surf > "
G: Sentence_1: < subject surf >
<4= Sentence_1: < subject surf > = surf
=4>L: Mother: < surf > == Noun
G: Mother: < surf >
=5>L: Noun: < surf > == " < surf root > " + < morph suffix < agr > >
G: Mother: < surf >
<6= Noun: < surf > = surf root
=6>L: Mother: < surf root > == m o t h e r
G: Mother: < surf root >
<6= Mother: < surf root > = m o t h e r
<7= Noun: < surf > = agr
=7>L: Noun: < agr > == " < num > "
G: Mother: < surf >
<8= Noun: < agr > = num
=8>L: Mother: < num > == sing
G: Mother: < num >
<8= Mother: < num > = sing
<7= Noun: < agr > = sing
<6= Noun: < surf > = morph suffix sing
=6>L: Noun: < morph suffix sing > == 0
G: Mother: < surf >
<6= Noun: < morph suffix sing > = 0
<5= Noun: < surf > = m o t h e r + 0
<4= Mother: < surf > = m o t h e r + 0
<3= Sentence_1: < subject surf > = m o t h e r + 0
<3= Verb: < surf > = verb surf root
=3>L: Sentence_1: < verb surf root > == Like : < surf root >
G: Sentence_1: < verb surf root >
<4= Sentence_1: < verb surf root > = surf root
=4>L: Like: < surf root > == l i k e
G: Sentence_1: < verb surf root >
<4= Like: < surf root > = l i k e
<3= Sentence_1: < verb surf root > = l i k e
<4= Verb: < surf > = agr
=4>L: Verb: < agr > == " < subject pers > " " < subject num > "
G: Sentence_1: < surf >
<5= Verb: < agr > = subject pers
=5>L: Sentence_1: < subject pers > == " Mother : < pers > "
G: Sentence_1: < subject pers >
<6= Sentence_1: < subject pers > = pers
=6>L: Mother: < pers > == Noun
G: Mother: < pers >
=7>L: Noun: < pers > == third
G: Mother: < pers >
<7= Noun: < pers > = third
<6= Mother: < pers > = third
<5= Sentence_1: < subject pers > = third
<5= Verb: < agr > = subject num
=5>L: Sentence_1: < subject num > == " Mother : < num > "
G: Sentence_1: < subject num >
<6= Sentence_1: < subject num > = num
=6>L: Mother: < num > == sing
G: Mother: < num >
<6= Mother: < num > = sing
<5= Sentence_1: < subject num > = sing
<4= Verb: < agr > = third sing
<3= Verb: < surf > = morph suffix third sing
=3>L: Verb: < morph suffix third sing > == s
G: Sentence_1: < surf >
<3= Verb: < morph suffix third sing > = s
<3= Verb: < surf > = object surf
=3>L: Sentence_1: < object surf > == " John : < surf > "
G: Sentence_1: < object surf >
<4= Sentence_1: < object surf > = surf
=4>L: John: < surf > == Noun
G: John: < surf >
=5>L: Noun: < surf > == " < surf root > " + < morph suffix < agr > >
G: John: < surf >
<6= Noun: < surf > = surf root
=6>L: John: < surf root > == j o h n
G: John: < surf root >
<6= John: < surf root > = j o h n
<7= Noun: < surf > = agr
=7>L: Noun: < agr > == " < num > "
G: John: < surf >
<8= Noun: < agr > = num
=8>L: John: < num > == sing
G: John: < num >
<8= John: < num > = sing
<7= Noun: < agr > = sing
<6= Noun: < surf > = morph suffix sing
=6>L: Noun: < morph suffix sing > == 0
G: John: < surf >
<6= Noun: < morph suffix sing > = 0
<5= Noun: < surf > = j o h n + 0
<4= John: < surf > = j o h n + 0
<3= Sentence_1: < object surf > = j o h n + 0
<2= Verb: < surf > = m o t h e r + 0 # l i k e + s + j o h n + 0
<1= Sentence_1: < surf > = m o t h e r + 0 # l i k e + s + j o h n + 0
82 |- Sentence_1 : < surf > = m o t h e r + 0 # l i k e + s + j o h n + 0 .