Context                Previous, Next                Top


326_a_dick_1952
They stared at him.

n326_a_dick_1952 n326_a_dick_1952__1_1_1_1 They n326_a_dick_1952__1_2_1 stared n326_a_dick_1952__1_3_1_1 at n326_a_dick_1952__1_3_2_1_1 him n326_a_dick_1952__1_4_1 . n326_a_dick_1952__1 IP-MAT n326_a_dick_1952__1_1 NP-SBJ n326_a_dick_1952__1->n326_a_dick_1952__1_1 n326_a_dick_1952__1_2 VBD;_Ipr_ n326_a_dick_1952__1->n326_a_dick_1952__1_2 n326_a_dick_1952__1_3 PP-CLR n326_a_dick_1952__1->n326_a_dick_1952__1_3 n326_a_dick_1952__1_4 PUNC n326_a_dick_1952__1->n326_a_dick_1952__1_4 n326_a_dick_1952__1_1_1 PRO n326_a_dick_1952__1_1->n326_a_dick_1952__1_1_1 n326_a_dick_1952__1_1_1->n326_a_dick_1952__1_1_1_1 n326_a_dick_1952__1_2->n326_a_dick_1952__1_2_1 n326_a_dick_1952__1_3_1 P-ROLE n326_a_dick_1952__1_3->n326_a_dick_1952__1_3_1 n326_a_dick_1952__1_3_2 NP n326_a_dick_1952__1_3->n326_a_dick_1952__1_3_2 n326_a_dick_1952__1_3_1->n326_a_dick_1952__1_3_1_1 n326_a_dick_1952__1_3_2_1 PRO n326_a_dick_1952__1_3_2->n326_a_dick_1952__1_3_2_1 n326_a_dick_1952__1_3_2_1->n326_a_dick_1952__1_3_2_1_1 n326_a_dick_1952__1_4->n326_a_dick_1952__1_4_1 
( (IP-MAT (NP-SBJ;{NASHA+TANCE} (PRO They;{they}))
          (VBD;_Ipr_ stared;{stare[at]})
          (PP-CLR (P-ROLE at;{at})
                  (NP;{DORLE} (PRO him;{he})))
          (PUNC .))
  (ID 326_a_dick_1952))


%3 r_0326_0002__stared_r_0326_0003__at stared at r_0326_0004__him him r_0326_0002__stared_r_0326_0003__at->r_0326_0004__him [arg1] r_0326_0001__They They r_0326_0002__stared_r_0326_0003__at->r_0326_0001__They [arg0] 
arc(r_0326_0002__stared_r_0326_0003__at,r_0326_0001__They,arg0).
arc(r_0326_0002__stared_r_0326_0003__at,r_0326_0004__him,arg1).


%3 r_0326_0002__stared_r_0326_0003__at stared at r_0326_0001__They They r_0326_0002__stared_r_0326_0003__at->r_0326_0001__They [arg0] r_0326_0004__him him r_0326_0002__stared_r_0326_0003__at->r_0326_0004__him [arg1] 
fof(formula,axiom,
    ? [R_0326_0001__THEY,R_0326_0004__HIM,R_0326_0002__STARED_R_0326_0003__AT] :
      ( r_0326_0001__They(R_0326_0001__THEY)
      & r_0326_0004__him(R_0326_0004__HIM)
      & r_0326_0002__stared_r_0326_0003__at(R_0326_0002__STARED_R_0326_0003__AT)
      & has_arg1(R_0326_0002__STARED_R_0326_0003__AT,R_0326_0004__HIM)
      & has_arg0(R_0326_0002__STARED_R_0326_0003__AT,R_0326_0001__THEY) ) ).