10_a_fce_0100_2001_06
I need to know which hotel the group has been booked into, and the best way to get from there to the conference.
( (IP-MAT (NP-SBJ;{SMITH} (PRO I;{I}))
(VBP;_Tt_ need;{need})
(IP-INF-OB1 (TO to;{to})
(VB;_Tn_ know;{know})
(NP-OB1 (NLYR (NLYR (IP-REL (NP-161 (RD which;{which})
(N hotel;{hotel}))
(NP-SBJ (D the;{the})
(N group;{group}))
(HVP;_cat_Ve_ has;{have})
(IP-PPL-CAT (BEN;_cat_VePASS_ been;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_phr_Vn.pr_ booked;{book[into]})
(PP-CLR (P-ROLE into;{into})
(NP *ICH*-161))))))
(PUNC ,)
(CONJP (CONJ and;{and})
(NLYR (D the;{the})
(ADJP (ADJS best;{good}))
(N way;{way})
(IP-INF (TO to;{to})
(VB;_Ipr_ get;{get[to]})
(PP-NIM (P-ROLE from;{from})
(ADVP (ADV there;{there})))
(PP-CLR (P-ROLE to;{to})
(NP (D the;{the})
(N conference;{conference})))))))))
(PUNC .))
(ID 10_a_fce_0100_2001_06))
arc(r_0010_0002__need,r_0010_0001__I,arg0).
arc(r_0010_0002__need,r_0010_0004__know,arg1).
arc(r_0010_0004__know,r_0010_0001__I,arg0).
arc(r_0010_0004__know,r_0010_0014__and,arg1).
arc(r_0010_0009__has,r_0010_0010__been,scope).
arc(r_0010_0010__been,r_0010_0011__booked,scope).
arc(r_0010_0011__booked,r_0010_0006__hotel,r_0010_0012__into__clr).
arc(r_0010_0011__booked,r_0010_0007__the_r_0010_0008__group,arg1).
arc(r_0010_0011__booked,z_0010_5007___star_,arg0).
arc(r_0010_0011__booked,z_0010_5011,r_0010_0012__into__clr).
arc(r_0010_0014__and,r_0010_0006__hotel,conj1).
arc(r_0010_0014__and,r_0010_0015__the_r_0010_0017__way,conj2).
arc(r_0010_0014__and,z_0010_5011,conj1).
arc(r_0010_0015__the_r_0010_0017__way,r_0010_0016__best,attrib).
arc(r_0010_0015__the_r_0010_0017__way,r_0010_0019__get_r_0010_0022__to,emb).
arc(r_0010_0019__get_r_0010_0022__to,r_0010_0021__there,r_0010_0020__from__nim).
arc(r_0010_0019__get_r_0010_0022__to,r_0010_0023__the_r_0010_0024__conference,arg1).
arc(r_0010_0019__get_r_0010_0022__to,z_0010_5016,arg0).
fof(formula,axiom,
? [R_0010_0001__I,R_0010_0006__HOTEL,R_0010_0016__BEST,R_0010_0021__THERE,R_0010_0023__THE_R_0010_0024__CONFERENCE,Z_0010_5016,R_0010_0019__GET_R_0010_0022__TO,R_0010_0015__THE_R_0010_0017__WAY,Z_0010_5011,R_0010_0014__AND,R_0010_0004__KNOW,R_0010_0002__NEED,R_0010_0007__THE_R_0010_0008__GROUP,Z_0010_5007___STAR_,R_0010_0009__HAS_R_0010_0010__BEEN_R_0010_0011__BOOKED] :
( r_0010_0001__I(R_0010_0001__I)
& r_0010_0006__hotel(R_0010_0006__HOTEL)
& r_0010_0007__the_r_0010_0008__group(R_0010_0007__THE_R_0010_0008__GROUP)
& r_0010_0016__best(R_0010_0016__BEST)
& r_0010_0021__there(R_0010_0021__THERE)
& r_0010_0023__the_r_0010_0024__conference(R_0010_0023__THE_R_0010_0024__CONFERENCE)
& z_0010_5007___star_(Z_0010_5007___STAR_)
& z_0010_5011(Z_0010_5011)
& z_0010_5016(Z_0010_5016)
& r_0010_0009__has_r_0010_0010__been_r_0010_0011__booked(R_0010_0009__HAS_R_0010_0010__BEEN_R_0010_0011__BOOKED)
& has_r_0010_0012__into__clr(R_0010_0009__HAS_R_0010_0010__BEEN_R_0010_0011__BOOKED,Z_0010_5011)
& has_arg0(R_0010_0009__HAS_R_0010_0010__BEEN_R_0010_0011__BOOKED,Z_0010_5007___STAR_)
& has_arg1(R_0010_0009__HAS_R_0010_0010__BEEN_R_0010_0011__BOOKED,R_0010_0007__THE_R_0010_0008__GROUP)
& has_r_0010_0012__into__clr(R_0010_0009__HAS_R_0010_0010__BEEN_R_0010_0011__BOOKED,R_0010_0006__HOTEL)
& r_0010_0002__need(R_0010_0002__NEED)
& has_arg1(R_0010_0002__NEED,R_0010_0004__KNOW)
& r_0010_0004__know(R_0010_0004__KNOW)
& has_arg1(R_0010_0004__KNOW,R_0010_0014__AND)
& r_0010_0014__and(R_0010_0014__AND)
& has_conj1(R_0010_0014__AND,Z_0010_5011)
& has_conj2(R_0010_0014__AND,R_0010_0015__THE_R_0010_0017__WAY)
& r_0010_0015__the_r_0010_0017__way(R_0010_0015__THE_R_0010_0017__WAY)
& has_emb(R_0010_0015__THE_R_0010_0017__WAY,R_0010_0019__GET_R_0010_0022__TO)
& r_0010_0019__get_r_0010_0022__to(R_0010_0019__GET_R_0010_0022__TO)
& has_arg0(R_0010_0019__GET_R_0010_0022__TO,Z_0010_5016)
& has_arg1(R_0010_0019__GET_R_0010_0022__TO,R_0010_0023__THE_R_0010_0024__CONFERENCE)
& has_r_0010_0020__from__nim(R_0010_0019__GET_R_0010_0022__TO,R_0010_0021__THERE)
& has_attrib(R_0010_0015__THE_R_0010_0017__WAY,R_0010_0016__BEST)
& has_conj1(R_0010_0014__AND,R_0010_0006__HOTEL)
& has_arg0(R_0010_0004__KNOW,R_0010_0001__I)
& has_arg0(R_0010_0002__NEED,R_0010_0001__I) ) ).