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_0010_0003__CAMP_R_0010_0004__CALIFORNIA,R_0010_0001__ACCOMMODATION,R_0010_0007__TENTS,R_0010_0009__LOG_R_0010_0010__CABINS,R_0010_0008__OR,R_0010_0005__IS] :
( r_0010_0003__Camp_r_0010_0004__California(R_0010_0003__CAMP_R_0010_0004__CALIFORNIA)
& r_0010_0007__tents(R_0010_0007__TENTS)
& r_0010_0009__log_r_0010_0010__cabins(R_0010_0009__LOG_R_0010_0010__CABINS)
& r_0010_0005__is(R_0010_0005__IS)
& has_r_0010_0006__in_clr18(R_0010_0005__IS,R_0010_0008__OR)
& r_0010_0008__or(R_0010_0008__OR)
& has_conj2(R_0010_0008__OR,R_0010_0009__LOG_R_0010_0010__CABINS)
& has_conj1(R_0010_0008__OR,R_0010_0007__TENTS)
& has_arg0(R_0010_0005__IS,R_0010_0001__ACCOMMODATION)
& r_0010_0001__Accommodation(R_0010_0001__ACCOMMODATION)
& has_r_0010_0002__at(R_0010_0001__ACCOMMODATION,R_0010_0003__CAMP_R_0010_0004__CALIFORNIA) ) ).
( (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))