13_a_lob_n01
He looked forward to meeting her.
arc(r_0013_0002__looked_r_0013_0003__forward, r_0013_0001__He, arg0).
arc(r_0013_0002__looked_r_0013_0003__forward, r_0013_0005__meeting, r_0013_0004__to_clr12).
arc(r_0013_0005__meeting, r_0013_0006__her, arg1).
arc(r_0013_0005__meeting, z_000_13_a_lob_n01_12, arg0).
fof(formula,axiom,
? [R_0013_0001__HE,R_0013_0006__HER,Z_000_13_A_LOB_N01_12,R_0013_0005__MEETING,R_0013_0002__LOOKED_R_0013_0003__FORWARD] :
( r_0013_0001__He(R_0013_0001__HE)
& r_0013_0006__her(R_0013_0006__HER)
& z_000_13_a_lob_n01_12(Z_000_13_A_LOB_N01_12)
& r_0013_0002__looked_r_0013_0003__forward(R_0013_0002__LOOKED_R_0013_0003__FORWARD)
& has_r_0013_0004__to_clr12(R_0013_0002__LOOKED_R_0013_0003__FORWARD,R_0013_0005__MEETING)
& r_0013_0005__meeting(R_0013_0005__MEETING)
& has_arg0(R_0013_0005__MEETING,Z_000_13_A_LOB_N01_12)
& has_arg1(R_0013_0005__MEETING,R_0013_0006__HER)
& has_arg0(R_0013_0002__LOOKED_R_0013_0003__FORWARD,R_0013_0001__HE) ) ).
( (IP-MAT (NP-SBJ;{ALASTAIR} (PRO He;{he}))
(VBD;_phr_Vp.pr_ looked;{look[forward,to]})
(RP forward;{forward})
(PP-CLR (P-ROLE to;{to})
(IP-PPL (VAG;_Tn_ meeting;{meet})
(NP-OB1;{GLORIA} (PRO her;{her}))))
(PUNC .))
(ID 13_a_lob_n01))