arc(r_0008_0001__If, r_0008_0005__become, restriction).
arc(r_0008_0001__If, r_0008_0014__will, scope).
arc(r_0008_0003__many, r_0008_0002__too, qual8).
arc(r_0008_0004__people, r_0008_0003__many, attrib7).
arc(r_0008_0005__become, r_0008_0004__people, arg0).
arc(r_0008_0005__become, r_0008_0007__unwell, prd).
arc(r_0008_0005__become, r_0008_0009__one_r_0008_0010__time, r_0008_0008__at_nim26).
arc(r_0008_0007__unwell, r_0008_0006__seriously, qual18).
arc(r_0008_0014__will, r_0008_0015__be, scope).
arc(r_0008_0015__be, r_0008_0012__the_r_0008_0013__NHS, arg0).
arc(r_0008_0015__be, r_0008_0016__unable, prd).
arc(r_0008_0016__unable, r_0008_0017__to_r_0008_0018__cope, emb46).
arc(r_0008_0017__to_r_0008_0018__cope, z_000_8_a_johnson_letter_46, arg0).

fof(formula,axiom,
    ! [R_8_5_BECOME,R_8_4_PEOPLE,R_8_3_MANY,R_8_2_TOO,R_8_7_UNWELL,R_8_6_SERIOUSLY,R_8_9_ONE_TIME] :
      ( ( too(R_8_2_TOO)
        & seriously(R_8_6_SERIOUSLY)
        & one_time(R_8_9_ONE_TIME)
        & become(R_8_5_BECOME,R_8_4_PEOPLE,R_8_7_UNWELL)
        & people(R_8_4_PEOPLE)
        & attrib7(R_8_4_PEOPLE,R_8_3_MANY)
        & many(R_8_3_MANY)
        & qual8(R_8_3_MANY,R_8_2_TOO)
        & unwell(R_8_7_UNWELL)
        & qual18(R_8_7_UNWELL,R_8_6_SERIOUSLY)
        & at_nim26(R_8_5_BECOME,R_8_9_ONE_TIME) )
     => ? [R_8_14_WILL_BE,R_8_12_THE_NHS,R_8_16_UNABLE,R_8_17_TO_COPE,Z_8_A_JOHNSON_LETTER_46] :
          ( the_NHS(R_8_12_THE_NHS)
          & will_be(R_8_14_WILL_BE,R_8_12_THE_NHS,R_8_16_UNABLE)
          & unable(R_8_16_UNABLE)
          & emb46(R_8_16_UNABLE,R_8_17_TO_COPE)
          & to_cope(R_8_17_TO_COPE,Z_8_A_JOHNSON_LETTER_46) ) ) ).

( (IP-MAT;{UNABLE_TO_COPE} (PP-SCON (P-CONN If;{if})
                                    (IP-ADV (NP-SBJ (ADJP (ADVP (ADV too;{too}))
                                                          (ADJ many;{many}))
                                                    (NS people;{people}))
                                            (VBP;_La_ become;{become})
                                            (ADJP-PRD (ADVP (ADV seriously;{seriously}))
                                                      (ADJ unwell;{unwell}))
                                            (PP-NIM (P-ROLE at;{at})
                                                    (NP (NUM one;{one})
                                                        (N time;{time})))))
                           (PUNC ,)
                           (NP-SBJ (D the;{the})
                                   (NPR NHS;{NHS}))
                           (MD;_cat_Vi_ will;{will})
                           (IP-INF-CAT (BE;_La_ be;{be})
                                       (ADJP-PRD (ADJ;_cat_ unable;{unable})
                                                 (IP-INF (TO to;{to})
                                                         (VB;_I_ cope;{cope}))))
                           (PUNC .))
  (ID 8_a_johnson_letter))