TSPC 105_a_lob

105_a_lob_a01
‘We believe that a comprehensive medical service, free to the patient at the point of need and with one standard for all sick people, is good and attainable.’

( (IP-MAT (PULQ <lquo>)
          (NP-SBJ (PRO We;{we}))
          (VBP;__ believe;{believe})
          (CP-THT-OB1 (IP-SUB (C that;{that})
                              (NP-SBJ (D a;{a})
                                      (ADJP (ADJ comprehensive;{comprehensive}))
                                      (ADJP (ADJ medical;{medical}))
                                      (N service;{service}))
                              (PUNC ,)
                              (ADJP-NIM (AJLYR (AJLYR (ADJ free;{free})
                                                      (PP (P-ROLE to;{to})
                                                          (NP (D the;{the})
                                                              (N patient;{patient})
                                                              (PP (P-ROLE at;{at})
                                                                  (NP (D the;{the})
                                                                      (N point;{point})
                                                                      (PP (P-ROLE of;{of})
                                                                          (NP (N need;{need}))))))))
                                               (CONJP (CONJ and;{and})
                                                      (PP (P-ROLE with;{with})
                                                          (NP (NUM one;{one})
                                                              (N standard;{standard})
                                                              (PP (P-ROLE for;{for})
                                                                  (NP (Q all;{all})
                                                                      (ADJP (ADJ sick;{sick}))
                                                                      (NS people;{people}))))))))
                              (PUNC ,)
                              (BEP;_La_ is;{be})
                              (ADJP-PRD (AJLYR (AJLYR (ADJ good;{good}))
                                               (CONJP (CONJ and;{and})
                                                      (AJLYR (ADJ attainable;{attainable})))))))
          (PUNC .)
          (PURQ <rquo>))
  (ID 105_a_lob_a01))

arc(r_0105_0003__believe,r_0105_0002__We,arg0).
arc(r_0105_0003__believe,r_0105_0028__is,arg1).
arc(r_0105_0005__a_r_0105_0008__service,r_0105_0006__comprehensive,attrib).
arc(r_0105_0005__a_r_0105_0008__service,r_0105_0007__medical,attrib).
arc(r_0105_0019__and,r_0105_0010__free_r_0105_0011__to_r_0105_0012__the_r_0105_0013__patient_r_0105_0014__at_r_0105_0015__the_r_0105_0016__point_r_0105_0017__of_r_0105_0018__need,conj1).
arc(r_0105_0028__is,r_0105_0005__a_r_0105_0008__service,arg0).
arc(r_0105_0028__is,r_0105_0019__and,nim).
arc(r_0105_0028__is,r_0105_0030__and,prd).
arc(r_0105_0030__and,r_0105_0029__good,conj1).
arc(r_0105_0030__and,r_0105_0031__attainable,conj2).

fof(formula,axiom,
    ? [R_0105_0002__WE,R_0105_0006__COMPREHENSIVE,R_0105_0007__MEDICAL,R_0105_0005__A_R_0105_0008__SERVICE,R_0105_0010__FREE_R_0105_0011__TO_R_0105_0012__THE_R_0105_0013__PATIENT_R_0105_0014__AT_R_0105_0015__THE_R_0105_0016__POINT_R_0105_0017__OF_R_0105_0018__NEED,R_0105_0019__AND,R_0105_0029__GOOD,R_0105_0031__ATTAINABLE,R_0105_0030__AND,R_0105_0028__IS,R_0105_0003__BELIEVE] :
      ( r_0105_0002__We(R_0105_0002__WE)
      & r_0105_0006__comprehensive(R_0105_0006__COMPREHENSIVE)
      & r_0105_0007__medical(R_0105_0007__MEDICAL)
      & r_0105_0010__free_r_0105_0011__to_r_0105_0012__the_r_0105_0013__patient_r_0105_0014__at_r_0105_0015__the_r_0105_0016__point_r_0105_0017__of_r_0105_0018__need(R_0105_0010__FREE_R_0105_0011__TO_R_0105_0012__THE_R_0105_0013__PATIENT_R_0105_0014__AT_R_0105_0015__THE_R_0105_0016__POINT_R_0105_0017__OF_R_0105_0018__NEED)
      & r_0105_0029__good(R_0105_0029__GOOD)
      & r_0105_0031__attainable(R_0105_0031__ATTAINABLE)
      & r_0105_0003__believe(R_0105_0003__BELIEVE)
      & has_arg1(R_0105_0003__BELIEVE,R_0105_0028__IS)
      & r_0105_0028__is(R_0105_0028__IS)
      & has_prd(R_0105_0028__IS,R_0105_0030__AND)
      & r_0105_0030__and(R_0105_0030__AND)
      & has_conj2(R_0105_0030__AND,R_0105_0031__ATTAINABLE)
      & has_conj1(R_0105_0030__AND,R_0105_0029__GOOD)
      & has_nim(R_0105_0028__IS,R_0105_0019__AND)
      & r_0105_0019__and(R_0105_0019__AND)
      & has_conj1(R_0105_0019__AND,R_0105_0010__FREE_R_0105_0011__TO_R_0105_0012__THE_R_0105_0013__PATIENT_R_0105_0014__AT_R_0105_0015__THE_R_0105_0016__POINT_R_0105_0017__OF_R_0105_0018__NEED)
      & has_arg0(R_0105_0028__IS,R_0105_0005__A_R_0105_0008__SERVICE)
      & r_0105_0005__a_r_0105_0008__service(R_0105_0005__A_R_0105_0008__SERVICE)
      & has_attrib(R_0105_0005__A_R_0105_0008__SERVICE,R_0105_0007__MEDICAL)
      & has_attrib(R_0105_0005__A_R_0105_0008__SERVICE,R_0105_0006__COMPREHENSIVE)
      & has_arg0(R_0105_0003__BELIEVE,R_0105_0002__WE) ) ).