There's a problem with the input file. For input #5, /6/, this candidate: [00(01)(02)] violates the same constraints, the same number of times, as this candidate: [0(01)0(02)] Moreover, for input #5, /6/, this candidate: [00(02)(01)] violates the same constraints, the same number of times, as this candidate: [0(02)0(01)] Moreover, for input #6, /7/, this candidate: [(02)0(01)(02)] violates the same constraints, the same number of times, as this candidate: [(02)(01)0(02)] Moreover, for input #6, /7/, this candidate: [00(01)0(02)] violates the same constraints, the same number of times, as this candidate: [0(01)00(02)] Moreover, for input #6, /7/, this candidate: [000(01)(02)] violates the same constraints, the same number of times, as this candidate: [0(01)00(02)] Moreover, for input #6, /7/, this candidate: [00(02)0(01)] violates the same constraints, the same number of times, as this candidate: [0(02)00(01)] Moreover, for input #6, /7/, this candidate: [000(02)(01)] violates the same constraints, the same number of times, as this candidate: [0(02)00(01)] Moreover, for input #6, /7/, this candidate: [00(01)(02)0] violates the same constraints, the same number of times, as this candidate: [0(01)0(02)0] Moreover, for input #6, /7/, this candidate: [00(02)(01)0] violates the same constraints, the same number of times, as this candidate: [0(02)0(01)0] Moreover, for input #6, /7/, this candidate: [000(01)(02)] violates the same constraints, the same number of times, as this candidate: [00(01)0(02)] Moreover, for input #6, /7/, this candidate: [000(02)(01)] violates the same constraints, the same number of times, as this candidate: [00(02)0(01)] Moreover, for input #6, /7/, this candidate: [00(01)000] violates the same constraints, the same number of times, as this candidate: [0(01)0000] Moreover, for input #7, /8/, this candidate: [(02)(02)(01)(02)] violates the same constraints, the same number of times, as this candidate: [(02)(01)(02)(02)] Moreover, for input #7, /8/, this candidate: [(02)0(01)(02)0] violates the same constraints, the same number of times, as this candidate: [(02)(01)0(02)0] Moreover, for input #7, /8/, this candidate: [(02)0(01)0(02)] violates the same constraints, the same number of times, as this candidate: [(02)(01)00(02)] Moreover, for input #7, /8/, this candidate: [(02)00(01)(02)] violates the same constraints, the same number of times, as this candidate: [(02)(01)00(02)] Moreover, for input #7, /8/, this candidate: [(02)00(01)(02)] violates the same constraints, the same number of times, as this candidate: [(02)0(01)0(02)] Moreover, for input #7, /8/, this candidate: [00(02)(02)(01)] violates the same constraints, the same number of times, as this candidate: [0(02)(02)0(01)] Moreover, for input #7, /8/, this candidate: [0(02)0(01)(02)] violates the same constraints, the same number of times, as this candidate: [0(02)(01)0(02)] Moreover, for input #7, /8/, this candidate: [00(02)(01)(02)] violates the same constraints, the same number of times, as this candidate: [0(02)(01)0(02)] Moreover, for input #7, /8/, this candidate: [00(01)(02)(02)] violates the same constraints, the same number of times, as this candidate: [0(01)0(02)(02)] Moreover, for input #7, /8/, this candidate: [00(02)(01)(02)] violates the same constraints, the same number of times, as this candidate: [0(02)0(01)(02)] Moreover, for input #7, /8/, this candidate: [(01)0(02)000] violates the same constraints, the same number of times, as this candidate: [(01)(02)0000] Moreover, for input #7, /8/, this candidate: [(02)0(01)000] violates the same constraints, the same number of times, as this candidate: [(02)(01)0000] Moreover, for input #7, /8/, this candidate: [00(01)(02)00] violates the same constraints, the same number of times, as this candidate: [0(01)0(02)00] Moreover, for input #7, /8/, this candidate: [00(02)(01)00] violates the same constraints, the same number of times, as this candidate: [0(02)0(01)00] Moreover, for input #7, /8/, this candidate: [00(01)0(02)0] violates the same constraints, the same number of times, as this candidate: [0(01)00(02)0] Moreover, for input #7, /8/, this candidate: [000(01)(02)0] violates the same constraints, the same number of times, as this candidate: [0(01)00(02)0] Moreover, for input #7, /8/, this candidate: [00(02)0(01)0] violates the same constraints, the same number of times, as this candidate: [0(02)00(01)0] Moreover, for input #7, /8/, this candidate: [000(02)(01)0] violates the same constraints, the same number of times, as this candidate: [0(02)00(01)0] Moreover, for input #7, /8/, this candidate: [00(01)00(02)] violates the same constraints, the same number of times, as this candidate: [0(01)000(02)] Moreover, for input #7, /8/, this candidate: [000(01)0(02)] violates the same constraints, the same number of times, as this candidate: [0(01)000(02)] Moreover, for input #7, /8/, this candidate: [0000(01)(02)] violates the same constraints, the same number of times, as this candidate: [0(01)000(02)] Moreover, for input #7, /8/, this candidate: [00(02)00(01)] violates the same constraints, the same number of times, as this candidate: [0(02)000(01)] Moreover, for input #7, /8/, this candidate: [000(02)0(01)] violates the same constraints, the same number of times, as this candidate: [0(02)000(01)] Moreover, for input #7, /8/, this candidate: [0000(02)(01)] violates the same constraints, the same number of times, as this candidate: [0(02)000(01)] Moreover, for input #7, /8/, this candidate: [000(01)(02)0] violates the same constraints, the same number of times, as this candidate: [00(01)0(02)0] Moreover, for input #7, /8/, this candidate: [000(02)(01)0] violates the same constraints, the same number of times, as this candidate: [00(02)0(01)0] Moreover, for input #7, /8/, this candidate: [000(01)0(02)] violates the same constraints, the same number of times, as this candidate: [00(01)00(02)] Moreover, for input #7, /8/, this candidate: [0000(01)(02)] violates the same constraints, the same number of times, as this candidate: [00(01)00(02)] Moreover, for input #7, /8/, this candidate: [000(02)0(01)] violates the same constraints, the same number of times, as this candidate: [00(02)00(01)] Moreover, for input #7, /8/, this candidate: [0000(02)(01)] violates the same constraints, the same number of times, as this candidate: [00(02)00(01)] Moreover, for input #7, /8/, this candidate: [0000(01)(02)] violates the same constraints, the same number of times, as this candidate: [000(01)0(02)] Moreover, for input #7, /8/, this candidate: [0000(02)(01)] violates the same constraints, the same number of times, as this candidate: [000(02)0(01)] Moreover, for input #7, /8/, this candidate: [00(01)0000] violates the same constraints, the same number of times, as this candidate: [0(01)00000] Moreover, for input #7, /8/, this candidate: [000(01)000] violates the same constraints, the same number of times, as this candidate: [0(01)00000] Moreover, for input #7, /8/, this candidate: [000(01)000] violates the same constraints, the same number of times, as this candidate: [00(01)0000] Moreover, for input #8, /9/, this candidate: [(02)(02)(01)(02)0] violates the same constraints, the same number of times, as this candidate: [(02)(01)(02)(02)0] Moreover, for input #8, /9/, this candidate: [(01)(02)0(02)(02)] violates the same constraints, the same number of times, as this candidate: [(01)(02)(02)0(02)] Moreover, for input #8, /9/, this candidate: [(02)0(02)(01)(02)] violates the same constraints, the same number of times, as this candidate: [(02)(01)(02)0(02)] Moreover, for input #8, /9/, this candidate: [(02)(01)0(02)(02)] violates the same constraints, the same number of times, as this candidate: [(02)(02)(01)0(02)] Moreover, for input #8, /9/, this candidate: [(02)(02)0(01)(02)] violates the same constraints, the same number of times, as this candidate: [(02)(02)(01)0(02)] Moreover, for input #8, /9/, this candidate: [(02)0(01)(02)(02)] violates the same constraints, the same number of times, as this candidate: [(02)(02)(01)0(02)] Moreover, for input #8, /9/, this candidate: [(02)0(02)(02)(01)] violates the same constraints, the same number of times, as this candidate: [(02)(02)0(02)(01)] Moreover, for input #8, /9/, this candidate: [(02)(02)0(01)(02)] violates the same constraints, the same number of times, as this candidate: [(02)(01)0(02)(02)] Moreover, for input #8, /9/, this candidate: [(02)0(01)(02)(02)] violates the same constraints, the same number of times, as this candidate: [(02)(01)0(02)(02)] Moreover, for input #8, /9/, this candidate: [(02)0(01)(02)(02)] violates the same constraints, the same number of times, as this candidate: [(02)(02)0(01)(02)] Moreover, for input #8, /9/, this candidate: [0(02)(02)(01)(02)] violates the same constraints, the same number of times, as this candidate: [0(02)(01)(02)(02)] Moreover, for input #8, /9/, this candidate: [(02)0(01)(02)00] violates the same constraints, the same number of times, as this candidate: [(02)(01)0(02)00] Moreover, for input #8, /9/, this candidate: [(02)0(01)0(02)0] violates the same constraints, the same number of times, as this candidate: [(02)(01)00(02)0] Moreover, for input #8, /9/, this candidate: [(02)00(01)(02)0] violates the same constraints, the same number of times, as this candidate: [(02)(01)00(02)0] Moreover, for input #8, /9/, this candidate: [(02)0(01)00(02)] violates the same constraints, the same number of times, as this candidate: [(02)(01)000(02)] Moreover, for input #8, /9/, this candidate: [(02)00(01)0(02)] violates the same constraints, the same number of times, as this candidate: [(02)(01)000(02)] Moreover, for input #8, /9/, this candidate: [(02)000(01)(02)] violates the same constraints, the same number of times, as this candidate: [(02)(01)000(02)] Moreover, for input #8, /9/, this candidate: [(02)00(01)(02)0] violates the same constraints, the same number of times, as this candidate: [(02)0(01)0(02)0] Moreover, for input #8, /9/, this candidate: [(02)00(01)0(02)] violates the same constraints, the same number of times, as this candidate: [(02)0(01)00(02)] Moreover, for input #8, /9/, this candidate: [(02)000(01)(02)] violates the same constraints, the same number of times, as this candidate: [(02)0(01)00(02)] Moreover, for input #8, /9/, this candidate: [(02)000(01)(02)] violates the same constraints, the same number of times, as this candidate: [(02)00(01)0(02)] Moreover, for input #8, /9/, this candidate: [00(02)(02)(01)0] violates the same constraints, the same number of times, as this candidate: [0(02)(02)0(01)0] Moreover, for input #8, /9/, this candidate: [0(02)0(01)(02)0] violates the same constraints, the same number of times, as this candidate: [0(02)(01)0(02)0] Moreover, for input #8, /9/, this candidate: [00(02)(01)(02)0] violates the same constraints, the same number of times, as this candidate: [0(02)(01)0(02)0] Moreover, for input #8, /9/, this candidate: [00(02)(02)0(01)] violates the same constraints, the same number of times, as this candidate: [0(02)(02)00(01)] Moreover, for input #8, /9/, this candidate: [000(02)(02)(01)] violates the same constraints, the same number of times, as this candidate: [0(02)(02)00(01)] Moreover, for input #8, /9/, this candidate: [0(02)0(01)0(02)] violates the same constraints, the same number of times, as this candidate: [0(02)(01)00(02)] Moreover, for input #8, /9/, this candidate: [00(02)(01)0(02)] violates the same constraints, the same number of times, as this candidate: [0(02)(01)00(02)] Moreover, for input #8, /9/, this candidate: [000(02)(01)(02)] violates the same constraints, the same number of times, as this candidate: [0(02)(01)00(02)] Moreover, for input #8, /9/, this candidate: [00(01)(02)(02)0] violates the same constraints, the same number of times, as this candidate: [0(01)0(02)(02)0] Moreover, for input #8, /9/, this candidate: [00(02)(01)(02)0] violates the same constraints, the same number of times, as this candidate: [0(02)0(01)(02)0] Moreover, for input #8, /9/, this candidate: [00(01)(02)0(02)] violates the same constraints, the same number of times, as this candidate: [0(01)0(02)0(02)] Moreover, for input #8, /9/, this candidate: [00(02)(01)0(02)] violates the same constraints, the same number of times, as this candidate: [0(02)0(01)0(02)] Moreover, for input #8, /9/, this candidate: [000(02)(01)(02)] violates the same constraints, the same number of times, as this candidate: [0(02)0(01)0(02)] Moreover, for input #8, /9/, this candidate: [000(02)(02)(01)] violates the same constraints, the same number of times, as this candidate: [00(02)(02)0(01)] Moreover, for input #8, /9/, this candidate: [000(02)(01)(02)] violates the same constraints, the same number of times, as this candidate: [00(02)(01)0(02)] Moreover, for input #8, /9/, this candidate: [(01)0(02)0000] violates the same constraints, the same number of times, as this candidate: [(01)(02)00000] Moreover, for input #8, /9/, this candidate: [(01)00(02)000] violates the same constraints, the same number of times, as this candidate: [(01)(02)00000] Moreover, for input #8, /9/, this candidate: [(02)0(01)0000] violates the same constraints, the same number of times, as this candidate: [(02)(01)00000] Moreover, for input #8, /9/, this candidate: [(02)00(01)000] violates the same constraints, the same number of times, as this candidate: [(02)(01)00000] Moreover, for input #8, /9/, this candidate: [(01)00(02)000] violates the same constraints, the same number of times, as this candidate: [(01)0(02)0000] Moreover, for input #8, /9/, this candidate: [(02)00(01)000] violates the same constraints, the same number of times, as this candidate: [(02)0(01)0000] Moreover, for input #8, /9/, this candidate: [0(01)0(02)000] violates the same constraints, the same number of times, as this candidate: [0(01)(02)0000] Moreover, for input #8, /9/, this candidate: [00(01)(02)000] violates the same constraints, the same number of times, as this candidate: [0(01)(02)0000] Moreover, for input #8, /9/, this candidate: [0(02)0(01)000] violates the same constraints, the same number of times, as this candidate: [0(02)(01)0000] Moreover, for input #8, /9/, this candidate: [00(02)(01)000] violates the same constraints, the same number of times, as this candidate: [0(02)(01)0000] Moreover, for input #8, /9/, this candidate: [00(01)(02)000] violates the same constraints, the same number of times, as this candidate: [0(01)0(02)000] Moreover, for input #8, /9/, this candidate: [00(02)(01)000] violates the same constraints, the same number of times, as this candidate: [0(02)0(01)000] Moreover, for input #8, /9/, this candidate: [00(01)0(02)00] violates the same constraints, the same number of times, as this candidate: [0(01)00(02)00] Moreover, for input #8, /9/, this candidate: [000(01)(02)00] violates the same constraints, the same number of times, as this candidate: [0(01)00(02)00] Moreover, for input #8, /9/, this candidate: [00(02)0(01)00] violates the same constraints, the same number of times, as this candidate: [0(02)00(01)00] Moreover, for input #8, /9/, this candidate: [000(02)(01)00] violates the same constraints, the same number of times, as this candidate: [0(02)00(01)00] Moreover, for input #8, /9/, this candidate: [00(01)00(02)0] violates the same constraints, the same number of times, as this candidate: [0(01)000(02)0] Moreover, for input #8, /9/, this candidate: [000(01)0(02)0] violates the same constraints, the same number of times, as this candidate: [0(01)000(02)0] Moreover, for input #8, /9/, this candidate: [0000(01)(02)0] violates the same constraints, the same number of times, as this candidate: [0(01)000(02)0] Moreover, for input #8, /9/, this candidate: [00(02)00(01)0] violates the same constraints, the same number of times, as this candidate: [0(02)000(01)0] Moreover, for input #8, /9/, this candidate: [000(02)0(01)0] violates the same constraints, the same number of times, as this candidate: [0(02)000(01)0] Moreover, for input #8, /9/, this candidate: [0000(02)(01)0] violates the same constraints, the same number of times, as this candidate: [0(02)000(01)0] Moreover, for input #8, /9/, this candidate: [00(01)000(02)] violates the same constraints, the same number of times, as this candidate: [0(01)0000(02)] Moreover, for input #8, /9/, this candidate: [000(01)00(02)] violates the same constraints, the same number of times, as this candidate: [0(01)0000(02)] Moreover, for input #8, /9/, this candidate: [0000(01)0(02)] violates the same constraints, the same number of times, as this candidate: [0(01)0000(02)] Moreover, for input #8, /9/, this candidate: [00000(01)(02)] violates the same constraints, the same number of times, as this candidate: [0(01)0000(02)] Moreover, for input #8, /9/, this candidate: [00(02)000(01)] violates the same constraints, the same number of times, as this candidate: [0(02)0000(01)] Moreover, for input #8, /9/, this candidate: [000(02)00(01)] violates the same constraints, the same number of times, as this candidate: [0(02)0000(01)] Moreover, for input #8, /9/, this candidate: [0000(02)0(01)] violates the same constraints, the same number of times, as this candidate: [0(02)0000(01)] Moreover, for input #8, /9/, this candidate: [00000(02)(01)] violates the same constraints, the same number of times, as this candidate: [0(02)0000(01)] Moreover, for input #8, /9/, this candidate: [000(01)(02)00] violates the same constraints, the same number of times, as this candidate: [00(01)0(02)00] Moreover, for input #8, /9/, this candidate: [000(02)(01)00] violates the same constraints, the same number of times, as this candidate: [00(02)0(01)00] Moreover, for input #8, /9/, this candidate: [000(01)0(02)0] violates the same constraints, the same number of times, as this candidate: [00(01)00(02)0] Moreover, for input #8, /9/, this candidate: [0000(01)(02)0] violates the same constraints, the same number of times, as this candidate: [00(01)00(02)0] Moreover, for input #8, /9/, this candidate: [000(02)0(01)0] violates the same constraints, the same number of times, as this candidate: [00(02)00(01)0] Moreover, for input #8, /9/, this candidate: [0000(02)(01)0] violates the same constraints, the same number of times, as this candidate: [00(02)00(01)0] Moreover, for input #8, /9/, this candidate: [000(01)00(02)] violates the same constraints, the same number of times, as this candidate: [00(01)000(02)] Moreover, for input #8, /9/, this candidate: [0000(01)0(02)] violates the same constraints, the same number of times, as this candidate: [00(01)000(02)] Moreover, for input #8, /9/, this candidate: [00000(01)(02)] violates the same constraints, the same number of times, as this candidate: [00(01)000(02)] Moreover, for input #8, /9/, this candidate: [000(02)00(01)] violates the same constraints, the same number of times, as this candidate: [00(02)000(01)] Moreover, for input #8, /9/, this candidate: [0000(02)0(01)] violates the same constraints, the same number of times, as this candidate: [00(02)000(01)] Moreover, for input #8, /9/, this candidate: [00000(02)(01)] violates the same constraints, the same number of times, as this candidate: [00(02)000(01)] Moreover, for input #8, /9/, this candidate: [0000(01)(02)0] violates the same constraints, the same number of times, as this candidate: [000(01)0(02)0] Moreover, for input #8, /9/, this candidate: [0000(02)(01)0] violates the same constraints, the same number of times, as this candidate: [000(02)0(01)0] Moreover, for input #8, /9/, this candidate: [0000(01)0(02)] violates the same constraints, the same number of times, as this candidate: [000(01)00(02)] Moreover, for input #8, /9/, this candidate: [00000(01)(02)] violates the same constraints, the same number of times, as this candidate: [000(01)00(02)] Moreover, for input #8, /9/, this candidate: [0000(02)0(01)] violates the same constraints, the same number of times, as this candidate: [000(02)00(01)] Moreover, for input #8, /9/, this candidate: [00000(02)(01)] violates the same constraints, the same number of times, as this candidate: [000(02)00(01)] Moreover, for input #8, /9/, this candidate: [00000(01)(02)] violates the same constraints, the same number of times, as this candidate: [0000(01)0(02)] Moreover, for input #8, /9/, this candidate: [00000(02)(01)] violates the same constraints, the same number of times, as this candidate: [0000(02)0(01)] Moreover, for input #8, /9/, this candidate: [00(01)00000] violates the same constraints, the same number of times, as this candidate: [0(01)000000] Moreover, for input #8, /9/, this candidate: [000(01)0000] violates the same constraints, the same number of times, as this candidate: [0(01)000000] Moreover, for input #8, /9/, this candidate: [0000(01)000] violates the same constraints, the same number of times, as this candidate: [0(01)000000] Moreover, for input #8, /9/, this candidate: [000(01)0000] violates the same constraints, the same number of times, as this candidate: [00(01)00000] Moreover, for input #8, /9/, this candidate: [0000(01)000] violates the same constraints, the same number of times, as this candidate: [00(01)00000] Moreover, for input #8, /9/, this candidate: [0000(01)000] violates the same constraints, the same number of times, as this candidate: [000(01)0000] Results of Factorial Typology Search 5-21-2009, 4:50 p.m. OTSoft version 2.1, release date 4/17/03 Source file: Kager2005.txt I. Constraints 1. Align-Wd-L (Al-W-L) 2. Align-Wd-R (Al-W-R) 3. Align-Ft-L (Al-F-L) 4. Align-Ft-R (Al-F-R) 5. End-L (End-L) 6. End-R (End-R) 7. *Lapse (*Lps) 8. Lapse-End (Lps-E) 9. *Final-L-Lps (*Final-LL) 10. *Lapse-Tr (*Lps-Tr) 11. Parse (Prs) All rankings were considered. Summary results appear at end of file. Immediately below are reports on individual patterns generated. II. Summary Information With 11 constraints, the number of logically possible grammars is 39916800. There were 24 different output patterns. Forms marked as winners in the input file are marked with >. Output #1 Output #2 Output #3 Output #4 /2/: >(01) >(01) >(01) >(01) /3/: >(01)0 >(01)0 >(01)0 >(01)0 /4/: >(01)(02) >(01)(02) >(01)(02) (02)(01) /5/: >(01)(02)0 (01)0(02) (01)0(02) (02)(01)0 /6/: >(01)(02)(02) >(01)(02)(02) (01)00(02) (02)(02)(01) /7/: >(01)(02)(02)0 (01)0(02)(02) (01)000(02) (02)(02)(01)0 /8/: >(01)(02)(02)(02) >(01)(02)(02)(02) (01)0000(02) (02)(02)(02)(01) /9/: >(01)(02)(02)(02)0 (01)0(02)(02)(02) (01)00000(02) (02)(02)(02)(01)0 Output #5 Output #6 Output #7 Output #8 /2/: >(01) >(01) >(01) >(01) /3/: >(01)0 >(01)0 >(01)0 >(01)0 /4/: (02)(01) (02)(01) (01)00 (01)00 /5/: (02)0(01) (02)0(01) >(01)(02)0 >(01)(02)0 /6/: (02)(02)(01) (02)00(01) >(01)(02)(02) (01)(02)00 /7/: (02)(02)0(01) (02)000(01) >(01)(02)(02)0 >(01)(02)(02)0 /8/: (02)(02)(02)(01) (02)0000(01) >(01)(02)(02)(02) (01)(02)(02)00 /9/: (02)(02)(02)0(01) (02)00000(01) >(01)(02)(02)(02)0 >(01)(02)(02)(02)0 Output #9 Output #10 Output #11 Output #12 /2/: >(01) >(01) >(01) >(01) /3/: >(01)0 >(01)0 >(01)0 >(01)0 /4/: (01)00 (01)00 (01)00 (01)00 /5/: >(01)(02)0 (02)(01)0 (02)(01)0 (02)(01)0 /6/: (01)(02)00 (02)(02)(01) (02)(01)00 (02)(01)00 /7/: (01)0(02)00 (02)(02)(01)0 (02)(02)(01)0 (02)0(01)00 /8/: (01)00(02)00 (02)(02)(02)(01) (02)(02)(01)00 (02)00(01)00 /9/: (01)000(02)00 (02)(02)(02)(01)0 (02)(02)(02)(01)0 (02)000(01)00 Output #13 Output #14 Output #15 Output #16 /2/: >(01) >(01) >(01) >(01) /3/: >(01)0 >(01)0 >(01)0 >(01)0 /4/: (01)00 (01)00 (01)00 (01)00 /5/: (01)0(02) (01)0(02) (02)0(01) (02)0(01) /6/: >(01)(02)(02) (01)00(02) (02)(02)(01) (02)00(01) /7/: (01)0(02)(02) (01)000(02) (02)(02)0(01) (02)000(01) /8/: >(01)(02)(02)(02) (01)0000(02) (02)(02)(02)(01) (02)0000(01) /9/: (01)0(02)(02)(02) (01)00000(02) (02)(02)(02)0(01) (02)00000(01) Output #17 Output #18 Output #19 Output #20 /2/: >(01) >(01) >(01) >(01) /3/: >(01)0 >(01)0 >(01)0 0(01) /4/: (01)00 (01)00 (01)00 >(01)(02) /5/: (01)000 0(01)00 000(01) (01)0(02) /6/: (01)0000 00(01)00 0000(01) >(01)(02)(02) /7/: (01)00000 000(01)00 00000(01) (01)0(02)(02) /8/: (01)000000 0000(01)00 000000(01) >(01)(02)(02)(02) /9/: (01)0000000 00000(01)00 0000000(01) (01)0(02)(02)(02) Output #21 Output #22 Output #23 Output #24 /2/: >(01) >(01) >(01) >(01) /3/: 0(01) 0(01) 0(01) 0(01) /4/: >(01)(02) (02)(01) (02)(01) 00(01) /5/: (01)0(02) (02)0(01) (02)0(01) 000(01) /6/: (01)00(02) (02)(02)(01) (02)00(01) 0000(01) /7/: (01)000(02) (02)(02)0(01) (02)000(01) 00000(01) /8/: (01)0000(02) (02)(02)(02)(01) (02)0000(01) 000000(01) /9/: (01)00000(02) (02)(02)(02)0(01) (02)00000(01) 0000000(01) III. List of Winners The following specifies for each candidate whether there is at least one ranking that derives it: /2/: [(01)]: yes /3/: [(01)0]: yes [0(01)]: yes /4/: [(01)(02)]: yes [(02)(01)]: yes [(01)00]: yes [00(01)]: yes [0(01)0]: no /5/: [(01)(02)0]: yes [(02)(01)0]: yes [(01)0(02)]: yes [(02)0(01)]: yes [(01)000]: yes [0(01)00]: yes [000(01)]: yes [0(01)(02)]: no [0(02)(01)]: no [00(01)0]: no /6/: [(01)(02)(02)]: yes [(02)(02)(01)]: yes [(01)(02)00]: yes [(02)(01)00]: yes [(01)00(02)]: yes [(02)00(01)]: yes [0000(01)]: yes [00(01)00]: yes [(01)0000]: yes [(02)(01)(02)]: no [(01)0(02)0]: no [(02)0(01)0]: no [0(01)(02)0]: no [0(02)(01)0]: no [0(01)0(02)]: no [0(02)0(01)]: no [00(01)(02)]: no [00(02)(01)]: no [000(01)0]: no [0(01)000]: no /7/: [(01)(02)(02)0]: yes [(02)(02)(01)0]: yes [(02)(02)0(01)]: yes [(01)0(02)(02)]: yes [(01)0(02)00]: yes [(02)0(01)00]: yes [(01)000(02)]: yes [(02)000(01)]: yes [(01)00000]: yes [000(01)00]: yes [00000(01)]: yes [(02)(01)(02)0]: no [(01)(02)0(02)]: no [(02)(01)0(02)]: no [(02)0(02)(01)]: no [(02)0(01)(02)]: no [0(01)(02)(02)]: no [0(02)(02)(01)]: no [0(02)(01)(02)]: no [(01)(02)000]: no [(02)(01)000]: no [(01)00(02)0]: no [(02)00(01)0]: no [0(01)00(02)]: no [0(02)00(01)]: no [0(01)0(02)0]: no [0(02)0(01)0]: no [0(01)(02)00]: no [0(02)(01)00]: no [00(01)0(02)]: no [00(02)0(01)]: no [00(01)(02)0]: no [00(02)(01)0]: no [000(01)(02)]: no [000(02)(01)]: no [0(01)0000]: no [00(01)000]: no [0000(01)0]: no /8/: [(01)(02)(02)(02)]: yes [(02)(02)(02)(01)]: yes [(01)(02)(02)00]: yes [(02)(02)(01)00]: yes [(01)00(02)00]: yes [(02)00(01)00]: yes [(01)0000(02)]: yes [(02)0000(01)]: yes [(01)000000]: yes [0000(01)00]: yes [000000(01)]: yes [(02)(01)(02)(02)]: no [(02)(02)(01)(02)]: no [(02)(01)(02)00]: no [(01)(02)0(02)0]: no [(02)(02)0(01)0]: no [(02)(01)0(02)0]: no [(01)(02)00(02)]: no [(02)(02)00(01)]: no [(02)(01)00(02)]: no [(01)0(02)(02)0]: no [(02)0(02)(01)0]: no [(02)0(01)(02)0]: no [(01)0(02)0(02)]: no [(02)0(02)0(01)]: no [(02)0(01)0(02)]: no [(01)00(02)(02)]: no [(02)00(02)(01)]: no [(02)00(01)(02)]: no [0(01)(02)(02)0]: no [0(02)(02)(01)0]: no [0(02)(01)(02)0]: no [0(01)(02)0(02)]: no [0(02)(02)0(01)]: no [0(02)(01)0(02)]: no [0(01)0(02)(02)]: no [0(02)0(02)(01)]: no [0(02)0(01)(02)]: no [00(01)(02)(02)]: no [00(02)(02)(01)]: no [00(02)(01)(02)]: no [(01)(02)0000]: no [(02)(01)0000]: no [(01)0(02)000]: no [(02)0(01)000]: no [(01)000(02)0]: no [(02)000(01)0]: no [0(01)(02)000]: no [0(02)(01)000]: no [0(01)0(02)00]: no [0(02)0(01)00]: no [0(01)00(02)0]: no [0(02)00(01)0]: no [0(01)000(02)]: no [0(02)000(01)]: no [00(01)(02)00]: no [00(02)(01)00]: no [00(01)0(02)0]: no [00(02)0(01)0]: no [00(01)00(02)]: no [00(02)00(01)]: no [000(01)(02)0]: no [000(02)(01)0]: no [000(01)0(02)]: no [000(02)0(01)]: no [0000(01)(02)]: no [0000(02)(01)]: no [0(01)00000]: no [00(01)0000]: no [000(01)000]: no [00000(01)0]: no /9/: [(01)(02)(02)(02)0]: yes [(02)(02)(02)(01)0]: yes [(02)(02)(02)0(01)]: yes [(01)0(02)(02)(02)]: yes [(01)000(02)00]: yes [(02)000(01)00]: yes [(01)00000(02)]: yes [(02)00000(01)]: yes [(01)0000000]: yes [00000(01)00]: yes [0000000(01)]: yes [(02)(01)(02)(02)0]: no [(02)(02)(01)(02)0]: no [(01)(02)(02)0(02)]: no [(02)(01)(02)0(02)]: no [(02)(02)(01)0(02)]: no [(01)(02)0(02)(02)]: no [(02)(02)0(02)(01)]: no [(02)(01)0(02)(02)]: no [(02)(02)0(01)(02)]: no [(02)0(02)(02)(01)]: no [(02)0(01)(02)(02)]: no [(02)0(02)(01)(02)]: no [0(01)(02)(02)(02)]: no [0(02)(02)(02)(01)]: no [0(02)(01)(02)(02)]: no [0(02)(02)(01)(02)]: no [(01)(02)(02)000]: no [(02)(02)(01)000]: no [(02)(01)(02)000]: no [(01)(02)0(02)00]: no [(02)(02)0(01)00]: no [(02)(01)0(02)00]: no [(01)(02)00(02)0]: no [(02)(02)00(01)0]: no [(02)(01)00(02)0]: no [(01)(02)000(02)]: no [(02)(02)000(01)]: no [(02)(01)000(02)]: no [(01)0(02)(02)00]: no [(02)0(02)(01)00]: no [(02)0(01)(02)00]: no [(01)0(02)0(02)0]: no [(02)0(02)0(01)0]: no [(02)0(01)0(02)0]: no [(01)0(02)00(02)]: no [(02)0(02)00(01)]: no [(02)0(01)00(02)]: no [(01)00(02)(02)0]: no [(02)00(02)(01)0]: no [(02)00(01)(02)0]: no [(01)00(02)0(02)]: no [(02)00(02)0(01)]: no [(02)00(01)0(02)]: no [(01)000(02)(02)]: no [(02)000(02)(01)]: no [(02)000(01)(02)]: no [0(01)(02)(02)00]: no [0(02)(02)(01)00]: no [0(02)(01)(02)00]: no [0(01)(02)0(02)0]: no [0(02)(02)0(01)0]: no [0(02)(01)0(02)0]: no [0(01)(02)00(02)]: no [0(02)(02)00(01)]: no [0(02)(01)00(02)]: no [0(01)0(02)(02)0]: no [0(02)0(02)(01)0]: no [0(02)0(01)(02)0]: no [0(01)0(02)0(02)]: no [0(02)0(02)0(01)]: no [0(02)0(01)0(02)]: no [00(01)(02)(02)0]: no [00(02)(02)(01)0]: no [00(02)(01)(02)0]: no [00(01)(02)0(02)]: no [00(02)(02)0(01)]: no [00(02)(01)0(02)]: no [00(01)0(02)(02)]: no [00(02)0(02)(01)]: no [00(02)0(01)(02)]: no [000(01)(02)(02)]: no [000(02)(02)(01)]: no [000(02)(01)(02)]: no [(01)(02)00000]: no [(02)(01)00000]: no [(01)0(02)0000]: no [(02)0(01)0000]: no [(01)00(02)000]: no [(02)00(01)000]: no [(01)0000(02)0]: no [(02)0000(01)0]: no [0(01)(02)0000]: no [0(02)(01)0000]: no [0(01)0(02)000]: no [0(02)0(01)000]: no [0(01)00(02)00]: no [0(02)00(01)00]: no [0(01)000(02)0]: no [0(02)000(01)0]: no [0(01)0000(02)]: no [0(02)0000(01)]: no [00(01)(02)000]: no [00(02)(01)000]: no [00(01)0(02)00]: no [00(02)0(01)00]: no [00(01)00(02)0]: no [00(02)00(01)0]: no [00(01)000(02)]: no [00(02)000(01)]: no [000(01)(02)00]: no [000(02)(01)00]: no [000(01)0(02)0]: no [000(02)0(01)0]: no [000(01)00(02)]: no [000(02)00(01)]: no [0000(01)(02)0]: no [0000(02)(01)0]: no [0000(01)0(02)]: no [0000(02)0(01)]: no [00000(01)(02)]: no [00000(02)(01)]: no [0(01)000000]: no [00(01)00000]: no [000(01)0000]: no [0000(01)000]: no [000000(01)0]: no IV. Complete Listing of Output Patterns OUTPUT SET #1: /2/ --> >(01) (actual) /3/ --> >(01)0 /4/ --> >(01)(02) /5/ --> >(01)(02)0 /6/ --> >(01)(02)(02) /7/ --> >(01)(02)(02)0 /8/ --> >(01)(02)(02)(02) /9/ --> >(01)(02)(02)(02)0 Stratum #1 Align-Wd-L [= Al-W-L] End-L [= End-L] *Lapse [= *Lps] Lapse-End [= Lps-E] *Final-L-Lps [= *Final-LL] *Lapse-Tr [= *Lps-Tr] Parse [= Prs] Stratum #2 Align-Wd-R [= Al-W-R] Align-Ft-L [= Al-F-L] Align-Ft-R [= Al-F-R] End-R [= End-R] 1.1. Ranking Arguments Direct Pairwise Arguments End-L >> End-R, because /9/ --> [(01)(02)(02)(02)0], not *[(02)(02)(02)(01)0]: There were no arguments based solely on transitivity of domination. Irreducible Set Arguments { Al-W-L, Al-F-L, *Lps, Lps-E} > Al-F-R because (01)0 >> 0(01) { Al-W-R, *Lps, Prs} > Al-F-L because (01)(02) >> (01)00 { Al-W-R, *Lps, Prs} > End-R because (01)(02) >> (01)00 { Al-W-L, *Lps, Lps-E, Prs} > End-R because (01)(02) >> 00(01) { *Lps, Lps-E} > Al-F-R because (01)(02)0 >> (01)0(02) { *Lps, Lps-E, *Final-LL, Prs} > Al-F-R because (01)(02)0 >> (01)000 { *Lps, Lps-E, *Final-LL, Prs} > End-R because (01)(02)0 >> (01)000 { Al-W-L, *Lps, Lps-E, Prs} > Al-W-R because (01)(02)0 >> 000(01) { Al-W-R, End-L, *Lps, Prs} > Al-F-L because (01)(02)(02) >> (02)(01)00 { *Lps, Lps-E} > Al-W-R because (01)(02)(02)0 >> (01)0(02)(02) { *Lps, Lps-E} > Al-F-R because (01)(02)(02)0 >> (01)0(02)(02) { *Lps, Lps-E, Prs} > Al-W-R because (01)(02)(02)0 >> (01)000(02) { *Lps, Lps-E, *Lps-Tr} > Al-W-R because (01)(02)(02)0 >> (01)(02)0(02) { *Lps, Lps-E, *Lps-Tr} > Al-F-R because (01)(02)(02)0 >> (01)(02)0(02) { Al-W-L, Al-F-L, End-L, *Lps, Lps-E} > Al-F-R because (01)(02)(02)0 >> 0(02)(02)(01) { Al-W-L, *Lps, Lps-E, Prs} > Al-F-R because (01)(02)(02)0 >> 0(01)(02)00 { *Lps, Lps-E, Prs} > Al-F-L because (01)(02)(02)(02) >> (01)0000(02) { End-L, *Lps, Lps-E, Prs} > Al-F-L because (01)(02)(02)(02) >> (02)(01)00(02) { *Lps, Lps-E, Prs} > Al-F-L because (01)(02)(02)(02) >> (01)00(02)(02) { Al-W-R, *Lps, Lps-E, *Final-LL, Prs} > Al-F-R because (01)(02)(02)(02) >> (01)0(02)000 { Al-W-L, Al-W-R, *Lps, Lps-E, Prs} > Al-F-R because (01)(02)(02)(02) >> 00(01)0(02)0 { *Lps, Lps-E} > Al-W-R because (01)(02)(02)(02)0 >> (01)0(02)(02)(02) { *Lps, Lps-E} > Al-F-R because (01)(02)(02)(02)0 >> (01)0(02)(02)(02) { *Lps, Lps-E, Prs} > Al-F-L because (01)(02)(02)(02)0 >> (01)000(02)00 { *Lps, Lps-E, Prs} > Al-F-L because (01)(02)(02)(02)0 >> (01)00000(02) { End-L, *Lps, Lps-E} > Al-F-R because (01)(02)(02)(02)0 >> (02)(02)(01)0(02) { End-L, *Lps, Lps-E, *Lps-Tr} > Al-F-R because (01)(02)(02)(02)0 >> (02)0(02)(01)(02) { *Lps, Lps-E, *Lps-Tr, Prs} > Al-F-L because (01)(02)(02)(02)0 >> (01)(02)000(02) { *Lps, Lps-E, Prs} > Al-F-L because (01)(02)(02)(02)0 >> (01)0(02)(02)00 { *Lps, Lps-E, Prs} > Al-F-L because (01)(02)(02)(02)0 >> (01)00(02)(02)0 { Al-W-L, End-L, *Lps, Lps-E, Prs} > Al-W-R because (01)(02)(02)(02)0 >> 0(02)0(01)0(02) { *Lps, Lps-E, *Final-LL, Prs} > Al-F-L because (01)(02)(02)(02)0 >> (01)00(02)000 { Al-W-L, *Lps, Lps-E, Prs} > Al-F-L because (01)(02)(02)(02)0 >> 0(01)0000(02) ------------------------------------------------------------------------------ OUTPUT SET #2: /2/ --> >(01) (actual) /3/ --> >(01)0 /4/ --> >(01)(02) /5/ --> >(01)0(02) /6/ --> >(01)(02)(02) /7/ --> >(01)0(02)(02) /8/ --> >(01)(02)(02)(02) /9/ --> >(01)0(02)(02)(02) Stratum #1 Align-Wd-L [= Al-W-L] End-L [= End-L] *Final-L-Lps [= *Final-LL] *Lapse-Tr [= *Lps-Tr] Parse [= Prs] Stratum #2 Align-Wd-R [= Al-W-R] Align-Ft-L [= Al-F-L] Align-Ft-R [= Al-F-R] End-R [= End-R] Stratum #3 *Lapse [= *Lps] Lapse-End [= Lps-E] 2.1. Ranking Arguments Direct Pairwise Arguments End-L >> End-R, because /9/ --> [(01)0(02)(02)(02)], not *[(02)(02)(02)0(01)]: There were no arguments based solely on transitivity of domination. Irreducible Set Arguments { Al-W-L, Al-F-L, *Lps, Lps-E} > Al-W-R because (01)0 >> 0(01) { Al-W-L, Al-F-L, *Lps, Lps-E} > Al-F-R because (01)0 >> 0(01) { Al-W-R, *Lps, Prs} > Al-F-L because (01)(02) >> (01)00 { Al-W-R, *Lps, Prs} > End-R because (01)(02) >> (01)00 { Al-W-L, *Lps, Lps-E, Prs} > End-R because (01)(02) >> 00(01) { Al-W-R, Al-F-R} > *Lps because (01)0(02) >> (01)(02)0 { Al-W-R, Al-F-R} > Lps-E because (01)0(02) >> (01)(02)0 { Al-W-L, Al-W-R, *Lps, Prs} > End-R because (01)0(02) >> 0(01)00 { Al-W-R, End-L, *Lps, Prs} > Al-F-L because (01)(02)(02) >> (02)(01)00 { *Lps, Lps-E, Prs} > Al-F-L because (01)(02)(02) >> (01)00(02) { Al-W-R, Al-F-R, End-L} > Lps-E because (01)0(02)(02) >> (02)(02)(01)0 { Al-W-R, End-L, *Lps, Lps-E, Prs} > Al-F-L because (01)0(02)(02) >> (02)00(01)0 { *Lps, Lps-E, Prs} > Al-F-R because (01)(02)(02)(02) >> (01)0000(02) { *Lps, Lps-E, *Lps-Tr, Prs} > Al-F-R because (01)(02)(02)(02) >> (01)(02)00(02) { *Lps, Lps-E, Prs} > Al-F-R because (01)(02)(02)(02) >> (01)00(02)(02) { Al-W-L, *Lps, Lps-E, Prs} > Al-F-R because (01)(02)(02)(02) >> 0(01)0(02)(02) { Al-W-R, *Lps, Lps-E, Prs} > Al-F-R because (01)(02)(02)(02) >> (01)000(02)0 { Al-W-L, Al-W-R, *Lps, Lps-E, Prs} > Al-F-R because (01)(02)(02)(02) >> 00(01)0(02)0 { Al-W-R, *Lps, Lps-E, Prs} > Al-F-R because (01)0(02)(02)(02) >> (01)000(02)00 { Al-W-R, *Lps, *Lps-Tr, Prs} > Al-F-L because (01)0(02)(02)(02) >> (01)(02)0(02)00 { *Lps, Lps-E, *Lps-Tr, Prs} > Al-F-L because (01)0(02)(02)(02) >> (01)(02)000(02) { End-L, *Lps, Lps-E, Prs} > Al-F-R because (01)0(02)(02)(02) >> (02)000(01)(02) { Al-W-L, Al-W-R, *Lps, Lps-E, Prs} > Al-F-R because (01)0(02)(02)(02) >> 000(01)0(02)0 { Al-W-L, End-L, *Lps, Lps-E, Prs} > Al-F-L because (01)0(02)(02)(02) >> 0000(02)0(01) ------------------------------------------------------------------------------ OUTPUT SET #3: /2/ --> >(01) (actual) /3/ --> >(01)0 /4/ --> >(01)(02) /5/ --> >(01)0(02) /6/ --> >(01)00(02) /7/ --> >(01)000(02) /8/ --> >(01)0000(02) /9/ --> >(01)00000(02) Stratum #1 Align-Wd-L [= Al-W-L] End-L [= End-L] *Final-L-Lps [= *Final-LL] *Lapse-Tr [= *Lps-Tr] Stratum #2 Align-Wd-R [= Al-W-R] Align-Ft-R [= Al-F-R] Stratum #3 Align-Ft-L [= Al-F-L] End-R [= End-R] *Lapse [= *Lps] Lapse-End [= Lps-E] Parse [= Prs] 3.1. Ranking Arguments Direct Pairwise Arguments End-L >> End-R, because /9/ --> [(01)00000(02)], not *[(02)00000(01)]: There were no arguments based solely on transitivity of domination. Irreducible Set Arguments { Al-W-L, Al-F-L, *Lps, Lps-E} > Al-W-R because (01)0 >> 0(01) { Al-W-L, Al-F-L, *Lps, Lps-E} > Al-F-R because (01)0 >> 0(01) { Al-W-R, *Lps, Prs} > Al-F-L because (01)(02) >> (01)00 { Al-W-R, *Lps, Prs} > End-R because (01)(02) >> (01)00 { Al-W-L, *Lps, Lps-E, Prs} > Al-F-R because (01)(02) >> 00(01) { Al-W-L, *Lps, Lps-E, Prs} > End-R because (01)(02) >> 00(01) { Al-W-R, Al-F-R} > *Lps because (01)0(02) >> (01)(02)0 { Al-W-R, Al-F-R} > Lps-E because (01)0(02) >> (01)(02)0 { Al-W-L, Al-W-R, *Lps, Prs} > End-R because (01)0(02) >> 0(01)00 { Al-F-L, Al-F-R} > *Lps because (01)00(02) >> (01)(02)(02) { Al-F-L, Al-F-R} > Lps-E because (01)00(02) >> (01)(02)(02) { Al-W-R, *Lps, *Final-LL, Prs} > End-R because (01)00(02) >> (01)0000 { Al-F-L, Al-F-R} > Lps-E because (01)0000(02) >> (01)(02)(02)(02) { Al-F-L, Al-F-R, End-L} > Prs because (01)0000(02) >> (02)(02)00(01) { Al-W-R, Al-F-L, Al-F-R} > Prs because (01)0000(02) >> (01)0(02)(02)0 { Al-F-L, Al-F-R} > Prs because (01)0000(02) >> (01)00(02)(02) { Al-W-L, Al-F-L, Al-F-R} > Prs because (01)0000(02) >> 00(01)(02)(02) { Al-W-R, Al-F-R, End-L, *Final-LL} > Lps-E because (01)0000(02) >> (02)0(01)000 { Al-W-L, Al-W-R, Al-F-L, Al-F-R, End-L} > Lps-E because (01)0000(02) >> 000(02)(01)0 { Al-F-L, Al-F-R} > Prs because (01)00000(02) >> (01)0(02)(02)(02) { Al-F-L, Al-F-R, *Lps-Tr} > Prs because (01)00000(02) >> (01)(02)0(02)(02) { Al-F-L, Al-F-R, End-L, *Lps-Tr} > Prs because (01)00000(02) >> (02)0(02)00(01) { Al-F-L, Al-F-R} > Prs because (01)00000(02) >> (01)000(02)(02) { Al-W-L, Al-F-L, Al-F-R, End-L} > Prs because (01)00000(02) >> 00(02)0(01)(02) { Al-W-R, Al-F-R, End-L} > Lps-E because (01)00000(02) >> (02)0000(01)0 ------------------------------------------------------------------------------ OUTPUT SET #4: /2/ --> >(01) (actual) /3/ --> >(01)0 /4/ --> >(02)(01) /5/ --> >(02)(01)0 /6/ --> >(02)(02)(01) /7/ --> >(02)(02)(01)0 /8/ --> >(02)(02)(02)(01) /9/ --> >(02)(02)(02)(01)0 Stratum #1 Align-Wd-L [= Al-W-L] End-R [= End-R] *Lapse [= *Lps] Lapse-End [= Lps-E] *Final-L-Lps [= *Final-LL] *Lapse-Tr [= *Lps-Tr] Parse [= Prs] Stratum #2 Align-Wd-R [= Al-W-R] Align-Ft-L [= Al-F-L] Align-Ft-R [= Al-F-R] End-L [= End-L] 4.1. Ranking Arguments Direct Pairwise Arguments End-R >> End-L, because /9/ --> [(02)(02)(02)(01)0], not *[(01)(02)(02)(02)0]: There were no arguments based solely on transitivity of domination. Irreducible Set Arguments { Al-W-R, *Lps, Prs} > Al-F-L because (02)(01) >> (01)00 { Al-W-R, *Lps, Prs} > End-L because (02)(01) >> (01)00 { Al-W-L, *Lps, Lps-E, Prs} > End-L because (02)(01) >> 00(01) { *Lps, Lps-E} > Al-W-R because (02)(01)0 >> (02)0(01) { *Lps, Lps-E, *Final-LL, Prs} > Al-F-R because (02)(01)0 >> (01)000 { *Lps, Lps-E, *Final-LL, Prs} > End-L because (02)(01)0 >> (01)000 { Al-W-L, *Lps, Lps-E, Prs} > Al-W-R because (02)(01)0 >> 000(01) { Al-W-R, *Lps, Prs} > Al-F-L because (02)(02)(01) >> (02)(01)00 { *Lps, Lps-E, Prs} > Al-F-R because (02)(02)(01) >> (02)00(01) { Al-W-L, *Lps, Lps-E, Prs} > Al-F-R because (02)(02)(01) >> 00(02)(01) { *Lps, Lps-E} > Al-W-R because (02)(02)(01)0 >> (02)(02)0(01) { *Lps, Lps-E} > Al-F-R because (02)(02)(01)0 >> (02)(02)0(01) { *Lps, Lps-E, Prs} > Al-W-R because (02)(02)(01)0 >> (02)000(01) { End-R, *Lps, Lps-E} > Al-F-R because (02)(02)(01)0 >> (02)(01)0(02) { *Lps, Lps-E, *Lps-Tr} > Al-W-R because (02)(02)(01)0 >> (02)0(02)(01) { *Lps, Lps-E, *Lps-Tr} > Al-F-R because (02)(02)(01)0 >> (02)0(02)(01) { Al-W-L, *Lps, Lps-E, Prs} > Al-F-R because (02)(02)(02)(01) >> 00(02)(02)(01) { Al-W-R, *Lps, Lps-E, Prs} > Al-F-R because (02)(02)(02)(01) >> (02)000(01)0 { *Lps, Lps-E} > Al-W-R because (02)(02)(02)(01)0 >> (02)(02)(02)0(01) { *Lps, Lps-E} > Al-F-R because (02)(02)(02)(01)0 >> (02)(02)(02)0(01) { *Lps, Lps-E, Prs} > Al-F-L because (02)(02)(02)(01)0 >> (02)00000(01) { *Lps, Lps-E, *Lps-Tr} > Al-F-R because (02)(02)(02)(01)0 >> (02)(02)0(02)(01) { Al-W-L, Al-F-L, *Lps, Lps-E} > Al-F-R because (02)(02)(02)(01)0 >> 0(02)(02)(02)(01) { *Lps, Lps-E, Prs} > Al-F-L because (02)(02)(02)(01)0 >> (02)(02)0(01)00 { *Lps, Lps-E, Prs} > Al-F-L because (02)(02)(02)(01)0 >> (02)(02)00(01)0 { *Lps, Lps-E, Prs} > Al-F-L because (02)(02)(02)(01)0 >> (02)(02)000(01) { *Lps, Lps-E, *Lps-Tr, Prs} > Al-F-L because (02)(02)(02)(01)0 >> (02)0(02)00(01) { *Lps, Lps-E, *Lps-Tr, Prs} > Al-F-L because (02)(02)(02)(01)0 >> (02)00(02)0(01) { *Lps, Lps-E, *Final-LL, Prs} > Al-F-L because (02)(02)(02)(01)0 >> (02)0(01)0000 { *Lps, Lps-E, Prs} > Al-F-L because (02)(02)(02)(01)0 >> (02)0000(01)0 { Al-W-L, *Lps, Lps-E, Prs} > Al-F-L because (02)(02)(02)(01)0 >> 000(02)(01)00 { Al-W-L, *Lps, Lps-E, Prs} > Al-F-L because (02)(02)(02)(01)0 >> 0000(02)0(01) ------------------------------------------------------------------------------ OUTPUT SET #5: /2/ --> >(01) (actual) /3/ --> >(01)0 /4/ --> >(02)(01) /5/ --> >(02)0(01) /6/ --> >(02)(02)(01) /7/ --> >(02)(02)0(01) /8/ --> >(02)(02)(02)(01) /9/ --> >(02)(02)(02)0(01) Stratum #1 Align-Wd-L [= Al-W-L] End-R [= End-R] *Final-L-Lps [= *Final-LL] *Lapse-Tr [= *Lps-Tr] Parse [= Prs] Stratum #2 Align-Wd-R [= Al-W-R] Align-Ft-L [= Al-F-L] Align-Ft-R [= Al-F-R] End-L [= End-L] Stratum #3 *Lapse [= *Lps] Lapse-End [= Lps-E] 5.1. Ranking Arguments Direct Pairwise Arguments End-R >> End-L, because /9/ --> [(02)(02)(02)0(01)], not *[(01)0(02)(02)(02)]: There were no arguments based solely on transitivity of domination. Irreducible Set Arguments { Al-W-L, Al-F-L, *Lps, Lps-E} > Al-W-R because (01)0 >> 0(01) { Al-W-L, Al-F-L, *Lps, Lps-E} > Al-F-R because (01)0 >> 0(01) { Al-W-R, *Lps, Prs} > End-L because (02)(01) >> (01)00 { Al-W-L, *Lps, Lps-E, Prs} > End-L because (02)(01) >> 00(01) { Al-W-R, Al-F-R, End-R} > Lps-E because (02)0(01) >> (01)(02)0 { Al-W-R, Al-F-R} > Lps-E because (02)0(01) >> (02)(01)0 { Al-W-L, Al-W-R, *Lps, Prs} > End-L because (02)0(01) >> 0(01)00 { *Lps, Lps-E, Prs} > Al-F-R because (02)(02)(01) >> (02)00(01) { Al-W-L, *Lps, Lps-E, Prs} > Al-F-L because (02)(02)(01) >> 0000(01) { Al-W-R, *Lps, Lps-E, Prs} > Al-F-L because (02)(02)(01) >> (02)0(01)0 { *Lps, Lps-E, Prs} > Al-F-L because (02)(02)0(01) >> (02)000(01) { Al-W-R, *Lps, *Final-LL, Prs} > Al-F-L because (02)(02)0(01) >> (02)(01)000 { Al-W-R, *Lps, Prs} > Al-F-L because (02)(02)(02)(01) >> (02)(02)(01)00 { *Lps, Lps-E, Prs} > Al-F-L because (02)(02)(02)(01) >> (02)0000(01) { *Lps, Lps-E, *Lps-Tr, Prs} > Al-F-L because (02)(02)(02)(01) >> (02)0(02)0(01) { Al-W-L, *Lps, Lps-E, Prs} > Al-F-R because (02)(02)(02)(01) >> 00(02)(02)(01) { Al-W-L, *Lps, Lps-E, Prs} > Al-F-L because (02)(02)(02)(01) >> 0000(02)(01) { Al-W-R, Al-F-R} > *Lps because (02)(02)(02)0(01) >> (02)(02)(02)(01)0 { Al-W-R, End-R, *Lps, Prs} > Al-F-L because (02)(02)(02)0(01) >> (02)(01)0(02)00 { Al-W-R, *Lps, *Lps-Tr, Prs} > Al-F-L because (02)(02)(02)0(01) >> (02)0(02)(01)00 { End-R, *Lps, Lps-E, Prs} > Al-F-R because (02)(02)(02)0(01) >> (01)000(02)(02) { Al-W-L, *Lps, Lps-E, Prs} > Al-F-R because (02)(02)(02)0(01) >> 00(02)(02)0(01) { Al-W-L, *Lps, Lps-E, Prs} > Al-F-R because (02)(02)(02)0(01) >> 000(02)(02)(01) { Al-W-R, *Lps, Lps-E, Prs} > Al-F-R because (02)(02)(02)0(01) >> (02)0000(01)0 ------------------------------------------------------------------------------ OUTPUT SET #6: /2/ --> >(01) (actual) /3/ --> >(01)0 /4/ --> >(02)(01) /5/ --> >(02)0(01) /6/ --> >(02)00(01) /7/ --> >(02)000(01) /8/ --> >(02)0000(01) /9/ --> >(02)00000(01) Stratum #1 Align-Wd-L [= Al-W-L] End-R [= End-R] *Final-L-Lps [= *Final-LL] *Lapse-Tr [= *Lps-Tr] Stratum #2 Align-Wd-R [= Al-W-R] Align-Ft-R [= Al-F-R] Stratum #3 Align-Ft-L [= Al-F-L] End-L [= End-L] *Lapse [= *Lps] Lapse-End [= Lps-E] Parse [= Prs] 6.1. Ranking Arguments Direct Pairwise Arguments End-R >> End-L, because /9/ --> [(02)00000(01)], not *[(01)00000(02)]: There were no arguments based solely on transitivity of domination. Irreducible Set Arguments { Al-W-L, Al-F-L, *Lps, Lps-E} > Al-W-R because (01)0 >> 0(01) { Al-W-L, Al-F-L, *Lps, Lps-E} > Al-F-R because (01)0 >> 0(01) { Al-W-R, *Lps, Prs} > Al-F-L because (02)(01) >> (01)00 { Al-W-R, *Lps, Prs} > End-L because (02)(01) >> (01)00 { Al-W-L, *Lps, Lps-E, Prs} > Al-F-R because (02)(01) >> 00(01) { Al-W-L, *Lps, Lps-E, Prs} > End-L because (02)(01) >> 00(01) { Al-W-R, Al-F-R, End-R} > Lps-E because (02)0(01) >> (01)(02)0 { Al-W-R, Al-F-R} > *Lps because (02)0(01) >> (02)(01)0 { Al-W-R, Al-F-R} > Lps-E because (02)0(01) >> (02)(01)0 { Al-W-L, Al-W-R, *Lps, Prs} > End-L because (02)0(01) >> 0(01)00 { Al-F-L, Al-F-R, End-R} > Lps-E because (02)00(01) >> (01)(02)(02) { Al-F-L, Al-F-R} > Lps-E because (02)00(01) >> (02)(02)(01) { Al-W-R, Al-F-R} > *Lps because (02)00(01) >> (02)(01)00 { Al-W-R, *Lps, *Final-LL, Prs} > End-L because (02)00(01) >> (01)0000 { Al-W-R, Al-F-R} > *Lps because (02)000(01) >> (02)00(01)0 { Al-F-L, Al-F-R} > *Lps because (02)0000(01) >> (02)(02)(02)(01) { Al-F-L, Al-F-R} > Prs because (02)0000(01) >> (02)(02)(02)(01) { Al-F-L, Al-F-R, End-R} > Prs because (02)0000(01) >> (02)(02)(01)(02) { Al-W-R, Al-F-L, Al-F-R} > Prs because (02)0000(01) >> (02)(02)0(01)0 { Al-F-L, Al-F-R} > *Lps because (02)0000(01) >> (02)(02)00(01) { Al-F-L, Al-F-R} > Prs because (02)0000(01) >> (02)(02)00(01) { Al-F-L, Al-F-R, *Lps-Tr} > Prs because (02)0000(01) >> (02)00(02)(01) { Al-W-L, Al-F-L, Al-F-R} > *Lps because (02)0000(01) >> 0(02)(02)0(01) { Al-W-L, Al-F-L, Al-F-R} > *Lps because (02)0000(01) >> 00(02)(02)(01) { Al-F-L, Al-F-R} > *Lps because (02)00000(01) >> (02)(02)(02)0(01) { Al-F-L, Al-F-R, *Lps-Tr} > Prs because (02)00000(01) >> (02)0(02)(02)(01) { Al-F-L, Al-F-R} > Prs because (02)00000(01) >> (02)(02)000(01) { Al-F-L, Al-F-R, *Lps-Tr} > Prs because (02)00000(01) >> (02)0(02)00(01) { Al-W-L, Al-F-L, Al-F-R} > Prs because (02)00000(01) >> 0(02)(02)00(01) { Al-W-L, Al-F-L, Al-F-R} > Prs because (02)00000(01) >> 000(02)(02)(01) { Al-W-R, Al-F-R} > *Lps because (02)00000(01) >> (02)0000(01)0 ------------------------------------------------------------------------------ OUTPUT SET #7: /2/ --> >(01) (actual) /3/ --> >(01)0 /4/ --> >(01)00 /5/ --> >(01)(02)0 /6/ --> >(01)(02)(02) /7/ --> >(01)(02)(02)0 /8/ --> >(01)(02)(02)(02) /9/ --> >(01)(02)(02)(02)0 Stratum #1 Align-Wd-L [= Al-W-L] End-L [= End-L] Lapse-End [= Lps-E] *Final-L-Lps [= *Final-LL] *Lapse-Tr [= *Lps-Tr] Stratum #2 Align-Ft-R [= Al-F-R] End-R [= End-R] Stratum #3 Align-Wd-R [= Al-W-R] *Lapse [= *Lps] Parse [= Prs] Stratum #4 Align-Ft-L [= Al-F-L] 7.1. Ranking Arguments Direct Pairwise Arguments End-L >> End-R, because /9/ --> [(01)(02)(02)(02)0], not *[(02)(02)(02)(01)0]: There were no arguments based solely on transitivity of domination. Irreducible Set Arguments { Al-W-L, Al-F-L, *Lps, Lps-E} > Al-F-R because (01)0 >> 0(01) { Al-F-L, End-R} > Al-W-R because (01)00 >> (01)(02) { Al-F-L, End-R} > *Lps because (01)00 >> (01)(02) { Al-F-L, End-R} > Prs because (01)00 >> (01)(02) { Al-F-L, End-L} > Al-W-R because (01)00 >> (02)(01) { Al-F-L, End-L} > *Lps because (01)00 >> (02)(01) { Al-F-L, End-L} > Prs because (01)00 >> (02)(01) { *Lps, Lps-E} > Al-F-R because (01)(02)0 >> (01)0(02) { End-L, *Lps, Lps-E} > Al-W-R because (01)(02)0 >> (02)0(01) { *Lps, Lps-E, *Final-LL, Prs} > End-R because (01)(02)0 >> (01)000 { Al-W-L, *Lps, Lps-E, Prs} > End-R because (01)(02)0 >> 0(01)00 { Al-W-L, *Lps, Lps-E, Prs} > Al-W-R because (01)(02)0 >> 000(01) { Al-W-L, *Lps, Lps-E, Prs} > Al-F-R because (01)(02)0 >> 00(01)0 { Al-W-R, *Lps, Prs} > Al-F-L because (01)(02)(02) >> (01)(02)00 { *Lps, Lps-E} > Al-W-R because (01)(02)(02)0 >> (01)0(02)(02) { *Lps, Lps-E, Prs} > Al-W-R because (01)(02)(02)0 >> (01)000(02) { *Lps, Lps-E, *Lps-Tr} > Al-W-R because (01)(02)(02)0 >> (01)(02)0(02) { Al-W-L, Al-F-L, End-L, *Lps, Lps-E} > Al-F-R because (01)(02)(02)0 >> 0(02)(02)(01) { Al-W-R, End-L, *Lps, Prs} > Al-F-L because (01)(02)(02)(02) >> (02)(02)(01)00 { *Lps, Lps-E, *Lps-Tr, Prs} > Al-F-L because (01)(02)(02)(02) >> (01)(02)00(02) { *Lps, Lps-E, Prs} > Al-F-L because (01)(02)(02)(02) >> (01)00(02)(02) { Al-W-L, *Lps, Lps-E, Prs} > Al-F-R because (01)(02)(02)(02) >> 00(01)(02)(02) { *Lps, Lps-E} > Al-W-R because (01)(02)(02)(02)0 >> (01)0(02)(02)(02) { *Lps, Lps-E, Prs} > Al-F-L because (01)(02)(02)(02)0 >> (01)00000(02) { End-L, *Lps, Lps-E} > Al-W-R because (01)(02)(02)(02)0 >> (02)(01)0(02)(02) { *Lps, Lps-E, Prs} > Al-F-L because (01)(02)(02)(02)0 >> (01)0(02)(02)00 { *Lps, Lps-E, Prs} > Al-F-L because (01)(02)(02)(02)0 >> (01)00(02)(02)0 { End-L, *Lps, Lps-E, Prs} > Al-F-L because (01)(02)(02)(02)0 >> (02)00(01)0(02) { *Lps, Lps-E, Prs} > Al-F-L because (01)(02)(02)(02)0 >> (01)000(02)(02) { *Lps, Lps-E, Prs} > Al-F-L because (01)(02)(02)(02)0 >> (01)0000(02)0 { Al-W-L, *Lps, Lps-E, Prs} > Al-F-L because (01)(02)(02)(02)0 >> 0000(01)(02)0 { Al-W-L, *Lps, Lps-E, *Final-LL, Prs} > End-R because (01)(02)(02)(02)0 >> 0000(01)000 ------------------------------------------------------------------------------ OUTPUT SET #8: /2/ --> >(01) (actual) /3/ --> >(01)0 /4/ --> >(01)00 /5/ --> >(01)(02)0 /6/ --> >(01)(02)00 /7/ --> >(01)(02)(02)0 /8/ --> >(01)(02)(02)00 /9/ --> >(01)(02)(02)(02)0 Stratum #1 Align-Wd-L [= Al-W-L] End-L [= End-L] Lapse-End [= Lps-E] *Final-L-Lps [= *Final-LL] *Lapse-Tr [= *Lps-Tr] Stratum #2 Align-Ft-L [= Al-F-L] Align-Ft-R [= Al-F-R] End-R [= End-R] Stratum #3 Align-Wd-R [= Al-W-R] *Lapse [= *Lps] Parse [= Prs] 8.1. Ranking Arguments Direct Pairwise Arguments Al-F-L >> Al-W-R, because /8/ --> [(01)(02)(02)00], not *[(01)(02)(02)(02)]: Al-F-L >> *Lps, because /8/ --> [(01)(02)(02)00], not *[(01)(02)(02)(02)]: Al-F-L >> Prs, because /8/ --> [(01)(02)(02)00], not *[(01)(02)(02)(02)]: End-L >> End-R, because /9/ --> [(01)(02)(02)(02)0], not *[(02)(02)(02)(01)0]: Lps-E >> Al-W-R, because /9/ --> [(01)(02)(02)(02)0], not *[(01)000(02)(02)]: Lps-E >> Al-F-L, because /9/ --> [(01)(02)(02)(02)0], not *[(01)0000(02)0]: Lps-E >> Al-F-R, because /9/ --> [(01)(02)(02)(02)0], not *[(01)0000(02)0]: Arguments Derived from Transitivity of Domination Lps-E >> *Lps Lps-E >> Prs Irreducible Set Arguments { Al-W-L, *Lps, Lps-E, Prs} > End-R because (01)(02)0 >> 00(01)0 { *Lps, Lps-E, *Final-LL, Prs} > End-R because (01)(02)(02)0 >> (01)00000 { Al-W-L, *Lps, Lps-E, Prs} > End-R because (01)(02)(02)00 >> 00000(01)0 { Al-W-L, *Lps, Lps-E, *Final-LL, Prs} > End-R because (01)(02)(02)(02)0 >> 0000(01)000 ------------------------------------------------------------------------------ OUTPUT SET #9: /2/ --> >(01) (actual) /3/ --> >(01)0 /4/ --> >(01)00 /5/ --> >(01)(02)0 /6/ --> >(01)(02)00 /7/ --> >(01)0(02)00 /8/ --> >(01)00(02)00 /9/ --> >(01)000(02)00 Stratum #1 Align-Wd-L [= Al-W-L] End-L [= End-L] *Final-L-Lps [= *Final-LL] *Lapse-Tr [= *Lps-Tr] Stratum #2 Align-Ft-L [= Al-F-L] End-R [= End-R] Stratum #3 *Lapse [= *Lps] Lapse-End [= Lps-E] Parse [= Prs] Stratum #4 Align-Wd-R [= Al-W-R] Align-Ft-R [= Al-F-R] 9.1. Ranking Arguments Direct Pairwise Arguments Al-F-L >> Al-W-R, because /9/ --> [(01)000(02)00], not *[(01)000(02)(02)]: Al-F-L >> *Lps, because /9/ --> [(01)000(02)00], not *[(01)000(02)(02)]: Al-F-L >> Prs, because /9/ --> [(01)000(02)00], not *[(01)000(02)(02)]: End-L >> End-R, because /9/ --> [(01)000(02)00], not *[(02)000(01)00]: There were no arguments based solely on transitivity of domination. Irreducible Set Arguments { *Lps, Lps-E} > Al-W-R because (01)(02)0 >> (01)0(02) { *Lps, Lps-E} > Al-F-R because (01)(02)0 >> (01)0(02) { End-L, *Lps, Lps-E} > Al-F-R because (01)(02)0 >> (02)0(01) { Lps-E, *Final-LL} > Al-F-L because (01)(02)0 >> (01)000 { *Lps, Lps-E, *Final-LL, Prs} > Al-F-R because (01)(02)0 >> (01)000 { *Lps, Lps-E, *Final-LL, Prs} > End-R because (01)(02)0 >> (01)000 { Al-W-L, *Lps, Lps-E, Prs} > Al-F-R because (01)(02)0 >> 0(01)00 { *Lps, Lps-E} > Al-F-R because (01)(02)00 >> (01)00(02) { Al-F-L, Al-F-R} > Lps-E because (01)0(02)00 >> (01)(02)(02)0 { Al-F-L, Al-F-R, *Lps-Tr} > Lps-E because (01)00(02)00 >> (01)(02)0(02)0 { Al-W-L, Al-F-L, End-L, *Lps, Lps-E} > Al-F-R because (01)00(02)00 >> 0000(02)(01) { Al-W-L, *Lps, Lps-E, Prs} > End-R because (01)000(02)00 >> 0000000(01) { Al-F-L, Al-F-R, End-L, *Final-LL} > Lps-E because (01)000(02)00 >> (02)(02)(01)000 { Al-F-L, Al-F-R, End-L} > Lps-E because (01)000(02)00 >> (02)(02)00(01)0 { Al-F-L, Al-F-R} > Lps-E because (01)000(02)00 >> (01)0(02)(02)00 { Al-F-L, Al-F-R} > Lps-E because (01)000(02)00 >> (01)00(02)(02)0 { Al-W-L, *Lps, Lps-E, *Final-LL, Prs} > End-R because (01)000(02)00 >> 0000(01)000 ------------------------------------------------------------------------------ OUTPUT SET #10: /2/ --> >(01) (actual) /3/ --> >(01)0 /4/ --> >(01)00 /5/ --> >(02)(01)0 /6/ --> >(02)(02)(01) /7/ --> >(02)(02)(01)0 /8/ --> >(02)(02)(02)(01) /9/ --> >(02)(02)(02)(01)0 Stratum #1 Align-Wd-L [= Al-W-L] End-R [= End-R] Lapse-End [= Lps-E] *Final-L-Lps [= *Final-LL] *Lapse-Tr [= *Lps-Tr] Stratum #2 Align-Ft-R [= Al-F-R] End-L [= End-L] Stratum #3 Align-Wd-R [= Al-W-R] *Lapse [= *Lps] Parse [= Prs] Stratum #4 Align-Ft-L [= Al-F-L] 10.1. Ranking Arguments Direct Pairwise Arguments End-R >> End-L, because /9/ --> [(02)(02)(02)(01)0], not *[(01)(02)(02)(02)0]: There were no arguments based solely on transitivity of domination. Irreducible Set Arguments { Al-F-L, End-R} > Al-W-R because (01)00 >> (01)(02) { Al-F-L, End-R} > *Lps because (01)00 >> (01)(02) { Al-F-L, End-R} > Prs because (01)00 >> (01)(02) { Al-F-L, End-L} > Al-W-R because (01)00 >> (02)(01) { Al-F-L, End-L} > *Lps because (01)00 >> (02)(01) { Al-F-L, End-L} > Prs because (01)00 >> (02)(01) { *Lps, Lps-E, *Final-LL, Prs} > Al-F-R because (02)(01)0 >> (01)000 { *Lps, Lps-E, *Final-LL, Prs} > End-L because (02)(01)0 >> (01)000 { Al-W-L, *Lps, Lps-E, Prs} > End-L because (02)(01)0 >> 0(01)00 { Al-W-L, *Lps, Lps-E, Prs} > Al-W-R because (02)(01)0 >> 000(01) { *Lps, Lps-E} > Al-W-R because (02)(02)(01)0 >> (02)(02)0(01) { *Lps, Lps-E, Prs} > Al-W-R because (02)(02)(01)0 >> (02)000(01) { End-R, *Lps, Lps-E} > Al-F-R because (02)(02)(01)0 >> (02)(01)0(02) { *Lps, Lps-E, *Lps-Tr} > Al-W-R because (02)(02)(01)0 >> (02)0(02)(01) { *Lps, Lps-E, *Lps-Tr} > Al-F-R because (02)(02)(01)0 >> (02)0(02)(01) { *Lps, Lps-E, Prs} > Al-F-L because (02)(02)(01)0 >> (02)00(01)0 { Al-W-R, *Lps, Prs} > Al-F-L because (02)(02)(02)(01) >> (02)(02)(01)00 { Al-W-R, *Lps, Lps-E, Prs} > Al-F-R because (02)(02)(02)(01) >> (02)00(01)00 { *Lps, Lps-E, Prs} > Al-F-R because (02)(02)(02)(01) >> (02)0000(01) { *Lps, Lps-E, *Lps-Tr, Prs} > Al-F-L because (02)(02)(02)(01) >> (02)0(02)0(01) { *Lps, Lps-E} > Al-W-R because (02)(02)(02)(01)0 >> (02)(02)(02)0(01) { *Lps, Lps-E} > Al-F-R because (02)(02)(02)(01)0 >> (02)(02)(02)0(01) { *Lps, Lps-E, Prs} > Al-F-L because (02)(02)(02)(01)0 >> (02)000(01)00 { *Lps, Lps-E, Prs} > Al-F-L because (02)(02)(02)(01)0 >> (02)00000(01) { *Lps, Lps-E, Prs} > Al-F-R because (02)(02)(02)(01)0 >> (02)00000(01) { *Lps, Lps-E, *Lps-Tr} > Al-F-R because (02)(02)(02)(01)0 >> (02)(02)0(02)(01) { Al-W-L, Al-F-L, *Lps, Lps-E} > Al-F-R because (02)(02)(02)(01)0 >> 0(02)(02)(02)(01) { *Lps, Lps-E, Prs} > Al-F-R because (02)(02)(02)(01)0 >> (02)(02)0(01)00 { *Lps, Lps-E, Prs} > Al-F-L because (02)(02)(02)(01)0 >> (02)(02)00(01)0 { *Lps, Lps-E, Prs} > Al-F-R because (02)(02)(02)(01)0 >> (02)(02)00(01)0 { *Lps, Lps-E, Prs} > Al-F-L because (02)(02)(02)(01)0 >> (02)(02)000(01) { End-R, *Lps, Lps-E, Prs} > Al-F-L because (02)(02)(02)(01)0 >> (01)00(02)(02)0 { End-R, *Lps, Lps-E, Prs} > Al-F-L because (02)(02)(02)(01)0 >> (01)000(02)(02) { *Lps, Lps-E, *Final-LL, Prs} > Al-F-L because (02)(02)(02)(01)0 >> (02)0(01)0000 { *Lps, Lps-E, Prs} > Al-F-L because (02)(02)(02)(01)0 >> (02)0000(01)0 { Al-W-L, *Lps, Lps-E, Prs} > Al-F-L because (02)(02)(02)(01)0 >> 00(02)00(01)0 { Al-W-L, *Lps, Lps-E, Prs} > Al-F-L because (02)(02)(02)(01)0 >> 000(02)00(01) { Al-W-L, *Lps, Lps-E, *Final-LL, Prs} > End-L because (02)(02)(02)(01)0 >> 0000(01)000 ------------------------------------------------------------------------------ OUTPUT SET #11: /2/ --> >(01) (actual) /3/ --> >(01)0 /4/ --> >(01)00 /5/ --> >(02)(01)0 /6/ --> >(02)(01)00 /7/ --> >(02)(02)(01)0 /8/ --> >(02)(02)(01)00 /9/ --> >(02)(02)(02)(01)0 Stratum #1 Align-Wd-L [= Al-W-L] End-R [= End-R] Lapse-End [= Lps-E] *Final-L-Lps [= *Final-LL] *Lapse-Tr [= *Lps-Tr] Stratum #2 Align-Ft-L [= Al-F-L] Align-Ft-R [= Al-F-R] End-L [= End-L] Stratum #3 Align-Wd-R [= Al-W-R] *Lapse [= *Lps] Parse [= Prs] 11.1. Ranking Arguments Direct Pairwise Arguments Al-F-L >> Al-W-R, because /8/ --> [(02)(02)(01)00], not *[(02)(02)(02)(01)]: Al-F-L >> *Lps, because /8/ --> [(02)(02)(01)00], not *[(02)(02)(02)(01)]: Al-F-L >> Prs, because /8/ --> [(02)(02)(01)00], not *[(02)(02)(02)(01)]: End-R >> End-L, because /9/ --> [(02)(02)(02)(01)0], not *[(01)(02)(02)(02)0]: Lps-E >> Al-W-R, because /9/ --> [(02)(02)(02)(01)0], not *[(02)(02)000(01)]: Lps-E >> Al-F-L, because /9/ --> [(02)(02)(02)(01)0], not *[(02)0000(01)0]: Lps-E >> Al-F-R, because /9/ --> [(02)(02)(02)(01)0], not *[(02)0000(01)0]: Arguments Derived from Transitivity of Domination Lps-E >> *Lps Lps-E >> Prs Irreducible Set Arguments { Al-W-L, *Lps, Lps-E, Prs} > End-L because (02)(01)0 >> 00(01)0 { *Lps, Lps-E, *Final-LL, Prs} > End-L because (02)(02)(01)0 >> (01)00000 { Al-W-L, *Lps, Lps-E, Prs} > End-L because (02)(02)(01)00 >> 00000(01)0 { Al-W-L, *Lps, Lps-E, *Final-LL, Prs} > End-L because (02)(02)(02)(01)0 >> 0000(01)000 ------------------------------------------------------------------------------ OUTPUT SET #12: /2/ --> >(01) (actual) /3/ --> >(01)0 /4/ --> >(01)00 /5/ --> >(02)(01)0 /6/ --> >(02)(01)00 /7/ --> >(02)0(01)00 /8/ --> >(02)00(01)00 /9/ --> >(02)000(01)00 Stratum #1 Align-Wd-L [= Al-W-L] End-R [= End-R] *Final-L-Lps [= *Final-LL] *Lapse-Tr [= *Lps-Tr] Stratum #2 Align-Ft-L [= Al-F-L] End-L [= End-L] Stratum #3 *Lapse [= *Lps] Lapse-End [= Lps-E] Parse [= Prs] Stratum #4 Align-Wd-R [= Al-W-R] Align-Ft-R [= Al-F-R] 12.1. Ranking Arguments Direct Pairwise Arguments Al-F-L >> Al-W-R, because /9/ --> [(02)000(01)00], not *[(02)(02)000(01)]: Al-F-L >> *Lps, because /9/ --> [(02)000(01)00], not *[(02)(02)000(01)]: Al-F-L >> Prs, because /9/ --> [(02)000(01)00], not *[(02)(02)000(01)]: End-R >> End-L, because /9/ --> [(02)000(01)00], not *[(01)000(02)00]: There were no arguments based solely on transitivity of domination. Irreducible Set Arguments { End-R, *Lps, Lps-E} > Al-F-R because (02)(01)0 >> (01)0(02) { *Lps, Lps-E} > Al-F-R because (02)(01)0 >> (02)0(01) { Lps-E, *Final-LL} > Al-F-L because (02)(01)0 >> (01)000 { *Lps, Lps-E, *Final-LL, Prs} > End-L because (02)(01)0 >> (01)000 { Al-W-L, *Lps, Lps-E, Prs} > Al-W-R because (02)(01)0 >> 000(01) { Al-W-L, *Lps, Lps-E, Prs} > Al-F-R because (02)(01)0 >> 00(01)0 { *Lps, Lps-E} > Al-W-R because (02)(01)00 >> (02)00(01) { *Lps, Lps-E} > Al-W-R because (02)0(01)00 >> (02)000(01) { Al-F-L, Al-F-R, *Lps-Tr} > Lps-E because (02)00(01)00 >> (02)0(02)(01)0 { Al-W-L, Al-F-L, *Lps, Lps-E} > Al-F-R because (02)00(01)00 >> 0000(02)(01) { Al-W-L, *Lps, Lps-E, Prs} > End-L because (02)00(01)00 >> 00000(01)0 { Al-F-L, Al-F-R} > Lps-E because (02)000(01)00 >> (02)(02)(02)0(01) { Al-F-L, Al-F-R, *Lps-Tr} > Lps-E because (02)000(01)00 >> (02)(02)0(02)(01) { Al-F-L, Al-F-R, *Final-LL} > Lps-E because (02)000(01)00 >> (02)(02)(01)000 { Al-F-L, Al-F-R} > Lps-E because (02)000(01)00 >> (02)(02)0(01)00 { Al-F-L, Al-F-R} > Lps-E because (02)000(01)00 >> (02)(02)00(01)0 { Al-W-L, Al-F-L, Al-F-R} > Lps-E because (02)000(01)00 >> 0(02)(02)0(01)0 { Al-W-L, Al-F-L, *Lps, Lps-E} > Al-F-R because (02)000(01)00 >> 0000(02)0(01) { Al-W-L, *Lps, Lps-E, *Final-LL, Prs} > End-L because (02)000(01)00 >> 0000(01)000 ------------------------------------------------------------------------------ OUTPUT SET #13: /2/ --> >(01) (actual) /3/ --> >(01)0 /4/ --> >(01)00 /5/ --> >(01)0(02) /6/ --> >(01)(02)(02) /7/ --> >(01)0(02)(02) /8/ --> >(01)(02)(02)(02) /9/ --> >(01)0(02)(02)(02) Stratum #1 Align-Wd-L [= Al-W-L] End-L [= End-L] *Final-L-Lps [= *Final-LL] *Lapse-Tr [= *Lps-Tr] Stratum #2 End-R [= End-R] Stratum #3 Align-Wd-R [= Al-W-R] Parse [= Prs] Stratum #4 Align-Ft-L [= Al-F-L] Align-Ft-R [= Al-F-R] *Lapse [= *Lps] Lapse-End [= Lps-E] 13.1. Ranking Arguments Direct Pairwise Arguments End-L >> End-R, because /9/ --> [(01)0(02)(02)(02)], not *[(02)(02)(02)0(01)]: There were no arguments based solely on transitivity of domination. Irreducible Set Arguments { Al-W-L, Al-F-L, *Lps, Lps-E} > Al-W-R because (01)0 >> 0(01) { Al-W-L, Al-F-L, *Lps, Lps-E} > Al-F-R because (01)0 >> 0(01) { Al-F-L, End-R} > Al-W-R because (01)00 >> (01)(02) { Al-F-L, End-R} > *Lps because (01)00 >> (01)(02) { Al-F-L, End-R} > Prs because (01)00 >> (01)(02) { Al-F-L, End-L} > Al-W-R because (01)00 >> (02)(01) { Al-F-L, End-L} > *Lps because (01)00 >> (02)(01) { Al-F-L, End-L} > Prs because (01)00 >> (02)(01) { Al-W-R, Al-F-R} > *Lps because (01)0(02) >> (01)(02)0 { Al-W-R, Al-F-R} > Lps-E because (01)0(02) >> (01)(02)0 { Al-W-R, *Lps, *Final-LL, Prs} > End-R because (01)0(02) >> (01)000 { Al-W-L, Al-W-R, *Lps, Prs} > End-R because (01)0(02) >> 0(01)00 { Al-W-L, *Lps, Lps-E, Prs} > End-R because (01)0(02) >> 000(01) { *Lps, Lps-E, Prs} > Al-F-L because (01)(02)(02) >> (01)00(02) { Al-W-R, *Lps, Lps-E, *Final-LL, Prs} > Al-F-R because (01)(02)(02) >> (01)0000 { Al-W-R, Al-F-R, End-L} > Lps-E because (01)0(02)(02) >> (02)(02)(01)0 { *Lps, Lps-E, Prs} > Al-F-R because (01)0(02)(02) >> (01)000(02) { Al-W-R, *Lps, Lps-E, Prs} > Al-F-R because (01)(02)(02)(02) >> (01)00(02)00 { *Lps, Lps-E, Prs} > Al-F-R because (01)(02)(02)(02) >> (01)0000(02) { *Lps, Lps-E, *Lps-Tr, Prs} > Al-F-R because (01)(02)(02)(02) >> (01)(02)00(02) { *Lps, Lps-E, Prs} > Al-F-R because (01)(02)(02)(02) >> (01)00(02)(02) { Al-W-L, *Lps, Lps-E, Prs} > Al-F-R because (01)(02)(02)(02) >> 0(01)0(02)(02) { *Lps, Lps-E, Prs} > Al-F-R because (01)0(02)(02)(02) >> (01)00000(02) { Al-W-R, *Lps, *Lps-Tr, Prs} > Al-F-L because (01)0(02)(02)(02) >> (01)(02)0(02)00 { Al-W-R, End-L, *Lps, Prs} > Al-F-L because (01)0(02)(02)(02) >> (02)(01)0(02)00 { Al-W-R, *Lps, Prs} > Al-F-L because (01)0(02)(02)(02) >> (01)0(02)(02)00 { Al-W-R, End-L, *Lps, Prs} > Al-F-L because (01)0(02)(02)(02) >> (02)0(01)(02)00 { End-L, *Lps, Lps-E, Prs} > Al-F-R because (01)0(02)(02)(02) >> (02)000(01)(02) { Al-W-L, End-L, *Lps, Lps-E, Prs} > Al-F-L because (01)0(02)(02)(02) >> 00(02)000(01) { Al-W-L, *Lps, Lps-E, Prs} > Al-F-L because (01)0(02)(02)(02) >> 0000(01)0(02) ------------------------------------------------------------------------------ OUTPUT SET #14: /2/ --> >(01) (actual) /3/ --> >(01)0 /4/ --> >(01)00 /5/ --> >(01)0(02) /6/ --> >(01)00(02) /7/ --> >(01)000(02) /8/ --> >(01)0000(02) /9/ --> >(01)00000(02) Stratum #1 Align-Wd-L [= Al-W-L] End-L [= End-L] *Final-L-Lps [= *Final-LL] *Lapse-Tr [= *Lps-Tr] Stratum #2 Align-Ft-L [= Al-F-L] Align-Ft-R [= Al-F-R] End-R [= End-R] Stratum #3 Align-Wd-R [= Al-W-R] *Lapse [= *Lps] Lapse-End [= Lps-E] Parse [= Prs] 14.1. Ranking Arguments Direct Pairwise Arguments End-L >> End-R, because /9/ --> [(01)00000(02)], not *[(02)00000(01)]: There were no arguments based solely on transitivity of domination. Irreducible Set Arguments { Al-W-L, Al-F-L, *Lps, Lps-E} > Al-W-R because (01)0 >> 0(01) { Al-W-L, Al-F-L, *Lps, Lps-E} > Al-F-R because (01)0 >> 0(01) { Al-F-L, End-R} > Al-W-R because (01)00 >> (01)(02) { Al-F-L, End-R} > *Lps because (01)00 >> (01)(02) { Al-F-L, End-R} > Prs because (01)00 >> (01)(02) { Al-F-L, End-L} > Al-W-R because (01)00 >> (02)(01) { Al-F-L, End-L} > *Lps because (01)00 >> (02)(01) { Al-F-L, End-L} > Prs because (01)00 >> (02)(01) { Al-W-R, Al-F-R} > *Lps because (01)0(02) >> (01)(02)0 { Al-W-R, *Lps, *Final-LL, Prs} > Al-F-L because (01)0(02) >> (01)000 { Al-W-R, *Lps, *Final-LL, Prs} > End-R because (01)0(02) >> (01)000 { Al-W-L, Al-W-R, *Lps, Prs} > End-R because (01)0(02) >> 0(01)00 { Al-W-L, *Lps, Lps-E, Prs} > Al-F-R because (01)0(02) >> 000(01) { Al-W-L, *Lps, Lps-E, Prs} > End-R because (01)0(02) >> 000(01) { Al-F-L, Al-F-R} > *Lps because (01)00(02) >> (01)(02)(02) { Al-F-L, Al-F-R} > Prs because (01)00(02) >> (01)(02)(02) { Al-W-L, Al-F-L, Al-F-R} > Lps-E because (01)000(02) >> 0(01)(02)(02) { Al-F-L, Al-F-R} > Lps-E because (01)0000(02) >> (01)(02)(02)(02) { Al-W-R, Al-F-L, Al-F-R} > Prs because (01)0000(02) >> (01)(02)(02)00 { Al-W-R, Al-F-R} > Lps-E because (01)0000(02) >> (01)00(02)00 { Al-F-L, Al-F-R, *Lps-Tr} > Lps-E because (01)0000(02) >> (01)(02)00(02) { Al-W-R, Al-F-R, End-L, *Final-LL} > Lps-E because (01)0000(02) >> (02)0(01)000 { Al-F-L, Al-F-R} > Lps-E because (01)00000(02) >> (01)0(02)(02)(02) { Al-F-L, Al-F-R, End-L} > Lps-E because (01)00000(02) >> (02)(01)0(02)(02) { Al-F-L, Al-F-R, *Lps-Tr} > Lps-E because (01)00000(02) >> (01)0(02)00(02) { Al-F-L, Al-F-R, End-L} > Lps-E because (01)00000(02) >> (02)000(01)(02) { Al-W-L, Al-F-L, Al-F-R, End-L} > Lps-E because (01)00000(02) >> 000(02)(01)(02) { Al-W-R, Al-F-R, End-L} > Lps-E because (01)00000(02) >> (02)0000(01)0 { Al-W-L, Al-W-R, *Lps, *Final-LL, Prs} > End-R because (01)00000(02) >> 0000(01)000 ------------------------------------------------------------------------------ OUTPUT SET #15: /2/ --> >(01) (actual) /3/ --> >(01)0 /4/ --> >(01)00 /5/ --> >(02)0(01) /6/ --> >(02)(02)(01) /7/ --> >(02)(02)0(01) /8/ --> >(02)(02)(02)(01) /9/ --> >(02)(02)(02)0(01) Stratum #1 Align-Wd-L [= Al-W-L] End-R [= End-R] *Final-L-Lps [= *Final-LL] *Lapse-Tr [= *Lps-Tr] Stratum #2 End-L [= End-L] Stratum #3 Align-Wd-R [= Al-W-R] Parse [= Prs] Stratum #4 Align-Ft-L [= Al-F-L] Align-Ft-R [= Al-F-R] *Lapse [= *Lps] Lapse-End [= Lps-E] 15.1. Ranking Arguments Direct Pairwise Arguments End-R >> End-L, because /9/ --> [(02)(02)(02)0(01)], not *[(01)0(02)(02)(02)]: There were no arguments based solely on transitivity of domination. Irreducible Set Arguments { Al-W-L, Al-F-L, *Lps, Lps-E} > Al-W-R because (01)0 >> 0(01) { Al-W-L, Al-F-L, *Lps, Lps-E} > Al-F-R because (01)0 >> 0(01) { Al-F-L, End-R} > Al-W-R because (01)00 >> (01)(02) { Al-F-L, End-R} > *Lps because (01)00 >> (01)(02) { Al-F-L, End-R} > Prs because (01)00 >> (01)(02) { Al-F-L, End-L} > Al-W-R because (01)00 >> (02)(01) { Al-F-L, End-L} > *Lps because (01)00 >> (02)(01) { Al-F-L, End-L} > Prs because (01)00 >> (02)(01) { Al-W-R, Al-F-R, End-R} > Lps-E because (02)0(01) >> (01)(02)0 { Al-W-R, Al-F-R} > *Lps because (02)0(01) >> (02)(01)0 { Al-W-R, Al-F-R} > Lps-E because (02)0(01) >> (02)(01)0 { Al-W-R, *Lps, *Final-LL, Prs} > End-L because (02)0(01) >> (01)000 { Al-W-L, Al-W-R, *Lps, Prs} > End-L because (02)0(01) >> 0(01)00 { Al-W-L, *Lps, Lps-E, Prs} > End-L because (02)0(01) >> 000(01) { Al-W-R, *Lps, Prs} > Al-F-L because (02)(02)(01) >> (02)(01)00 { *Lps, Lps-E, Prs} > Al-F-R because (02)(02)(01) >> (02)00(01) { Al-W-R, Al-F-R} > *Lps because (02)(02)0(01) >> (02)(02)(01)0 { Al-W-R, *Lps, Lps-E, *Final-LL, Prs} > Al-F-R because (02)(02)0(01) >> (01)00000 { Al-W-R, *Lps, *Final-LL, Prs} > Al-F-L because (02)(02)0(01) >> (02)(01)000 { Al-W-R, *Lps, Prs} > Al-F-L because (02)(02)(02)(01) >> (02)(02)(01)00 { *Lps, Lps-E, Prs} > Al-F-L because (02)(02)(02)(01) >> (02)0000(01) { *Lps, Lps-E, Prs} > Al-F-L because (02)(02)(02)(01) >> (02)(02)00(01) { Al-W-L, *Lps, Lps-E, Prs} > Al-F-R because (02)(02)(02)(01) >> 00(02)(02)(01) { *Lps, Lps-E, Prs} > Al-F-L because (02)(02)(02)0(01) >> (02)00000(01) { Al-W-R, *Lps, Prs} > Al-F-L because (02)(02)(02)0(01) >> (02)(02)0(01)00 { *Lps, Lps-E, Prs} > Al-F-L because (02)(02)(02)0(01) >> (02)(02)000(01) { *Lps, Lps-E, *Lps-Tr, Prs} > Al-F-L because (02)(02)(02)0(01) >> (02)00(02)0(01) { End-R, *Lps, Lps-E, Prs} > Al-F-R because (02)(02)(02)0(01) >> (01)000(02)(02) { Al-W-L, *Lps, Lps-E, Prs} > Al-F-R because (02)(02)(02)0(01) >> 00(02)(02)0(01) { Al-W-L, *Lps, Lps-E, Prs} > Al-F-R because (02)(02)(02)0(01) >> 000(02)(02)(01) ------------------------------------------------------------------------------ OUTPUT SET #16: /2/ --> >(01) (actual) /3/ --> >(01)0 /4/ --> >(01)00 /5/ --> >(02)0(01) /6/ --> >(02)00(01) /7/ --> >(02)000(01) /8/ --> >(02)0000(01) /9/ --> >(02)00000(01) Stratum #1 Align-Wd-L [= Al-W-L] End-R [= End-R] *Final-L-Lps [= *Final-LL] *Lapse-Tr [= *Lps-Tr] Stratum #2 Align-Ft-L [= Al-F-L] Align-Ft-R [= Al-F-R] End-L [= End-L] Stratum #3 Align-Wd-R [= Al-W-R] *Lapse [= *Lps] Lapse-End [= Lps-E] Parse [= Prs] 16.1. Ranking Arguments Direct Pairwise Arguments End-R >> End-L, because /9/ --> [(02)00000(01)], not *[(01)00000(02)]: There were no arguments based solely on transitivity of domination. Irreducible Set Arguments { Al-W-L, Al-F-L, *Lps, Lps-E} > Al-W-R because (01)0 >> 0(01) { Al-W-L, Al-F-L, *Lps, Lps-E} > Al-F-R because (01)0 >> 0(01) { Al-F-L, End-R} > Al-W-R because (01)00 >> (01)(02) { Al-F-L, End-R} > *Lps because (01)00 >> (01)(02) { Al-F-L, End-R} > Prs because (01)00 >> (01)(02) { Al-F-L, End-L} > Al-W-R because (01)00 >> (02)(01) { Al-F-L, End-L} > *Lps because (01)00 >> (02)(01) { Al-F-L, End-L} > Prs because (01)00 >> (02)(01) { Al-W-R, Al-F-R, End-R} > Lps-E because (02)0(01) >> (01)(02)0 { Al-W-R, Al-F-R} > Lps-E because (02)0(01) >> (02)(01)0 { Al-W-R, *Lps, *Final-LL, Prs} > Al-F-L because (02)0(01) >> (01)000 { Al-W-R, *Lps, *Final-LL, Prs} > End-L because (02)0(01) >> (01)000 { Al-W-L, Al-W-R, *Lps, Prs} > End-L because (02)0(01) >> 0(01)00 { Al-W-L, *Lps, Lps-E, Prs} > Al-F-R because (02)0(01) >> 000(01) { Al-W-L, *Lps, Lps-E, Prs} > End-L because (02)0(01) >> 000(01) { Al-F-L, Al-F-R} > *Lps because (02)00(01) >> (02)(02)(01) { Al-F-L, Al-F-R} > Prs because (02)00(01) >> (02)(02)(01) { Al-F-L, Al-F-R, End-R} > Lps-E because (02)000(01) >> (02)(01)0(02) { Al-W-R, Al-F-R} > *Lps because (02)000(01) >> (02)00(01)0 { Al-F-L, Al-F-R} > *Lps because (02)0000(01) >> (02)(02)(02)(01) { Al-W-R, Al-F-L, Al-F-R} > Prs because (02)0000(01) >> (02)(02)(01)00 { Al-F-L, Al-F-R} > Lps-E because (02)0000(01) >> (02)(02)00(01) { Al-W-R, Al-F-R, *Final-LL} > *Lps because (02)0000(01) >> (02)0(01)000 { Al-F-L, Al-F-R} > Lps-E because (02)00000(01) >> (02)(02)(02)0(01) { Al-W-R, Al-F-R} > *Lps because (02)00000(01) >> (02)000(01)00 { Al-F-L, Al-F-R} > Lps-E because (02)00000(01) >> (02)(02)000(01) { Al-W-R, Al-F-L, Al-F-R, *Lps-Tr} > Prs because (02)00000(01) >> (02)00(02)(01)0 { Al-W-L, Al-F-L, Al-F-R} > Lps-E because (02)00000(01) >> 000(02)(02)(01) { Al-W-R, Al-F-R} > *Lps because (02)00000(01) >> (02)0000(01)0 { Al-W-L, Al-W-R, Al-F-L, Al-F-R} > *Lps because (02)00000(01) >> 000(02)(01)00 { Al-W-L, Al-W-R, *Lps, *Final-LL, Prs} > End-L because (02)00000(01) >> 0000(01)000 ------------------------------------------------------------------------------ OUTPUT SET #17: /2/ --> >(01) (actual) /3/ --> >(01)0 /4/ --> >(01)00 /5/ --> >(01)000 /6/ --> >(01)0000 /7/ --> >(01)00000 /8/ --> >(01)000000 /9/ --> >(01)0000000 Stratum #1 Align-Wd-L [= Al-W-L] Align-Ft-L [= Al-F-L] End-L [= End-L] End-R [= End-R] *Lapse-Tr [= *Lps-Tr] Stratum #2 Align-Wd-R [= Al-W-R] Align-Ft-R [= Al-F-R] *Lapse [= *Lps] Lapse-End [= Lps-E] *Final-L-Lps [= *Final-LL] Parse [= Prs] 17.1. Ranking Arguments Direct Pairwise Arguments (none) There were no arguments based solely on transitivity of domination. Irreducible Set Arguments { Al-W-L, Al-F-L, *Lps, Lps-E} > Al-W-R because (01)0 >> 0(01) { Al-W-L, Al-F-L, *Lps, Lps-E} > Al-F-R because (01)0 >> 0(01) { Al-F-L, End-R} > Al-W-R because (01)00 >> (01)(02) { Al-F-L, End-R} > *Lps because (01)00 >> (01)(02) { Al-F-L, End-R} > Prs because (01)00 >> (01)(02) { Al-F-L, End-L} > Al-W-R because (01)00 >> (02)(01) { Al-F-L, End-L} > *Lps because (01)00 >> (02)(01) { Al-F-L, End-L} > Prs because (01)00 >> (02)(01) { Al-F-L, Al-F-R, End-R} > Lps-E because (01)000 >> (01)(02)0 { Al-F-L, End-L} > *Final-LL because (01)000 >> (02)0(01) { Al-W-L, Al-F-L} > *Final-LL because (01)000 >> 0(01)00 { Al-W-L, Al-F-L, Lps-E} > *Final-LL because (01)000 >> 00(01)0 { Al-W-L, Al-F-L} > *Final-LL because (01)0000 >> 00(01)00 { Al-F-L, End-R} > *Final-LL because (01)00000 >> (01)000(02) { Al-F-L, Al-F-R, End-L} > Lps-E because (01)00000 >> (02)00(01)0 { Al-W-L, Al-F-L, End-R} > *Final-LL because (01)00000 >> 000(01)(02) { Al-F-L, End-R} > *Final-LL because (01)000000 >> (01)0000(02) { Al-W-L, Al-F-L, Al-F-R, End-L} > Lps-E because (01)000000 >> 0(02)0(01)00 { Al-W-L, Al-F-L, End-L} > *Final-LL because (01)000000 >> 000(02)0(01) { Al-F-L, End-R} > *Final-LL because (01)0000000 >> (01)00000(02) { Al-F-L, End-L} > *Final-LL because (01)0000000 >> (02)00000(01) { Al-F-L, Al-F-R, End-R, *Lps-Tr} > Lps-E because (01)0000000 >> (01)(02)0(02)00 { Al-F-L, Al-F-R, End-R} > *Final-LL because (01)0000000 >> (01)00(02)(02)0 { Al-F-L, Al-F-R, End-R} > *Final-LL because (01)0000000 >> (01)000(02)(02) { Al-F-L, Al-F-R, End-L} > Lps-E because (01)0000000 >> (02)0000(01)0 ------------------------------------------------------------------------------ OUTPUT SET #18: /2/ --> >(01) (actual) /3/ --> >(01)0 /4/ --> >(01)00 /5/ --> >0(01)00 /6/ --> >00(01)00 /7/ --> >000(01)00 /8/ --> >0000(01)00 /9/ --> >00000(01)00 Stratum #1 End-L [= End-L] End-R [= End-R] *Final-L-Lps [= *Final-LL] *Lapse-Tr [= *Lps-Tr] Stratum #2 Align-Wd-L [= Al-W-L] Align-Ft-L [= Al-F-L] *Lapse [= *Lps] Lapse-End [= Lps-E] Parse [= Prs] Stratum #3 Align-Wd-R [= Al-W-R] Align-Ft-R [= Al-F-R] 18.1. Ranking Arguments Direct Pairwise Arguments End-L >> Al-W-L, because /9/ --> [00000(01)00], not *[(02)00000(01)]: End-L >> Al-W-R, because /9/ --> [00000(01)00], not *[(02)00000(01)]: End-L >> *Lps, because /9/ --> [00000(01)00], not *[(02)00000(01)]: End-L >> Prs, because /9/ --> [00000(01)00], not *[(02)00000(01)]: End-R >> Al-W-L, because /9/ --> [00000(01)00], not *[(01)00000(02)]: End-R >> Al-W-R, because /9/ --> [00000(01)00], not *[(01)00000(02)]: End-R >> *Lps, because /9/ --> [00000(01)00], not *[(01)00000(02)]: End-R >> Prs, because /9/ --> [00000(01)00], not *[(01)00000(02)]: *Final-LL >> Al-W-L, because /9/ --> [00000(01)00], not *[(01)0000000]: *Final-LL >> Al-F-L, because /9/ --> [00000(01)00], not *[(01)0000000]: There were no arguments based solely on transitivity of domination. Irreducible Set Arguments { Al-W-L, Al-F-L, *Lps, Lps-E} > Al-F-R because (01)0 >> 0(01) { *Lps, Lps-E} > Al-W-R because 0(01)00 >> 000(01) { *Lps, Lps-E} > Al-F-R because 0(01)00 >> 000(01) { *Lps, Lps-E} > Al-W-R because 00(01)00 >> 0000(01) { Al-F-R, End-R} > Lps-E because 000(01)00 >> (01)0(02)00 { Al-F-R, End-R, *Final-LL} > Lps-E because 000(01)00 >> (01)(02)000 { Al-F-R, End-L} > Lps-E because 0000(01)00 >> (02)00(01)00 { Al-F-L, Al-F-R, End-R} > Lps-E because 0000(01)00 >> 0(01)(02)(02)0 { Al-F-R, End-L, *Final-LL} > Lps-E because 0000(01)00 >> (02)0(01)000 { Al-F-R, End-R} > Lps-E because 00000(01)00 >> (01)000(02)00 { Al-F-L, Al-F-R, End-R} > Lps-E because 00000(01)00 >> (01)000(02)(02) { Al-F-L, Al-F-R, End-R} > Lps-E because 00000(01)00 >> 00(01)0(02)(02) { Al-F-R, End-L} > Lps-E because 00000(01)00 >> (02)0000(01)0 { Al-F-L, Al-F-R, End-L} > Lps-E because 00000(01)00 >> 0(02)000(01)0 ------------------------------------------------------------------------------ OUTPUT SET #19: /2/ --> >(01) (actual) /3/ --> >(01)0 /4/ --> >(01)00 /5/ --> >000(01) /6/ --> >0000(01) /7/ --> >00000(01) /8/ --> >000000(01) /9/ --> >0000000(01) Stratum #1 End-L [= End-L] End-R [= End-R] *Final-L-Lps [= *Final-LL] *Lapse-Tr [= *Lps-Tr] Stratum #2 Align-Wd-L [= Al-W-L] Align-Ft-L [= Al-F-L] Parse [= Prs] Stratum #3 Align-Wd-R [= Al-W-R] Align-Ft-R [= Al-F-R] Stratum #4 *Lapse [= *Lps] Lapse-End [= Lps-E] 19.1. Ranking Arguments Direct Pairwise Arguments (none) There were no arguments based solely on transitivity of domination. Irreducible Set Arguments { Al-W-L, Al-F-L, *Lps, Lps-E} > Al-W-R because (01)0 >> 0(01) { Al-W-L, Al-F-L, *Lps, Lps-E} > Al-F-R because (01)0 >> 0(01) { Al-F-L, End-R} > Al-W-R because (01)00 >> (01)(02) { Al-F-L, End-R} > *Lps because (01)00 >> (01)(02) { Al-F-L, End-R} > Prs because (01)00 >> (01)(02) { Al-F-L, End-L} > Al-W-R because (01)00 >> (02)(01) { Al-F-L, End-L} > *Lps because (01)00 >> (02)(01) { Al-F-L, End-L} > Prs because (01)00 >> (02)(01) { Al-W-R, Al-F-R, End-R} > Prs because 000(01) >> (01)(02)0 { Al-F-R, End-R} > *Lps because 000(01) >> (01)0(02) { Al-F-R, End-R} > Prs because 000(01) >> (01)0(02) { Al-F-R, End-L} > *Lps because 000(01) >> (02)0(01) { Al-F-R, End-L} > Prs because 000(01) >> (02)0(01) { Al-W-R, Al-F-R, *Final-LL} > Al-W-L because 000(01) >> (01)000 { Al-W-R, Al-F-R, *Final-LL} > Al-F-L because 000(01) >> (01)000 { Al-F-L, Al-F-R, End-R} > Lps-E because 000(01) >> 0(01)(02) { Al-F-L, Al-F-R, End-L} > Al-W-L because 0000(01) >> (02)(02)(01) { Al-F-R, End-L} > Al-W-L because 0000(01) >> (02)00(01) { Al-W-R, Al-F-R} > Lps-E because 0000(01) >> 00(01)00 { Al-W-R, Al-F-R} > Lps-E because 0000(01) >> 000(01)0 { Al-F-R, End-R} > Lps-E because 00000(01) >> (01)000(02) { Al-F-R, End-L} > Al-W-L because 00000(01) >> (02)000(01) { Al-F-R, End-R} > Al-W-L because 000000(01) >> (01)0000(02) { Al-F-R, End-R} > Lps-E because 000000(01) >> (01)0000(02) { Al-F-R, End-L} > Lps-E because 000000(01) >> (02)0000(01) { Al-W-R, Al-F-R} > *Lps because 000000(01) >> 00000(01)0 { Al-F-R, End-R} > Al-W-L because 0000000(01) >> (01)00000(02) { Al-F-R, End-R} > Lps-E because 0000000(01) >> (01)00000(02) { Al-F-R, End-L} > Lps-E because 0000000(01) >> (02)00000(01) { Al-W-R, Al-F-R} > *Lps because 0000000(01) >> 00000(01)00 { Al-F-L, Al-F-R, End-L, End-R, *Lps-Tr} > Al-W-L because 0000000(01) >> (02)0(02)(01)(02) { Al-F-L, Al-F-R, End-R} > Al-W-L because 0000000(01) >> (01)000(02)(02) { Al-F-L, Al-F-R, End-R} > Lps-E because 0000000(01) >> 00(01)0(02)(02) { Al-W-R, Al-F-R, End-L} > Prs because 0000000(01) >> (02)0000(01)0 { Al-F-L, Al-F-R, End-L} > Lps-E because 0000000(01) >> 00(02)000(01) { Al-F-L, Al-F-R, End-L} > Lps-E because 0000000(01) >> 00000(02)(01) { Al-W-R, Al-F-R, *Final-LL} > Lps-E because 0000000(01) >> 0000(01)000 { Al-W-R, Al-F-R} > *Lps because 0000000(01) >> 000000(01)0 ------------------------------------------------------------------------------ OUTPUT SET #20: /2/ --> >(01) (actual) /3/ --> >0(01) (actual) /4/ --> >(01)(02) /5/ --> >(01)0(02) /6/ --> >(01)(02)(02) /7/ --> >(01)0(02)(02) /8/ --> >(01)(02)(02)(02) /9/ --> >(01)0(02)(02)(02) Stratum #1 Align-Wd-R [= Al-W-R] End-L [= End-L] *Final-L-Lps [= *Final-LL] *Lapse-Tr [= *Lps-Tr] Parse [= Prs] Stratum #2 Align-Wd-L [= Al-W-L] Align-Ft-L [= Al-F-L] Align-Ft-R [= Al-F-R] End-R [= End-R] *Lapse [= *Lps] Lapse-End [= Lps-E] 20.1. Ranking Arguments Direct Pairwise Arguments End-L >> End-R, because /9/ --> [(01)0(02)(02)(02)], not *[(02)(02)(02)0(01)]: There were no arguments based solely on transitivity of domination. Irreducible Set Arguments { Al-W-R, Al-F-R} > Al-W-L because 0(01) >> (01)0 { Al-W-R, Al-F-R} > Al-F-L because 0(01) >> (01)0 { Al-W-R, Al-F-R} > *Lps because 0(01) >> (01)0 { Al-W-R, Al-F-R} > Lps-E because 0(01) >> (01)0 { Al-W-R, *Lps, Prs} > Al-F-L because (01)(02) >> (01)00 { Al-W-R, *Lps, Prs} > End-R because (01)(02) >> (01)00 { Al-W-L, *Lps, Lps-E, Prs} > End-R because (01)(02) >> 00(01) { Al-W-R, Al-F-R, End-L} > Lps-E because (01)0(02) >> (02)(01)0 { Al-W-L, Al-W-R, *Lps, Prs} > End-R because (01)0(02) >> 0(01)00 { Al-W-R, End-L, *Lps, Prs} > Al-F-L because (01)(02)(02) >> (02)(01)00 { *Lps, Lps-E, Prs} > Al-F-L because (01)(02)(02) >> (01)00(02) { Al-W-R, End-L, *Lps, Lps-E, Prs} > Al-F-L because (01)0(02)(02) >> (02)00(01)0 { *Lps, Lps-E, Prs} > Al-F-R because (01)(02)(02)(02) >> (01)0000(02) { *Lps, Lps-E, *Lps-Tr, Prs} > Al-F-R because (01)(02)(02)(02) >> (01)(02)00(02) { *Lps, Lps-E, Prs} > Al-F-R because (01)(02)(02)(02) >> (01)00(02)(02) { Al-W-L, *Lps, Lps-E, Prs} > Al-F-R because (01)(02)(02)(02) >> 0(01)0(02)(02) { Al-W-R, *Lps, Lps-E, Prs} > Al-F-R because (01)(02)(02)(02) >> (01)000(02)0 { Al-W-L, Al-W-R, *Lps, Lps-E, Prs} > Al-F-R because (01)(02)(02)(02) >> 00(01)0(02)0 { Al-W-R, *Lps, Lps-E, Prs} > Al-F-R because (01)0(02)(02)(02) >> (01)000(02)00 { Al-W-R, *Lps, *Lps-Tr, Prs} > Al-F-L because (01)0(02)(02)(02) >> (01)(02)0(02)00 { *Lps, Lps-E, *Lps-Tr, Prs} > Al-F-L because (01)0(02)(02)(02) >> (01)(02)000(02) { End-L, *Lps, Lps-E, Prs} > Al-F-R because (01)0(02)(02)(02) >> (02)000(01)(02) { Al-W-L, Al-W-R, *Lps, Lps-E, Prs} > Al-F-R because (01)0(02)(02)(02) >> 000(01)0(02)0 { Al-W-L, End-L, *Lps, Lps-E, Prs} > Al-F-L because (01)0(02)(02)(02) >> 0000(02)0(01) ------------------------------------------------------------------------------ OUTPUT SET #21: /2/ --> >(01) (actual) /3/ --> >0(01) (actual) /4/ --> >(01)(02) /5/ --> >(01)0(02) /6/ --> >(01)00(02) /7/ --> >(01)000(02) /8/ --> >(01)0000(02) /9/ --> >(01)00000(02) Stratum #1 Align-Wd-R [= Al-W-R] End-L [= End-L] *Final-L-Lps [= *Final-LL] *Lapse-Tr [= *Lps-Tr] Stratum #2 Align-Wd-L [= Al-W-L] Align-Ft-L [= Al-F-L] Stratum #3 Align-Ft-R [= Al-F-R] End-R [= End-R] *Lapse [= *Lps] Lapse-End [= Lps-E] Parse [= Prs] 21.1. Ranking Arguments Direct Pairwise Arguments End-L >> End-R, because /9/ --> [(01)00000(02)], not *[(02)00000(01)]: There were no arguments based solely on transitivity of domination. Irreducible Set Arguments { Al-W-R, Al-F-R} > Al-W-L because 0(01) >> (01)0 { Al-W-R, Al-F-R} > Al-F-L because 0(01) >> (01)0 { Al-W-R, Al-F-R} > *Lps because 0(01) >> (01)0 { Al-W-R, Al-F-R} > Lps-E because 0(01) >> (01)0 { Al-W-R, *Lps, Prs} > Al-F-L because (01)(02) >> (01)00 { Al-W-R, *Lps, Prs} > End-R because (01)(02) >> (01)00 { Al-W-L, *Lps, Lps-E, Prs} > Al-F-R because (01)(02) >> 00(01) { Al-W-L, *Lps, Lps-E, Prs} > End-R because (01)(02) >> 00(01) { Al-W-R, Al-F-R, End-L} > Lps-E because (01)0(02) >> (02)(01)0 { Al-W-L, Al-W-R, *Lps, Prs} > End-R because (01)0(02) >> 0(01)00 { Al-F-L, Al-F-R} > *Lps because (01)00(02) >> (01)(02)(02) { Al-W-R, *Lps, *Final-LL, Prs} > End-R because (01)00(02) >> (01)0000 { Al-W-R, Al-F-R, End-L} > Lps-E because (01)000(02) >> (02)00(01)0 { Al-F-L, Al-F-R} > Lps-E because (01)0000(02) >> (01)(02)(02)(02) { Al-F-L, Al-F-R} > Prs because (01)0000(02) >> (01)00(02)(02) { Al-W-L, Al-W-R, Al-F-L, Al-F-R, End-L} > Lps-E because (01)0000(02) >> 0(02)00(01)0 { Al-F-L, Al-F-R} > Prs because (01)00000(02) >> (01)0(02)(02)(02) { Al-W-L, Al-F-L, Al-F-R, End-L} > Prs because (01)00000(02) >> 0(02)(02)(02)(01) { Al-W-R, Al-F-L, Al-F-R, *Lps-Tr} > Prs because (01)00000(02) >> (01)(02)0(02)00 { Al-F-L, Al-F-R, *Lps-Tr} > Prs because (01)00000(02) >> (01)(02)000(02) { Al-W-R, Al-F-L, Al-F-R, End-L} > Prs because (01)00000(02) >> (02)00(01)(02)0 { Al-F-L, Al-F-R} > Prs because (01)00000(02) >> (01)000(02)(02) { Al-W-L, Al-F-L, Al-F-R} > Prs because (01)00000(02) >> 00(01)0(02)(02) { Al-W-R, Al-F-R, End-L} > Lps-E because (01)00000(02) >> (02)0000(01)0 ------------------------------------------------------------------------------ OUTPUT SET #22: /2/ --> >(01) (actual) /3/ --> >0(01) (actual) /4/ --> >(02)(01) /5/ --> >(02)0(01) /6/ --> >(02)(02)(01) /7/ --> >(02)(02)0(01) /8/ --> >(02)(02)(02)(01) /9/ --> >(02)(02)(02)0(01) Stratum #1 Align-Wd-R [= Al-W-R] End-R [= End-R] *Final-L-Lps [= *Final-LL] *Lapse-Tr [= *Lps-Tr] Parse [= Prs] Stratum #2 Align-Wd-L [= Al-W-L] Align-Ft-L [= Al-F-L] Align-Ft-R [= Al-F-R] End-L [= End-L] *Lapse [= *Lps] Lapse-End [= Lps-E] 22.1. Ranking Arguments Direct Pairwise Arguments End-R >> End-L, because /9/ --> [(02)(02)(02)0(01)], not *[(01)0(02)(02)(02)]: There were no arguments based solely on transitivity of domination. Irreducible Set Arguments { Al-W-R, Al-F-R} > Al-W-L because 0(01) >> (01)0 { Al-W-R, Al-F-R} > Al-F-L because 0(01) >> (01)0 { Al-W-R, Al-F-R} > *Lps because 0(01) >> (01)0 { Al-W-R, *Lps, Prs} > End-L because (02)(01) >> (01)00 { Al-W-L, *Lps, Lps-E, Prs} > End-L because (02)(01) >> 00(01) { Al-W-L, Al-W-R, *Lps, Prs} > End-L because (02)0(01) >> 0(01)00 { *Lps, Lps-E, Prs} > Al-F-R because (02)(02)(01) >> (02)00(01) { Al-W-L, *Lps, Lps-E, Prs} > Al-F-L because (02)(02)(01) >> 0000(01) { Al-W-R, *Lps, Lps-E, Prs} > Al-F-L because (02)(02)(01) >> (02)0(01)0 { *Lps, Lps-E, Prs} > Al-F-L because (02)(02)0(01) >> (02)000(01) { Al-W-R, *Lps, *Final-LL, Prs} > Al-F-L because (02)(02)0(01) >> (02)(01)000 { Al-W-R, *Lps, Prs} > Al-F-L because (02)(02)(02)(01) >> (02)(02)(01)00 { *Lps, Lps-E, Prs} > Al-F-L because (02)(02)(02)(01) >> (02)0000(01) { *Lps, Lps-E, *Lps-Tr, Prs} > Al-F-L because (02)(02)(02)(01) >> (02)0(02)0(01) { Al-W-L, *Lps, Lps-E, Prs} > Al-F-R because (02)(02)(02)(01) >> 00(02)(02)(01) { Al-W-L, *Lps, Lps-E, Prs} > Al-F-L because (02)(02)(02)(01) >> 0000(02)(01) { Al-W-R, Al-F-R} > Lps-E because (02)(02)(02)0(01) >> (02)(02)(02)(01)0 { Al-W-R, Al-F-R, End-R} > Lps-E because (02)(02)(02)0(01) >> (02)(02)(01)(02)0 { Al-W-R, End-R, *Lps, Prs} > Al-F-L because (02)(02)(02)0(01) >> (02)(01)0(02)00 { Al-W-R, *Lps, *Lps-Tr, Prs} > Al-F-L because (02)(02)(02)0(01) >> (02)0(02)(01)00 { End-R, *Lps, Lps-E, Prs} > Al-F-R because (02)(02)(02)0(01) >> (01)000(02)(02) { Al-W-L, *Lps, Lps-E, Prs} > Al-F-R because (02)(02)(02)0(01) >> 00(02)(02)0(01) { Al-W-L, *Lps, Lps-E, Prs} > Al-F-R because (02)(02)(02)0(01) >> 000(02)(02)(01) { Al-W-R, *Lps, Lps-E, Prs} > Al-F-R because (02)(02)(02)0(01) >> (02)0000(01)0 ------------------------------------------------------------------------------ OUTPUT SET #23: /2/ --> >(01) (actual) /3/ --> >0(01) (actual) /4/ --> >(02)(01) /5/ --> >(02)0(01) /6/ --> >(02)00(01) /7/ --> >(02)000(01) /8/ --> >(02)0000(01) /9/ --> >(02)00000(01) Stratum #1 Align-Wd-R [= Al-W-R] End-R [= End-R] *Final-L-Lps [= *Final-LL] *Lapse-Tr [= *Lps-Tr] Stratum #2 Align-Wd-L [= Al-W-L] Align-Ft-L [= Al-F-L] Stratum #3 Align-Ft-R [= Al-F-R] End-L [= End-L] *Lapse [= *Lps] Lapse-End [= Lps-E] Parse [= Prs] 23.1. Ranking Arguments Direct Pairwise Arguments End-R >> End-L, because /9/ --> [(02)00000(01)], not *[(01)00000(02)]: There were no arguments based solely on transitivity of domination. Irreducible Set Arguments { Al-W-R, Al-F-R} > Al-W-L because 0(01) >> (01)0 { Al-W-R, Al-F-R} > Al-F-L because 0(01) >> (01)0 { Al-W-R, Al-F-R} > *Lps because 0(01) >> (01)0 { Al-W-R, *Lps, Prs} > Al-F-L because (02)(01) >> (01)00 { Al-W-R, *Lps, Prs} > End-L because (02)(01) >> (01)00 { Al-W-L, *Lps, Lps-E, Prs} > Al-F-R because (02)(01) >> 00(01) { Al-W-L, *Lps, Lps-E, Prs} > End-L because (02)(01) >> 00(01) { Al-W-R, Al-F-R} > Lps-E because (02)0(01) >> (02)(01)0 { Al-W-L, Al-W-R, *Lps, Prs} > End-L because (02)0(01) >> 0(01)00 { Al-F-L, Al-F-R, End-R} > Lps-E because (02)00(01) >> (01)(02)(02) { Al-F-L, Al-F-R} > Lps-E because (02)00(01) >> (02)(02)(01) { Al-W-R, Al-F-R} > Lps-E because (02)00(01) >> (02)(01)00 { Al-W-R, *Lps, *Final-LL, Prs} > End-L because (02)00(01) >> (01)0000 { Al-F-L, Al-F-R} > Prs because (02)000(01) >> (02)(02)0(01) { Al-W-R, Al-F-R} > Lps-E because (02)000(01) >> (02)00(01)0 { Al-F-L, Al-F-R} > *Lps because (02)0000(01) >> (02)(02)(02)(01) { Al-F-L, Al-F-R, End-R} > Prs because (02)0000(01) >> (02)(02)(01)(02) { Al-W-R, Al-F-L, Al-F-R} > Prs because (02)0000(01) >> (02)(02)0(01)0 { Al-F-L, Al-F-R} > *Lps because (02)0000(01) >> (02)(02)00(01) { Al-F-L, Al-F-R} > Prs because (02)0000(01) >> (02)(02)00(01) { Al-F-L, Al-F-R, *Lps-Tr} > Prs because (02)0000(01) >> (02)00(02)(01) { Al-W-L, Al-F-L, Al-F-R} > Prs because (02)0000(01) >> 00(02)(02)(01) { Al-W-L, Al-W-R, Al-F-L, Al-F-R} > Lps-E because (02)0000(01) >> 0(02)0(01)00 { Al-F-L, Al-F-R} > Prs because (02)00000(01) >> (02)(02)(02)0(01) { Al-F-L, Al-F-R} > *Lps because (02)00000(01) >> (02)(02)000(01) { Al-F-L, Al-F-R} > Prs because (02)00000(01) >> (02)(02)000(01) { Al-F-L, Al-F-R, *Lps-Tr} > Prs because (02)00000(01) >> (02)0(02)00(01) { Al-W-L, Al-F-L, Al-F-R} > Prs because (02)00000(01) >> 000(02)(02)(01) { Al-W-R, Al-F-R} > Lps-E because (02)00000(01) >> (02)0000(01)0 ------------------------------------------------------------------------------ OUTPUT SET #24: /2/ --> >(01) (actual) /3/ --> >0(01) (actual) /4/ --> >00(01) /5/ --> >000(01) /6/ --> >0000(01) /7/ --> >00000(01) /8/ --> >000000(01) /9/ --> >0000000(01) Stratum #1 Align-Wd-R [= Al-W-R] Align-Ft-R [= Al-F-R] End-L [= End-L] End-R [= End-R] *Final-L-Lps [= *Final-LL] *Lapse-Tr [= *Lps-Tr] Stratum #2 Align-Wd-L [= Al-W-L] Align-Ft-L [= Al-F-L] *Lapse [= *Lps] Lapse-End [= Lps-E] Parse [= Prs] 24.1. Ranking Arguments Direct Pairwise Arguments (none) There were no arguments based solely on transitivity of domination. Irreducible Set Arguments { Al-W-R, Al-F-R} > Al-W-L because 0(01) >> (01)0 { Al-W-R, Al-F-R} > Al-F-L because 0(01) >> (01)0 { Al-W-R, Al-F-R} > *Lps because 0(01) >> (01)0 { Al-F-R, End-R} > Al-W-L because 00(01) >> (01)(02) { Al-F-R, End-R} > *Lps because 00(01) >> (01)(02) { Al-F-R, End-R} > Lps-E because 00(01) >> (01)(02) { Al-F-R, End-R} > Prs because 00(01) >> (01)(02) { Al-F-R, End-L} > Al-W-L because 00(01) >> (02)(01) { Al-F-R, End-L} > *Lps because 00(01) >> (02)(01) { Al-F-R, End-L} > Lps-E because 00(01) >> (02)(01) { Al-W-R, Al-F-R} > Lps-E because 000(01) >> 0(01)00 { Al-W-R, Al-F-R, End-R} > Prs because 0000(01) >> (01)0(02)0 { Al-W-R, Al-F-R, End-L} > Prs because 00000(01) >> (02)00(01)0 { Al-F-L, Al-F-R, End-L} > Prs because 00000(01) >> 00(02)0(01) { Al-F-R, End-L} > Prs because 000000(01) >> (02)0000(01) { Al-F-L, Al-F-R, End-R} > Prs because 000000(01) >> 00(01)(02)(02) { Al-F-L, Al-F-R, End-L} > Prs because 000000(01) >> 00(02)00(01) { Al-W-R, Al-F-R} > Lps-E because 000000(01) >> 00000(01)0 { Al-F-R, End-L} > Prs because 0000000(01) >> (02)00000(01) { Al-F-L, Al-F-R, End-R} > Prs because 0000000(01) >> (01)000(02)(02) { Al-F-L, Al-F-R, End-R} > Prs because 0000000(01) >> 000(01)(02)(02) { Al-W-R, Al-F-R, End-L} > Prs because 0000000(01) >> (02)0000(01)0 { Al-W-R, Al-F-R, *Final-LL} > Lps-E because 0000000(01) >> 0000(01)000