( (CP-QUE-MAT (IP-SUB (PP-128 (P-ROLE In;{in})
                              (NP (WD what;{what})
                                  (NS ways;{way})))
                      (DOP do;{do})
                      (NP-SBJ (PRO you;{you}))
                      (VB;_Tf_ think;{think})
                      (CP-THT-OB1 (IP-SUB (NP-SBJ;{HOMES} (NP-GEN (NS people;{people})
                                                                  (GENM <apos>s))
                                                          (NS homes;{home}))
                                          (MD;_cat_Vi_ will;{will})
                                          (IP-INF-CAT (BE;_La_ be;{be})
                                                      (ADJP-PRD (ADJ different;{different})
                                                                (PP *ICH*-128))
                                                      (PP-NIM (P-ROLE in;{in})
                                                              (NP;{FUTURE} (D the;{the})
                                                                           (N future;{future})))))))
              (PUNC ?))
  (ID 19_a_fce_0100_2000_12))

arc(r_0019_0004__do_r_0019_0006__think,r_0019_0005__you,arg0).
arc(r_0019_0004__do_r_0019_0006__think,r_0019_0010__will,arg1).
arc(r_0019_0009__homes,r_0019_0007__people,gen).
arc(r_0019_0010__will,r_0019_0011__be,scope).
arc(r_0019_0011__be,r_0019_0009__homes,arg0).
arc(r_0019_0011__be,r_0019_0012__different,prd).
arc(r_0019_0011__be,r_0019_0014__the_r_0019_0015__future,r_0019_0013__in__nim).
arc(r_0019_0012__different,r_0019_0002__what_r_0019_0003__ways,r_0019_0001__In).

fof(formula,axiom,
    ? [R_0019_0005__YOU,R_0019_0007__PEOPLE,R_0019_0009__HOMES,R_0019_0002__WHAT_R_0019_0003__WAYS,R_0019_0012__DIFFERENT,R_0019_0014__THE_R_0019_0015__FUTURE,R_0019_0010__WILL_R_0019_0011__BE,R_0019_0004__DO_R_0019_0006__THINK] :
      ( r_0019_0002__what_r_0019_0003__ways(R_0019_0002__WHAT_R_0019_0003__WAYS)
      & r_0019_0005__you(R_0019_0005__YOU)
      & r_0019_0007__people(R_0019_0007__PEOPLE)
      & r_0019_0014__the_r_0019_0015__future(R_0019_0014__THE_R_0019_0015__FUTURE)
      & r_0019_0004__do_r_0019_0006__think(R_0019_0004__DO_R_0019_0006__THINK)
      & has_arg1(R_0019_0004__DO_R_0019_0006__THINK,R_0019_0010__WILL_R_0019_0011__BE)
      & r_0019_0010__will_r_0019_0011__be(R_0019_0010__WILL_R_0019_0011__BE)
      & has_r_0019_0013__in__nim(R_0019_0010__WILL_R_0019_0011__BE,R_0019_0014__THE_R_0019_0015__FUTURE)
      & has_prd(R_0019_0010__WILL_R_0019_0011__BE,R_0019_0012__DIFFERENT)
      & r_0019_0012__different(R_0019_0012__DIFFERENT)
      & has_r_0019_0001__In(R_0019_0012__DIFFERENT,R_0019_0002__WHAT_R_0019_0003__WAYS)
      & has_arg0(R_0019_0010__WILL_R_0019_0011__BE,R_0019_0009__HOMES)
      & r_0019_0009__homes(R_0019_0009__HOMES)
      & has_gen(R_0019_0009__HOMES,R_0019_0007__PEOPLE)
      & has_arg0(R_0019_0004__DO_R_0019_0006__THINK,R_0019_0005__YOU) ) ).