( (IP-MAT (MD;_cat_Vi_ may;{may})
          (IP-INF-CAT (VB;_phr_Vpr_ manifest;{manifest[as]})
                      (PP-CLR (P-ROLE as;{as})
                              (NP (ADJP (AJLYR (CONJ either;{either})
                                               (AJLYR (ADJ urinary;{urinary}))
                                               (CONJP (CONJ or;{or})
                                                      (AJLYR (ADJ intestinal;{intestinal})))))
                                  (N disease;{disease})
                                  (IP-PPL (VAG;_Ipr_ resulting;{result[in]})
                                          (PP-CLR (P-ROLE in;{in})
                                                  (NP (NLYR (NLYR (IP-PPL (NP-LGS *)
                                                                          (VVN;_Tn_ decreased;{decrease}))
                                                                  (N work;{work}))
                                                            (CONJP (CONJ or;{or})
                                                                   (NLYR (ADJP (ADJ learning;{learning}))
                                                                         (N capacity;{capacity}))))))))))
          (PUNC ;))
  (ID 66_a_factbook_1_2010))

arc(r_0066_0001__may,r_0066_0002__manifest,scope).
arc(r_0066_0002__manifest,r_0066_0008__disease,r_0066_0003__as__clr).
arc(r_0066_0002__manifest,z_0066_5002,arg0).
arc(r_0066_0004__either_r_0066_0006__or,r_0066_0005__urinary,conj1).
arc(r_0066_0004__either_r_0066_0006__or,r_0066_0007__intestinal,conj2).
arc(r_0066_0008__disease,r_0066_0004__either_r_0066_0006__or,attrib).
arc(r_0066_0009__resulting_r_0066_0010__in,r_0066_0008__disease,inv_arg0).
arc(r_0066_0009__resulting_r_0066_0010__in,r_0066_0013__or,arg1).
arc(r_0066_0011__decreased,r_0066_0012__work,inv_arg1).
arc(r_0066_0011__decreased,z_0066_5010___star_,arg0).
arc(r_0066_0013__or,r_0066_0012__work,conj1).
arc(r_0066_0013__or,r_0066_0015__capacity,conj2).
arc(r_0066_0015__capacity,r_0066_0014__learning,attrib).

fof(formula,axiom,
    ? [R_0066_0005__URINARY,R_0066_0007__INTESTINAL,R_0066_0004__EITHER_R_0066_0006__OR,Z_0066_5010___STAR_,R_0066_0011__DECREASED,R_0066_0012__WORK,R_0066_0014__LEARNING,R_0066_0015__CAPACITY,R_0066_0013__OR,R_0066_0009__RESULTING_R_0066_0010__IN,R_0066_0008__DISEASE,Z_0066_5002,R_0066_0001__MAY_R_0066_0002__MANIFEST] :
      ( r_0066_0005__urinary(R_0066_0005__URINARY)
      & r_0066_0007__intestinal(R_0066_0007__INTESTINAL)
      & r_0066_0014__learning(R_0066_0014__LEARNING)
      & z_0066_5002(Z_0066_5002)
      & z_0066_5010___star_(Z_0066_5010___STAR_)
      & r_0066_0001__may_r_0066_0002__manifest(R_0066_0001__MAY_R_0066_0002__MANIFEST)
      & has_arg0(R_0066_0001__MAY_R_0066_0002__MANIFEST,Z_0066_5002)
      & has_r_0066_0003__as__clr(R_0066_0001__MAY_R_0066_0002__MANIFEST,R_0066_0008__DISEASE)
      & r_0066_0008__disease(R_0066_0008__DISEASE)
      & has_inv_arg0(R_0066_0008__DISEASE,R_0066_0009__RESULTING_R_0066_0010__IN)
      & r_0066_0009__resulting_r_0066_0010__in(R_0066_0009__RESULTING_R_0066_0010__IN)
      & has_arg1(R_0066_0009__RESULTING_R_0066_0010__IN,R_0066_0013__OR)
      & r_0066_0013__or(R_0066_0013__OR)
      & has_conj2(R_0066_0013__OR,R_0066_0015__CAPACITY)
      & r_0066_0015__capacity(R_0066_0015__CAPACITY)
      & has_attrib(R_0066_0015__CAPACITY,R_0066_0014__LEARNING)
      & has_conj1(R_0066_0013__OR,R_0066_0012__WORK)
      & r_0066_0012__work(R_0066_0012__WORK)
      & has_inv_arg1(R_0066_0012__WORK,R_0066_0011__DECREASED)
      & r_0066_0011__decreased(R_0066_0011__DECREASED)
      & has_arg0(R_0066_0011__DECREASED,Z_0066_5010___STAR_)
      & has_attrib(R_0066_0008__DISEASE,R_0066_0004__EITHER_R_0066_0006__OR)
      & r_0066_0004__either_r_0066_0006__or(R_0066_0004__EITHER_R_0066_0006__OR)
      & has_conj2(R_0066_0004__EITHER_R_0066_0006__OR,R_0066_0007__INTESTINAL)
      & has_conj1(R_0066_0004__EITHER_R_0066_0006__OR,R_0066_0005__URINARY) ) ).