104_a_loosechange
Laylor called something after 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))
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__nim).
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__nim(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) ) ).