;;; Authors: ;;; 2006 Berthold Crysmann ;;; Copyright: DFKI GmbH pn := *sort*. ; 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 & ext-num. pl := -12s & -13s & -23s & ext-num. 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 & ext-pers. 2 := 2+1s & 2+1p & 2+3s & 2+3p & ext-pers. 3:= 3+1s & 3+1p & 3+2s & 3+2p & ext-pers. 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.