arc(r_0004_0001__Portions, r_0004_0003__the_r_0004_0004__levels, r_0004_0002__of).
arc(r_0004_0005__may, r_0004_0006__be, scope).
arc(r_0004_0006__be, r_0004_0001__Portions, arg0).
arc(r_0004_0006__be, r_0004_0007__inaccessible, prd).
arc(r_0004_0008__until, r_0004_0005__may, scope).
arc(r_0004_0008__until, z_000_4_a_freedoom_53, restriction).
arc(r_0004_0010__find, r_0004_0009__you, arg0).
arc(r_0004_0010__find, r_0004_0011__a_r_0004_0013__key, arg1).
arc(r_0004_0011__a_r_0004_0013__key, r_0004_0012__particular, attrib35).
arc(r_0004_0015__or, r_0004_0010__find, conj1).
arc(r_0004_0015__or, r_0004_0016__find, conj2).
arc(r_0004_0016__find, r_0004_0009__you, arg0).
arc(r_0004_0016__find, r_0004_0017__a_r_0004_0018__switch, arg1).
arc(r_0004_0019__to_r_0004_0020__open, r_0004_0009__you, arg0).
arc(r_0004_0019__to_r_0004_0020__open, r_0004_0021__a_r_0004_0023__door, arg1).
arc(r_0004_0022__locked, r_0004_0021__a_r_0004_0023__door, arg1).
arc(r_0004_0022__locked, z_000_4_a_freedoom_63, arg0).
arc(z_000_4_a_freedoom_53, r_0004_0015__or, scope).
arc(z_000_4_a_freedoom_53, r_0004_0019__to_r_0004_0020__open, restriction).

fof(formula,axiom,
    ? [R_0004_0003__THE_R_0004_0004__LEVELS,R_0004_0001__PORTIONS,R_0004_0007__INACCESSIBLE,R_0004_0005__MAY_R_0004_0006__BE,R_0004_0009__YOU,R_0004_0012__PARTICULAR,R_0004_0011__A_R_0004_0013__KEY,R_0004_0010__FIND,R_0004_0017__A_R_0004_0018__SWITCH,R_0004_0016__FIND,R_0004_0015__OR,R_0004_0021__A_R_0004_0023__DOOR,R_0004_0019__TO_R_0004_0020__OPEN,Z_000_4_A_FREEDOOM_53,R_0004_0008__UNTIL,Z_000_4_A_FREEDOOM_63,R_0004_0022__LOCKED] :
      ( r_0004_0003__the_r_0004_0004__levels(R_0004_0003__THE_R_0004_0004__LEVELS)
      & r_0004_0007__inaccessible(R_0004_0007__INACCESSIBLE)
      & r_0004_0009__you(R_0004_0009__YOU)
      & r_0004_0012__particular(R_0004_0012__PARTICULAR)
      & r_0004_0017__a_r_0004_0018__switch(R_0004_0017__A_R_0004_0018__SWITCH)
      & r_0004_0021__a_r_0004_0023__door(R_0004_0021__A_R_0004_0023__DOOR)
      & z_000_4_a_freedoom_63(Z_000_4_A_FREEDOOM_63)
      & r_0004_0022__locked(R_0004_0022__LOCKED)
      & has_arg0(R_0004_0022__LOCKED,Z_000_4_A_FREEDOOM_63)
      & has_arg1(R_0004_0022__LOCKED,R_0004_0021__A_R_0004_0023__DOOR)
      & r_0004_0008__until(R_0004_0008__UNTIL)
      & has_conj1(R_0004_0008__UNTIL,Z_000_4_A_FREEDOOM_53)
      & z_000_4_a_freedoom_53(Z_000_4_A_FREEDOOM_53)
      & has_conj1(Z_000_4_A_FREEDOOM_53,R_0004_0019__TO_R_0004_0020__OPEN)
      & r_0004_0019__to_r_0004_0020__open(R_0004_0019__TO_R_0004_0020__OPEN)
      & has_arg1(R_0004_0019__TO_R_0004_0020__OPEN,R_0004_0021__A_R_0004_0023__DOOR)
      & has_arg0(R_0004_0019__TO_R_0004_0020__OPEN,R_0004_0009__YOU)
      & has_conj2(Z_000_4_A_FREEDOOM_53,R_0004_0015__OR)
      & r_0004_0015__or(R_0004_0015__OR)
      & has_conj2(R_0004_0015__OR,R_0004_0016__FIND)
      & r_0004_0016__find(R_0004_0016__FIND)
      & has_arg1(R_0004_0016__FIND,R_0004_0017__A_R_0004_0018__SWITCH)
      & has_arg0(R_0004_0016__FIND,R_0004_0009__YOU)
      & has_conj1(R_0004_0015__OR,R_0004_0010__FIND)
      & r_0004_0010__find(R_0004_0010__FIND)
      & has_arg1(R_0004_0010__FIND,R_0004_0011__A_R_0004_0013__KEY)
      & r_0004_0011__a_r_0004_0013__key(R_0004_0011__A_R_0004_0013__KEY)
      & has_attrib35(R_0004_0011__A_R_0004_0013__KEY,R_0004_0012__PARTICULAR)
      & has_arg0(R_0004_0010__FIND,R_0004_0009__YOU)
      & has_conj2(R_0004_0008__UNTIL,R_0004_0005__MAY_R_0004_0006__BE)
      & r_0004_0005__may_r_0004_0006__be(R_0004_0005__MAY_R_0004_0006__BE)
      & has_prd(R_0004_0005__MAY_R_0004_0006__BE,R_0004_0007__INACCESSIBLE)
      & has_arg0(R_0004_0005__MAY_R_0004_0006__BE,R_0004_0001__PORTIONS)
      & r_0004_0001__Portions(R_0004_0001__PORTIONS)
      & has_r_0004_0002__of(R_0004_0001__PORTIONS,R_0004_0003__THE_R_0004_0004__LEVELS) ) ).

( (IP-MAT;{INACCESSIBLE} (NP-SBJ (NS Portions;{portion})
                                 (PP (P-ROLE of;{of})
                                     (NP;{LEVELS} (D the;{the})
                                                  (NS levels;{level}))))
                         (MD;_cat_Vi_ may;{may})
                         (IP-INF-CAT (BE;_La_ be;{be})
                                     (ADJP-PRD (ADJ inaccessible;{inaccessible})))
                         (PP-SCON (P-CONN until;{until})
                                  (IP-ADV (NP-SBJ (PRO you;{you}))
                                          (ILYR (ILYR (VBP;_Tn_ find;{find})
                                                      (NP-OB1 (D a;{a})
                                                              (ADJP (ADJ particular;{particular}))
                                                              (N key;{key})))
                                                (PUNC ,)
                                                (CONJP (CONJ or;{or})
                                                       (ILYR (VBD;_Tn_ find;{find})
                                                             (NP-OB1 (D a;{a})
                                                                     (N switch;{switch})))))
                                          (PP-SCON (IP-INF (TO to;{to})
                                                           (VB;_Tn_ open;{open})
                                                           (NP-OB1 (D a;{a})
                                                                   (IP-PPL (NP-LGS *)
                                                                           (VVN;_Tn_ locked;{lock}))
                                                                   (N door;{door}))))))
                         (PUNC .))
  (ID 4_a_freedoom))