Context                Previous, Next                Top


465_a_dick_1952
They came around him.

%3 r_0465_0002__came came r_0465_0001__They They r_0465_0002__came->r_0465_0001__They [arg0] r_0465_0004__him him r_0465_0002__came->r_0465_0004__him around [nim] 
arc(r_0465_0002__came, r_0465_0001__They, arg0).
arc(r_0465_0002__came, r_0465_0004__him, r_0465_0003__around_nim10).


%3 r_0465_0002__came came r_0465_0004__him him r_0465_0002__came->r_0465_0004__him around [nim] r_0465_0001__They They r_0465_0002__came->r_0465_0001__They [arg0] 
fof(formula,axiom,
    ? [R_465_2_CAME,R_465_1_THEY,R_465_4_HIM] :
      ( they(R_465_1_THEY)
      & him(R_465_4_HIM)
      & came(R_465_2_CAME,R_465_1_THEY)
      & around_nim10(R_465_2_CAME,R_465_4_HIM) ) ).


n465_a_dick_1952 n465_a_dick_1952__1_1_1_1 They n465_a_dick_1952__1_2_1 came n465_a_dick_1952__1_3_1_1 around n465_a_dick_1952__1_3_2_1_1 him n465_a_dick_1952__1_4_1 . n465_a_dick_1952__1 IP-MAT n465_a_dick_1952__1_1 NP-SBJ n465_a_dick_1952__1->n465_a_dick_1952__1_1 n465_a_dick_1952__1_2 VBD;_I_ n465_a_dick_1952__1->n465_a_dick_1952__1_2 n465_a_dick_1952__1_3 PP-NIM n465_a_dick_1952__1->n465_a_dick_1952__1_3 n465_a_dick_1952__1_4 PUNC n465_a_dick_1952__1->n465_a_dick_1952__1_4 n465_a_dick_1952__1_1_1 PRO n465_a_dick_1952__1_1->n465_a_dick_1952__1_1_1 n465_a_dick_1952__1_1_1->n465_a_dick_1952__1_1_1_1 n465_a_dick_1952__1_2->n465_a_dick_1952__1_2_1 n465_a_dick_1952__1_3_1 P-ROLE n465_a_dick_1952__1_3->n465_a_dick_1952__1_3_1 n465_a_dick_1952__1_3_2 NP n465_a_dick_1952__1_3->n465_a_dick_1952__1_3_2 n465_a_dick_1952__1_3_1->n465_a_dick_1952__1_3_1_1 n465_a_dick_1952__1_3_2_1 PRO n465_a_dick_1952__1_3_2->n465_a_dick_1952__1_3_2_1 n465_a_dick_1952__1_3_2_1->n465_a_dick_1952__1_3_2_1_1 n465_a_dick_1952__1_4->n465_a_dick_1952__1_4_1 
( (IP-MAT (NP-SBJ;{DORLE_NASHA} (PRO They;{they}))
          (VBD;_I_ came;{come})
          (PP-NIM (P-ROLE around;{around})
                  (NP;{TANCE} (PRO him;{he})))
          (PUNC .))
  (ID 465_a_dick_1952))