Context                Previous, Next                Top


2_a_freedoom
You'll be exploring a series of levels, in each one trying to find the way to the exit.

%3 r_0002_0002___apos_ll 'll r_0002_0003__be be r_0002_0002___apos_ll->r_0002_0003__be [scope] r_0002_0004__exploring exploring r_0002_0003__be->r_0002_0004__exploring [scope] r_0002_0001__You You r_0002_0004__exploring->r_0002_0001__You [arg0] r_0002_0005__a_r_0002_0006__series a series r_0002_0004__exploring->r_0002_0005__a_r_0002_0006__series [arg1] r_0002_0008__levels levels r_0002_0005__a_r_0002_0006__series->r_0002_0008__levels of r_0002_0011__each_quant each [quant] r_0002_0012__one one r_0002_0011__each_quant->r_0002_0012__one [restriction] r_0002_0013__trying trying r_0002_0011__each_quant->r_0002_0013__trying [scope] r_0002_0013__trying->r_0002_0001__You [arg0] r_0002_0013__trying->r_0002_0012__one in [nim] r_0002_0014__to_r_0002_0015__find to find r_0002_0013__trying->r_0002_0014__to_r_0002_0015__find [clr] r_0002_0014__to_r_0002_0015__find->r_0002_0001__You [arg0] r_0002_0016__the_r_0002_0017__way the way r_0002_0014__to_r_0002_0015__find->r_0002_0016__the_r_0002_0017__way [arg1] r_0002_0019__the_r_0002_0020__exit the exit r_0002_0016__the_r_0002_0017__way->r_0002_0019__the_r_0002_0020__exit to z_000_2_a_freedoom_26 z_000_2_a_freedoom_26->r_0002_0002___apos_ll [scope] z_000_2_a_freedoom_26->r_0002_0011__each_quant [restriction] 
arc(r_0002_0002___apos_ll, r_0002_0003__be, scope).
arc(r_0002_0003__be, r_0002_0004__exploring, scope).
arc(r_0002_0004__exploring, r_0002_0001__You, arg0).
arc(r_0002_0004__exploring, r_0002_0005__a_r_0002_0006__series, arg1).
arc(r_0002_0005__a_r_0002_0006__series, r_0002_0008__levels, r_0002_0007__of).
arc(r_0002_0011__each_quant, r_0002_0012__one, restriction).
arc(r_0002_0011__each_quant, r_0002_0013__trying, scope).
arc(r_0002_0013__trying, r_0002_0001__You, arg0).
arc(r_0002_0013__trying, r_0002_0012__one, r_0002_0010__in_nim31).
arc(r_0002_0013__trying, r_0002_0014__to_r_0002_0015__find, clr38).
arc(r_0002_0014__to_r_0002_0015__find, r_0002_0001__You, arg0).
arc(r_0002_0014__to_r_0002_0015__find, r_0002_0016__the_r_0002_0017__way, arg1).
arc(r_0002_0016__the_r_0002_0017__way, r_0002_0019__the_r_0002_0020__exit, r_0002_0018__to).
arc(z_000_2_a_freedoom_26, r_0002_0002___apos_ll, scope).
arc(z_000_2_a_freedoom_26, r_0002_0011__each_quant, restriction).


%3 z_000_2_a_freedoom_26 r_0002_0011__each_quant each [quant] z_000_2_a_freedoom_26->r_0002_0011__each_quant [conj1] r_0002_0002___apos_ll_r_0002_0003__be_r_0002_0004__exploring 'll be exploring z_000_2_a_freedoom_26->r_0002_0002___apos_ll_r_0002_0003__be_r_0002_0004__exploring [conj2] r_0002_0013__trying trying r_0002_0011__each_quant->r_0002_0013__trying [scope] r_0002_0012__one one r_0002_0011__each_quant->r_0002_0012__one [restriction] r_0002_0001__You You r_0002_0002___apos_ll_r_0002_0003__be_r_0002_0004__exploring->r_0002_0001__You [arg0] r_0002_0005__a_r_0002_0006__series a series r_0002_0002___apos_ll_r_0002_0003__be_r_0002_0004__exploring->r_0002_0005__a_r_0002_0006__series [arg1] r_0002_0016__the_r_0002_0017__way the way r_0002_0019__the_r_0002_0020__exit the exit r_0002_0016__the_r_0002_0017__way->r_0002_0019__the_r_0002_0020__exit to r_0002_0014__to_r_0002_0015__find to find r_0002_0014__to_r_0002_0015__find->r_0002_0016__the_r_0002_0017__way [arg1] r_0002_0014__to_r_0002_0015__find->r_0002_0001__You [arg0] r_0002_0013__trying->r_0002_0014__to_r_0002_0015__find [clr] r_0002_0013__trying->r_0002_0001__You [arg0] r_0002_0013__trying->r_0002_0012__one in [nim] r_0002_0008__levels levels r_0002_0005__a_r_0002_0006__series->r_0002_0008__levels of 
fof(formula,axiom,
    ? [Z_2_A_FREEDOOM_26,R_2_2__APOS_LL_BE_EXPLORING,R_2_1_YOU,R_2_5_A_SERIES,R_2_8_LEVELS] :
      ( you(R_2_1_YOU)
      & levels(R_2_8_LEVELS)
      & ! [R_2_12_ONE] :
          ( one(R_2_12_ONE)
         => ? [R_2_13_TRYING,R_2_14_TO_FIND,R_2_16_THE_WAY,R_2_19_THE_EXIT] :
              ( the_exit(R_2_19_THE_EXIT)
              & trying(R_2_13_TRYING,R_2_1_YOU)
              & clr38(R_2_13_TRYING,R_2_14_TO_FIND)
              & to_find(R_2_14_TO_FIND,R_2_1_YOU,R_2_16_THE_WAY)
              & the_way(R_2_16_THE_WAY)
              & to(R_2_16_THE_WAY,R_2_19_THE_EXIT)
              & in_nim31(R_2_13_TRYING,R_2_12_ONE) ) )
      & conj1(CONJ1)
      & z_2_a_freedoom_26(Z_2_A_FREEDOOM_26)
      & conj2(Z_2_A_FREEDOOM_26,R_2_2__APOS_LL_BE_EXPLORING)
      & _apos_ll_be_exploring(R_2_2__APOS_LL_BE_EXPLORING,R_2_1_YOU,R_2_5_A_SERIES)
      & a_series(R_2_5_A_SERIES)
      & of(R_2_5_A_SERIES,R_2_8_LEVELS) ) ).


n2_a_freedoom n2_a_freedoom__1_1_1_1 You n2_a_freedoom__1_2_1 'll n2_a_freedoom__1_3_1_1 be n2_a_freedoom__1_3_2_1_1 exploring n2_a_freedoom__1_3_2_2_1_1 a n2_a_freedoom__1_3_2_2_2_1 series n2_a_freedoom__1_3_2_2_3_1_1 of n2_a_freedoom__1_3_2_2_3_2_1_1 levels n2_a_freedoom__1_4_1 , n2_a_freedoom__1_5_1_1_1_1 in n2_a_freedoom__1_5_1_1_2_1_1 each n2_a_freedoom__1_5_1_1_2_2_1 one n2_a_freedoom__1_5_1_2_1 trying n2_a_freedoom__1_5_1_3_1_1 to n2_a_freedoom__1_5_1_3_2_1 find n2_a_freedoom__1_5_1_3_3_1_1 the n2_a_freedoom__1_5_1_3_3_2_1 way n2_a_freedoom__1_5_1_3_3_3_1_1 to n2_a_freedoom__1_5_1_3_3_3_2_1_1 the n2_a_freedoom__1_5_1_3_3_3_2_2_1 exit n2_a_freedoom__1_6_1 . n2_a_freedoom__1 IP-MAT n2_a_freedoom__1_1 NP-SBJ n2_a_freedoom__1->n2_a_freedoom__1_1 n2_a_freedoom__1_2 MD;_cat_Vi_ n2_a_freedoom__1->n2_a_freedoom__1_2 n2_a_freedoom__1_3 IP-INF-CAT n2_a_freedoom__1->n2_a_freedoom__1_3 n2_a_freedoom__1_4 PUNC n2_a_freedoom__1->n2_a_freedoom__1_4 n2_a_freedoom__1_5 PP-SCON n2_a_freedoom__1->n2_a_freedoom__1_5 n2_a_freedoom__1_6 PUNC n2_a_freedoom__1->n2_a_freedoom__1_6 n2_a_freedoom__1_1_1 PRO n2_a_freedoom__1_1->n2_a_freedoom__1_1_1 n2_a_freedoom__1_1_1->n2_a_freedoom__1_1_1_1 n2_a_freedoom__1_2->n2_a_freedoom__1_2_1 n2_a_freedoom__1_3_1 BE;_cat_Vg_ n2_a_freedoom__1_3->n2_a_freedoom__1_3_1 n2_a_freedoom__1_3_2 IP-PPL-CAT n2_a_freedoom__1_3->n2_a_freedoom__1_3_2 n2_a_freedoom__1_3_1->n2_a_freedoom__1_3_1_1 n2_a_freedoom__1_3_2_1 VAG;_Tn_ n2_a_freedoom__1_3_2->n2_a_freedoom__1_3_2_1 n2_a_freedoom__1_3_2_2 NP-OB1 n2_a_freedoom__1_3_2->n2_a_freedoom__1_3_2_2 n2_a_freedoom__1_3_2_1->n2_a_freedoom__1_3_2_1_1 n2_a_freedoom__1_3_2_2_1 D n2_a_freedoom__1_3_2_2->n2_a_freedoom__1_3_2_2_1 n2_a_freedoom__1_3_2_2_2 N n2_a_freedoom__1_3_2_2->n2_a_freedoom__1_3_2_2_2 n2_a_freedoom__1_3_2_2_3 PP n2_a_freedoom__1_3_2_2->n2_a_freedoom__1_3_2_2_3 n2_a_freedoom__1_3_2_2_1->n2_a_freedoom__1_3_2_2_1_1 n2_a_freedoom__1_3_2_2_2->n2_a_freedoom__1_3_2_2_2_1 n2_a_freedoom__1_3_2_2_3_1 P-ROLE n2_a_freedoom__1_3_2_2_3->n2_a_freedoom__1_3_2_2_3_1 n2_a_freedoom__1_3_2_2_3_2 NP n2_a_freedoom__1_3_2_2_3->n2_a_freedoom__1_3_2_2_3_2 n2_a_freedoom__1_3_2_2_3_1->n2_a_freedoom__1_3_2_2_3_1_1 n2_a_freedoom__1_3_2_2_3_2_1 NS n2_a_freedoom__1_3_2_2_3_2->n2_a_freedoom__1_3_2_2_3_2_1 n2_a_freedoom__1_3_2_2_3_2_1->n2_a_freedoom__1_3_2_2_3_2_1_1 n2_a_freedoom__1_4->n2_a_freedoom__1_4_1 n2_a_freedoom__1_5_1 IP-PPL2 n2_a_freedoom__1_5->n2_a_freedoom__1_5_1 n2_a_freedoom__1_5_1_1 PP-NIM n2_a_freedoom__1_5_1->n2_a_freedoom__1_5_1_1 n2_a_freedoom__1_5_1_2 VAG;_It_ n2_a_freedoom__1_5_1->n2_a_freedoom__1_5_1_2 n2_a_freedoom__1_5_1_3 IP-INF-CLR n2_a_freedoom__1_5_1->n2_a_freedoom__1_5_1_3 n2_a_freedoom__1_5_1_1_1 P-ROLE n2_a_freedoom__1_5_1_1->n2_a_freedoom__1_5_1_1_1 n2_a_freedoom__1_5_1_1_2 NP n2_a_freedoom__1_5_1_1->n2_a_freedoom__1_5_1_1_2 n2_a_freedoom__1_5_1_1_1->n2_a_freedoom__1_5_1_1_1_1 n2_a_freedoom__1_5_1_1_2_1 Q n2_a_freedoom__1_5_1_1_2->n2_a_freedoom__1_5_1_1_2_1 n2_a_freedoom__1_5_1_1_2_2 N n2_a_freedoom__1_5_1_1_2->n2_a_freedoom__1_5_1_1_2_2 n2_a_freedoom__1_5_1_1_2_1->n2_a_freedoom__1_5_1_1_2_1_1 n2_a_freedoom__1_5_1_1_2_2->n2_a_freedoom__1_5_1_1_2_2_1 n2_a_freedoom__1_5_1_2->n2_a_freedoom__1_5_1_2_1 n2_a_freedoom__1_5_1_3_1 TO n2_a_freedoom__1_5_1_3->n2_a_freedoom__1_5_1_3_1 n2_a_freedoom__1_5_1_3_2 VB;_Tn_ n2_a_freedoom__1_5_1_3->n2_a_freedoom__1_5_1_3_2 n2_a_freedoom__1_5_1_3_3 NP-OB1 n2_a_freedoom__1_5_1_3->n2_a_freedoom__1_5_1_3_3 n2_a_freedoom__1_5_1_3_1->n2_a_freedoom__1_5_1_3_1_1 n2_a_freedoom__1_5_1_3_2->n2_a_freedoom__1_5_1_3_2_1 n2_a_freedoom__1_5_1_3_3_1 D n2_a_freedoom__1_5_1_3_3->n2_a_freedoom__1_5_1_3_3_1 n2_a_freedoom__1_5_1_3_3_2 N n2_a_freedoom__1_5_1_3_3->n2_a_freedoom__1_5_1_3_3_2 n2_a_freedoom__1_5_1_3_3_3 PP n2_a_freedoom__1_5_1_3_3->n2_a_freedoom__1_5_1_3_3_3 n2_a_freedoom__1_5_1_3_3_1->n2_a_freedoom__1_5_1_3_3_1_1 n2_a_freedoom__1_5_1_3_3_2->n2_a_freedoom__1_5_1_3_3_2_1 n2_a_freedoom__1_5_1_3_3_3_1 P-ROLE n2_a_freedoom__1_5_1_3_3_3->n2_a_freedoom__1_5_1_3_3_3_1 n2_a_freedoom__1_5_1_3_3_3_2 NP n2_a_freedoom__1_5_1_3_3_3->n2_a_freedoom__1_5_1_3_3_3_2 n2_a_freedoom__1_5_1_3_3_3_1->n2_a_freedoom__1_5_1_3_3_3_1_1 n2_a_freedoom__1_5_1_3_3_3_2_1 D n2_a_freedoom__1_5_1_3_3_3_2->n2_a_freedoom__1_5_1_3_3_3_2_1 n2_a_freedoom__1_5_1_3_3_3_2_2 N n2_a_freedoom__1_5_1_3_3_3_2->n2_a_freedoom__1_5_1_3_3_3_2_2 n2_a_freedoom__1_5_1_3_3_3_2_1->n2_a_freedoom__1_5_1_3_3_3_2_1_1 n2_a_freedoom__1_5_1_3_3_3_2_2->n2_a_freedoom__1_5_1_3_3_3_2_2_1 n2_a_freedoom__1_6->n2_a_freedoom__1_6_1 
( (IP-MAT (NP-SBJ (PRO You;{you}))
          (MD;_cat_Vi_ <apos>ll;{will})
          (IP-INF-CAT (BE;_cat_Vg_ be;{be})
                      (IP-PPL-CAT (VAG;_Tn_ exploring;{explore})
                                  (NP-OB1 (D a;{a})
                                          (N series;{series})
                                          (PP (P-ROLE of;{of})
                                              (NP;{LEVELS} (NS levels;{level}))))))
          (PUNC ,)
          (PP-SCON (IP-PPL2 (PP-NIM (P-ROLE in;{in})
                                    (NP;{LEVELS} (Q each;{each})
                                                 (N one;{one})))
                            (VAG;_It_ trying;{try})
                            (IP-INF-CLR (TO to;{to})
                                        (VB;_Tn_ find;{find})
                                        (NP-OB1 (D the;{the})
                                                (N way;{way})
                                                (PP (P-ROLE to;{to})
                                                    (NP (D the;{the})
                                                        (N exit;{exit})))))))
          (PUNC .))
  (ID 2_a_freedoom))