arc(r_0038_0001__With, r_0038_0005__being, restriction).
arc(r_0038_0001__With, r_0038_0020__is, scope).
arc(r_0038_0003__and, r_0038_0002__trust, conj1).
arc(r_0038_0003__and, r_0038_0004__transparency, conj2).
arc(r_0038_0005__being, r_0038_0003__and, arg0).
arc(r_0038_0005__being, r_0038_0006__two_r_0038_0008__hurdles, prd).
arc(r_0038_0006__two_r_0038_0008__hurdles, r_0038_0007__major, attrib22).
arc(r_0038_0009__facing, r_0038_0006__two_r_0038_0008__hurdles, arg0).
arc(r_0038_0009__facing, r_0038_0012__and, arg1).
arc(r_0038_0012__and, r_0038_0010__widespread, attrib31).
arc(r_0038_0012__and, r_0038_0011__adoption, conj1).
arc(r_0038_0012__and, r_0038_0013__acceptance, conj2).
arc(r_0038_0012__and, r_0038_0015__AI, r_0038_0014__of).
arc(r_0038_0017__this_r_0038_0019__approach, r_0038_0018__over__hyphen__controlling, attrib55).
arc(r_0038_0020__is, r_0038_0017__this_r_0038_0019__approach, arg0).
arc(r_0038_0020__is, r_0038_0021__arguably, nim62).
arc(r_0038_0020__is, r_0038_0023__short__hyphen__sighted, prd).
arc(r_0038_0023__short__hyphen__sighted, r_0038_0022__very, qual66).

fof(formula,axiom,
    ? [R_0038_0002__TRUST,R_0038_0004__TRANSPARENCY,R_0038_0003__AND,R_0038_0007__MAJOR,R_0038_0006__TWO_R_0038_0008__HURDLES,R_0038_0005__BEING,R_0038_0018__OVER__HYPHEN__CONTROLLING,R_0038_0017__THIS_R_0038_0019__APPROACH,R_0038_0021__ARGUABLY,R_0038_0022__VERY,R_0038_0023__SHORT__HYPHEN__SIGHTED,R_0038_0020__IS,R_0038_0001__WITH,R_0038_0010__WIDESPREAD,R_0038_0011__ADOPTION,R_0038_0013__ACCEPTANCE,R_0038_0015__AI,R_0038_0012__AND,R_0038_0009__FACING] :
      ( r_0038_0002__trust(R_0038_0002__TRUST)
      & r_0038_0004__transparency(R_0038_0004__TRANSPARENCY)
      & r_0038_0007__major(R_0038_0007__MAJOR)
      & r_0038_0010__widespread(R_0038_0010__WIDESPREAD)
      & r_0038_0011__adoption(R_0038_0011__ADOPTION)
      & r_0038_0013__acceptance(R_0038_0013__ACCEPTANCE)
      & r_0038_0015__AI(R_0038_0015__AI)
      & r_0038_0018__over__hyphen__controlling(R_0038_0018__OVER__HYPHEN__CONTROLLING)
      & r_0038_0021__arguably(R_0038_0021__ARGUABLY)
      & r_0038_0022__very(R_0038_0022__VERY)
      & r_0038_0009__facing(R_0038_0009__FACING)
      & has_arg1(R_0038_0009__FACING,R_0038_0012__AND)
      & r_0038_0012__and(R_0038_0012__AND)
      & has_r_0038_0014__of(R_0038_0012__AND,R_0038_0015__AI)
      & has_conj2(R_0038_0012__AND,R_0038_0013__ACCEPTANCE)
      & has_conj1(R_0038_0012__AND,R_0038_0011__ADOPTION)
      & has_attrib31(R_0038_0012__AND,R_0038_0010__WIDESPREAD)
      & has_arg0(R_0038_0009__FACING,R_0038_0006__TWO_R_0038_0008__HURDLES)
      & r_0038_0006__two_r_0038_0008__hurdles(R_0038_0006__TWO_R_0038_0008__HURDLES)
      & has_attrib22(R_0038_0006__TWO_R_0038_0008__HURDLES,R_0038_0007__MAJOR)
      & r_0038_0001__With(R_0038_0001__WITH)
      & has_conj2(R_0038_0001__WITH,R_0038_0020__IS)
      & r_0038_0020__is(R_0038_0020__IS)
      & has_prd(R_0038_0020__IS,R_0038_0023__SHORT__HYPHEN__SIGHTED)
      & r_0038_0023__short__hyphen__sighted(R_0038_0023__SHORT__HYPHEN__SIGHTED)
      & has_qual66(R_0038_0023__SHORT__HYPHEN__SIGHTED,R_0038_0022__VERY)
      & has_nim62(R_0038_0020__IS,R_0038_0021__ARGUABLY)
      & has_arg0(R_0038_0020__IS,R_0038_0017__THIS_R_0038_0019__APPROACH)
      & r_0038_0017__this_r_0038_0019__approach(R_0038_0017__THIS_R_0038_0019__APPROACH)
      & has_attrib55(R_0038_0017__THIS_R_0038_0019__APPROACH,R_0038_0018__OVER__HYPHEN__CONTROLLING)
      & has_conj1(R_0038_0001__WITH,R_0038_0005__BEING)
      & r_0038_0005__being(R_0038_0005__BEING)
      & has_prd(R_0038_0005__BEING,R_0038_0006__TWO_R_0038_0008__HURDLES)
      & has_arg0(R_0038_0005__BEING,R_0038_0003__AND)
      & r_0038_0003__and(R_0038_0003__AND)
      & has_conj2(R_0038_0003__AND,R_0038_0004__TRANSPARENCY)
      & has_conj1(R_0038_0003__AND,R_0038_0002__TRUST) ) ).

( (IP-MAT (PP-SCON (P-CONN With;{with})
                   (IP-PPL3 (NP-SBJ (NLYR (NLYR (N trust;{trust}))
                                          (CONJP (CONJ and;{and})
                                                 (NLYR (N transparency;{transparency})))))
                            (BAG;_Ln_ being;{be})
                            (NP-PRD (NUM two;{two})
                                    (ADJP (ADJ major;{major}))
                                    (NS hurdles;{hurdle})
                                    (IP-PPL (VAG;_Tn_ facing;{face})
                                            (NP-OB1 (ADJP (ADJ widespread;{widespread}))
                                                    (NLYR (NLYR (N adoption;{adoption}))
                                                          (CONJP (CONJ and;{and})
                                                                 (NLYR (N acceptance;{acceptance}))))
                                                    (PP (P-ROLE of;{of})
                                                        (NP (NPR AI;{AI}))))))))
          (PUNC ,)
          (NP-SBJ (D this;{this})
                  (ADJP (ADJ over_<hyphen>_controlling;{over_controlling}))
                  (N approach;{approach}))
          (BEP;_La_ is;{be})
          (ADVP-NIM (ADV arguably;{arguably}))
          (ADJP-PRD (ADVP (ADV very;{very}))
                    (ADJ short_<hyphen>_sighted;{short_sighted}))
          (PUNC .))
  (ID 38_a_duplex))