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_13_2_LOOKED_FORWARD,R_13_1_HE,R_13_5_MEETING,Z_13_A_LOB_N01_12,R_13_6_HER] :
( he(R_13_1_HE)
& her(R_13_6_HER)
& looked_forward(R_13_2_LOOKED_FORWARD,R_13_1_HE)
& to_clr12(R_13_2_LOOKED_FORWARD,R_13_5_MEETING)
& meeting(R_13_5_MEETING,Z_13_A_LOB_N01_12,R_13_6_HER) ) ).
( (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))