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.
( (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))
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_0004_5004,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,attrib).
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_0020__open,r_0004_0009__you,arg0).
arc(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,inv_arg1).
arc(r_0004_0022__locked,z_0004_5007___star_,arg0).
arc(z_0004_5004,r_0004_0015__or,scope).
arc(z_0004_5004,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,Z_0004_5007___STAR_,R_0004_0022__LOCKED,R_0004_0021__A_R_0004_0023__DOOR,R_0004_0020__OPEN,Z_0004_5004,R_0004_0008__UNTIL] :
( 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)
& z_0004_5007___star_(Z_0004_5007___STAR_)
& r_0004_0008__until(R_0004_0008__UNTIL)
& has_conj1(R_0004_0008__UNTIL,Z_0004_5004)
& z_0004_5004(Z_0004_5004)
& has_conj1(Z_0004_5004,R_0004_0020__OPEN)
& r_0004_0020__open(R_0004_0020__OPEN)
& has_arg1(R_0004_0020__OPEN,R_0004_0021__A_R_0004_0023__DOOR)
& r_0004_0021__a_r_0004_0023__door(R_0004_0021__A_R_0004_0023__DOOR)
& has_inv_arg1(R_0004_0021__A_R_0004_0023__DOOR,R_0004_0022__LOCKED)
& r_0004_0022__locked(R_0004_0022__LOCKED)
& has_arg0(R_0004_0022__LOCKED,Z_0004_5007___STAR_)
& has_arg0(R_0004_0020__OPEN,R_0004_0009__YOU)
& has_conj2(Z_0004_5004,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_attrib(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) ) ).