;;; -*- Mode: TDL; Coding: utf-8 -*- 

;;; HAG (Hausa Grammar)
;;; Author: Berthold Crysmann 
;;; 2009

;;; Underspecification of pn hierarchy 

;;; Imported from GG



pn := avm.

; 5 cells
-1s := pn.
-2s := pn.
-3s := pn.
-1p := pn.
-2p := pn.
-3p := pn.

; 4 cells
-1 := -1s & -1p.
-2 := -2s & -2p.
-3 := -3s & -3p.

-12s := -1s & -2s.
-13s := -1s & -3s.
-23s := -2s & -3s.

-12p := -1p & -2p.
-13p := -1p & -3p.
-23p := -2p & -3p.

-1s-2p := -1s & -2p.
-1s-3p := -1s & -3p.
-2s-1p := -2s & -1p. 

-2s-3p := -2s & -3p.
-3s-1p := -3s & -1p.
-3s-2p := -3s & -2p.



;3 cells

sg := -12p & -13p & -23p. 
pl := -12s & -13s & -23s.

1+2s := -3s-2p & -23p & -3.
1+2p := -2s-3p & -23s & -3.
1+3s := -2s-3p & -23p & -2.
1+3p := -3s-2p & -23s & -2.

2+1s := -3s-1p & -13p & -3.
2+1p := -1s-3p & -13s & -3.
2+3s := -1s-3p & -13p & -1.
2+3p := -3s-1p & -13s & -1.


3+1s := -2s-1p & -12p & -2.
3+1p := -1s-2p & -12s & -2.
3+2s := -1s-2p & -12p & -1.
3+2p := -2s-1p & -12s & -1.

12s+3p := -3s-1p & -3s-2p & -12p.
13s+2p := -2s-1p & -2s-3p & -13p.
23s+1p := -1s-2p & -1s-3p & -23p.

1s+23p := -2s-1p & -3s-1p & -23s.
2s+13p := -1s-2p & -3s-2p & -13s.
3s+12p := -1s-3p & -2s-3p & -12s.



; 2 cells

1 := 
     1+2s & 
     1+2p &
     1+3s & 
     1+3p. 

2 := 
     2+1s &
     2+1p &
     2+3s &
     2+3p.

3:= 
    3+1s & 
    3+1p &
    3+2s &
    3+2p.

12s :=
      12s+3p &
      1+2s &
      2+1s &
      sg.
      

13s :=
      13s+2p &
      1+3s &
      3+1s &
      sg.

23s :=
      23s+1p &
      2+3s &
      3+2s &
      sg.

12p :=
      3s+12p &
      1+2p &
      2+1p &
      pl.


23p :=
      1s+23p &
      2+3p &
      3+2p &
      pl.
      
13p :=
      2s+13p &
      1+3p &
      3+1p &
      pl.

1s+2p :=
	1+2p &
	2+1s &
	13s+2p &
	1s+23p.

1s+3p :=
	1+3p &
	3+1s &
	12s+3p &
	1s+23p.

2s+1p :=
	2+1p &
	1+2s &
	2s+13p &
	23s+1p.


2s+3p :=
	2+3p &
	3+2s &
	2s+13p &
	12s+3p.

3s+1p :=
	3+1p &
	1+3s &
	3s+12p &
	23s+1p.

3s+2p :=
	3+2p &
	2+3s &
	3s+12p &
	13s+2p.


1s :=
     1 &
     12s &
     13s &
     1s+2p &
     1s+3p.

2s :=
     2 &
     12s &
     23s &
     2s+1p &
     2s+3p.

3s :=
     3 &
     13s &
     23s &
     3s+1p &
     3s+2p.

1p :=
     1 &
     12p &
     13p &
     2s+1p &
     3s+1p.
     
2p :=
     2 &
     12p &
     23p &
     1s+2p &
     3s+2p.

3p :=
     3 &
     13p &
     23p &
     2s+3p &
     1s+3p.