A sample analysis

The complexity of the theory is shown by derivations generated by the operational DATR model. In order to derive the post-lexical phonetic representation of the synthetic compound busdriver, 173 DATR inferences (rule applications) are required, in order to derive the simplex plural form buses, 44 inferences are needed. It will be sufficient to illustrate the process using a simplex plural, buses, as the general definition of head-modifier based on interpretative compositionality covers all morphological ranks.

Initial local inheritance:

=0,0,0> LOCAL Bus:< || plur surf phon > == Noun
        GLOBAL Bus:< plur surf phon >
RULE III.(NODE)
=1,0,0> LOCAL Noun:< || plur surf phon > == Word
        GLOBAL Bus:< plur surf phon >
RULE III.(NODE)
=2,0,0> LOCAL Word:< plur surf phon > == Morphophon:< Interpretation >
        GLOBAL Bus:< plur surf phon >
RULE II.(NODE/PATH)
RULE III.(NODE)

Assignment of linear precedence and lexical stress to inflected word:

=3,1,0> LOCAL Interpretation:< || plur surf phon > == First Operator Second
        GLOBAL Bus:< plur surf phon >
RULE III.(NODE)
=4,1,0> LOCAL First:< || plur surf phon > == StressOp "< modi >"
        GLOBAL Bus:< plur surf phon >
RULE III.(NODE)
=5,1,0> LOCAL StressOp:< plur surf phon > == < surf phon >
        GLOBAL Bus:< plur surf phon >
RULE IV.(PATH)
=6,1,0> LOCAL StressOp:< surf phon > == < stress "< cat morph >" >
        GLOBAL Bus:< plur surf phon >
RULE IV.(PATH)
RULE VII.(GPATH)
=7,2,0> LOCAL Bus:< || cat morph > == Noun
        GLOBAL Bus:< cat morph >
RULE III.(NODE)
=8,2,0> LOCAL Noun:< || cat morph > == Word
        GLOBAL Bus:< cat morph >
RULE III.(NODE)
=9,2,0> LOCAL Word:< || cat morph > == Sign
        GLOBAL Bus:< cat morph >
RULE III.(NODE)
=10,2,0> LOCAL Sign:< || cat morph > ==
        GLOBAL Bus:< cat morph >
RULE I.(ATOM)

=7,1,0> LOCAL StressOp:< stress > ==
        GLOBAL Bus:< plur surf phon >
RULE I.(ATOM)

RULE VII.(GPATH)

Assignment of morphophonemic (lexical) representation:

=5,1,1> LOCAL Bus:< || modi plur surf phon > == Noun
        GLOBAL Bus:< modi plur surf phon >
RULE III.(NODE)
=6,1,0> LOCAL Noun:< || modi plur surf phon > == Word
        GLOBAL Bus:< modi plur surf phon >
RULE III.(NODE)
=7,1,0> LOCAL Word:< modi plur || surf phon > == "< modi >"
        GLOBAL Bus:< modi plur surf phon >
RULE VII.(GPATH)
=8,1,0> LOCAL Bus:< modi surf || phon > == b V s
        GLOBAL Bus:< modi surf phon >
RULE I.(ATOM)
b
RULE I.(ATOM)
V
RULE I.(ATOM)
s
RULE III.(NODE)

Interpretation of (null) inflection operator:

=4,1,1> LOCAL Operator:< || plur surf phon > == "< operator >"
        GLOBAL Bus:< plur surf phon >
RULE VII.(GPATH)
=5,1,0> LOCAL Bus:< || operator plur surf phon > == Noun
        GLOBAL Bus:< operator plur surf phon >
RULE III.(NODE)
=6,1,0> LOCAL Noun:< || operator plur surf phon > == Word
        GLOBAL Bus:< operator plur surf phon >
RULE III.(NODE)
=7,1,0> LOCAL Word:< operator plur || surf phon > == "< operator >"
        GLOBAL Bus:< operator plur surf phon >
RULE VII.(GPATH)
=8,1,0> LOCAL Bus:< || operator surf phon > == Noun
        GLOBAL Bus:< operator surf phon >
RULE III.(NODE)
=9,1,0> LOCAL Noun:< || operator surf phon > == Word
        GLOBAL Bus:< operator surf phon >
RULE III.(NODE)
=10,1,0> LOCAL Word:< || operator surf phon > == Sign
        GLOBAL Bus:< operator surf phon >
RULE III.(NODE)
=11,1,0> LOCAL Sign:< || operator surf phon > ==
        GLOBAL Bus:< operator surf phon >
RULE I.(ATOM)

RULE III.(NODE)
=4,1,2> LOCAL Second:< || plur surf phon > == "< head >"
        GLOBAL Bus:< plur surf phon >
RULE VII.(GPATH)

Assignment of plural morphophoneme:

=5,1,0> LOCAL Bus:< || head plur surf phon > == Noun
        GLOBAL Bus:< head plur surf phon >
RULE III.(NODE)
=6,1,0> LOCAL Noun:< head plur surf || phon > == #+ /Z
        GLOBAL Bus:< head plur surf phon >
RULE I.(ATOM)
#+
RULE I.(ATOM)
/Z

Morphophonemic mapping:

=3,0,0> LOCAL Morphophon:< b || V s #+ /Z > == b <  >
        GLOBAL Bus:< plur surf phon >
RULE I.(ATOM)
b
RULE IV.(PATH)
=4,0,1> LOCAL Morphophon:< V || s #+ /Z > == V <  >
        GLOBAL Bus:< plur surf phon >
RULE I.(ATOM)
V
RULE IV.(PATH)
=5,0,1> LOCAL Morphophon:< s #+ /Z > == s I z <  >
        GLOBAL Bus:< plur surf phon >
RULE I.(ATOM)
s
RULE I.(ATOM)
I
RULE I.(ATOM)
z
RULE IV.(PATH)
=6,0,3> LOCAL Morphophon:< > ==
        GLOBAL Bus:< plur surf phon >
RULE I.(ATOM)

[Query 49 (44 Inferences)] Bus:< plur surf phon > = bVsIz.