( (CP-QUE-MAT (IP-SUB (MD;_cat_Vi_ Could;{can})
                      (NP-SBJ (PRO you;{you}))
                      (IP-INF-CAT (VB;_phr_Vpr_ live;{live[without]})
                                  (PP-CLR (P-ROLE without;{without})
                                          (NP (N television;{television})))
                                  (PP-NIM (P-ROLE for;{for})
                                          (NP (D a;{a})
                                              (N week;{week})))))
              (PUNC ?))
  (ID 22_a_fce_0102_2001_12))

arc(r_0022_0001__Could,r_0022_0003__live,scope).
arc(r_0022_0003__live,r_0022_0002__you,arg0).
arc(r_0022_0003__live,r_0022_0005__television,r_0022_0004__without__clr).
arc(r_0022_0003__live,r_0022_0007__a_r_0022_0008__week,r_0022_0006__for__nim).

fof(formula,axiom,
    ? [R_0022_0002__YOU,R_0022_0005__TELEVISION,R_0022_0007__A_R_0022_0008__WEEK,R_0022_0001__COULD_R_0022_0003__LIVE] :
      ( r_0022_0002__you(R_0022_0002__YOU)
      & r_0022_0005__television(R_0022_0005__TELEVISION)
      & r_0022_0007__a_r_0022_0008__week(R_0022_0007__A_R_0022_0008__WEEK)
      & r_0022_0001__Could_r_0022_0003__live(R_0022_0001__COULD_R_0022_0003__LIVE)
      & has_r_0022_0006__for__nim(R_0022_0001__COULD_R_0022_0003__LIVE,R_0022_0007__A_R_0022_0008__WEEK)
      & has_r_0022_0004__without__clr(R_0022_0001__COULD_R_0022_0003__LIVE,R_0022_0005__TELEVISION)
      & has_arg0(R_0022_0001__COULD_R_0022_0003__LIVE,R_0022_0002__YOU) ) ).