Context                Previous, Next                Top


569_a_dick_1952
The gun was smashed, the great weapon destroyed.

%3 r_0569_0003__was was r_0569_0004__smashed smashed r_0569_0003__was->r_0569_0004__smashed [scope] r_0569_0001__The_r_0569_0002__gun The gun r_0569_0004__smashed->r_0569_0001__The_r_0569_0002__gun [arg1] z_000_569_a_dick_1952_10 r_0569_0004__smashed->z_000_569_a_dick_1952_10 [arg0] r_0569_0006__the_r_0569_0008__weapon the weapon r_0569_0007__great great r_0569_0006__the_r_0569_0008__weapon->r_0569_0007__great [attrib] r_0569_0009__destroyed destroyed r_0569_0009__destroyed->r_0569_0006__the_r_0569_0008__weapon [arg1] z_000_569_a_dick_1952_26 r_0569_0009__destroyed->z_000_569_a_dick_1952_26 [arg0] z_000_569_a_dick_1952_16 z_000_569_a_dick_1952_16->r_0569_0003__was [scope] z_000_569_a_dick_1952_16->r_0569_0009__destroyed [restriction] 
arc(r_0569_0003__was, r_0569_0004__smashed, scope).
arc(r_0569_0004__smashed, r_0569_0001__The_r_0569_0002__gun, arg1).
arc(r_0569_0004__smashed, z_000_569_a_dick_1952_10, arg0).
arc(r_0569_0006__the_r_0569_0008__weapon, r_0569_0007__great, attrib21).
arc(r_0569_0009__destroyed, r_0569_0006__the_r_0569_0008__weapon, arg1).
arc(r_0569_0009__destroyed, z_000_569_a_dick_1952_26, arg0).
arc(z_000_569_a_dick_1952_16, r_0569_0003__was, scope).
arc(z_000_569_a_dick_1952_16, r_0569_0009__destroyed, restriction).


%3 z_000_569_a_dick_1952_16 r_0569_0009__destroyed destroyed z_000_569_a_dick_1952_16->r_0569_0009__destroyed [conj1] r_0569_0003__was_r_0569_0004__smashed was smashed z_000_569_a_dick_1952_16->r_0569_0003__was_r_0569_0004__smashed [conj2] z_000_569_a_dick_1952_26 r_0569_0009__destroyed->z_000_569_a_dick_1952_26 [arg0] r_0569_0006__the_r_0569_0008__weapon the weapon r_0569_0009__destroyed->r_0569_0006__the_r_0569_0008__weapon [arg1] z_000_569_a_dick_1952_10 r_0569_0003__was_r_0569_0004__smashed->z_000_569_a_dick_1952_10 [arg0] r_0569_0001__The_r_0569_0002__gun The gun r_0569_0003__was_r_0569_0004__smashed->r_0569_0001__The_r_0569_0002__gun [arg1] r_0569_0007__great great r_0569_0006__the_r_0569_0008__weapon->r_0569_0007__great [attrib] 
fof(formula,axiom,
    ? [R_0569_0001__THE_R_0569_0002__GUN,Z_000_569_A_DICK_1952_10,R_0569_0003__WAS_R_0569_0004__SMASHED,R_0569_0007__GREAT,R_0569_0006__THE_R_0569_0008__WEAPON,Z_000_569_A_DICK_1952_26,R_0569_0009__DESTROYED,Z_000_569_A_DICK_1952_16] :
      ( r_0569_0001__The_r_0569_0002__gun(R_0569_0001__THE_R_0569_0002__GUN)
      & r_0569_0007__great(R_0569_0007__GREAT)
      & z_000_569_a_dick_1952_10(Z_000_569_A_DICK_1952_10)
      & z_000_569_a_dick_1952_26(Z_000_569_A_DICK_1952_26)
      & z_000_569_a_dick_1952_16(Z_000_569_A_DICK_1952_16)
      & has_conj1(Z_000_569_A_DICK_1952_16,R_0569_0009__DESTROYED)
      & r_0569_0009__destroyed(R_0569_0009__DESTROYED)
      & has_arg0(R_0569_0009__DESTROYED,Z_000_569_A_DICK_1952_26)
      & has_arg1(R_0569_0009__DESTROYED,R_0569_0006__THE_R_0569_0008__WEAPON)
      & r_0569_0006__the_r_0569_0008__weapon(R_0569_0006__THE_R_0569_0008__WEAPON)
      & has_attrib21(R_0569_0006__THE_R_0569_0008__WEAPON,R_0569_0007__GREAT)
      & has_conj2(Z_000_569_A_DICK_1952_16,R_0569_0003__WAS_R_0569_0004__SMASHED)
      & r_0569_0003__was_r_0569_0004__smashed(R_0569_0003__WAS_R_0569_0004__SMASHED)
      & has_arg0(R_0569_0003__WAS_R_0569_0004__SMASHED,Z_000_569_A_DICK_1952_10)
      & has_arg1(R_0569_0003__WAS_R_0569_0004__SMASHED,R_0569_0001__THE_R_0569_0002__GUN) ) ).


n569_a_dick_1952 n569_a_dick_1952__1_1_1_1 The n569_a_dick_1952__1_1_2_1 gun n569_a_dick_1952__1_2_1 was n569_a_dick_1952__1_3_1_1 * n569_a_dick_1952__1_3_2_1 smashed n569_a_dick_1952__1_4_1 , n569_a_dick_1952__1_5_1_1_1_1 the n569_a_dick_1952__1_5_1_1_2_1_1 great n569_a_dick_1952__1_5_1_1_3_1 weapon n569_a_dick_1952__1_5_1_2_1 * n569_a_dick_1952__1_5_1_3_1 destroyed n569_a_dick_1952__1_6_1 . n569_a_dick_1952__1 IP-MAT n569_a_dick_1952__1_1 NP-SBJ n569_a_dick_1952__1->n569_a_dick_1952__1_1 n569_a_dick_1952__1_2 BED;_cat_VePASS_ n569_a_dick_1952__1->n569_a_dick_1952__1_2 n569_a_dick_1952__1_3 IP-PPL-CAT n569_a_dick_1952__1->n569_a_dick_1952__1_3 n569_a_dick_1952__1_4 PUNC n569_a_dick_1952__1->n569_a_dick_1952__1_4 n569_a_dick_1952__1_5 PP-SCON n569_a_dick_1952__1->n569_a_dick_1952__1_5 n569_a_dick_1952__1_6 PUNC n569_a_dick_1952__1->n569_a_dick_1952__1_6 n569_a_dick_1952__1_1_1 D n569_a_dick_1952__1_1->n569_a_dick_1952__1_1_1 n569_a_dick_1952__1_1_2 N n569_a_dick_1952__1_1->n569_a_dick_1952__1_1_2 n569_a_dick_1952__1_1_1->n569_a_dick_1952__1_1_1_1 n569_a_dick_1952__1_1_2->n569_a_dick_1952__1_1_2_1 n569_a_dick_1952__1_2->n569_a_dick_1952__1_2_1 n569_a_dick_1952__1_3_1 NP-LGS n569_a_dick_1952__1_3->n569_a_dick_1952__1_3_1 n569_a_dick_1952__1_3_2 VVN;_Tn_ n569_a_dick_1952__1_3->n569_a_dick_1952__1_3_2 n569_a_dick_1952__1_3_1->n569_a_dick_1952__1_3_1_1 n569_a_dick_1952__1_3_2->n569_a_dick_1952__1_3_2_1 n569_a_dick_1952__1_4->n569_a_dick_1952__1_4_1 n569_a_dick_1952__1_5_1 IP-PPL3 n569_a_dick_1952__1_5->n569_a_dick_1952__1_5_1 n569_a_dick_1952__1_5_1_1 NP-SBJ n569_a_dick_1952__1_5_1->n569_a_dick_1952__1_5_1_1 n569_a_dick_1952__1_5_1_2 NP-LGS n569_a_dick_1952__1_5_1->n569_a_dick_1952__1_5_1_2 n569_a_dick_1952__1_5_1_3 VVN;_Tn_ n569_a_dick_1952__1_5_1->n569_a_dick_1952__1_5_1_3 n569_a_dick_1952__1_5_1_1_1 D n569_a_dick_1952__1_5_1_1->n569_a_dick_1952__1_5_1_1_1 n569_a_dick_1952__1_5_1_1_2 ADJP n569_a_dick_1952__1_5_1_1->n569_a_dick_1952__1_5_1_1_2 n569_a_dick_1952__1_5_1_1_3 N n569_a_dick_1952__1_5_1_1->n569_a_dick_1952__1_5_1_1_3 n569_a_dick_1952__1_5_1_1_1->n569_a_dick_1952__1_5_1_1_1_1 n569_a_dick_1952__1_5_1_1_2_1 ADJ n569_a_dick_1952__1_5_1_1_2->n569_a_dick_1952__1_5_1_1_2_1 n569_a_dick_1952__1_5_1_1_2_1->n569_a_dick_1952__1_5_1_1_2_1_1 n569_a_dick_1952__1_5_1_1_3->n569_a_dick_1952__1_5_1_1_3_1 n569_a_dick_1952__1_5_1_2->n569_a_dick_1952__1_5_1_2_1 n569_a_dick_1952__1_5_1_3->n569_a_dick_1952__1_5_1_3_1 n569_a_dick_1952__1_6->n569_a_dick_1952__1_6_1 
( (IP-MAT (NP-SBJ (D The;{the})
                  (N gun;{gun}))
          (BED;_cat_VePASS_ was;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Tn_ smashed;{smash}))
          (PUNC ,)
          (PP-SCON (IP-PPL3 (NP-SBJ (D the;{the})
                                    (ADJP (ADJ great;{great}))
                                    (N weapon;{weapon}))
                            (NP-LGS *)
                            (VVN;_Tn_ destroyed;{destroy})))
          (PUNC .))
  (ID 569_a_dick_1952))