Context                Previous, Next                Top


626_a_dick_1952
It was loaded with wiring cables.

%3 r_0626_0002__was was r_0626_0003__loaded loaded r_0626_0002__was->r_0626_0003__loaded [scope] r_0626_0001__It It r_0626_0003__loaded->r_0626_0001__It [arg1] r_0626_0005__wiring_r_0626_0006__cables wiring cables r_0626_0003__loaded->r_0626_0005__wiring_r_0626_0006__cables with [clr] z_000_626_a_dick_1952_8 r_0626_0003__loaded->z_000_626_a_dick_1952_8 [arg0] 
arc(r_0626_0002__was, r_0626_0003__loaded, scope).
arc(r_0626_0003__loaded, r_0626_0001__It, arg1).
arc(r_0626_0003__loaded, r_0626_0005__wiring_r_0626_0006__cables, r_0626_0004__with_clr15).
arc(r_0626_0003__loaded, z_000_626_a_dick_1952_8, arg0).


%3 r_0626_0002__was_r_0626_0003__loaded was loaded z_000_626_a_dick_1952_8 r_0626_0002__was_r_0626_0003__loaded->z_000_626_a_dick_1952_8 [arg0] r_0626_0005__wiring_r_0626_0006__cables wiring cables r_0626_0002__was_r_0626_0003__loaded->r_0626_0005__wiring_r_0626_0006__cables with [clr] r_0626_0001__It It r_0626_0002__was_r_0626_0003__loaded->r_0626_0001__It [arg1] 
fof(formula,axiom,
    ? [R_0626_0001__IT,R_0626_0005__WIRING_R_0626_0006__CABLES,Z_000_626_A_DICK_1952_8,R_0626_0002__WAS_R_0626_0003__LOADED] :
      ( 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_000_626_a_dick_1952_8(Z_000_626_A_DICK_1952_8)
      & r_0626_0002__was_r_0626_0003__loaded(R_0626_0002__WAS_R_0626_0003__LOADED)
      & has_arg0(R_0626_0002__WAS_R_0626_0003__LOADED,Z_000_626_A_DICK_1952_8)
      & has_r_0626_0004__with_clr15(R_0626_0002__WAS_R_0626_0003__LOADED,R_0626_0005__WIRING_R_0626_0006__CABLES)
      & has_arg1(R_0626_0002__WAS_R_0626_0003__LOADED,R_0626_0001__IT) ) ).


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))