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).

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) ) ).

( (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))