63_a_factbook_1_2010
Schistosomiasis - caused by parasitic trematode flatworm Schistosoma;
( (NP (NPR Schistosomiasis;{Schistosomiasis})
(PUNC <hyphen>)
(IP-PPL (VVN;_Tn_ caused;{cause})
(PP-LGS (P-ROLE;_lgs_ by;{by})
(NP (ADJP (ADJ parasitic;{parasitic}))
(N trematode;{trematode})
(N flatworm;{flatworm})
(N Schistosoma;{schistosoma}))))
(PUNC ;))
(ID 63_a_factbook_1_2010))
arc(r_0063_0003__caused,r_0063_0001__Schistosomiasis,inv_arg1).
arc(r_0063_0003__caused,r_0063_0006__trematode_r_0063_0007__flatworm_r_0063_0008__Schistosoma,r_0063_0004__by_arg0).
arc(r_0063_0006__trematode_r_0063_0007__flatworm_r_0063_0008__Schistosoma,r_0063_0005__parasitic,attrib).
arc(z_0063_5006,r_0063_0001__Schistosomiasis,z_0063_5002).
fof(formula,axiom,
? [R_0063_0005__PARASITIC,R_0063_0006__TREMATODE_R_0063_0007__FLATWORM_R_0063_0008__SCHISTOSOMA,R_0063_0003__CAUSED,R_0063_0001__SCHISTOSOMIASIS,Z_0063_5006] :
( r_0063_0005__parasitic(R_0063_0005__PARASITIC)
& z_0063_5006(Z_0063_5006)
& has_z_0063_5002(Z_0063_5006,R_0063_0001__SCHISTOSOMIASIS)
& r_0063_0001__Schistosomiasis(R_0063_0001__SCHISTOSOMIASIS)
& has_inv_arg1(R_0063_0001__SCHISTOSOMIASIS,R_0063_0003__CAUSED)
& r_0063_0003__caused(R_0063_0003__CAUSED)
& has_r_0063_0004__by_arg0(R_0063_0003__CAUSED,R_0063_0006__TREMATODE_R_0063_0007__FLATWORM_R_0063_0008__SCHISTOSOMA)
& r_0063_0006__trematode_r_0063_0007__flatworm_r_0063_0008__Schistosoma(R_0063_0006__TREMATODE_R_0063_0007__FLATWORM_R_0063_0008__SCHISTOSOMA)
& has_attrib(R_0063_0006__TREMATODE_R_0063_0007__FLATWORM_R_0063_0008__SCHISTOSOMA,R_0063_0005__PARASITIC) ) ).