65_a_factbook_1_2010
worms mature and reproduce in the blood vessels, liver, kidneys, and intestines releasing eggs, which become trapped in tissues triggering an immune response;

%3 r_0065_0002__mature mature r_0065_0001__worms worms r_0065_0002__mature->r_0065_0001__worms [arg0] r_0065_0014__and and r_0065_0002__mature->r_0065_0014__and in [nim] r_0065_0007__blood_r_0065_0008__vessels blood vessels r_0065_0014__and->r_0065_0007__blood_r_0065_0008__vessels [conj1] r_0065_0010__liver liver r_0065_0014__and->r_0065_0010__liver [conj2] r_0065_0012__kidneys kidneys r_0065_0014__and->r_0065_0012__kidneys [conj3] r_0065_0015__intestines intestines r_0065_0014__and->r_0065_0015__intestines [conj4] r_0065_0003__and and r_0065_0003__and->r_0065_0002__mature [conj1] r_0065_0004__reproduce reproduce r_0065_0003__and->r_0065_0004__reproduce [conj2] r_0065_0004__reproduce->r_0065_0001__worms [arg0] r_0065_0004__reproduce->r_0065_0014__and in [nim] r_0065_0016__releasing releasing r_0065_0016__releasing->r_0065_0001__worms [arg0] r_0065_0017__eggs eggs r_0065_0016__releasing->r_0065_0017__eggs [arg1] r_0065_0020__become become r_0065_0021__trapped trapped r_0065_0020__become->r_0065_0021__trapped [scope] r_0065_0021__trapped->r_0065_0017__eggs [arg1] r_0065_0023__tissues tissues r_0065_0021__trapped->r_0065_0023__tissues in [nim] z_000_65_a_factbook_1_2010_63 r_0065_0021__trapped->z_000_65_a_factbook_1_2010_63 [arg0] r_0065_0024__triggering triggering r_0065_0024__triggering->r_0065_0017__eggs [arg0] r_0065_0025__an_r_0065_0027__response an response r_0065_0024__triggering->r_0065_0025__an_r_0065_0027__response [arg1] r_0065_0026__immune immune r_0065_0025__an_r_0065_0027__response->r_0065_0026__immune [attrib] z_000_65_a_factbook_1_2010_47 z_000_65_a_factbook_1_2010_47->r_0065_0003__and [scope] z_000_65_a_factbook_1_2010_47->r_0065_0016__releasing [restriction] z_000_65_a_factbook_1_2010_73 z_000_65_a_factbook_1_2010_73->r_0065_0020__become [scope] z_000_65_a_factbook_1_2010_73->r_0065_0024__triggering [restriction]
arc(r_0065_0002__mature, r_0065_0001__worms, arg0).
arc(r_0065_0002__mature, r_0065_0014__and, r_0065_0005__in_nim18).
arc(r_0065_0003__and, r_0065_0002__mature, conj1).
arc(r_0065_0003__and, r_0065_0004__reproduce, conj2).
arc(r_0065_0004__reproduce, r_0065_0001__worms, arg0).
arc(r_0065_0004__reproduce, r_0065_0014__and, r_0065_0005__in_nim18).
arc(r_0065_0014__and, r_0065_0007__blood_r_0065_0008__vessels, conj1).
arc(r_0065_0014__and, r_0065_0010__liver, conj2).
arc(r_0065_0014__and, r_0065_0012__kidneys, conj3).
arc(r_0065_0014__and, r_0065_0015__intestines, conj4).
arc(r_0065_0016__releasing, r_0065_0001__worms, arg0).
arc(r_0065_0016__releasing, r_0065_0017__eggs, arg1).
arc(r_0065_0020__become, r_0065_0021__trapped, scope).
arc(r_0065_0021__trapped, r_0065_0017__eggs, arg1).
arc(r_0065_0021__trapped, r_0065_0023__tissues, r_0065_0022__in_nim70).
arc(r_0065_0021__trapped, z_000_65_a_factbook_1_2010_63, arg0).
arc(r_0065_0024__triggering, r_0065_0017__eggs, arg0).
arc(r_0065_0024__triggering, r_0065_0025__an_r_0065_0027__response, arg1).
arc(r_0065_0025__an_r_0065_0027__response, r_0065_0026__immune, attrib80).
arc(z_000_65_a_factbook_1_2010_47, r_0065_0003__and, scope).
arc(z_000_65_a_factbook_1_2010_47, r_0065_0016__releasing, restriction).
arc(z_000_65_a_factbook_1_2010_73, r_0065_0020__become, scope).
arc(z_000_65_a_factbook_1_2010_73, r_0065_0024__triggering, restriction).



%3 r_0065_0002__mature mature r_0065_0001__worms worms r_0065_0002__mature->r_0065_0001__worms [arg0] r_0065_0014__and and r_0065_0002__mature->r_0065_0014__and in [nim] r_0065_0007__blood_r_0065_0008__vessels blood vessels r_0065_0014__and->r_0065_0007__blood_r_0065_0008__vessels [conj1] r_0065_0010__liver liver r_0065_0014__and->r_0065_0010__liver [conj2] r_0065_0012__kidneys kidneys r_0065_0014__and->r_0065_0012__kidneys [conj3] r_0065_0015__intestines intestines r_0065_0014__and->r_0065_0015__intestines [conj4] r_0065_0003__and and r_0065_0003__and->r_0065_0002__mature [conj1] r_0065_0004__reproduce reproduce r_0065_0003__and->r_0065_0004__reproduce [conj2] r_0065_0004__reproduce->r_0065_0001__worms [arg0] r_0065_0004__reproduce->r_0065_0014__and in [nim] r_0065_0016__releasing releasing r_0065_0016__releasing->r_0065_0001__worms [arg0] r_0065_0017__eggs eggs r_0065_0016__releasing->r_0065_0017__eggs [arg1] r_0065_0020__become_r_0065_0021__trapped become trapped r_0065_0020__become_r_0065_0021__trapped->r_0065_0017__eggs [arg1] r_0065_0023__tissues tissues r_0065_0020__become_r_0065_0021__trapped->r_0065_0023__tissues in [nim] z_000_65_a_factbook_1_2010_63 r_0065_0020__become_r_0065_0021__trapped->z_000_65_a_factbook_1_2010_63 [arg0] r_0065_0024__triggering triggering r_0065_0024__triggering->r_0065_0017__eggs [arg0] r_0065_0025__an_r_0065_0027__response an response r_0065_0024__triggering->r_0065_0025__an_r_0065_0027__response [arg1] r_0065_0026__immune immune r_0065_0025__an_r_0065_0027__response->r_0065_0026__immune [attrib] z_000_65_a_factbook_1_2010_47 z_000_65_a_factbook_1_2010_47->r_0065_0003__and [conj2] z_000_65_a_factbook_1_2010_47->r_0065_0016__releasing [conj1] z_000_65_a_factbook_1_2010_73 z_000_65_a_factbook_1_2010_73->r_0065_0020__become_r_0065_0021__trapped [conj2] z_000_65_a_factbook_1_2010_73->r_0065_0024__triggering [conj1]
fof(formula,axiom,
    ? [Z_65_A_FACTBOOK_1_2010_47,R_65_16_RELEASING,R_65_3_AND,R_65_2_MATURE,R_65_4_REPRODUCE,R_65_1_WORMS,R_65_14_AND,R_65_7_BLOOD_VESSELS,R_65_10_LIVER,R_65_12_KIDNEYS,R_65_15_INTESTINES,Z_65_A_FACTBOOK_1_2010_73,R_65_24_TRIGGERING,R_65_25_AN_RESPONSE,R_65_26_IMMUNE,R_65_20_BECOME_TRAPPED,Z_65_A_FACTBOOK_1_2010_63,R_65_17_EGGS,R_65_23_TISSUES] :
      ( worms(R_65_1_WORMS)
      & blood_vessels(R_65_7_BLOOD_VESSELS)
      & liver(R_65_10_LIVER)
      & kidneys(R_65_12_KIDNEYS)
      & intestines(R_65_15_INTESTINES)
      & immune(R_65_26_IMMUNE)
      & eggs(R_65_17_EGGS)
      & tissues(R_65_23_TISSUES)
      & z_65_a_factbook_1_2010_47(Z_65_A_FACTBOOK_1_2010_47)
      & conj1(Z_65_A_FACTBOOK_1_2010_47,R_65_16_RELEASING)
      & releasing(R_65_16_RELEASING,R_65_1_WORMS,R_65_17_EGGS)
      & conj2(Z_65_A_FACTBOOK_1_2010_47,R_65_3_AND)
      & and(R_65_3_AND)
      & conj1(R_65_3_AND,R_65_2_MATURE)
      & mature(R_65_2_MATURE,R_65_1_WORMS)
      & in_nim18(R_65_2_MATURE,R_65_14_AND)
      & and(R_65_14_AND)
      & conj1(R_65_14_AND,R_65_7_BLOOD_VESSELS)
      & conj2(R_65_14_AND,R_65_10_LIVER)
      & conj3(R_65_14_AND,R_65_12_KIDNEYS)
      & conj4(R_65_14_AND,R_65_15_INTESTINES)
      & conj2(R_65_3_AND,R_65_4_REPRODUCE)
      & reproduce(R_65_4_REPRODUCE,R_65_1_WORMS)
      & in_nim18(R_65_4_REPRODUCE,R_65_14_AND)
      & z_65_a_factbook_1_2010_73(Z_65_A_FACTBOOK_1_2010_73)
      & conj1(Z_65_A_FACTBOOK_1_2010_73,R_65_24_TRIGGERING)
      & triggering(R_65_24_TRIGGERING,R_65_17_EGGS,R_65_25_AN_RESPONSE)
      & an_response(R_65_25_AN_RESPONSE)
      & attrib80(R_65_25_AN_RESPONSE,R_65_26_IMMUNE)
      & conj2(Z_65_A_FACTBOOK_1_2010_73,R_65_20_BECOME_TRAPPED)
      & become_trapped(R_65_20_BECOME_TRAPPED,Z_65_A_FACTBOOK_1_2010_63,R_65_17_EGGS)
      & in_nim70(R_65_20_BECOME_TRAPPED,R_65_23_TISSUES) ) ).



n65_a_factbook_1_2010 n65_a_factbook_1_2010_4 worms n65_a_factbook_1_2010_8 mature n65_a_factbook_1_2010_11 and n65_a_factbook_1_2010_14 reproduce n65_a_factbook_1_2010_17 in n65_a_factbook_1_2010_20 the n65_a_factbook_1_2010_24 blood n65_a_factbook_1_2010_26 vessels n65_a_factbook_1_2010_28 , n65_a_factbook_1_2010_32 liver n65_a_factbook_1_2010_34 , n65_a_factbook_1_2010_38 kidneys n65_a_factbook_1_2010_40 , n65_a_factbook_1_2010_43 and n65_a_factbook_1_2010_46 intestines n65_a_factbook_1_2010_50 releasing n65_a_factbook_1_2010_53 eggs n65_a_factbook_1_2010_55 , n65_a_factbook_1_2010_59 which n65_a_factbook_1_2010_61 become n65_a_factbook_1_2010_64 * n65_a_factbook_1_2010_66 trapped n65_a_factbook_1_2010_69 in n65_a_factbook_1_2010_72 tissues n65_a_factbook_1_2010_76 triggering n65_a_factbook_1_2010_79 an n65_a_factbook_1_2010_82 immune n65_a_factbook_1_2010_84 response n65_a_factbook_1_2010_86 ; n65_a_factbook_1_2010_1 IP-MAT n65_a_factbook_1_2010_2 NP-SBJ n65_a_factbook_1_2010_1->n65_a_factbook_1_2010_2 n65_a_factbook_1_2010_5 ILYR n65_a_factbook_1_2010_1->n65_a_factbook_1_2010_5 n65_a_factbook_1_2010_15 PP-NIM n65_a_factbook_1_2010_1->n65_a_factbook_1_2010_15 n65_a_factbook_1_2010_47 PP-SCON n65_a_factbook_1_2010_1->n65_a_factbook_1_2010_47 n65_a_factbook_1_2010_85 PUNC n65_a_factbook_1_2010_1->n65_a_factbook_1_2010_85 n65_a_factbook_1_2010_3 NS n65_a_factbook_1_2010_2->n65_a_factbook_1_2010_3 n65_a_factbook_1_2010_3->n65_a_factbook_1_2010_4 n65_a_factbook_1_2010_6 ILYR n65_a_factbook_1_2010_5->n65_a_factbook_1_2010_6 n65_a_factbook_1_2010_9 CONJP n65_a_factbook_1_2010_5->n65_a_factbook_1_2010_9 n65_a_factbook_1_2010_7 VBP;_I_ n65_a_factbook_1_2010_6->n65_a_factbook_1_2010_7 n65_a_factbook_1_2010_7->n65_a_factbook_1_2010_8 n65_a_factbook_1_2010_10 CONJ n65_a_factbook_1_2010_9->n65_a_factbook_1_2010_10 n65_a_factbook_1_2010_12 ILYR n65_a_factbook_1_2010_9->n65_a_factbook_1_2010_12 n65_a_factbook_1_2010_10->n65_a_factbook_1_2010_11 n65_a_factbook_1_2010_13 VBP;_I_ n65_a_factbook_1_2010_12->n65_a_factbook_1_2010_13 n65_a_factbook_1_2010_13->n65_a_factbook_1_2010_14 n65_a_factbook_1_2010_16 P-ROLE n65_a_factbook_1_2010_15->n65_a_factbook_1_2010_16 n65_a_factbook_1_2010_18 NP n65_a_factbook_1_2010_15->n65_a_factbook_1_2010_18 n65_a_factbook_1_2010_16->n65_a_factbook_1_2010_17 n65_a_factbook_1_2010_19 D n65_a_factbook_1_2010_18->n65_a_factbook_1_2010_19 n65_a_factbook_1_2010_21 NLYR n65_a_factbook_1_2010_18->n65_a_factbook_1_2010_21 n65_a_factbook_1_2010_19->n65_a_factbook_1_2010_20 n65_a_factbook_1_2010_22 NLYR n65_a_factbook_1_2010_21->n65_a_factbook_1_2010_22 n65_a_factbook_1_2010_27 PUNC n65_a_factbook_1_2010_21->n65_a_factbook_1_2010_27 n65_a_factbook_1_2010_29 CONJP n65_a_factbook_1_2010_21->n65_a_factbook_1_2010_29 n65_a_factbook_1_2010_33 PUNC n65_a_factbook_1_2010_21->n65_a_factbook_1_2010_33 n65_a_factbook_1_2010_35 CONJP n65_a_factbook_1_2010_21->n65_a_factbook_1_2010_35 n65_a_factbook_1_2010_39 PUNC n65_a_factbook_1_2010_21->n65_a_factbook_1_2010_39 n65_a_factbook_1_2010_41 CONJP n65_a_factbook_1_2010_21->n65_a_factbook_1_2010_41 n65_a_factbook_1_2010_23 N n65_a_factbook_1_2010_22->n65_a_factbook_1_2010_23 n65_a_factbook_1_2010_25 NS n65_a_factbook_1_2010_22->n65_a_factbook_1_2010_25 n65_a_factbook_1_2010_23->n65_a_factbook_1_2010_24 n65_a_factbook_1_2010_25->n65_a_factbook_1_2010_26 n65_a_factbook_1_2010_27->n65_a_factbook_1_2010_28 n65_a_factbook_1_2010_30 NLYR n65_a_factbook_1_2010_29->n65_a_factbook_1_2010_30 n65_a_factbook_1_2010_31 N n65_a_factbook_1_2010_30->n65_a_factbook_1_2010_31 n65_a_factbook_1_2010_31->n65_a_factbook_1_2010_32 n65_a_factbook_1_2010_33->n65_a_factbook_1_2010_34 n65_a_factbook_1_2010_36 NLYR n65_a_factbook_1_2010_35->n65_a_factbook_1_2010_36 n65_a_factbook_1_2010_37 NS n65_a_factbook_1_2010_36->n65_a_factbook_1_2010_37 n65_a_factbook_1_2010_37->n65_a_factbook_1_2010_38 n65_a_factbook_1_2010_39->n65_a_factbook_1_2010_40 n65_a_factbook_1_2010_42 CONJ n65_a_factbook_1_2010_41->n65_a_factbook_1_2010_42 n65_a_factbook_1_2010_44 NLYR n65_a_factbook_1_2010_41->n65_a_factbook_1_2010_44 n65_a_factbook_1_2010_42->n65_a_factbook_1_2010_43 n65_a_factbook_1_2010_45 NS n65_a_factbook_1_2010_44->n65_a_factbook_1_2010_45 n65_a_factbook_1_2010_45->n65_a_factbook_1_2010_46 n65_a_factbook_1_2010_48 IP-PPL n65_a_factbook_1_2010_47->n65_a_factbook_1_2010_48 n65_a_factbook_1_2010_49 VAG;_Tn_ n65_a_factbook_1_2010_48->n65_a_factbook_1_2010_49 n65_a_factbook_1_2010_51 NP-OB1 n65_a_factbook_1_2010_48->n65_a_factbook_1_2010_51 n65_a_factbook_1_2010_49->n65_a_factbook_1_2010_50 n65_a_factbook_1_2010_52 NS n65_a_factbook_1_2010_51->n65_a_factbook_1_2010_52 n65_a_factbook_1_2010_54 PUNC n65_a_factbook_1_2010_51->n65_a_factbook_1_2010_54 n65_a_factbook_1_2010_56 IP-REL n65_a_factbook_1_2010_51->n65_a_factbook_1_2010_56 n65_a_factbook_1_2010_52->n65_a_factbook_1_2010_53 n65_a_factbook_1_2010_54->n65_a_factbook_1_2010_55 n65_a_factbook_1_2010_57 NP-SBJ n65_a_factbook_1_2010_56->n65_a_factbook_1_2010_57 n65_a_factbook_1_2010_60 VBP;_cat_VePASS_ n65_a_factbook_1_2010_56->n65_a_factbook_1_2010_60 n65_a_factbook_1_2010_62 IP-PPL-CAT n65_a_factbook_1_2010_56->n65_a_factbook_1_2010_62 n65_a_factbook_1_2010_73 PP-SCON n65_a_factbook_1_2010_56->n65_a_factbook_1_2010_73 n65_a_factbook_1_2010_58 RPRO n65_a_factbook_1_2010_57->n65_a_factbook_1_2010_58 n65_a_factbook_1_2010_58->n65_a_factbook_1_2010_59 n65_a_factbook_1_2010_60->n65_a_factbook_1_2010_61 n65_a_factbook_1_2010_63 NP-LGS n65_a_factbook_1_2010_62->n65_a_factbook_1_2010_63 n65_a_factbook_1_2010_65 VVN;_Tn_ n65_a_factbook_1_2010_62->n65_a_factbook_1_2010_65 n65_a_factbook_1_2010_67 PP-NIM n65_a_factbook_1_2010_62->n65_a_factbook_1_2010_67 n65_a_factbook_1_2010_63->n65_a_factbook_1_2010_64 n65_a_factbook_1_2010_65->n65_a_factbook_1_2010_66 n65_a_factbook_1_2010_68 P-ROLE n65_a_factbook_1_2010_67->n65_a_factbook_1_2010_68 n65_a_factbook_1_2010_70 NP n65_a_factbook_1_2010_67->n65_a_factbook_1_2010_70 n65_a_factbook_1_2010_68->n65_a_factbook_1_2010_69 n65_a_factbook_1_2010_71 NS n65_a_factbook_1_2010_70->n65_a_factbook_1_2010_71 n65_a_factbook_1_2010_71->n65_a_factbook_1_2010_72 n65_a_factbook_1_2010_74 IP-PPL n65_a_factbook_1_2010_73->n65_a_factbook_1_2010_74 n65_a_factbook_1_2010_75 VAG;_Tn_ n65_a_factbook_1_2010_74->n65_a_factbook_1_2010_75 n65_a_factbook_1_2010_77 NP-OB1 n65_a_factbook_1_2010_74->n65_a_factbook_1_2010_77 n65_a_factbook_1_2010_75->n65_a_factbook_1_2010_76 n65_a_factbook_1_2010_78 D n65_a_factbook_1_2010_77->n65_a_factbook_1_2010_78 n65_a_factbook_1_2010_80 ADJP n65_a_factbook_1_2010_77->n65_a_factbook_1_2010_80 n65_a_factbook_1_2010_83 N n65_a_factbook_1_2010_77->n65_a_factbook_1_2010_83 n65_a_factbook_1_2010_78->n65_a_factbook_1_2010_79 n65_a_factbook_1_2010_81 ADJ n65_a_factbook_1_2010_80->n65_a_factbook_1_2010_81 n65_a_factbook_1_2010_81->n65_a_factbook_1_2010_82 n65_a_factbook_1_2010_83->n65_a_factbook_1_2010_84 n65_a_factbook_1_2010_85->n65_a_factbook_1_2010_86
( (IP-MAT (NP-SBJ (NS worms;{worm}))
          (ILYR (ILYR (VBP;_I_ mature;{mature}))
                (CONJP (CONJ and;{and})
                       (ILYR (VBP;_I_ reproduce;{reproduce}))))
          (PP-NIM (P-ROLE in;{in})
                  (NP (D the;{the})
                      (NLYR (NLYR (N blood;{blood})
                                  (NS vessels;{vessel}))
                            (PUNC ,)
                            (CONJP (NLYR (N liver;{liver})))
                            (PUNC ,)
                            (CONJP (NLYR (NS kidneys;{kidney})))
                            (PUNC ,)
                            (CONJP (CONJ and;{and})
                                   (NLYR (NS intestines;{intestine}))))))
          (PP-SCON (IP-PPL (VAG;_Tn_ releasing;{release})
                           (NP-OB1 (NS eggs;{egg})
                                   (PUNC ,)
                                   (IP-REL (NP-SBJ (RPRO which;{which}))
                                           (VBP;_cat_VePASS_ become;{become})
                                           (IP-PPL-CAT (NP-LGS *)
                                                       (VVN;_Tn_ trapped;{trap})
                                                       (PP-NIM (P-ROLE in;{in})
                                                               (NP (NS tissues;{tissue}))))
                                           (PP-SCON (IP-PPL (VAG;_Tn_ triggering;{trigger})
                                                            (NP-OB1 (D an;{an})
                                                                    (ADJP (ADJ immune;{immune}))
                                                                    (N response;{response}))))))))
          (PUNC ;))
  (ID 65_a_factbook_1_2010))