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

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__nim).
arc(r_0002_0013__trying,r_0002_0015__find,clr).
arc(r_0002_0015__find,r_0002_0001__You,arg0).
arc(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_0002_5001,r_0002_0002___apos_ll,scope).
arc(z_0002_5001,r_0002_0011__each__quant,restriction).

fof(formula,axiom,
    ? [R_0002_0001__YOU,R_0002_0008__LEVELS,R_0002_0005__A_R_0002_0006__SERIES,R_0002_0002___APOS_LL_R_0002_0003__BE_R_0002_0004__EXPLORING,Z_0002_5001] :
      ( r_0002_0001__You(R_0002_0001__YOU)
      & r_0002_0008__levels(R_0002_0008__LEVELS)
      & z_0002_5001(Z_0002_5001)
      & ! [R_0002_0012__ONE] :
          ( r_0002_0012__one(R_0002_0012__ONE)
         => ? [R_0002_0019__THE_R_0002_0020__EXIT,R_0002_0016__THE_R_0002_0017__WAY,R_0002_0015__FIND,R_0002_0013__TRYING] :
              ( r_0002_0019__the_r_0002_0020__exit(R_0002_0019__THE_R_0002_0020__EXIT)
              & r_0002_0013__trying(R_0002_0013__TRYING)
              & has_clr(R_0002_0013__TRYING,R_0002_0015__FIND)
              & r_0002_0015__find(R_0002_0015__FIND)
              & has_arg1(R_0002_0015__FIND,R_0002_0016__THE_R_0002_0017__WAY)
              & r_0002_0016__the_r_0002_0017__way(R_0002_0016__THE_R_0002_0017__WAY)
              & has_r_0002_0018__to(R_0002_0016__THE_R_0002_0017__WAY,R_0002_0019__THE_R_0002_0020__EXIT)
              & has_arg0(R_0002_0015__FIND,R_0002_0001__YOU)
              & has_r_0002_0010__in__nim(R_0002_0013__TRYING,R_0002_0012__ONE)
              & has_arg0(R_0002_0013__TRYING,R_0002_0001__YOU) ) )
      & has_conj2(Z_0002_5001,R_0002_0002___APOS_LL_R_0002_0003__BE_R_0002_0004__EXPLORING)
      & r_0002_0002___apos_ll_r_0002_0003__be_r_0002_0004__exploring(R_0002_0002___APOS_LL_R_0002_0003__BE_R_0002_0004__EXPLORING)
      & has_arg1(R_0002_0002___APOS_LL_R_0002_0003__BE_R_0002_0004__EXPLORING,R_0002_0005__A_R_0002_0006__SERIES)
      & r_0002_0005__a_r_0002_0006__series(R_0002_0005__A_R_0002_0006__SERIES)
      & has_r_0002_0007__of(R_0002_0005__A_R_0002_0006__SERIES,R_0002_0008__LEVELS)
      & has_arg0(R_0002_0002___APOS_LL_R_0002_0003__BE_R_0002_0004__EXPLORING,R_0002_0001__YOU) ) ).