Context                Previous, Next                Top


626_a_dick_1952
It was loaded with wiring cables.

n626_a_dick_1952 n626_a_dick_1952__1_1_1_1 It n626_a_dick_1952__1_2_1 was n626_a_dick_1952__1_3_1_1 * n626_a_dick_1952__1_3_2_1 loaded n626_a_dick_1952__1_3_3_1_1 with n626_a_dick_1952__1_3_3_2_1_1 wiring n626_a_dick_1952__1_3_3_2_2_1 cables n626_a_dick_1952__1_4_1 . n626_a_dick_1952__1 IP-MAT n626_a_dick_1952__1_1 NP-SBJ n626_a_dick_1952__1->n626_a_dick_1952__1_1 n626_a_dick_1952__1_2 BED;_cat_VePASS_ n626_a_dick_1952__1->n626_a_dick_1952__1_2 n626_a_dick_1952__1_3 IP-PPL-CAT n626_a_dick_1952__1->n626_a_dick_1952__1_3 n626_a_dick_1952__1_4 PUNC n626_a_dick_1952__1->n626_a_dick_1952__1_4 n626_a_dick_1952__1_1_1 PRO n626_a_dick_1952__1_1->n626_a_dick_1952__1_1_1 n626_a_dick_1952__1_1_1->n626_a_dick_1952__1_1_1_1 n626_a_dick_1952__1_2->n626_a_dick_1952__1_2_1 n626_a_dick_1952__1_3_1 NP-LGS n626_a_dick_1952__1_3->n626_a_dick_1952__1_3_1 n626_a_dick_1952__1_3_2 VVN;_Ipr_ n626_a_dick_1952__1_3->n626_a_dick_1952__1_3_2 n626_a_dick_1952__1_3_3 PP-CLR n626_a_dick_1952__1_3->n626_a_dick_1952__1_3_3 n626_a_dick_1952__1_3_1->n626_a_dick_1952__1_3_1_1 n626_a_dick_1952__1_3_2->n626_a_dick_1952__1_3_2_1 n626_a_dick_1952__1_3_3_1 P-ROLE n626_a_dick_1952__1_3_3->n626_a_dick_1952__1_3_3_1 n626_a_dick_1952__1_3_3_2 NP n626_a_dick_1952__1_3_3->n626_a_dick_1952__1_3_3_2 n626_a_dick_1952__1_3_3_1->n626_a_dick_1952__1_3_3_1_1 n626_a_dick_1952__1_3_3_2_1 N n626_a_dick_1952__1_3_3_2->n626_a_dick_1952__1_3_3_2_1 n626_a_dick_1952__1_3_3_2_2 NS n626_a_dick_1952__1_3_3_2->n626_a_dick_1952__1_3_3_2_2 n626_a_dick_1952__1_3_3_2_1->n626_a_dick_1952__1_3_3_2_1_1 n626_a_dick_1952__1_3_3_2_2->n626_a_dick_1952__1_3_3_2_2_1 n626_a_dick_1952__1_4->n626_a_dick_1952__1_4_1 
( (IP-MAT (NP-SBJ;{CART2} (PRO It;{it}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Ipr_ loaded;{load[with]})
                      (PP-CLR (P-ROLE with;{with})
                              (NP (N wiring;{wiring})
                                  (NS cables;{cable}))))
          (PUNC .))
  (ID 626_a_dick_1952))


%3 r_0626_0003__loaded_r_0626_0004__with loaded with z_0626_5003___star_ * r_0626_0003__loaded_r_0626_0004__with->z_0626_5003___star_ [arg0] r_0626_0005__wiring_r_0626_0006__cables wiring cables r_0626_0003__loaded_r_0626_0004__with->r_0626_0005__wiring_r_0626_0006__cables [arg1] r_0626_0001__It It r_0626_0003__loaded_r_0626_0004__with->r_0626_0001__It [arg2] r_0626_0002__was was r_0626_0002__was->r_0626_0003__loaded_r_0626_0004__with [scope] 
arc(r_0626_0002__was,r_0626_0003__loaded_r_0626_0004__with,scope).
arc(r_0626_0003__loaded_r_0626_0004__with,r_0626_0001__It,arg2).
arc(r_0626_0003__loaded_r_0626_0004__with,r_0626_0005__wiring_r_0626_0006__cables,arg1).
arc(r_0626_0003__loaded_r_0626_0004__with,z_0626_5003___star_,arg0).


%3 r_0626_0002__was_r_0626_0003__loaded_r_0626_0004__with was loaded with r_0626_0001__It It r_0626_0002__was_r_0626_0003__loaded_r_0626_0004__with->r_0626_0001__It [arg2] r_0626_0005__wiring_r_0626_0006__cables wiring cables r_0626_0002__was_r_0626_0003__loaded_r_0626_0004__with->r_0626_0005__wiring_r_0626_0006__cables [arg1] z_0626_5003___star_ * r_0626_0002__was_r_0626_0003__loaded_r_0626_0004__with->z_0626_5003___star_ [arg0] 
fof(formula,axiom,
    ? [R_0626_0001__IT,R_0626_0005__WIRING_R_0626_0006__CABLES,Z_0626_5003___STAR_,R_0626_0002__WAS_R_0626_0003__LOADED_R_0626_0004__WITH] :
      ( r_0626_0001__It(R_0626_0001__IT)
      & r_0626_0005__wiring_r_0626_0006__cables(R_0626_0005__WIRING_R_0626_0006__CABLES)
      & z_0626_5003___star_(Z_0626_5003___STAR_)
      & r_0626_0002__was_r_0626_0003__loaded_r_0626_0004__with(R_0626_0002__WAS_R_0626_0003__LOADED_R_0626_0004__WITH)
      & has_arg0(R_0626_0002__WAS_R_0626_0003__LOADED_R_0626_0004__WITH,Z_0626_5003___STAR_)
      & has_arg1(R_0626_0002__WAS_R_0626_0003__LOADED_R_0626_0004__WITH,R_0626_0005__WIRING_R_0626_0006__CABLES)
      & has_arg2(R_0626_0002__WAS_R_0626_0003__LOADED_R_0626_0004__WITH,R_0626_0001__IT) ) ).