104_a_loosechange
Laylor called something after him.
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).
fof(formula,axiom,
? [R_104_2_CALLED,R_104_1_LAYLOR,R_104_3_SOMETHING,R_104_5_HIM] :
( laylor(R_104_1_LAYLOR)
& something(R_104_3_SOMETHING)
& him(R_104_5_HIM)
& called(R_104_2_CALLED,R_104_1_LAYLOR,R_104_3_SOMETHING)
& after_nim13(R_104_2_CALLED,R_104_5_HIM) ) ).
( (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))