arc(r_0046_0002__jobs, r_0046_0001__Other, attrib5).
arc(r_0046_0005__times, r_0046_0004__various, attrib14).
arc(r_0046_0006__included, r_0046_0002__jobs, arg0).
arc(r_0046_0006__included, r_0046_0005__times, r_0046_0003__at_nim13).
arc(r_0046_0006__included, r_0046_0007__helping, arg1).
arc(r_0046_0007__helping, r_0046_0008__some, arg1).
arc(r_0046_0007__helping, r_0046_0022__communication_r_0046_0023__skills, r_0046_0020__with_clr58).
arc(r_0046_0007__helping, z_000_46_a_alresford_21, arg0).
arc(r_0046_0008__some, r_0046_0010__the_r_0046_0014__boys, r_0046_0009__of).
arc(r_0046_0010__the_r_0046_0014__boys, r_0046_0012__able, attrib33).
arc(r_0046_0010__the_r_0046_0014__boys, r_0046_0017__Tichborne_r_0046_0018__Down_r_0046_0019__Hospital, r_0046_0016__at).
arc(r_0046_0012__able, r_0046_0011__more, qual34).
arc(r_0046_0022__communication_r_0046_0023__skills, r_0046_0010__the_r_0046_0014__boys, gen).
arc(r_0046_0027__a_r_0046_0029__experience, r_0046_0028__happy, attrib84).
arc(r_0046_0032__were, r_0046_0010__the_r_0046_0014__boys, arg0).
arc(r_0046_0032__were, r_0046_0033__always, nim100).
arc(r_0046_0032__were, r_0046_0035__cheerful, prd).
arc(r_0046_0032__were, r_0046_0039__difficulties, r_0046_0037__in_spite_of_nim114).
arc(r_0046_0035__cheerful, r_0046_0034__so, qual104).
arc(r_0046_0039__difficulties, r_0046_0038__various, attrib115).
arc(r_0046_0041__and, r_0046_0032__were, conj1).
arc(r_0046_0041__and, r_0046_0042__tackled, conj2).
arc(r_0046_0042__tackled, r_0046_0010__the_r_0046_0014__boys, arg0).
arc(r_0046_0042__tackled, r_0046_0043__the_r_0046_0044__work, arg1).
arc(r_0046_0042__tackled, r_0046_0046__a_r_0046_0047__will, r_0046_0045__with_nim136).
arc(z_000_46_a_alresford_2, r_0046_0006__included, conj1).
arc(z_000_46_a_alresford_2, z_000_46_a_alresford_70, conj2).
arc(z_000_46_a_alresford_70, r_0046_0041__and, conj2).
arc(z_000_46_a_alresford_70, z_000_46_a_alresford_71, conj1).
arc(z_000_46_a_alresford_71, r_0046_0007__helping, arg0).
arc(z_000_46_a_alresford_71, r_0046_0026__me, r_0046_0025__for_nim75).
arc(z_000_46_a_alresford_71, r_0046_0027__a_r_0046_0029__experience, prd).

fof(formula,axiom,
    ? [R_0046_0001__OTHER,R_0046_0002__JOBS,R_0046_0004__VARIOUS,R_0046_0005__TIMES,R_0046_0011__MORE,R_0046_0012__ABLE,R_0046_0017__TICHBORNE_R_0046_0018__DOWN_R_0046_0019__HOSPITAL,R_0046_0010__THE_R_0046_0014__BOYS,R_0046_0008__SOME,R_0046_0022__COMMUNICATION_R_0046_0023__SKILLS,Z_000_46_A_ALRESFORD_21,R_0046_0007__HELPING,R_0046_0006__INCLUDED,R_0046_0033__ALWAYS,R_0046_0034__SO,R_0046_0035__CHEERFUL,R_0046_0038__VARIOUS,R_0046_0039__DIFFICULTIES,R_0046_0032__WERE,R_0046_0043__THE_R_0046_0044__WORK,R_0046_0046__A_R_0046_0047__WILL,R_0046_0042__TACKLED,R_0046_0041__AND,R_0046_0026__ME,R_0046_0028__HAPPY,R_0046_0027__A_R_0046_0029__EXPERIENCE,Z_000_46_A_ALRESFORD_71,Z_000_46_A_ALRESFORD_70,Z_000_46_A_ALRESFORD_2] :
      ( r_0046_0001__Other(R_0046_0001__OTHER)
      & r_0046_0004__various(R_0046_0004__VARIOUS)
      & r_0046_0011__more(R_0046_0011__MORE)
      & r_0046_0017__Tichborne_r_0046_0018__Down_r_0046_0019__Hospital(R_0046_0017__TICHBORNE_R_0046_0018__DOWN_R_0046_0019__HOSPITAL)
      & r_0046_0026__me(R_0046_0026__ME)
      & r_0046_0028__happy(R_0046_0028__HAPPY)
      & r_0046_0033__always(R_0046_0033__ALWAYS)
      & r_0046_0034__so(R_0046_0034__SO)
      & r_0046_0038__various(R_0046_0038__VARIOUS)
      & r_0046_0043__the_r_0046_0044__work(R_0046_0043__THE_R_0046_0044__WORK)
      & r_0046_0046__a_r_0046_0047__will(R_0046_0046__A_R_0046_0047__WILL)
      & z_000_46_a_alresford_21(Z_000_46_A_ALRESFORD_21)
      & z_000_46_a_alresford_2(Z_000_46_A_ALRESFORD_2)
      & has_conj2(Z_000_46_A_ALRESFORD_2,Z_000_46_A_ALRESFORD_70)
      & z_000_46_a_alresford_70(Z_000_46_A_ALRESFORD_70)
      & has_conj1(Z_000_46_A_ALRESFORD_70,Z_000_46_A_ALRESFORD_71)
      & z_000_46_a_alresford_71(Z_000_46_A_ALRESFORD_71)
      & has_prd(Z_000_46_A_ALRESFORD_71,R_0046_0027__A_R_0046_0029__EXPERIENCE)
      & r_0046_0027__a_r_0046_0029__experience(R_0046_0027__A_R_0046_0029__EXPERIENCE)
      & has_attrib84(R_0046_0027__A_R_0046_0029__EXPERIENCE,R_0046_0028__HAPPY)
      & has_r_0046_0025__for_nim75(Z_000_46_A_ALRESFORD_71,R_0046_0026__ME)
      & has_arg0(Z_000_46_A_ALRESFORD_71,R_0046_0007__HELPING)
      & r_0046_0007__helping(R_0046_0007__HELPING)
      & has_arg0(R_0046_0007__HELPING,Z_000_46_A_ALRESFORD_21)
      & has_r_0046_0020__with_clr58(R_0046_0007__HELPING,R_0046_0022__COMMUNICATION_R_0046_0023__SKILLS)
      & r_0046_0022__communication_r_0046_0023__skills(R_0046_0022__COMMUNICATION_R_0046_0023__SKILLS)
      & has_gen(R_0046_0022__COMMUNICATION_R_0046_0023__SKILLS,R_0046_0010__THE_R_0046_0014__BOYS)
      & r_0046_0010__the_r_0046_0014__boys(R_0046_0010__THE_R_0046_0014__BOYS)
      & has_r_0046_0016__at(R_0046_0010__THE_R_0046_0014__BOYS,R_0046_0017__TICHBORNE_R_0046_0018__DOWN_R_0046_0019__HOSPITAL)
      & has_attrib33(R_0046_0010__THE_R_0046_0014__BOYS,R_0046_0012__ABLE)
      & r_0046_0012__able(R_0046_0012__ABLE)
      & has_qual34(R_0046_0012__ABLE,R_0046_0011__MORE)
      & has_arg1(R_0046_0007__HELPING,R_0046_0008__SOME)
      & r_0046_0008__some(R_0046_0008__SOME)
      & has_r_0046_0009__of(R_0046_0008__SOME,R_0046_0010__THE_R_0046_0014__BOYS)
      & has_conj2(Z_000_46_A_ALRESFORD_70,R_0046_0041__AND)
      & r_0046_0041__and(R_0046_0041__AND)
      & has_conj2(R_0046_0041__AND,R_0046_0042__TACKLED)
      & r_0046_0042__tackled(R_0046_0042__TACKLED)
      & has_r_0046_0045__with_nim136(R_0046_0042__TACKLED,R_0046_0046__A_R_0046_0047__WILL)
      & has_arg1(R_0046_0042__TACKLED,R_0046_0043__THE_R_0046_0044__WORK)
      & has_arg0(R_0046_0042__TACKLED,R_0046_0010__THE_R_0046_0014__BOYS)
      & has_conj1(R_0046_0041__AND,R_0046_0032__WERE)
      & r_0046_0032__were(R_0046_0032__WERE)
      & has_r_0046_0037__in_spite_of_nim114(R_0046_0032__WERE,R_0046_0039__DIFFICULTIES)
      & r_0046_0039__difficulties(R_0046_0039__DIFFICULTIES)
      & has_attrib115(R_0046_0039__DIFFICULTIES,R_0046_0038__VARIOUS)
      & has_prd(R_0046_0032__WERE,R_0046_0035__CHEERFUL)
      & r_0046_0035__cheerful(R_0046_0035__CHEERFUL)
      & has_qual104(R_0046_0035__CHEERFUL,R_0046_0034__SO)
      & has_nim100(R_0046_0032__WERE,R_0046_0033__ALWAYS)
      & has_arg0(R_0046_0032__WERE,R_0046_0010__THE_R_0046_0014__BOYS)
      & has_conj1(Z_000_46_A_ALRESFORD_2,R_0046_0006__INCLUDED)
      & r_0046_0006__included(R_0046_0006__INCLUDED)
      & has_arg1(R_0046_0006__INCLUDED,R_0046_0007__HELPING)
      & has_r_0046_0003__at_nim13(R_0046_0006__INCLUDED,R_0046_0005__TIMES)
      & r_0046_0005__times(R_0046_0005__TIMES)
      & has_attrib14(R_0046_0005__TIMES,R_0046_0004__VARIOUS)
      & has_arg0(R_0046_0006__INCLUDED,R_0046_0002__JOBS)
      & r_0046_0002__jobs(R_0046_0002__JOBS)
      & has_attrib5(R_0046_0002__JOBS,R_0046_0001__OTHER) ) ).

( (IP-MAT (ILYR (ILYR (NP-SBJ (ADJP (ADJ Other;{other}))
                              (NS jobs;{job}))
                      (PP-NIM (P-ROLE at;{at})
                              (NP (ADJP (ADJ various;{various}))
                                  (NS times;{time})))
                      (VBD;_Tg_ included;{include})
                      (IP-PPL3-OB1;{HELPING} (VAG;_Tn.pr_ helping;{help[with]})
                                             (NP-OB1 (D;_nphd_ some;{some})
                                                     (PP (P-ROLE of;{of})
                                                         (NP;{BOYS} (D the;{the})
                                                                    (ADJP (ADVP (ADVR more;{more}))
                                                                          (ADJ able;{able}))
                                                                    (PULQ <lsquo>)
                                                                    (NS boys;{boy})
                                                                    (PURQ <rsquo>)
                                                                    (PP (P-ROLE at;{at})
                                                                        (NP (NPR Tichborne;{Tichborne})
                                                                            (NPR Down;{Down})
                                                                            (NPR Hospital;{Hospital}))))))
                                             (PP-CLR (P-ROLE with;{with})
                                                     (NP (NP-GEN;{BOYS} (PRO;_genm_ their;{their}))
                                                         (N communication;{communication})
                                                         (NS skills;{skill})))))
                (PUNC ,)
                (CONJP (ILYR (ILYR (ILYR (PP-TPC-NIM (P-ROLE for;{for})
                                                     (NP (PRO me;{I})))
                                         (NP-SBJ;{HELPING} (PRO _*_))
                                         (NP-PRD (D a;{a})
                                                 (ADJP (ADJ happy;{happy}))
                                                 (N experience;{experience})))
                                   (PUNC <hyphen>)
                                   (CONJP (ILYR (NP-SBJ;{BOYS} (PRO they;{they}))
                                                (ILYR (ILYR (BED;_La_ were;{be})
                                                            (ADVP-NIM (ADV always;{always}))
                                                            (ADJP-PRD (ADVP (ADV so;{so}))
                                                                      (ADJ cheerful;{cheerful}))
                                                            (PUNC ,)
                                                            (PP-NIM (P-ROLE in_spite_of;{in_spite_of})
                                                                    (NP (ADJP (ADJ various;{various}))
                                                                        (NS difficulties;{difficulty}))))
                                                      (PUNC ,)
                                                      (CONJP (CONJ and;{and})
                                                             (ILYR (VBD;_Tn_ tackled;{tackle})
                                                                   (NP-OB1 (D the;{the})
                                                                           (N work;{work}))
                                                                   (PP-NIM (P-ROLE with;{with})
                                                                           (NP (D a;{a})
                                                                               (N will;{will}))))))))))))
          (PUNC .))
  (ID 46_a_alresford))