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_10_2_NEED,R_10_3_TO_KNOW,R_10_1_I,R_10_14_AND,Z_10_A_FCE_100_2001_6_14,R_10_15_THE_WAY,R_10_16_BEST,R_10_18_TO_GET,Z_10_A_FCE_100_2001_6_54,R_10_21_THERE,R_10_23_THE_CONFERENCE,R_10_9_HAS_BEEN_BOOKED,Z_10_A_FCE_100_2001_6_32,R_10_7_THE_GROUP,R_10_5_WHICH_HOTEL] :
( i(R_10_1_I)
& best(R_10_16_BEST)
& there(R_10_21_THERE)
& the_conference(R_10_23_THE_CONFERENCE)
& the_group(R_10_7_THE_GROUP)
& which_hotel(R_10_5_WHICH_HOTEL)
& need(R_10_2_NEED,R_10_1_I,R_10_3_TO_KNOW)
& to_know(R_10_3_TO_KNOW,R_10_1_I,R_10_14_AND)
& and(R_10_14_AND)
& conj1(R_10_14_AND,Z_10_A_FCE_100_2001_6_14)
& conj2(R_10_14_AND,R_10_15_THE_WAY)
& the_way(R_10_15_THE_WAY)
& attrib49(R_10_15_THE_WAY,R_10_16_BEST)
& emb54(R_10_15_THE_WAY,R_10_18_TO_GET)
& to_get(R_10_18_TO_GET,Z_10_A_FCE_100_2001_6_54)
& from_nim62(R_10_18_TO_GET,R_10_21_THERE)
& to_clr68(R_10_18_TO_GET,R_10_23_THE_CONFERENCE)
& has_been_booked(R_10_9_HAS_BEEN_BOOKED,Z_10_A_FCE_100_2001_6_32,R_10_7_THE_GROUP)
& into_clr39(R_10_9_HAS_BEEN_BOOKED,R_10_5_WHICH_HOTEL) ) ).
( (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))