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

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,qual).
arc(r_0008_0004__people,r_0008_0003__many,attrib).
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__nim).
arc(r_0008_0007__unwell,r_0008_0006__seriously,qual).
arc(r_0008_0014__will,r_0008_0015__be,scope).
arc(r_0008_0015__be,r_0008_0016__unable,scope).
arc(r_0008_0016__unable,r_0008_0018__cope,scope).
arc(r_0008_0018__cope,r_0008_0012__the_r_0008_0013__NHS,arg0).

fof(formula,axiom,
    ! [R_0008_0005__BECOME,R_0008_0002__TOO,R_0008_0003__MANY,R_0008_0004__PEOPLE,R_0008_0006__SERIOUSLY,R_0008_0007__UNWELL,R_0008_0009__ONE_R_0008_0010__TIME] :
      ( ( r_0008_0002__too(R_0008_0002__TOO)
        & r_0008_0006__seriously(R_0008_0006__SERIOUSLY)
        & r_0008_0009__one_r_0008_0010__time(R_0008_0009__ONE_R_0008_0010__TIME)
        & r_0008_0005__become(R_0008_0005__BECOME)
        & has_r_0008_0008__at__nim(R_0008_0005__BECOME,R_0008_0009__ONE_R_0008_0010__TIME)
        & has_prd(R_0008_0005__BECOME,R_0008_0007__UNWELL)
        & r_0008_0007__unwell(R_0008_0007__UNWELL)
        & has_qual(R_0008_0007__UNWELL,R_0008_0006__SERIOUSLY)
        & has_arg0(R_0008_0005__BECOME,R_0008_0004__PEOPLE)
        & r_0008_0004__people(R_0008_0004__PEOPLE)
        & has_attrib(R_0008_0004__PEOPLE,R_0008_0003__MANY)
        & r_0008_0003__many(R_0008_0003__MANY)
        & has_qual(R_0008_0003__MANY,R_0008_0002__TOO) )
     => ? [R_0008_0012__THE_R_0008_0013__NHS,R_0008_0014__WILL_R_0008_0015__BE_R_0008_0016__UNABLE_R_0008_0018__COPE] :
          ( r_0008_0012__the_r_0008_0013__NHS(R_0008_0012__THE_R_0008_0013__NHS)
          & r_0008_0014__will_r_0008_0015__be_r_0008_0016__unable_r_0008_0018__cope(R_0008_0014__WILL_R_0008_0015__BE_R_0008_0016__UNABLE_R_0008_0018__COPE)
          & has_arg0(R_0008_0014__WILL_R_0008_0015__BE_R_0008_0016__UNABLE_R_0008_0018__COPE,R_0008_0012__THE_R_0008_0013__NHS) ) ) ).