TSPC 40_a_factbook_1

40_a_factbook_1_2010
Plague - bacterial disease transmitted by fleas normally associated with rats;

( (FRAG (NP (NPR Plague;{Plague})
            (PUNC <hyphen>)
            (PRN (NP (ADJP (ADJ bacterial;{bacterial}))
                     (N disease;{disease})
                     (IP-PPL (VVN;_Tn_ transmitted;{transmit})
                             (PP-LGS (P-ROLE;_lgs_ by;{by})
                                     (NP (NS fleas;{flea})
                                         (IP-PPL (NP-LGS *)
                                                 (ADVP-NIM (ADV normally;{normally}))
                                                 (VVN;_Tn.pr_ associated;{associate[with]})
                                                 (PP-CLR (P-ROLE with;{with})
                                                         (NP (NS rats;{rat}))))))))))
        (PUNC ;))
  (ID 40_a_factbook_1_2010))

arc(r_0040_0004__disease,r_0040_0003__bacterial,attrib).
arc(r_0040_0005__transmitted,r_0040_0004__disease,inv_arg1).
arc(r_0040_0005__transmitted,r_0040_0007__fleas,r_0040_0006__by_arg0).
arc(r_0040_0009__associated_r_0040_0010__with,r_0040_0007__fleas,inv_arg1).
arc(r_0040_0009__associated_r_0040_0010__with,r_0040_0008__normally,nim).
arc(r_0040_0009__associated_r_0040_0010__with,r_0040_0011__rats,arg2).
arc(r_0040_0009__associated_r_0040_0010__with,z_0040_5008___star_,arg0).
arc(z_0040_5011,r_0040_0001__Plague,arg0).
arc(z_0040_5011,r_0040_0004__disease,prd).
arc(z_0040_5013,r_0040_0001__Plague,z_0040_5002).

fof(formula,axiom,
    ? [R_0040_0001__PLAGUE,R_0040_0003__BACTERIAL,R_0040_0008__NORMALLY,R_0040_0011__RATS,Z_0040_5008___STAR_,R_0040_0009__ASSOCIATED_R_0040_0010__WITH,R_0040_0007__FLEAS,R_0040_0005__TRANSMITTED,R_0040_0004__DISEASE,Z_0040_5011,Z_0040_5013] :
      ( r_0040_0001__Plague(R_0040_0001__PLAGUE)
      & r_0040_0003__bacterial(R_0040_0003__BACTERIAL)
      & r_0040_0008__normally(R_0040_0008__NORMALLY)
      & r_0040_0011__rats(R_0040_0011__RATS)
      & z_0040_5008___star_(Z_0040_5008___STAR_)
      & z_0040_5013(Z_0040_5013)
      & has_z_0040_5002(Z_0040_5013,R_0040_0001__PLAGUE)
      & z_0040_5011(Z_0040_5011)
      & has_prd(Z_0040_5011,R_0040_0004__DISEASE)
      & r_0040_0004__disease(R_0040_0004__DISEASE)
      & has_inv_arg1(R_0040_0004__DISEASE,R_0040_0005__TRANSMITTED)
      & r_0040_0005__transmitted(R_0040_0005__TRANSMITTED)
      & has_r_0040_0006__by_arg0(R_0040_0005__TRANSMITTED,R_0040_0007__FLEAS)
      & r_0040_0007__fleas(R_0040_0007__FLEAS)
      & has_inv_arg1(R_0040_0007__FLEAS,R_0040_0009__ASSOCIATED_R_0040_0010__WITH)
      & r_0040_0009__associated_r_0040_0010__with(R_0040_0009__ASSOCIATED_R_0040_0010__WITH)
      & has_arg0(R_0040_0009__ASSOCIATED_R_0040_0010__WITH,Z_0040_5008___STAR_)
      & has_arg2(R_0040_0009__ASSOCIATED_R_0040_0010__WITH,R_0040_0011__RATS)
      & has_nim(R_0040_0009__ASSOCIATED_R_0040_0010__WITH,R_0040_0008__NORMALLY)
      & has_attrib(R_0040_0004__DISEASE,R_0040_0003__BACTERIAL)
      & has_arg0(Z_0040_5011,R_0040_0001__PLAGUE) ) ).