Context                Previous, Next                Top


104_a_loosechange
Laylor called something after him.

%3 r_0104_0002__called called r_0104_0001__Laylor Laylor r_0104_0002__called->r_0104_0001__Laylor [arg0] r_0104_0003__something something r_0104_0002__called->r_0104_0003__something [arg1] r_0104_0005__him him r_0104_0002__called->r_0104_0005__him after [nim] 
arc(r_0104_0002__called, r_0104_0001__Laylor, arg0).
arc(r_0104_0002__called, r_0104_0003__something, arg1).
arc(r_0104_0002__called, r_0104_0005__him, r_0104_0004__after_nim13).


%3 r_0104_0002__called called r_0104_0005__him him r_0104_0002__called->r_0104_0005__him after [nim] r_0104_0003__something something r_0104_0002__called->r_0104_0003__something [arg1] r_0104_0001__Laylor Laylor r_0104_0002__called->r_0104_0001__Laylor [arg0] 
fof(formula,axiom,
    ? [R_0104_0001__LAYLOR,R_0104_0003__SOMETHING,R_0104_0005__HIM,R_0104_0002__CALLED] :
      ( r_0104_0001__Laylor(R_0104_0001__LAYLOR)
      & r_0104_0003__something(R_0104_0003__SOMETHING)
      & r_0104_0005__him(R_0104_0005__HIM)
      & r_0104_0002__called(R_0104_0002__CALLED)
      & has_r_0104_0004__after_nim13(R_0104_0002__CALLED,R_0104_0005__HIM)
      & has_arg1(R_0104_0002__CALLED,R_0104_0003__SOMETHING)
      & has_arg0(R_0104_0002__CALLED,R_0104_0001__LAYLOR) ) ).


n104_a_loosechange n104_a_loosechange__1_1_1_1 Laylor n104_a_loosechange__1_2_1 called n104_a_loosechange__1_3_1_1 something n104_a_loosechange__1_4_1_1 after n104_a_loosechange__1_4_2_1_1 him n104_a_loosechange__1_5_1 . n104_a_loosechange__1 IP-MAT n104_a_loosechange__1_1 NP-SBJ n104_a_loosechange__1->n104_a_loosechange__1_1 n104_a_loosechange__1_2 VBD;_Tn_ n104_a_loosechange__1->n104_a_loosechange__1_2 n104_a_loosechange__1_3 NP-OB1 n104_a_loosechange__1->n104_a_loosechange__1_3 n104_a_loosechange__1_4 PP-NIM n104_a_loosechange__1->n104_a_loosechange__1_4 n104_a_loosechange__1_5 PUNC n104_a_loosechange__1->n104_a_loosechange__1_5 n104_a_loosechange__1_1_1 NPR n104_a_loosechange__1_1->n104_a_loosechange__1_1_1 n104_a_loosechange__1_1_1->n104_a_loosechange__1_1_1_1 n104_a_loosechange__1_2->n104_a_loosechange__1_2_1 n104_a_loosechange__1_3_1 D;_nphd_ n104_a_loosechange__1_3->n104_a_loosechange__1_3_1 n104_a_loosechange__1_3_1->n104_a_loosechange__1_3_1_1 n104_a_loosechange__1_4_1 P-ROLE n104_a_loosechange__1_4->n104_a_loosechange__1_4_1 n104_a_loosechange__1_4_2 NP n104_a_loosechange__1_4->n104_a_loosechange__1_4_2 n104_a_loosechange__1_4_1->n104_a_loosechange__1_4_1_1 n104_a_loosechange__1_4_2_1 PRO n104_a_loosechange__1_4_2->n104_a_loosechange__1_4_2_1 n104_a_loosechange__1_4_2_1->n104_a_loosechange__1_4_2_1_1 n104_a_loosechange__1_5->n104_a_loosechange__1_5_1 
( (IP-MAT (NP-SBJ;{LAYLOR} (NPR Laylor;{Laylor}))
          (VBD;_Tn_ called;{call})
          (NP-OB1 (D;_nphd_ something;{something}))
          (PP-NIM (P-ROLE after;{after})
                  (NP;{BROTHER} (PRO him;{he})))
          (PUNC .))
  (ID 104_a_loosechange))