10_a_fce_0100_2000_06
Accommodation at Camp California is in tents or log cabins, which would you prefer?
arc(r_0010_0001__Accommodation, r_0010_0003__Camp_r_0010_0004__California, r_0010_0002__at).
arc(r_0010_0005__is, r_0010_0001__Accommodation, arg0).
arc(r_0010_0005__is, r_0010_0008__or, r_0010_0006__in_clr18).
arc(r_0010_0008__or, r_0010_0007__tents, conj1).
arc(r_0010_0008__or, r_0010_0009__log_r_0010_0010__cabins, conj2).
fof(formula,axiom,
? [R_10_5_IS,R_10_1_ACCOMMODATION,R_10_3_CAMP_CALIFORNIA,R_10_8_OR,R_10_7_TENTS,R_10_9_LOG_CABINS] :
( camp_California(R_10_3_CAMP_CALIFORNIA)
& tents(R_10_7_TENTS)
& log_cabins(R_10_9_LOG_CABINS)
& is(R_10_5_IS,R_10_1_ACCOMMODATION)
& accommodation(R_10_1_ACCOMMODATION)
& at(R_10_1_ACCOMMODATION,R_10_3_CAMP_CALIFORNIA)
& in_clr18(R_10_5_IS,R_10_8_OR)
& or(R_10_8_OR)
& conj1(R_10_8_OR,R_10_7_TENTS)
& conj2(R_10_8_OR,R_10_9_LOG_CABINS) ) ).
( (IP-MAT (NP-SBJ (N Accommodation;{accommodation})
(PP (P-ROLE at;{at})
(NP;{CAMP} (NPR Camp;{Camp})
(NPR California;{California}))))
(BEP;_Ipr_ is;{be[in]})
(PP-CLR (P-ROLE in;{in})
(NP;{TENT_CABIN} (NLYR (NLYR (NS tents;{tent}))
(CONJP (CONJ or;{or})
(NLYR (N log;{log})
(NS cabins;{cabin}))))))
(PUNC ,)
(PRN (CP-QUE-MAT (IP-SUB (NP-133;{TENT_CABIN} (WPRO which;{which}))
(MD;_cat_Vi_ would;{will})
(NP-SBJ (PRO you;{you}))
(IP-INF-CAT (NP-OB1 *ICH*-133)
(VB;_Tn_ prefer;{prefer})))
(PUNC ?))))
(ID 10_a_fce_0100_2000_06))