( (IP-MAT (NP-SBJ (PRO You;{you}))
          (MD;_cat_Vi_ may;{may})
          (IP-INF-CAT (ADVP-NIM (ADV only;{only}))
                      (IP-PPL-CAT (VB;_Tn.pr_ leave;{leave})
                                  (NP-OB1 (NP-GEN (PRO;_genm_ your;{your}))
                                          (N home;{home}))
                                  (PP-NIM (P-ROLE for;{for})
                                          (NP (ADJP (ADVP (ADV very;{very}))
                                                    (ADJ limited;{limited}))
                                              (NS purposes;{purpose})
                                              (PUNC ,)
                                              (PP (P-ROLE such_as;{such_as})
                                                  (IP-PPL (ILYR (ILYR (VAG;_Tn_ buying;{buy})
                                                                      (NP-OB1 (NLYR (NLYR (N food;{food}))
                                                                                    (CONJP (CONJ and;{and})
                                                                                           (NLYR (N medicine;{medicine}))))))
                                                                (PUNC ,)
                                                                (CONJP (ILYR (VAG;_I_ exercising;{exercise})
                                                                             (NP-NIM (ADVP (ADV once;{once}))
                                                                                     (D a;{a})
                                                                                     (N day;{day}))))
                                                                (CONJP (CONJ and;{and})
                                                                       (ILYR (VAG;_Tn_ seeking;{seek})
                                                                             (NP-OB1 (ADJP (ADJ medical;{medical}))
                                                                                     (N attention;{attention})))))))))))
          (PUNC .))
  (ID 13_a_johnson_letter))

arc(r_0013_0002__may,z_0013_5024,scope).
arc(r_0013_0004__leave,r_0013_0001__You,arg0).
arc(r_0013_0004__leave,r_0013_0006__home,arg1).
arc(r_0013_0004__leave,r_0013_0010__purposes,r_0013_0007__for__nim).
arc(r_0013_0006__home,r_0013_0001__You,gen).
arc(r_0013_0009__limited,r_0013_0008__very,qual).
arc(r_0013_0010__purposes,r_0013_0009__limited,attrib).
arc(r_0013_0010__purposes,r_0013_0022__and,r_0013_0012__such_as).
arc(r_0013_0013__buying,r_0013_0015__and,arg1).
arc(r_0013_0013__buying,z_0013_5011,arg0).
arc(r_0013_0015__and,r_0013_0014__food,conj1).
arc(r_0013_0015__and,r_0013_0016__medicine,conj2).
arc(r_0013_0018__exercising,r_0013_0020__a_r_0013_0021__day,nim).
arc(r_0013_0018__exercising,z_0013_5011,arg0).
arc(r_0013_0020__a_r_0013_0021__day,r_0013_0019__once,qual).
arc(r_0013_0022__and,r_0013_0013__buying,conj1).
arc(r_0013_0022__and,r_0013_0018__exercising,conj2).
arc(r_0013_0022__and,r_0013_0023__seeking,conj3).
arc(r_0013_0023__seeking,r_0013_0025__attention,arg1).
arc(r_0013_0023__seeking,z_0013_5011,arg0).
arc(r_0013_0025__attention,r_0013_0024__medical,attrib).
arc(z_0013_5024,r_0013_0003__only,nim).
arc(z_0013_5024,r_0013_0004__leave,scope).

fof(formula,axiom,
    ? [R_0013_0001__YOU,R_0013_0006__HOME,R_0013_0008__VERY,R_0013_0009__LIMITED,R_0013_0014__FOOD,R_0013_0016__MEDICINE,R_0013_0015__AND,Z_0013_5011,R_0013_0013__BUYING,R_0013_0019__ONCE,R_0013_0020__A_R_0013_0021__DAY,R_0013_0018__EXERCISING,R_0013_0024__MEDICAL,R_0013_0025__ATTENTION,R_0013_0023__SEEKING,R_0013_0022__AND,R_0013_0010__PURPOSES,R_0013_0003__ONLY,R_0013_0002__MAY_Z_0013_5024_R_0013_0004__LEAVE] :
      ( r_0013_0001__You(R_0013_0001__YOU)
      & r_0013_0003__only(R_0013_0003__ONLY)
      & r_0013_0008__very(R_0013_0008__VERY)
      & r_0013_0014__food(R_0013_0014__FOOD)
      & r_0013_0016__medicine(R_0013_0016__MEDICINE)
      & r_0013_0019__once(R_0013_0019__ONCE)
      & r_0013_0024__medical(R_0013_0024__MEDICAL)
      & z_0013_5011(Z_0013_5011)
      & r_0013_0002__may_z_0013_5024_r_0013_0004__leave(R_0013_0002__MAY_Z_0013_5024_R_0013_0004__LEAVE)
      & has_nim(R_0013_0002__MAY_Z_0013_5024_R_0013_0004__LEAVE,R_0013_0003__ONLY)
      & has_r_0013_0007__for__nim(R_0013_0002__MAY_Z_0013_5024_R_0013_0004__LEAVE,R_0013_0010__PURPOSES)
      & r_0013_0010__purposes(R_0013_0010__PURPOSES)
      & has_r_0013_0012__such_as(R_0013_0010__PURPOSES,R_0013_0022__AND)
      & r_0013_0022__and(R_0013_0022__AND)
      & has_conj3(R_0013_0022__AND,R_0013_0023__SEEKING)
      & r_0013_0023__seeking(R_0013_0023__SEEKING)
      & has_arg0(R_0013_0023__SEEKING,Z_0013_5011)
      & has_arg1(R_0013_0023__SEEKING,R_0013_0025__ATTENTION)
      & r_0013_0025__attention(R_0013_0025__ATTENTION)
      & has_attrib(R_0013_0025__ATTENTION,R_0013_0024__MEDICAL)
      & has_conj2(R_0013_0022__AND,R_0013_0018__EXERCISING)
      & r_0013_0018__exercising(R_0013_0018__EXERCISING)
      & has_arg0(R_0013_0018__EXERCISING,Z_0013_5011)
      & has_nim(R_0013_0018__EXERCISING,R_0013_0020__A_R_0013_0021__DAY)
      & r_0013_0020__a_r_0013_0021__day(R_0013_0020__A_R_0013_0021__DAY)
      & has_qual(R_0013_0020__A_R_0013_0021__DAY,R_0013_0019__ONCE)
      & has_conj1(R_0013_0022__AND,R_0013_0013__BUYING)
      & r_0013_0013__buying(R_0013_0013__BUYING)
      & has_arg0(R_0013_0013__BUYING,Z_0013_5011)
      & has_arg1(R_0013_0013__BUYING,R_0013_0015__AND)
      & r_0013_0015__and(R_0013_0015__AND)
      & has_conj2(R_0013_0015__AND,R_0013_0016__MEDICINE)
      & has_conj1(R_0013_0015__AND,R_0013_0014__FOOD)
      & has_attrib(R_0013_0010__PURPOSES,R_0013_0009__LIMITED)
      & r_0013_0009__limited(R_0013_0009__LIMITED)
      & has_qual(R_0013_0009__LIMITED,R_0013_0008__VERY)
      & has_arg1(R_0013_0002__MAY_Z_0013_5024_R_0013_0004__LEAVE,R_0013_0006__HOME)
      & r_0013_0006__home(R_0013_0006__HOME)
      & has_gen(R_0013_0006__HOME,R_0013_0001__YOU)
      & has_arg0(R_0013_0002__MAY_Z_0013_5024_R_0013_0004__LEAVE,R_0013_0001__YOU) ) ).