General Rule Form
~~~~~~~~~~~~~~~~~

CAT: [X0 ... XM] <-> [Y0 ... YN]

Word alignment:  {Xi <=> Yj}   (a set of word matches)
Feature matching on Y side:  { f(Yi) =u f(Yj) | values }
Constraints on applicability : { f(Xi) =u f(Xj) | values }


Abbreviations
~~~~~~~~~~~~~

agr = { animacy, gender, number, case, politeness (register) }
ta  = { tense, aspect }


Sample Rules
~~~~~~~~~~~

1)  I fell		Mimi nilianguka
			Nilianguka

((1,1), (2,2)) or
((1,0), (2,1))

Rule 1:

S::S : [PRO V] <-> [PRO V]
   Grammar: (Y1 agr) = (Y2 agr)
	    (Y1 case) = (Y2 case)
   Lexicon: (Y1 case) = *nom
            (Y1 animacy) = +animate
   Hypothesis: (X1 agr) = (X2 agr)


Rule 2:

S::S : [PRO V] <-> [V]
	 (Y1 agr) = (X1 agr)
	 (Y1 ta) = (X1 ta)
	 ;; x-y constraints
	 (X2::Y1)

Rule 3:

PRO::PRO : [PRO] <-> [PRO]
	 (Y1 agr) = (X1 agr)


Rule 4:

V::V :  [V] <-> [V]
     (X1::Y1)
     (Y1 agr) = (X1 agr)
     (Y1 ta) = (X1 ta)



2)  I am falling	(Mimi) ninaanguka 

((1,1), (2,2), (3,2)) or 
((1,0), (2,1), (3,1))


Rule 1:

S::S : [PRO VC] <-> [PRO V]     (VC = verb complex)
    ;; y constraints
    (Y1 agr) = (Y2 agr)
    ;; x-y constraints
    (X1::Y1)
    (X2::Y2)

Rule 2:

VC::V : [VC] <-> [V]
    ;; x-y constraints
    (X1 agr) = (Y1 agr)
    (X1 ta) = (Y1 ta)



3)  The father read books		Baba alisona vitabu

((1,0), (2,1), (3,2), (4,3))

Rule 1:

NP::NP : [ART N] <-> [N]
	;;x-side constraints:
	(X1 def) = *+	
	(X0 = X1)		
	(X0 = X2)  ;; pass up information from heads and minor categories
	
	;;y-side constraints:
	(Y0 = Y1)
	
	;; x-y constraints
	(X2::Y1)
	


Rule 2: (incomplete)

S::S : [NP V NP] <-> [NP V NP] 
     ;; x-side constraints
    (X1 agr) = (X2 agr)
     ;; y-side constraints
    (Y1 agr) = (Y2 agr)
    (Y3 agr) = (Y2 agr)
    ;; x-y side constraints
    (X1::Y1)
    (X2::Y2)
    (X3::Y3)

Rule 3: 

N::N : [N] <-> [N]
	;; add lexical access function GetLex(X1&, Y1&)