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,
    ? [R_0439_0001__IT,R_0439_0004__SHUT,Z_000_439_A_DICK_1952_10,R_0439_0003__BOLTED,Z_000_439_A_DICK_1952_21,R_0439_0006__LOCKED,Z_000_439_A_DICK_1952_8,R_0439_0002__WAS] :
      ( r_0439_0001__It(R_0439_0001__IT)
      & r_0439_0004__shut(R_0439_0004__SHUT)
      & z_000_439_a_dick_1952_10(Z_000_439_A_DICK_1952_10)
      & z_000_439_a_dick_1952_21(Z_000_439_A_DICK_1952_21)
      & r_0439_0002__was(R_0439_0002__WAS)
      & has_keep_scope(R_0439_0002__WAS,Z_000_439_A_DICK_1952_8)
      & z_000_439_a_dick_1952_8(Z_000_439_A_DICK_1952_8)
      & has_conj2(Z_000_439_A_DICK_1952_8,R_0439_0006__LOCKED)
      & r_0439_0006__locked(R_0439_0006__LOCKED)
      & has_arg0(R_0439_0006__LOCKED,Z_000_439_A_DICK_1952_21)
      & has_arg1(R_0439_0006__LOCKED,R_0439_0001__IT)
      & has_conj1(Z_000_439_A_DICK_1952_8,R_0439_0003__BOLTED)
      & r_0439_0003__bolted(R_0439_0003__BOLTED)
      & has_arg0(R_0439_0003__BOLTED,Z_000_439_A_DICK_1952_10)
      & has_prd(R_0439_0003__BOLTED,R_0439_0004__SHUT)
      & has_arg1(R_0439_0003__BOLTED,R_0439_0001__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))