Context                Previous, Next                Top


439_a_dick_1952
It was bolted shut, locked.

%3 r_0439_0002__was was z_000_439_a_dick_1952_8 r_0439_0002__was->z_000_439_a_dick_1952_8 [scope] r_0439_0003__bolted bolted z_000_439_a_dick_1952_8->r_0439_0003__bolted [conj1] r_0439_0006__locked locked z_000_439_a_dick_1952_8->r_0439_0006__locked [conj2] r_0439_0001__It It r_0439_0003__bolted->r_0439_0001__It [arg1] r_0439_0004__shut shut r_0439_0003__bolted->r_0439_0004__shut [prd] z_000_439_a_dick_1952_10 r_0439_0003__bolted->z_000_439_a_dick_1952_10 [arg0] r_0439_0006__locked->r_0439_0001__It [arg1] z_000_439_a_dick_1952_21 r_0439_0006__locked->z_000_439_a_dick_1952_21 [arg0] 
arc(r_0439_0002__was, z_000_439_a_dick_1952_8, scope).
arc(r_0439_0003__bolted, r_0439_0001__It, arg1).
arc(r_0439_0003__bolted, r_0439_0004__shut, prd).
arc(r_0439_0003__bolted, z_000_439_a_dick_1952_10, arg0).
arc(r_0439_0006__locked, r_0439_0001__It, arg1).
arc(r_0439_0006__locked, z_000_439_a_dick_1952_21, arg0).
arc(z_000_439_a_dick_1952_8, r_0439_0003__bolted, conj1).
arc(z_000_439_a_dick_1952_8, r_0439_0006__locked, conj2).


%3 r_0439_0002__was was z_000_439_a_dick_1952_8 r_0439_0002__was->z_000_439_a_dick_1952_8 [keep_scope] r_0439_0006__locked locked z_000_439_a_dick_1952_8->r_0439_0006__locked [conj2] r_0439_0003__bolted bolted z_000_439_a_dick_1952_8->r_0439_0003__bolted [conj1] z_000_439_a_dick_1952_21 r_0439_0006__locked->z_000_439_a_dick_1952_21 [arg0] r_0439_0001__It It r_0439_0006__locked->r_0439_0001__It [arg1] r_0439_0003__bolted->r_0439_0001__It [arg1] z_000_439_a_dick_1952_10 r_0439_0003__bolted->z_000_439_a_dick_1952_10 [arg0] r_0439_0004__shut shut r_0439_0003__bolted->r_0439_0004__shut [prd] 
fof(formula,axiom,
    ~ ? [Z_439_A_DICK_1952_8,R_439_3_BOLTED,Z_439_A_DICK_1952_10,R_439_4_SHUT,R_439_6_LOCKED,Z_439_A_DICK_1952_21,R_439_1_IT] :
        ( shut(R_439_4_SHUT)
        & it(R_439_1_IT)
        & z_439_a_dick_1952_8(Z_439_A_DICK_1952_8)
        & conj1(Z_439_A_DICK_1952_8,R_439_3_BOLTED)
        & bolted(R_439_3_BOLTED,Z_439_A_DICK_1952_10,R_439_1_IT,R_439_4_SHUT)
        & conj2(Z_439_A_DICK_1952_8,R_439_6_LOCKED)
        & locked(R_439_6_LOCKED,Z_439_A_DICK_1952_21,R_439_1_IT) ) ).


n439_a_dick_1952 n439_a_dick_1952__1_1_1_1 It n439_a_dick_1952__1_2_1 was n439_a_dick_1952__1_3_1_1_1_1 * n439_a_dick_1952__1_3_1_1_2_1 bolted n439_a_dick_1952__1_3_1_1_3_1_1 shut n439_a_dick_1952__1_3_1_2_1 , n439_a_dick_1952__1_3_1_3_1_1_1 * n439_a_dick_1952__1_3_1_3_1_2_1 locked n439_a_dick_1952__1_4_1 . n439_a_dick_1952__1 IP-MAT n439_a_dick_1952__1_1 NP-SBJ n439_a_dick_1952__1->n439_a_dick_1952__1_1 n439_a_dick_1952__1_2 BED;_cat_VePASS_ n439_a_dick_1952__1->n439_a_dick_1952__1_2 n439_a_dick_1952__1_3 IP-PPL-CAT n439_a_dick_1952__1->n439_a_dick_1952__1_3 n439_a_dick_1952__1_4 PUNC n439_a_dick_1952__1->n439_a_dick_1952__1_4 n439_a_dick_1952__1_1_1 PRO n439_a_dick_1952__1_1->n439_a_dick_1952__1_1_1 n439_a_dick_1952__1_1_1->n439_a_dick_1952__1_1_1_1 n439_a_dick_1952__1_2->n439_a_dick_1952__1_2_1 n439_a_dick_1952__1_3_1 ILYR n439_a_dick_1952__1_3->n439_a_dick_1952__1_3_1 n439_a_dick_1952__1_3_1_1 ILYR n439_a_dick_1952__1_3_1->n439_a_dick_1952__1_3_1_1 n439_a_dick_1952__1_3_1_2 PUNC n439_a_dick_1952__1_3_1->n439_a_dick_1952__1_3_1_2 n439_a_dick_1952__1_3_1_3 CONJP n439_a_dick_1952__1_3_1->n439_a_dick_1952__1_3_1_3 n439_a_dick_1952__1_3_1_1_1 NP-LGS n439_a_dick_1952__1_3_1_1->n439_a_dick_1952__1_3_1_1_1 n439_a_dick_1952__1_3_1_1_2 VVN;_Cn.a_ n439_a_dick_1952__1_3_1_1->n439_a_dick_1952__1_3_1_1_2 n439_a_dick_1952__1_3_1_1_3 ADJP-PRD n439_a_dick_1952__1_3_1_1->n439_a_dick_1952__1_3_1_1_3 n439_a_dick_1952__1_3_1_1_1->n439_a_dick_1952__1_3_1_1_1_1 n439_a_dick_1952__1_3_1_1_2->n439_a_dick_1952__1_3_1_1_2_1 n439_a_dick_1952__1_3_1_1_3_1 ADJ n439_a_dick_1952__1_3_1_1_3->n439_a_dick_1952__1_3_1_1_3_1 n439_a_dick_1952__1_3_1_1_3_1->n439_a_dick_1952__1_3_1_1_3_1_1 n439_a_dick_1952__1_3_1_2->n439_a_dick_1952__1_3_1_2_1 n439_a_dick_1952__1_3_1_3_1 ILYR n439_a_dick_1952__1_3_1_3->n439_a_dick_1952__1_3_1_3_1 n439_a_dick_1952__1_3_1_3_1_1 NP-LGS n439_a_dick_1952__1_3_1_3_1->n439_a_dick_1952__1_3_1_3_1_1 n439_a_dick_1952__1_3_1_3_1_2 VVN;_Tn_ n439_a_dick_1952__1_3_1_3_1->n439_a_dick_1952__1_3_1_3_1_2 n439_a_dick_1952__1_3_1_3_1_1->n439_a_dick_1952__1_3_1_3_1_1_1 n439_a_dick_1952__1_3_1_3_1_2->n439_a_dick_1952__1_3_1_3_1_2_1 n439_a_dick_1952__1_4->n439_a_dick_1952__1_4_1 
( (IP-MAT (NP-SBJ;{DOOR} (PRO It;{it}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (ILYR (ILYR (NP-LGS *)
                                  (VVN;_Cn.a_ bolted;{bolt})
                                  (ADJP-PRD (ADJ shut;{shut})))
                            (PUNC ,)
                            (CONJP (ILYR (NP-LGS *)
                                         (VVN;_Tn_ locked;{lock})))))
          (PUNC .))
  (ID 439_a_dick_1952))