arc(r_0028_0001__Thousands, r_0028_0005__and, r_0028_0002__of).
arc(r_0028_0005__and, r_0028_0003__retired, attrib11).
arc(r_0028_0005__and, r_0028_0004__doctors, conj1).
arc(r_0028_0005__and, r_0028_0006__nurses, conj2).
arc(r_0028_0007__are, r_0028_0008__returning, scope).
arc(r_0028_0008__returning, r_0028_0001__Thousands, arg0).
arc(r_0028_0008__returning, r_0028_0010__the_r_0028_0011__NHS, r_0028_0009__to_clr32).
arc(r_0028_0013__and, r_0028_0007__are, conj1).
arc(r_0028_0013__and, r_0028_0019__are, conj2).
arc(r_0028_0014__hundreds, r_0028_0016__thousands, r_0028_0015__of).
arc(r_0028_0016__thousands, r_0028_0018__citizens, r_0028_0017__of).
arc(r_0028_0019__are, r_0028_0020__volunteering, scope).
arc(r_0028_0020__volunteering, r_0028_0014__hundreds, arg0).
arc(r_0028_0020__volunteering, r_0028_0021__to_r_0028_0022__help, arg1).
arc(r_0028_0021__to_r_0028_0022__help, r_0028_0014__hundreds, arg0).
arc(r_0028_0021__to_r_0028_0022__help, r_0028_0023__the, arg1).
arc(r_0028_0023__the, r_0028_0025__vulnerable, attrib71).
arc(r_0028_0025__vulnerable, r_0028_0024__most, qual72).

fof(formula,axiom,
    ? [R_0028_0003__RETIRED,R_0028_0004__DOCTORS,R_0028_0006__NURSES,R_0028_0005__AND,R_0028_0001__THOUSANDS,R_0028_0010__THE_R_0028_0011__NHS,R_0028_0007__ARE_R_0028_0008__RETURNING,R_0028_0018__CITIZENS,R_0028_0016__THOUSANDS,R_0028_0014__HUNDREDS,R_0028_0024__MOST,R_0028_0025__VULNERABLE,R_0028_0023__THE,R_0028_0021__TO_R_0028_0022__HELP,R_0028_0019__ARE_R_0028_0020__VOLUNTEERING,R_0028_0013__AND] :
      ( r_0028_0003__retired(R_0028_0003__RETIRED)
      & r_0028_0004__doctors(R_0028_0004__DOCTORS)
      & r_0028_0006__nurses(R_0028_0006__NURSES)
      & r_0028_0010__the_r_0028_0011__NHS(R_0028_0010__THE_R_0028_0011__NHS)
      & r_0028_0018__citizens(R_0028_0018__CITIZENS)
      & r_0028_0024__most(R_0028_0024__MOST)
      & r_0028_0013__and(R_0028_0013__AND)
      & has_conj2(R_0028_0013__AND,R_0028_0019__ARE_R_0028_0020__VOLUNTEERING)
      & r_0028_0019__are_r_0028_0020__volunteering(R_0028_0019__ARE_R_0028_0020__VOLUNTEERING)
      & has_arg1(R_0028_0019__ARE_R_0028_0020__VOLUNTEERING,R_0028_0021__TO_R_0028_0022__HELP)
      & r_0028_0021__to_r_0028_0022__help(R_0028_0021__TO_R_0028_0022__HELP)
      & has_arg1(R_0028_0021__TO_R_0028_0022__HELP,R_0028_0023__THE)
      & r_0028_0023__the(R_0028_0023__THE)
      & has_attrib71(R_0028_0023__THE,R_0028_0025__VULNERABLE)
      & r_0028_0025__vulnerable(R_0028_0025__VULNERABLE)
      & has_qual72(R_0028_0025__VULNERABLE,R_0028_0024__MOST)
      & has_arg0(R_0028_0021__TO_R_0028_0022__HELP,R_0028_0014__HUNDREDS)
      & r_0028_0014__hundreds(R_0028_0014__HUNDREDS)
      & has_r_0028_0015__of(R_0028_0014__HUNDREDS,R_0028_0016__THOUSANDS)
      & r_0028_0016__thousands(R_0028_0016__THOUSANDS)
      & has_r_0028_0017__of(R_0028_0016__THOUSANDS,R_0028_0018__CITIZENS)
      & has_arg0(R_0028_0019__ARE_R_0028_0020__VOLUNTEERING,R_0028_0014__HUNDREDS)
      & has_conj1(R_0028_0013__AND,R_0028_0007__ARE_R_0028_0008__RETURNING)
      & r_0028_0007__are_r_0028_0008__returning(R_0028_0007__ARE_R_0028_0008__RETURNING)
      & has_r_0028_0009__to_clr32(R_0028_0007__ARE_R_0028_0008__RETURNING,R_0028_0010__THE_R_0028_0011__NHS)
      & has_arg0(R_0028_0007__ARE_R_0028_0008__RETURNING,R_0028_0001__THOUSANDS)
      & r_0028_0001__Thousands(R_0028_0001__THOUSANDS)
      & has_r_0028_0002__of(R_0028_0001__THOUSANDS,R_0028_0005__AND)
      & r_0028_0005__and(R_0028_0005__AND)
      & has_conj2(R_0028_0005__AND,R_0028_0006__NURSES)
      & has_conj1(R_0028_0005__AND,R_0028_0004__DOCTORS)
      & has_attrib11(R_0028_0005__AND,R_0028_0003__RETIRED) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ (NS Thousands;{thousand})
                              (PP (P-ROLE of;{of})
                                  (NP (ADJP (ADJ retired;{retired}))
                                      (NLYR (NLYR (NS doctors;{doctor}))
                                            (CONJP (CONJ and;{and})
                                                   (NLYR (NS nurses;{nurse})))))))
                      (BEP;_cat_Vg_ are;{be})
                      (IP-PPL-CAT (VAG;_Ipr_ returning;{return[to]})
                                  (PP-CLR (P-ROLE to;{to})
                                          (NP (D the;{the})
                                              (NPR NHS;{NHS})))))
                (PUNC <hyphen>)
                (CONJP (CONJ and;{and})
                       (ILYR (NP-SBJ (NS hundreds;{hundred})
                                     (PP (P-ROLE of;{of})
                                         (NP (NS thousands;{thousand})
                                             (PP (P-ROLE of;{of})
                                                 (NP (NS citizens;{citizen}))))))
                             (BEP;_cat_Vg_ are;{be})
                             (IP-PPL-CAT (VAG;_Tt_ volunteering;{volunteer})
                                         (IP-INF-OB1 (TO to;{to})
                                                     (VB;_Tn_ help;{help})
                                                     (NP-OB1 (D the;{the})
                                                             (ADJP (ADVP (ADVS most;{most}))
                                                                   (ADJ vulnerable;{vulnerable}))))))))
          (PUNC .))
  (ID 28_a_johnson_letter))