Context                Previous, Next                Top


620_a_dick_1952
Gears turned, belts whined.

%3 r_0620_0002__turned turned r_0620_0001__Gears Gears r_0620_0002__turned->r_0620_0001__Gears [arg0] r_0620_0005__whined whined r_0620_0004__belts belts r_0620_0005__whined->r_0620_0004__belts [arg0] z_000_620_a_dick_1952_2 z_000_620_a_dick_1952_2->r_0620_0002__turned [conj1] z_000_620_a_dick_1952_2->r_0620_0005__whined [conj2] 
arc(r_0620_0002__turned, r_0620_0001__Gears, arg0).
arc(r_0620_0005__whined, r_0620_0004__belts, arg0).
arc(z_000_620_a_dick_1952_2, r_0620_0002__turned, conj1).
arc(z_000_620_a_dick_1952_2, r_0620_0005__whined, conj2).


%3 z_000_620_a_dick_1952_2 r_0620_0005__whined whined z_000_620_a_dick_1952_2->r_0620_0005__whined [conj2] r_0620_0002__turned turned z_000_620_a_dick_1952_2->r_0620_0002__turned [conj1] r_0620_0004__belts belts r_0620_0005__whined->r_0620_0004__belts [arg0] r_0620_0001__Gears Gears r_0620_0002__turned->r_0620_0001__Gears [arg0] 
fof(formula,axiom,
    ? [Z_620_A_DICK_1952_2,R_620_2_TURNED,R_620_1_GEARS,R_620_5_WHINED,R_620_4_BELTS] :
      ( gears(R_620_1_GEARS)
      & belts(R_620_4_BELTS)
      & z_620_a_dick_1952_2(Z_620_A_DICK_1952_2)
      & conj1(Z_620_A_DICK_1952_2,R_620_2_TURNED)
      & turned(R_620_2_TURNED,R_620_1_GEARS)
      & conj2(Z_620_A_DICK_1952_2,R_620_5_WHINED)
      & whined(R_620_5_WHINED,R_620_4_BELTS) ) ).


n620_a_dick_1952 n620_a_dick_1952__1_1_1_1_1_1 Gears n620_a_dick_1952__1_1_1_2_1 turned n620_a_dick_1952__1_1_2_1 , n620_a_dick_1952__1_1_3_1_1_1_1 belts n620_a_dick_1952__1_1_3_1_2_1 whined n620_a_dick_1952__1_2_1 . n620_a_dick_1952__1 IP-MAT n620_a_dick_1952__1_1 ILYR n620_a_dick_1952__1->n620_a_dick_1952__1_1 n620_a_dick_1952__1_2 PUNC n620_a_dick_1952__1->n620_a_dick_1952__1_2 n620_a_dick_1952__1_1_1 ILYR n620_a_dick_1952__1_1->n620_a_dick_1952__1_1_1 n620_a_dick_1952__1_1_2 PUNC n620_a_dick_1952__1_1->n620_a_dick_1952__1_1_2 n620_a_dick_1952__1_1_3 CONJP n620_a_dick_1952__1_1->n620_a_dick_1952__1_1_3 n620_a_dick_1952__1_1_1_1 NP-SBJ n620_a_dick_1952__1_1_1->n620_a_dick_1952__1_1_1_1 n620_a_dick_1952__1_1_1_2 VBD;_I_ n620_a_dick_1952__1_1_1->n620_a_dick_1952__1_1_1_2 n620_a_dick_1952__1_1_1_1_1 NS n620_a_dick_1952__1_1_1_1->n620_a_dick_1952__1_1_1_1_1 n620_a_dick_1952__1_1_1_1_1->n620_a_dick_1952__1_1_1_1_1_1 n620_a_dick_1952__1_1_1_2->n620_a_dick_1952__1_1_1_2_1 n620_a_dick_1952__1_1_2->n620_a_dick_1952__1_1_2_1 n620_a_dick_1952__1_1_3_1 ILYR n620_a_dick_1952__1_1_3->n620_a_dick_1952__1_1_3_1 n620_a_dick_1952__1_1_3_1_1 NP-SBJ n620_a_dick_1952__1_1_3_1->n620_a_dick_1952__1_1_3_1_1 n620_a_dick_1952__1_1_3_1_2 VBD;_I_ n620_a_dick_1952__1_1_3_1->n620_a_dick_1952__1_1_3_1_2 n620_a_dick_1952__1_1_3_1_1_1 NS n620_a_dick_1952__1_1_3_1_1->n620_a_dick_1952__1_1_3_1_1_1 n620_a_dick_1952__1_1_3_1_1_1->n620_a_dick_1952__1_1_3_1_1_1_1 n620_a_dick_1952__1_1_3_1_2->n620_a_dick_1952__1_1_3_1_2_1 n620_a_dick_1952__1_2->n620_a_dick_1952__1_2_1 
( (IP-MAT (ILYR (ILYR (NP-SBJ (NS Gears;{gear}))
                      (VBD;_I_ turned;{turn}))
                (PUNC ,)
                (CONJP (ILYR (NP-SBJ (NS belts;{belt}))
                             (VBD;_I_ whined;{whine}))))
          (PUNC .))
  (ID 620_a_dick_1952))