( (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))

arc(r_0010_0001__Accommodation,r_0010_0003__Camp_r_0010_0004__California,r_0010_0002__at).
arc(r_0010_0005__is_r_0010_0006__in,r_0010_0001__Accommodation,arg0).
arc(r_0010_0005__is_r_0010_0006__in,r_0010_0008__or,arg1).
arc(r_0010_0005__is_r_0010_0006__in,r_0010_0013__would,prn).
arc(r_0010_0008__or,r_0010_0007__tents,conj1).
arc(r_0010_0008__or,r_0010_0009__log_r_0010_0010__cabins,conj2).
arc(r_0010_0013__would,r_0010_0015__prefer,scope).
arc(r_0010_0015__prefer,r_0010_0008__or,arg1).
arc(r_0010_0015__prefer,r_0010_0014__you,arg0).

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_0014__YOU,R_0010_0013__WOULD_R_0010_0015__PREFER,R_0010_0005__IS_R_0010_0006__IN] :
      ( 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_0014__you(R_0010_0014__YOU)
      & r_0010_0005__is_r_0010_0006__in(R_0010_0005__IS_R_0010_0006__IN)
      & has_prn(R_0010_0005__IS_R_0010_0006__IN,R_0010_0013__WOULD_R_0010_0015__PREFER)
      & r_0010_0013__would_r_0010_0015__prefer(R_0010_0013__WOULD_R_0010_0015__PREFER)
      & has_arg0(R_0010_0013__WOULD_R_0010_0015__PREFER,R_0010_0014__YOU)
      & has_arg1(R_0010_0013__WOULD_R_0010_0015__PREFER,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_arg1(R_0010_0005__IS_R_0010_0006__IN,R_0010_0008__OR)
      & has_arg0(R_0010_0005__IS_R_0010_0006__IN,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) ) ).