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_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] 
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_4 It n439_a_dick_1952_6 was n439_a_dick_1952_11 * n439_a_dick_1952_13 bolted n439_a_dick_1952_16 shut n439_a_dick_1952_18 , n439_a_dick_1952_22 * n439_a_dick_1952_24 locked n439_a_dick_1952_26 . n439_a_dick_1952_1 IP-MAT n439_a_dick_1952_2 NP-SBJ n439_a_dick_1952_1->n439_a_dick_1952_2 n439_a_dick_1952_5 BED;_cat_VePASS_ n439_a_dick_1952_1->n439_a_dick_1952_5 n439_a_dick_1952_7 IP-PPL-CAT n439_a_dick_1952_1->n439_a_dick_1952_7 n439_a_dick_1952_25 PUNC n439_a_dick_1952_1->n439_a_dick_1952_25 n439_a_dick_1952_3 PRO n439_a_dick_1952_2->n439_a_dick_1952_3 n439_a_dick_1952_3->n439_a_dick_1952_4 n439_a_dick_1952_5->n439_a_dick_1952_6 n439_a_dick_1952_8 ILYR n439_a_dick_1952_7->n439_a_dick_1952_8 n439_a_dick_1952_9 ILYR n439_a_dick_1952_8->n439_a_dick_1952_9 n439_a_dick_1952_17 PUNC n439_a_dick_1952_8->n439_a_dick_1952_17 n439_a_dick_1952_19 CONJP n439_a_dick_1952_8->n439_a_dick_1952_19 n439_a_dick_1952_10 NP-LGS n439_a_dick_1952_9->n439_a_dick_1952_10 n439_a_dick_1952_12 VVN;_Cn.a_ n439_a_dick_1952_9->n439_a_dick_1952_12 n439_a_dick_1952_14 ADJP-PRD n439_a_dick_1952_9->n439_a_dick_1952_14 n439_a_dick_1952_10->n439_a_dick_1952_11 n439_a_dick_1952_12->n439_a_dick_1952_13 n439_a_dick_1952_15 ADJ n439_a_dick_1952_14->n439_a_dick_1952_15 n439_a_dick_1952_15->n439_a_dick_1952_16 n439_a_dick_1952_17->n439_a_dick_1952_18 n439_a_dick_1952_20 ILYR n439_a_dick_1952_19->n439_a_dick_1952_20 n439_a_dick_1952_21 NP-LGS n439_a_dick_1952_20->n439_a_dick_1952_21 n439_a_dick_1952_23 VVN;_Tn_ n439_a_dick_1952_20->n439_a_dick_1952_23 n439_a_dick_1952_21->n439_a_dick_1952_22 n439_a_dick_1952_23->n439_a_dick_1952_24 n439_a_dick_1952_25->n439_a_dick_1952_26 
( (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))