Context                Previous, Next                Top


4_a_freedoom
Portions of the levels may be inaccessible until you find a particular key, or find a switch to open a locked door.

%3 r_0004_0001__Portions Portions r_0004_0003__the_r_0004_0004__levels the levels r_0004_0001__Portions->r_0004_0003__the_r_0004_0004__levels of r_0004_0005__may may r_0004_0006__be be r_0004_0005__may->r_0004_0006__be [scope] r_0004_0006__be->r_0004_0001__Portions [arg0] r_0004_0007__inaccessible inaccessible r_0004_0006__be->r_0004_0007__inaccessible [prd] r_0004_0008__until until r_0004_0008__until->r_0004_0005__may [scope] z_000_4_a_freedoom_53 r_0004_0008__until->z_000_4_a_freedoom_53 [restriction] r_0004_0015__or or z_000_4_a_freedoom_53->r_0004_0015__or [scope] r_0004_0019__to_r_0004_0020__open to open z_000_4_a_freedoom_53->r_0004_0019__to_r_0004_0020__open [restriction] r_0004_0010__find find r_0004_0009__you you r_0004_0010__find->r_0004_0009__you [arg0] r_0004_0011__a_r_0004_0013__key a key r_0004_0010__find->r_0004_0011__a_r_0004_0013__key [arg1] r_0004_0012__particular particular r_0004_0011__a_r_0004_0013__key->r_0004_0012__particular [attrib] r_0004_0015__or->r_0004_0010__find [conj1] r_0004_0016__find find r_0004_0015__or->r_0004_0016__find [conj2] r_0004_0016__find->r_0004_0009__you [arg0] r_0004_0017__a_r_0004_0018__switch a switch r_0004_0016__find->r_0004_0017__a_r_0004_0018__switch [arg1] r_0004_0019__to_r_0004_0020__open->r_0004_0009__you [arg0] r_0004_0021__a_r_0004_0023__door a door r_0004_0019__to_r_0004_0020__open->r_0004_0021__a_r_0004_0023__door [arg1] r_0004_0022__locked locked r_0004_0022__locked->r_0004_0021__a_r_0004_0023__door [arg1] z_000_4_a_freedoom_63 r_0004_0022__locked->z_000_4_a_freedoom_63 [arg0] 
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).


%3 z_000_4_a_freedoom_53 r_0004_0019__to_r_0004_0020__open to open z_000_4_a_freedoom_53->r_0004_0019__to_r_0004_0020__open [conj1] r_0004_0015__or or z_000_4_a_freedoom_53->r_0004_0015__or [conj2] r_0004_0021__a_r_0004_0023__door a door r_0004_0019__to_r_0004_0020__open->r_0004_0021__a_r_0004_0023__door [arg1] r_0004_0009__you you r_0004_0019__to_r_0004_0020__open->r_0004_0009__you [arg0] r_0004_0016__find find r_0004_0015__or->r_0004_0016__find [conj2] r_0004_0010__find find r_0004_0015__or->r_0004_0010__find [conj1] r_0004_0022__locked locked z_000_4_a_freedoom_63 r_0004_0022__locked->z_000_4_a_freedoom_63 [arg0] r_0004_0022__locked->r_0004_0021__a_r_0004_0023__door [arg1] r_0004_0016__find->r_0004_0009__you [arg0] r_0004_0017__a_r_0004_0018__switch a switch r_0004_0016__find->r_0004_0017__a_r_0004_0018__switch [arg1] r_0004_0010__find->r_0004_0009__you [arg0] r_0004_0011__a_r_0004_0013__key a key r_0004_0010__find->r_0004_0011__a_r_0004_0013__key [arg1] r_0004_0012__particular particular r_0004_0011__a_r_0004_0013__key->r_0004_0012__particular [attrib] r_0004_0008__until until r_0004_0008__until->z_000_4_a_freedoom_53 [conj1] r_0004_0005__may_r_0004_0006__be may be r_0004_0008__until->r_0004_0005__may_r_0004_0006__be [conj2] r_0004_0007__inaccessible inaccessible r_0004_0005__may_r_0004_0006__be->r_0004_0007__inaccessible [prd] r_0004_0001__Portions Portions r_0004_0005__may_r_0004_0006__be->r_0004_0001__Portions [arg0] r_0004_0003__the_r_0004_0004__levels the levels r_0004_0001__Portions->r_0004_0003__the_r_0004_0004__levels of 
fof(formula,axiom,
    ? [R_4_8_UNTIL,Z_4_A_FREEDOOM_53,R_4_19_TO_OPEN,R_4_15_OR,R_4_10_FIND,R_4_11_A_KEY,R_4_12_PARTICULAR,R_4_16_FIND,R_4_9_YOU,R_4_17_A_SWITCH,R_4_5_MAY_BE,R_4_1_PORTIONS,R_4_3_THE_LEVELS,R_4_7_INACCESSIBLE,R_4_22_LOCKED,Z_4_A_FREEDOOM_63,R_4_21_A_DOOR] :
      ( particular(R_4_12_PARTICULAR)
      & you(R_4_9_YOU)
      & a_switch(R_4_17_A_SWITCH)
      & the_levels(R_4_3_THE_LEVELS)
      & inaccessible(R_4_7_INACCESSIBLE)
      & a_door(R_4_21_A_DOOR)
      & until(R_4_8_UNTIL)
      & conj1(R_4_8_UNTIL,Z_4_A_FREEDOOM_53)
      & z_4_a_freedoom_53(Z_4_A_FREEDOOM_53)
      & conj1(Z_4_A_FREEDOOM_53,R_4_19_TO_OPEN)
      & to_open(R_4_19_TO_OPEN,R_4_9_YOU,R_4_21_A_DOOR)
      & conj2(Z_4_A_FREEDOOM_53,R_4_15_OR)
      & or(R_4_15_OR)
      & conj1(R_4_15_OR,R_4_10_FIND)
      & find(R_4_10_FIND,R_4_9_YOU,R_4_11_A_KEY)
      & a_key(R_4_11_A_KEY)
      & attrib35(R_4_11_A_KEY,R_4_12_PARTICULAR)
      & conj2(R_4_15_OR,R_4_16_FIND)
      & find(R_4_16_FIND,R_4_9_YOU,R_4_17_A_SWITCH)
      & conj2(R_4_8_UNTIL,R_4_5_MAY_BE)
      & may_be(R_4_5_MAY_BE,R_4_1_PORTIONS,R_4_7_INACCESSIBLE)
      & portions(R_4_1_PORTIONS)
      & of(R_4_1_PORTIONS,R_4_3_THE_LEVELS)
      & locked(R_4_22_LOCKED,Z_4_A_FREEDOOM_63,R_4_21_A_DOOR) ) ).


n4_a_freedoom n4_a_freedoom__1_1_1_1 Portions n4_a_freedoom__1_1_2_1_1 of n4_a_freedoom__1_1_2_2_1_1 the n4_a_freedoom__1_1_2_2_2_1 levels n4_a_freedoom__1_2_1 may n4_a_freedoom__1_3_1_1 be n4_a_freedoom__1_3_2_1_1 inaccessible n4_a_freedoom__1_4_1_1 until n4_a_freedoom__1_4_2_1_1_1 you n4_a_freedoom__1_4_2_2_1_1_1 find n4_a_freedoom__1_4_2_2_1_2_1_1 a n4_a_freedoom__1_4_2_2_1_2_2_1_1 particular n4_a_freedoom__1_4_2_2_1_2_3_1 key n4_a_freedoom__1_4_2_2_2_1 , n4_a_freedoom__1_4_2_2_3_1_1 or n4_a_freedoom__1_4_2_2_3_2_1_1 find n4_a_freedoom__1_4_2_2_3_2_2_1_1 a n4_a_freedoom__1_4_2_2_3_2_2_2_1 switch n4_a_freedoom__1_4_2_3_1_1_1 to n4_a_freedoom__1_4_2_3_1_2_1 open n4_a_freedoom__1_4_2_3_1_3_1_1 a n4_a_freedoom__1_4_2_3_1_3_2_1_1 * n4_a_freedoom__1_4_2_3_1_3_2_2_1 locked n4_a_freedoom__1_4_2_3_1_3_3_1 door n4_a_freedoom__1_5_1 . n4_a_freedoom__1 IP-MAT n4_a_freedoom__1_1 NP-SBJ n4_a_freedoom__1->n4_a_freedoom__1_1 n4_a_freedoom__1_2 MD;_cat_Vi_ n4_a_freedoom__1->n4_a_freedoom__1_2 n4_a_freedoom__1_3 IP-INF-CAT n4_a_freedoom__1->n4_a_freedoom__1_3 n4_a_freedoom__1_4 PP-SCON n4_a_freedoom__1->n4_a_freedoom__1_4 n4_a_freedoom__1_5 PUNC n4_a_freedoom__1->n4_a_freedoom__1_5 n4_a_freedoom__1_1_1 NS n4_a_freedoom__1_1->n4_a_freedoom__1_1_1 n4_a_freedoom__1_1_2 PP n4_a_freedoom__1_1->n4_a_freedoom__1_1_2 n4_a_freedoom__1_1_1->n4_a_freedoom__1_1_1_1 n4_a_freedoom__1_1_2_1 P-ROLE n4_a_freedoom__1_1_2->n4_a_freedoom__1_1_2_1 n4_a_freedoom__1_1_2_2 NP n4_a_freedoom__1_1_2->n4_a_freedoom__1_1_2_2 n4_a_freedoom__1_1_2_1->n4_a_freedoom__1_1_2_1_1 n4_a_freedoom__1_1_2_2_1 D n4_a_freedoom__1_1_2_2->n4_a_freedoom__1_1_2_2_1 n4_a_freedoom__1_1_2_2_2 NS n4_a_freedoom__1_1_2_2->n4_a_freedoom__1_1_2_2_2 n4_a_freedoom__1_1_2_2_1->n4_a_freedoom__1_1_2_2_1_1 n4_a_freedoom__1_1_2_2_2->n4_a_freedoom__1_1_2_2_2_1 n4_a_freedoom__1_2->n4_a_freedoom__1_2_1 n4_a_freedoom__1_3_1 BE;_La_ n4_a_freedoom__1_3->n4_a_freedoom__1_3_1 n4_a_freedoom__1_3_2 ADJP-PRD n4_a_freedoom__1_3->n4_a_freedoom__1_3_2 n4_a_freedoom__1_3_1->n4_a_freedoom__1_3_1_1 n4_a_freedoom__1_3_2_1 ADJ n4_a_freedoom__1_3_2->n4_a_freedoom__1_3_2_1 n4_a_freedoom__1_3_2_1->n4_a_freedoom__1_3_2_1_1 n4_a_freedoom__1_4_1 P-CONN n4_a_freedoom__1_4->n4_a_freedoom__1_4_1 n4_a_freedoom__1_4_2 IP-ADV n4_a_freedoom__1_4->n4_a_freedoom__1_4_2 n4_a_freedoom__1_4_1->n4_a_freedoom__1_4_1_1 n4_a_freedoom__1_4_2_1 NP-SBJ n4_a_freedoom__1_4_2->n4_a_freedoom__1_4_2_1 n4_a_freedoom__1_4_2_2 ILYR n4_a_freedoom__1_4_2->n4_a_freedoom__1_4_2_2 n4_a_freedoom__1_4_2_3 PP-SCON n4_a_freedoom__1_4_2->n4_a_freedoom__1_4_2_3 n4_a_freedoom__1_4_2_1_1 PRO n4_a_freedoom__1_4_2_1->n4_a_freedoom__1_4_2_1_1 n4_a_freedoom__1_4_2_1_1->n4_a_freedoom__1_4_2_1_1_1 n4_a_freedoom__1_4_2_2_1 ILYR n4_a_freedoom__1_4_2_2->n4_a_freedoom__1_4_2_2_1 n4_a_freedoom__1_4_2_2_2 PUNC n4_a_freedoom__1_4_2_2->n4_a_freedoom__1_4_2_2_2 n4_a_freedoom__1_4_2_2_3 CONJP n4_a_freedoom__1_4_2_2->n4_a_freedoom__1_4_2_2_3 n4_a_freedoom__1_4_2_2_1_1 VBP;_Tn_ n4_a_freedoom__1_4_2_2_1->n4_a_freedoom__1_4_2_2_1_1 n4_a_freedoom__1_4_2_2_1_2 NP-OB1 n4_a_freedoom__1_4_2_2_1->n4_a_freedoom__1_4_2_2_1_2 n4_a_freedoom__1_4_2_2_1_1->n4_a_freedoom__1_4_2_2_1_1_1 n4_a_freedoom__1_4_2_2_1_2_1 D n4_a_freedoom__1_4_2_2_1_2->n4_a_freedoom__1_4_2_2_1_2_1 n4_a_freedoom__1_4_2_2_1_2_2 ADJP n4_a_freedoom__1_4_2_2_1_2->n4_a_freedoom__1_4_2_2_1_2_2 n4_a_freedoom__1_4_2_2_1_2_3 N n4_a_freedoom__1_4_2_2_1_2->n4_a_freedoom__1_4_2_2_1_2_3 n4_a_freedoom__1_4_2_2_1_2_1->n4_a_freedoom__1_4_2_2_1_2_1_1 n4_a_freedoom__1_4_2_2_1_2_2_1 ADJ n4_a_freedoom__1_4_2_2_1_2_2->n4_a_freedoom__1_4_2_2_1_2_2_1 n4_a_freedoom__1_4_2_2_1_2_2_1->n4_a_freedoom__1_4_2_2_1_2_2_1_1 n4_a_freedoom__1_4_2_2_1_2_3->n4_a_freedoom__1_4_2_2_1_2_3_1 n4_a_freedoom__1_4_2_2_2->n4_a_freedoom__1_4_2_2_2_1 n4_a_freedoom__1_4_2_2_3_1 CONJ n4_a_freedoom__1_4_2_2_3->n4_a_freedoom__1_4_2_2_3_1 n4_a_freedoom__1_4_2_2_3_2 ILYR n4_a_freedoom__1_4_2_2_3->n4_a_freedoom__1_4_2_2_3_2 n4_a_freedoom__1_4_2_2_3_1->n4_a_freedoom__1_4_2_2_3_1_1 n4_a_freedoom__1_4_2_2_3_2_1 VBD;_Tn_ n4_a_freedoom__1_4_2_2_3_2->n4_a_freedoom__1_4_2_2_3_2_1 n4_a_freedoom__1_4_2_2_3_2_2 NP-OB1 n4_a_freedoom__1_4_2_2_3_2->n4_a_freedoom__1_4_2_2_3_2_2 n4_a_freedoom__1_4_2_2_3_2_1->n4_a_freedoom__1_4_2_2_3_2_1_1 n4_a_freedoom__1_4_2_2_3_2_2_1 D n4_a_freedoom__1_4_2_2_3_2_2->n4_a_freedoom__1_4_2_2_3_2_2_1 n4_a_freedoom__1_4_2_2_3_2_2_2 N n4_a_freedoom__1_4_2_2_3_2_2->n4_a_freedoom__1_4_2_2_3_2_2_2 n4_a_freedoom__1_4_2_2_3_2_2_1->n4_a_freedoom__1_4_2_2_3_2_2_1_1 n4_a_freedoom__1_4_2_2_3_2_2_2->n4_a_freedoom__1_4_2_2_3_2_2_2_1 n4_a_freedoom__1_4_2_3_1 IP-INF n4_a_freedoom__1_4_2_3->n4_a_freedoom__1_4_2_3_1 n4_a_freedoom__1_4_2_3_1_1 TO n4_a_freedoom__1_4_2_3_1->n4_a_freedoom__1_4_2_3_1_1 n4_a_freedoom__1_4_2_3_1_2 VB;_Tn_ n4_a_freedoom__1_4_2_3_1->n4_a_freedoom__1_4_2_3_1_2 n4_a_freedoom__1_4_2_3_1_3 NP-OB1 n4_a_freedoom__1_4_2_3_1->n4_a_freedoom__1_4_2_3_1_3 n4_a_freedoom__1_4_2_3_1_1->n4_a_freedoom__1_4_2_3_1_1_1 n4_a_freedoom__1_4_2_3_1_2->n4_a_freedoom__1_4_2_3_1_2_1 n4_a_freedoom__1_4_2_3_1_3_1 D n4_a_freedoom__1_4_2_3_1_3->n4_a_freedoom__1_4_2_3_1_3_1 n4_a_freedoom__1_4_2_3_1_3_2 IP-PPL n4_a_freedoom__1_4_2_3_1_3->n4_a_freedoom__1_4_2_3_1_3_2 n4_a_freedoom__1_4_2_3_1_3_3 N n4_a_freedoom__1_4_2_3_1_3->n4_a_freedoom__1_4_2_3_1_3_3 n4_a_freedoom__1_4_2_3_1_3_1->n4_a_freedoom__1_4_2_3_1_3_1_1 n4_a_freedoom__1_4_2_3_1_3_2_1 NP-LGS n4_a_freedoom__1_4_2_3_1_3_2->n4_a_freedoom__1_4_2_3_1_3_2_1 n4_a_freedoom__1_4_2_3_1_3_2_2 VVN;_Tn_ n4_a_freedoom__1_4_2_3_1_3_2->n4_a_freedoom__1_4_2_3_1_3_2_2 n4_a_freedoom__1_4_2_3_1_3_2_1->n4_a_freedoom__1_4_2_3_1_3_2_1_1 n4_a_freedoom__1_4_2_3_1_3_2_2->n4_a_freedoom__1_4_2_3_1_3_2_2_1 n4_a_freedoom__1_4_2_3_1_3_3->n4_a_freedoom__1_4_2_3_1_3_3_1 n4_a_freedoom__1_5->n4_a_freedoom__1_5_1 
( (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))