arc(r_0013_0002__may, z_000_13_a_johnson_letter_7, 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_nim23).
arc(r_0013_0006__home, r_0013_0001__You, gen).
arc(r_0013_0009__limited, r_0013_0008__very, qual25).
arc(r_0013_0010__purposes, r_0013_0009__limited, attrib24).
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_000_13_a_johnson_letter_37, 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, nim59).
arc(r_0013_0018__exercising, z_000_13_a_johnson_letter_37, arg0).
arc(r_0013_0020__a_r_0013_0021__day, r_0013_0019__once, qual60).
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_000_13_a_johnson_letter_37, arg0).
arc(r_0013_0025__attention, r_0013_0024__medical, attrib74).
arc(z_000_13_a_johnson_letter_7, r_0013_0003__only, nim8).
arc(z_000_13_a_johnson_letter_7, 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_000_13_A_JOHNSON_LETTER_37,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_000_13_A_JOHNSON_LETTER_7_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_000_13_a_johnson_letter_37(Z_000_13_A_JOHNSON_LETTER_37)
      & r_0013_0002__may_z_000_13_a_johnson_letter_7_r_0013_0004__leave(R_0013_0002__MAY_Z_000_13_A_JOHNSON_LETTER_7_R_0013_0004__LEAVE)
      & has_nim8(R_0013_0002__MAY_Z_000_13_A_JOHNSON_LETTER_7_R_0013_0004__LEAVE,R_0013_0003__ONLY)
      & has_r_0013_0007__for_nim23(R_0013_0002__MAY_Z_000_13_A_JOHNSON_LETTER_7_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_000_13_A_JOHNSON_LETTER_37)
      & has_arg1(R_0013_0023__SEEKING,R_0013_0025__ATTENTION)
      & r_0013_0025__attention(R_0013_0025__ATTENTION)
      & has_attrib74(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_000_13_A_JOHNSON_LETTER_37)
      & has_nim59(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_qual60(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_000_13_A_JOHNSON_LETTER_37)
      & 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_attrib24(R_0013_0010__PURPOSES,R_0013_0009__LIMITED)
      & r_0013_0009__limited(R_0013_0009__LIMITED)
      & has_qual25(R_0013_0009__LIMITED,R_0013_0008__VERY)
      & has_arg1(R_0013_0002__MAY_Z_000_13_A_JOHNSON_LETTER_7_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_000_13_A_JOHNSON_LETTER_7_R_0013_0004__LEAVE,R_0013_0001__YOU) ) ).

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