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.
arc(r_0010_0002__need, r_0010_0001__I, arg0).
arc(r_0010_0002__need, r_0010_0003__to_r_0010_0004__know, arg1).
arc(r_0010_0003__to_r_0010_0004__know, r_0010_0001__I, arg0).
arc(r_0010_0003__to_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_0005__which_r_0010_0006__hotel, r_0010_0012__into_clr39).
arc(r_0010_0011__booked, r_0010_0007__the_r_0010_0008__group, arg1).
arc(r_0010_0011__booked, z_000_10_a_fce_0100_2001_06_32, arg0).
arc(r_0010_0014__and, r_0010_0015__the_r_0010_0017__way, conj2).
arc(r_0010_0014__and, z_000_10_a_fce_0100_2001_06_14, conj1).
arc(r_0010_0015__the_r_0010_0017__way, r_0010_0016__best, attrib49).
arc(r_0010_0015__the_r_0010_0017__way, r_0010_0018__to_r_0010_0019__get, emb54).
arc(r_0010_0018__to_r_0010_0019__get, r_0010_0021__there, r_0010_0020__from_nim62).
arc(r_0010_0018__to_r_0010_0019__get, r_0010_0023__the_r_0010_0024__conference, r_0010_0022__to_clr68).
arc(r_0010_0018__to_r_0010_0019__get, z_000_10_a_fce_0100_2001_06_54, arg0).
fof(formula,axiom,
? [R_0010_0001__I,R_0010_0016__BEST,R_0010_0021__THERE,R_0010_0023__THE_R_0010_0024__CONFERENCE,Z_000_10_A_FCE_0100_2001_06_54,R_0010_0018__TO_R_0010_0019__GET,R_0010_0015__THE_R_0010_0017__WAY,Z_000_10_A_FCE_0100_2001_06_14,R_0010_0014__AND,R_0010_0003__TO_R_0010_0004__KNOW,R_0010_0002__NEED,R_0010_0005__WHICH_R_0010_0006__HOTEL,R_0010_0007__THE_R_0010_0008__GROUP,Z_000_10_A_FCE_0100_2001_06_32,R_0010_0009__HAS_R_0010_0010__BEEN_R_0010_0011__BOOKED] :
( r_0010_0001__I(R_0010_0001__I)
& r_0010_0005__which_r_0010_0006__hotel(R_0010_0005__WHICH_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_000_10_a_fce_0100_2001_06_14(Z_000_10_A_FCE_0100_2001_06_14)
& z_000_10_a_fce_0100_2001_06_32(Z_000_10_A_FCE_0100_2001_06_32)
& z_000_10_a_fce_0100_2001_06_54(Z_000_10_A_FCE_0100_2001_06_54)
& 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_arg0(R_0010_0009__HAS_R_0010_0010__BEEN_R_0010_0011__BOOKED,Z_000_10_A_FCE_0100_2001_06_32)
& 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_clr39(R_0010_0009__HAS_R_0010_0010__BEEN_R_0010_0011__BOOKED,R_0010_0005__WHICH_R_0010_0006__HOTEL)
& r_0010_0002__need(R_0010_0002__NEED)
& has_arg1(R_0010_0002__NEED,R_0010_0003__TO_R_0010_0004__KNOW)
& r_0010_0003__to_r_0010_0004__know(R_0010_0003__TO_R_0010_0004__KNOW)
& has_arg1(R_0010_0003__TO_R_0010_0004__KNOW,R_0010_0014__AND)
& r_0010_0014__and(R_0010_0014__AND)
& has_conj1(R_0010_0014__AND,Z_000_10_A_FCE_0100_2001_06_14)
& 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_emb54(R_0010_0015__THE_R_0010_0017__WAY,R_0010_0018__TO_R_0010_0019__GET)
& r_0010_0018__to_r_0010_0019__get(R_0010_0018__TO_R_0010_0019__GET)
& has_arg0(R_0010_0018__TO_R_0010_0019__GET,Z_000_10_A_FCE_0100_2001_06_54)
& has_r_0010_0022__to_clr68(R_0010_0018__TO_R_0010_0019__GET,R_0010_0023__THE_R_0010_0024__CONFERENCE)
& has_r_0010_0020__from_nim62(R_0010_0018__TO_R_0010_0019__GET,R_0010_0021__THERE)
& has_attrib49(R_0010_0015__THE_R_0010_0017__WAY,R_0010_0016__BEST)
& has_arg0(R_0010_0003__TO_R_0010_0004__KNOW,R_0010_0001__I)
& has_arg0(R_0010_0002__NEED,R_0010_0001__I) ) ).
( (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))