Context                Previous, Next                Top


123_a_dick_1952
They were well aimed, perfectly aimed.

%3 r_0123_0002__were were r_0123_0004__aimed aimed r_0123_0002__were->r_0123_0004__aimed [scope] r_0123_0001__They They r_0123_0004__aimed->r_0123_0001__They [arg1] r_0123_0003__well well r_0123_0004__aimed->r_0123_0003__well [nim] z_000_123_a_dick_1952_8 r_0123_0004__aimed->z_000_123_a_dick_1952_8 [arg0] 
arc(r_0123_0002__were, r_0123_0004__aimed, scope).
arc(r_0123_0004__aimed, r_0123_0001__They, arg1).
arc(r_0123_0004__aimed, r_0123_0003__well, nim10).
arc(r_0123_0004__aimed, z_000_123_a_dick_1952_8, arg0).


%3 r_0123_0002__were_r_0123_0004__aimed were aimed z_000_123_a_dick_1952_8 r_0123_0002__were_r_0123_0004__aimed->z_000_123_a_dick_1952_8 [arg0] r_0123_0003__well well r_0123_0002__were_r_0123_0004__aimed->r_0123_0003__well [nim] r_0123_0001__They They r_0123_0002__were_r_0123_0004__aimed->r_0123_0001__They [arg1] 
fof(formula,axiom,
    ? [R_123_2_WERE_AIMED,Z_123_A_DICK_1952_8,R_123_1_THEY,R_123_3_WELL] :
      ( they(R_123_1_THEY)
      & well(R_123_3_WELL)
      & were_aimed(R_123_2_WERE_AIMED,Z_123_A_DICK_1952_8,R_123_1_THEY)
      & nim10(R_123_2_WERE_AIMED,R_123_3_WELL) ) ).


n123_a_dick_1952 n123_a_dick_1952__1_1_1_1 They n123_a_dick_1952__1_2_1 were n123_a_dick_1952__1_3_1_1 * n123_a_dick_1952__1_3_2_1_1 well n123_a_dick_1952__1_3_3_1 aimed n123_a_dick_1952__1_3_4_1 , n123_a_dick_1952__1_3_5_1_1_1_1 perfectly n123_a_dick_1952__1_3_5_1_2_1 aimed n123_a_dick_1952__1_4_1 . n123_a_dick_1952__1 IP-MAT n123_a_dick_1952__1_1 NP-SBJ n123_a_dick_1952__1->n123_a_dick_1952__1_1 n123_a_dick_1952__1_2 BED;_cat_VePASS_ n123_a_dick_1952__1->n123_a_dick_1952__1_2 n123_a_dick_1952__1_3 IP-PPL-CAT n123_a_dick_1952__1->n123_a_dick_1952__1_3 n123_a_dick_1952__1_4 PUNC n123_a_dick_1952__1->n123_a_dick_1952__1_4 n123_a_dick_1952__1_1_1 PRO n123_a_dick_1952__1_1->n123_a_dick_1952__1_1_1 n123_a_dick_1952__1_1_1->n123_a_dick_1952__1_1_1_1 n123_a_dick_1952__1_2->n123_a_dick_1952__1_2_1 n123_a_dick_1952__1_3_1 NP-LGS n123_a_dick_1952__1_3->n123_a_dick_1952__1_3_1 n123_a_dick_1952__1_3_2 ADVP-NIM n123_a_dick_1952__1_3->n123_a_dick_1952__1_3_2 n123_a_dick_1952__1_3_3 VVN;_Tn_ n123_a_dick_1952__1_3->n123_a_dick_1952__1_3_3 n123_a_dick_1952__1_3_4 PUNC n123_a_dick_1952__1_3->n123_a_dick_1952__1_3_4 n123_a_dick_1952__1_3_5 REP n123_a_dick_1952__1_3->n123_a_dick_1952__1_3_5 n123_a_dick_1952__1_3_1->n123_a_dick_1952__1_3_1_1 n123_a_dick_1952__1_3_2_1 ADV n123_a_dick_1952__1_3_2->n123_a_dick_1952__1_3_2_1 n123_a_dick_1952__1_3_2_1->n123_a_dick_1952__1_3_2_1_1 n123_a_dick_1952__1_3_3->n123_a_dick_1952__1_3_3_1 n123_a_dick_1952__1_3_4->n123_a_dick_1952__1_3_4_1 n123_a_dick_1952__1_3_5_1 ILYR n123_a_dick_1952__1_3_5->n123_a_dick_1952__1_3_5_1 n123_a_dick_1952__1_3_5_1_1 ADVP-NIM n123_a_dick_1952__1_3_5_1->n123_a_dick_1952__1_3_5_1_1 n123_a_dick_1952__1_3_5_1_2 VVN;_Tn_ n123_a_dick_1952__1_3_5_1->n123_a_dick_1952__1_3_5_1_2 n123_a_dick_1952__1_3_5_1_1_1 ADV n123_a_dick_1952__1_3_5_1_1->n123_a_dick_1952__1_3_5_1_1_1 n123_a_dick_1952__1_3_5_1_1_1->n123_a_dick_1952__1_3_5_1_1_1_1 n123_a_dick_1952__1_3_5_1_2->n123_a_dick_1952__1_3_5_1_2_1 n123_a_dick_1952__1_4->n123_a_dick_1952__1_4_1 
( (IP-MAT (NP-SBJ;{SHELL1_SHELL2} (PRO They;{they}))
          (BED;_cat_VePASS_ were;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (ADVP-NIM (ADV well;{well}))
                      (VVN;_Tn_ aimed;{aim})
                      (PUNC ,)
                      (REP (ILYR (ADVP-NIM (ADV perfectly;{perfectly}))
                                 (VVN;_Tn_ aimed;{aim}))))
          (PUNC .))
  (ID 123_a_dick_1952))