Context                Previous, Next                Top


13_a_lob_n01
He looked forward to meeting her.

n13_a_lob_n01 n13_a_lob_n01__1_1_1_1 He n13_a_lob_n01__1_2_1 looked n13_a_lob_n01__1_3_1 forward n13_a_lob_n01__1_4_1_1 to n13_a_lob_n01__1_4_2_1_1 meeting n13_a_lob_n01__1_4_2_2_1_1 her n13_a_lob_n01__1_5_1 . n13_a_lob_n01__1 IP-MAT n13_a_lob_n01__1_1 NP-SBJ n13_a_lob_n01__1->n13_a_lob_n01__1_1 n13_a_lob_n01__1_2 VBD;_phr_Vp.pr_ n13_a_lob_n01__1->n13_a_lob_n01__1_2 n13_a_lob_n01__1_3 RP n13_a_lob_n01__1->n13_a_lob_n01__1_3 n13_a_lob_n01__1_4 PP-CLR n13_a_lob_n01__1->n13_a_lob_n01__1_4 n13_a_lob_n01__1_5 PUNC n13_a_lob_n01__1->n13_a_lob_n01__1_5 n13_a_lob_n01__1_1_1 PRO n13_a_lob_n01__1_1->n13_a_lob_n01__1_1_1 n13_a_lob_n01__1_1_1->n13_a_lob_n01__1_1_1_1 n13_a_lob_n01__1_2->n13_a_lob_n01__1_2_1 n13_a_lob_n01__1_3->n13_a_lob_n01__1_3_1 n13_a_lob_n01__1_4_1 P-ROLE n13_a_lob_n01__1_4->n13_a_lob_n01__1_4_1 n13_a_lob_n01__1_4_2 IP-PPL n13_a_lob_n01__1_4->n13_a_lob_n01__1_4_2 n13_a_lob_n01__1_4_1->n13_a_lob_n01__1_4_1_1 n13_a_lob_n01__1_4_2_1 VAG;_Tn_ n13_a_lob_n01__1_4_2->n13_a_lob_n01__1_4_2_1 n13_a_lob_n01__1_4_2_2 NP-OB1 n13_a_lob_n01__1_4_2->n13_a_lob_n01__1_4_2_2 n13_a_lob_n01__1_4_2_1->n13_a_lob_n01__1_4_2_1_1 n13_a_lob_n01__1_4_2_2_1 PRO n13_a_lob_n01__1_4_2_2->n13_a_lob_n01__1_4_2_2_1 n13_a_lob_n01__1_4_2_2_1->n13_a_lob_n01__1_4_2_2_1_1 n13_a_lob_n01__1_5->n13_a_lob_n01__1_5_1 
( (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))


%3 r_0013_0005__meeting meeting r_0013_0006__her her r_0013_0005__meeting->r_0013_0006__her [arg1] r_0013_0001__He He r_0013_0005__meeting->r_0013_0001__He [arg0] r_0013_0002__looked_r_0013_0003__forward looked forward r_0013_0002__looked_r_0013_0003__forward->r_0013_0005__meeting to [clr] r_0013_0002__looked_r_0013_0003__forward->r_0013_0001__He [arg0] 
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__clr).
arc(r_0013_0005__meeting,r_0013_0001__He,arg0).
arc(r_0013_0005__meeting,r_0013_0006__her,arg1).


%3 r_0013_0002__looked_r_0013_0003__forward looked forward r_0013_0001__He He r_0013_0002__looked_r_0013_0003__forward->r_0013_0001__He [arg0] r_0013_0005__meeting meeting r_0013_0002__looked_r_0013_0003__forward->r_0013_0005__meeting to [clr] r_0013_0005__meeting->r_0013_0001__He [arg0] r_0013_0006__her her r_0013_0005__meeting->r_0013_0006__her [arg1] 
fof(formula,axiom,
    ? [R_0013_0001__HE,R_0013_0006__HER,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)
      & r_0013_0002__looked_r_0013_0003__forward(R_0013_0002__LOOKED_R_0013_0003__FORWARD)
      & has_r_0013_0004__to__clr(R_0013_0002__LOOKED_R_0013_0003__FORWARD,R_0013_0005__MEETING)
      & r_0013_0005__meeting(R_0013_0005__MEETING)
      & has_arg1(R_0013_0005__MEETING,R_0013_0006__HER)
      & has_arg0(R_0013_0005__MEETING,R_0013_0001__HE)
      & has_arg0(R_0013_0002__LOOKED_R_0013_0003__FORWARD,R_0013_0001__HE) ) ).