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 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_r_0004_0006__be may be r_0004_0005__may_r_0004_0006__be->r_0004_0001__Portions [arg0] r_0004_0007__inaccessible inaccessible r_0004_0005__may_r_0004_0006__be->r_0004_0007__inaccessible [prd] r_0004_0008__until until r_0004_0008__until->r_0004_0005__may_r_0004_0006__be [conj2] z_000_4_a_freedoom_53 r_0004_0008__until->z_000_4_a_freedoom_53 [conj1] r_0004_0015__or or z_000_4_a_freedoom_53->r_0004_0015__or [conj2] 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_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] 
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_4 Portions n4_a_freedoom_7 of n4_a_freedoom_10 the n4_a_freedoom_12 levels n4_a_freedoom_14 may n4_a_freedoom_17 be n4_a_freedoom_20 inaccessible n4_a_freedoom_23 until n4_a_freedoom_27 you n4_a_freedoom_31 find n4_a_freedoom_34 a n4_a_freedoom_37 particular n4_a_freedoom_39 key n4_a_freedoom_41 , n4_a_freedoom_44 or n4_a_freedoom_47 find n4_a_freedoom_50 a n4_a_freedoom_52 switch n4_a_freedoom_56 to n4_a_freedoom_58 open n4_a_freedoom_61 a n4_a_freedoom_64 * n4_a_freedoom_66 locked n4_a_freedoom_68 door n4_a_freedoom_70 . n4_a_freedoom_1 IP-MAT n4_a_freedoom_2 NP-SBJ n4_a_freedoom_1->n4_a_freedoom_2 n4_a_freedoom_13 MD;_cat_Vi_ n4_a_freedoom_1->n4_a_freedoom_13 n4_a_freedoom_15 IP-INF-CAT n4_a_freedoom_1->n4_a_freedoom_15 n4_a_freedoom_21 PP-SCON n4_a_freedoom_1->n4_a_freedoom_21 n4_a_freedoom_69 PUNC n4_a_freedoom_1->n4_a_freedoom_69 n4_a_freedoom_3 NS n4_a_freedoom_2->n4_a_freedoom_3 n4_a_freedoom_5 PP n4_a_freedoom_2->n4_a_freedoom_5 n4_a_freedoom_3->n4_a_freedoom_4 n4_a_freedoom_6 P-ROLE n4_a_freedoom_5->n4_a_freedoom_6 n4_a_freedoom_8 NP n4_a_freedoom_5->n4_a_freedoom_8 n4_a_freedoom_6->n4_a_freedoom_7 n4_a_freedoom_9 D n4_a_freedoom_8->n4_a_freedoom_9 n4_a_freedoom_11 NS n4_a_freedoom_8->n4_a_freedoom_11 n4_a_freedoom_9->n4_a_freedoom_10 n4_a_freedoom_11->n4_a_freedoom_12 n4_a_freedoom_13->n4_a_freedoom_14 n4_a_freedoom_16 BE;_La_ n4_a_freedoom_15->n4_a_freedoom_16 n4_a_freedoom_18 ADJP-PRD n4_a_freedoom_15->n4_a_freedoom_18 n4_a_freedoom_16->n4_a_freedoom_17 n4_a_freedoom_19 ADJ n4_a_freedoom_18->n4_a_freedoom_19 n4_a_freedoom_19->n4_a_freedoom_20 n4_a_freedoom_22 P-CONN n4_a_freedoom_21->n4_a_freedoom_22 n4_a_freedoom_24 IP-ADV n4_a_freedoom_21->n4_a_freedoom_24 n4_a_freedoom_22->n4_a_freedoom_23 n4_a_freedoom_25 NP-SBJ n4_a_freedoom_24->n4_a_freedoom_25 n4_a_freedoom_28 ILYR n4_a_freedoom_24->n4_a_freedoom_28 n4_a_freedoom_53 PP-SCON n4_a_freedoom_24->n4_a_freedoom_53 n4_a_freedoom_26 PRO n4_a_freedoom_25->n4_a_freedoom_26 n4_a_freedoom_26->n4_a_freedoom_27 n4_a_freedoom_29 ILYR n4_a_freedoom_28->n4_a_freedoom_29 n4_a_freedoom_40 PUNC n4_a_freedoom_28->n4_a_freedoom_40 n4_a_freedoom_42 CONJP n4_a_freedoom_28->n4_a_freedoom_42 n4_a_freedoom_30 VBP;_Tn_ n4_a_freedoom_29->n4_a_freedoom_30 n4_a_freedoom_32 NP-OB1 n4_a_freedoom_29->n4_a_freedoom_32 n4_a_freedoom_30->n4_a_freedoom_31 n4_a_freedoom_33 D n4_a_freedoom_32->n4_a_freedoom_33 n4_a_freedoom_35 ADJP n4_a_freedoom_32->n4_a_freedoom_35 n4_a_freedoom_38 N n4_a_freedoom_32->n4_a_freedoom_38 n4_a_freedoom_33->n4_a_freedoom_34 n4_a_freedoom_36 ADJ n4_a_freedoom_35->n4_a_freedoom_36 n4_a_freedoom_36->n4_a_freedoom_37 n4_a_freedoom_38->n4_a_freedoom_39 n4_a_freedoom_40->n4_a_freedoom_41 n4_a_freedoom_43 CONJ n4_a_freedoom_42->n4_a_freedoom_43 n4_a_freedoom_45 ILYR n4_a_freedoom_42->n4_a_freedoom_45 n4_a_freedoom_43->n4_a_freedoom_44 n4_a_freedoom_46 VBD;_Tn_ n4_a_freedoom_45->n4_a_freedoom_46 n4_a_freedoom_48 NP-OB1 n4_a_freedoom_45->n4_a_freedoom_48 n4_a_freedoom_46->n4_a_freedoom_47 n4_a_freedoom_49 D n4_a_freedoom_48->n4_a_freedoom_49 n4_a_freedoom_51 N n4_a_freedoom_48->n4_a_freedoom_51 n4_a_freedoom_49->n4_a_freedoom_50 n4_a_freedoom_51->n4_a_freedoom_52 n4_a_freedoom_54 IP-INF n4_a_freedoom_53->n4_a_freedoom_54 n4_a_freedoom_55 TO n4_a_freedoom_54->n4_a_freedoom_55 n4_a_freedoom_57 VB;_Tn_ n4_a_freedoom_54->n4_a_freedoom_57 n4_a_freedoom_59 NP-OB1 n4_a_freedoom_54->n4_a_freedoom_59 n4_a_freedoom_55->n4_a_freedoom_56 n4_a_freedoom_57->n4_a_freedoom_58 n4_a_freedoom_60 D n4_a_freedoom_59->n4_a_freedoom_60 n4_a_freedoom_62 IP-PPL n4_a_freedoom_59->n4_a_freedoom_62 n4_a_freedoom_67 N n4_a_freedoom_59->n4_a_freedoom_67 n4_a_freedoom_60->n4_a_freedoom_61 n4_a_freedoom_63 NP-LGS n4_a_freedoom_62->n4_a_freedoom_63 n4_a_freedoom_65 VVN;_Tn_ n4_a_freedoom_62->n4_a_freedoom_65 n4_a_freedoom_63->n4_a_freedoom_64 n4_a_freedoom_65->n4_a_freedoom_66 n4_a_freedoom_67->n4_a_freedoom_68 n4_a_freedoom_69->n4_a_freedoom_70 
( (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))