By [] using true we have:
rdf:type(:N0,:ind)
By [] using rdf:type(:N0,:ind) we have:
rdf:type(:N1,:ind)
By [] using rdf:type(:N0,:ind) we have:
rdf:type(:I1,:ind)
By [] using rdf:type(:N0,:ind) we have:
rdf:type(:J1,:ind)
By [] using rdf:type(:N1,:ind) we have:
rdf:type(:N2,:ind)
By [] using rdf:type(:N1,:ind) we have:
rdf:type(:I2,:ind)
By [] using rdf:type(:N1,:ind) we have:
rdf:type(:J2,:ind)
By [] using rdf:type(:N2,:ind) we have:
rdf:type(:N3,:ind)
By [] using rdf:type(:N2,:ind) we have:
rdf:type(:I3,:ind)
By [] using rdf:type(:N2,:ind) we have:
rdf:type(:J3,:ind)
By [] using rdf:type(:N3,:ind) we have:
rdf:type(:N4,:ind)
By [] using rdf:type(:N3,:ind) we have:
rdf:type(:I4,:ind)
By [] using rdf:type(:N3,:ind) we have:
rdf:type(:J4,:ind)
By [] using rdf:type(:N4,:ind) we have:
rdf:type(:N5,:ind)
By [] using rdf:type(:N4,:ind) we have:
rdf:type(:I5,:ind)
By [] using rdf:type(:N4,:ind) we have:
rdf:type(:J5,:ind)
By [] using rdf:type(:N5,:ind) we have:
rdf:type(:N6,:ind)
By [] using rdf:type(:N5,:ind) we have:
rdf:type(:I6,:ind)
By [] using rdf:type(:N5,:ind) we have:
rdf:type(:J6,:ind)
By [] using rdf:type(:N6,:ind) we have:
rdf:type(:N7,:ind)
By [] using rdf:type(:N6,:ind) we have:
rdf:type(:I7,:ind)
By [] using rdf:type(:N6,:ind) we have:
rdf:type(:J7,:ind)
By [] using rdf:type(:N7,:ind) we have:
rdf:type(:N8,:ind)
By [] using rdf:type(:N7,:ind) we have:
rdf:type(:I8,:ind)
By [] using rdf:type(:N7,:ind) we have:
rdf:type(:J8,:ind)
By [] using rdf:type(:N8,:ind) we have:
rdf:type(:N9,:ind)
By [] using rdf:type(:N8,:ind) we have:
rdf:type(:I9,:ind)
By [] using rdf:type(:N8,:ind) we have:
rdf:type(:J9,:ind)
By [] using rdf:type(:N9,:ind) we have:
rdf:type(:N10,:ind)
By [] using rdf:type(:N9,:ind) we have:
rdf:type(:I10,:ind)
By [] using rdf:type(:N9,:ind) we have:
rdf:type(:J10,:ind)
By [] using rdf:type(:N10,:ind) we have:
rdf:type(:N11,:ind)
By [] using rdf:type(:N10,:ind) we have:
rdf:type(:I11,:ind)
By [] using rdf:type(:N10,:ind) we have:
rdf:type(:J11,:ind)
By [] using rdf:type(:N11,:ind) we have:
rdf:type(:N12,:ind)
By [] using rdf:type(:N11,:ind) we have:
rdf:type(:I12,:ind)
By [] using rdf:type(:N11,:ind) we have:
rdf:type(:J12,:ind)
By [] using rdf:type(:N12,:ind) we have:
rdf:type(:N13,:ind)
By [] using rdf:type(:N12,:ind) we have:
rdf:type(:I13,:ind)
By [] using rdf:type(:N12,:ind) we have:
rdf:type(:J13,:ind)
By [] using rdf:type(:N13,:ind) we have:
rdf:type(:N14,:ind)
By [] using rdf:type(:N13,:ind) we have:
rdf:type(:I14,:ind)
By [] using rdf:type(:N13,:ind) we have:
rdf:type(:J14,:ind)
By [] using rdf:type(:N14,:ind) we have:
rdf:type(:N15,:ind)
By [] using rdf:type(:N14,:ind) we have:
rdf:type(:I15,:ind)
By [] using rdf:type(:N14,:ind) we have:
rdf:type(:J15,:ind)
By [] using rdf:type(:N15,:ind) we have:
rdf:type(:N16,:ind)
By [] using rdf:type(:N15,:ind) we have:
rdf:type(:I16,:ind)
By [] using rdf:type(:N15,:ind) we have:
rdf:type(:J16,:ind)
By [] using rdf:type(:N16,:ind) we have:
rdf:type(:N17,:ind)
By [] using rdf:type(:N16,:ind) we have:
rdf:type(:I17,:ind)
By [] using rdf:type(:N16,:ind) we have:
rdf:type(:J17,:ind)
By [] using rdf:type(:N17,:ind) we have:
rdf:type(:N18,:ind)
By [] using rdf:type(:N17,:ind) we have:
rdf:type(:I18,:ind)
By [] using rdf:type(:N17,:ind) we have:
rdf:type(:J18,:ind)
By [] using rdf:type(:N18,:ind) we have:
rdf:type(:N19,:ind)
By [] using rdf:type(:N18,:ind) we have:
rdf:type(:I19,:ind)
By [] using rdf:type(:N18,:ind) we have:
rdf:type(:J19,:ind)
By [] using rdf:type(:N19,:ind) we have:
rdf:type(:N20,:ind)
By [] using rdf:type(:N19,:ind) we have:
rdf:type(:I20,:ind)
By [] using rdf:type(:N19,:ind) we have:
rdf:type(:J20,:ind)
By [] using rdf:type(:N20,:ind) we have:
rdf:type(:N21,:ind)
By [] using rdf:type(:N20,:ind) we have:
rdf:type(:I21,:ind)
By [] using rdf:type(:N20,:ind) we have:
rdf:type(:J21,:ind)
By [] using rdf:type(:N21,:ind) we have:
rdf:type(:N22,:ind)
By [] using rdf:type(:N21,:ind) we have:
rdf:type(:I22,:ind)
By [] using rdf:type(:N21,:ind) we have:
rdf:type(:J22,:ind)
By [] using rdf:type(:N22,:ind) we have:
rdf:type(:N23,:ind)
By [] using rdf:type(:N22,:ind) we have:
rdf:type(:I23,:ind)
By [] using rdf:type(:N22,:ind) we have:
rdf:type(:J23,:ind)
By [] using rdf:type(:N23,:ind) we have:
rdf:type(:N24,:ind)
By [] using rdf:type(:N23,:ind) we have:
rdf:type(:I24,:ind)
By [] using rdf:type(:N23,:ind) we have:
rdf:type(:J24,:ind)
By [] using rdf:type(:N24,:ind) we have:
rdf:type(:N25,:ind)
By [] using rdf:type(:N24,:ind) we have:
rdf:type(:I25,:ind)
By [] using rdf:type(:N24,:ind) we have:
rdf:type(:J25,:ind)
By [] using rdf:type(:N25,:ind) we have:
rdf:type(:N26,:ind)
By [] using rdf:type(:N25,:ind) we have:
rdf:type(:I26,:ind)
By [] using rdf:type(:N25,:ind) we have:
rdf:type(:J26,:ind)
By [] using rdf:type(:N26,:ind) we have:
rdf:type(:N27,:ind)
By [] using rdf:type(:N26,:ind) we have:
rdf:type(:I27,:ind)
By [] using rdf:type(:N26,:ind) we have:
rdf:type(:J27,:ind)
By [] using rdf:type(:N27,:ind) we have:
rdf:type(:N28,:ind)
By [] using rdf:type(:N27,:ind) we have:
rdf:type(:I28,:ind)
By [] using rdf:type(:N27,:ind) we have:
rdf:type(:J28,:ind)
By [] using rdf:type(:N28,:ind) we have:
rdf:type(:N29,:ind)
By [] using rdf:type(:N28,:ind) we have:
rdf:type(:I29,:ind)
By [] using rdf:type(:N28,:ind) we have:
rdf:type(:J29,:ind)
By [] using rdf:type(:N29,:ind) we have:
rdf:type(:N30,:ind)
By [] using rdf:type(:N29,:ind) we have:
rdf:type(:I30,:ind)
By [] using rdf:type(:N29,:ind) we have:
rdf:type(:J30,:ind)
By [] using rdf:type(:N30,:ind) we have:
rdf:type(:N31,:ind)
By [] using rdf:type(:N30,:ind) we have:
rdf:type(:I31,:ind)
By [] using rdf:type(:N30,:ind) we have:
rdf:type(:J31,:ind)
By [] using rdf:type(:N31,:ind) we have:
rdf:type(:N32,:ind)
By [] using rdf:type(:N31,:ind) we have:
rdf:type(:I32,:ind)
By [] using rdf:type(:N31,:ind) we have:
rdf:type(:J32,:ind)
By [] using rdf:type(:N32,:ind) we have:
rdf:type(:N33,:ind)
By [] using rdf:type(:N32,:ind) we have:
rdf:type(:I33,:ind)
By [] using rdf:type(:N32,:ind) we have:
rdf:type(:J33,:ind)
By [] using rdf:type(:N33,:ind) we have:
rdf:type(:N34,:ind)
By [] using rdf:type(:N33,:ind) we have:
rdf:type(:I34,:ind)
By [] using rdf:type(:N33,:ind) we have:
rdf:type(:J34,:ind)
By [] using rdf:type(:N34,:ind) we have:
rdf:type(:N35,:ind)
By [] using rdf:type(:N34,:ind) we have:
rdf:type(:I35,:ind)
By [] using rdf:type(:N34,:ind) we have:
rdf:type(:J35,:ind)
By [] using rdf:type(:N35,:ind) we have:
rdf:type(:N36,:ind)
By [] using rdf:type(:N35,:ind) we have:
rdf:type(:I36,:ind)
By [] using rdf:type(:N35,:ind) we have:
rdf:type(:J36,:ind)
By [] using rdf:type(:N36,:ind) we have:
rdf:type(:N37,:ind)
By [] using rdf:type(:N36,:ind) we have:
rdf:type(:I37,:ind)
By [] using rdf:type(:N36,:ind) we have:
rdf:type(:J37,:ind)
By [] using rdf:type(:N37,:ind) we have:
rdf:type(:N38,:ind)
By [] using rdf:type(:N37,:ind) we have:
rdf:type(:I38,:ind)
By [] using rdf:type(:N37,:ind) we have:
rdf:type(:J38,:ind)
By [] using rdf:type(:N38,:ind) we have:
rdf:type(:N39,:ind)
By [] using rdf:type(:N38,:ind) we have:
rdf:type(:I39,:ind)
By [] using rdf:type(:N38,:ind) we have:
rdf:type(:J39,:ind)
By [] using rdf:type(:N39,:ind) we have:
rdf:type(:N40,:ind)
By [] using rdf:type(:N39,:ind) we have:
rdf:type(:I40,:ind)
By [] using rdf:type(:N39,:ind) we have:
rdf:type(:J40,:ind)
By [] using rdf:type(:N40,:ind) we have:
rdf:type(:N41,:ind)
By [] using rdf:type(:N40,:ind) we have:
rdf:type(:I41,:ind)
By [] using rdf:type(:N40,:ind) we have:
rdf:type(:J41,:ind)
By [] using rdf:type(:N41,:ind) we have:
rdf:type(:N42,:ind)
By [] using rdf:type(:N41,:ind) we have:
rdf:type(:I42,:ind)
By [] using rdf:type(:N41,:ind) we have:
rdf:type(:J42,:ind)
By [] using rdf:type(:N42,:ind) we have:
rdf:type(:N43,:ind)
By [] using rdf:type(:N42,:ind) we have:
rdf:type(:I43,:ind)
By [] using rdf:type(:N42,:ind) we have:
rdf:type(:J43,:ind)
By [] using rdf:type(:N43,:ind) we have:
rdf:type(:N44,:ind)
By [] using rdf:type(:N43,:ind) we have:
rdf:type(:I44,:ind)
By [] using rdf:type(:N43,:ind) we have:
rdf:type(:J44,:ind)
By [] using rdf:type(:N44,:ind) we have:
rdf:type(:N45,:ind)
By [] using rdf:type(:N44,:ind) we have:
rdf:type(:I45,:ind)
By [] using rdf:type(:N44,:ind) we have:
rdf:type(:J45,:ind)
By [] using rdf:type(:N45,:ind) we have:
rdf:type(:N46,:ind)
By [] using rdf:type(:N45,:ind) we have:
rdf:type(:I46,:ind)
By [] using rdf:type(:N45,:ind) we have:
rdf:type(:J46,:ind)
By [] using rdf:type(:N46,:ind) we have:
rdf:type(:N47,:ind)
By [] using rdf:type(:N46,:ind) we have:
rdf:type(:I47,:ind)
By [] using rdf:type(:N46,:ind) we have:
rdf:type(:J47,:ind)
By [] using rdf:type(:N47,:ind) we have:
rdf:type(:N48,:ind)
By [] using rdf:type(:N47,:ind) we have:
rdf:type(:I48,:ind)
By [] using rdf:type(:N47,:ind) we have:
rdf:type(:J48,:ind)
By [] using rdf:type(:N48,:ind) we have:
rdf:type(:N49,:ind)
By [] using rdf:type(:N48,:ind) we have:
rdf:type(:I49,:ind)
By [] using rdf:type(:N48,:ind) we have:
rdf:type(:J49,:ind)
By [] using rdf:type(:N49,:ind) we have:
rdf:type(:N50,:ind)
By [] using rdf:type(:N49,:ind) we have:
rdf:type(:I50,:ind)
By [] using rdf:type(:N49,:ind) we have:
rdf:type(:J50,:ind)
By [] using rdf:type(:N50,:ind) we have:
rdf:type(:N51,:ind)
By [] using rdf:type(:N50,:ind) we have:
rdf:type(:I51,:ind)
By [] using rdf:type(:N50,:ind) we have:
rdf:type(:J51,:ind)
By [] using rdf:type(:N51,:ind) we have:
rdf:type(:N52,:ind)
By [] using rdf:type(:N51,:ind) we have:
rdf:type(:I52,:ind)
By [] using rdf:type(:N51,:ind) we have:
rdf:type(:J52,:ind)
By [] using rdf:type(:N52,:ind) we have:
rdf:type(:N53,:ind)
By [] using rdf:type(:N52,:ind) we have:
rdf:type(:I53,:ind)
By [] using rdf:type(:N52,:ind) we have:
rdf:type(:J53,:ind)
By [] using rdf:type(:N53,:ind) we have:
rdf:type(:N54,:ind)
By [] using rdf:type(:N53,:ind) we have:
rdf:type(:I54,:ind)
By [] using rdf:type(:N53,:ind) we have:
rdf:type(:J54,:ind)
By [] using rdf:type(:N54,:ind) we have:
rdf:type(:N55,:ind)
By [] using rdf:type(:N54,:ind) we have:
rdf:type(:I55,:ind)
By [] using rdf:type(:N54,:ind) we have:
rdf:type(:J55,:ind)
By [] using rdf:type(:N55,:ind) we have:
rdf:type(:N56,:ind)
By [] using rdf:type(:N55,:ind) we have:
rdf:type(:I56,:ind)
By [] using rdf:type(:N55,:ind) we have:
rdf:type(:J56,:ind)
By [] using rdf:type(:N56,:ind) we have:
rdf:type(:N57,:ind)
By [] using rdf:type(:N56,:ind) we have:
rdf:type(:I57,:ind)
By [] using rdf:type(:N56,:ind) we have:
rdf:type(:J57,:ind)
By [] using rdf:type(:N57,:ind) we have:
rdf:type(:N58,:ind)
By [] using rdf:type(:N57,:ind) we have:
rdf:type(:I58,:ind)
By [] using rdf:type(:N57,:ind) we have:
rdf:type(:J58,:ind)
By [] using rdf:type(:N58,:ind) we have:
rdf:type(:N59,:ind)
By [] using rdf:type(:N58,:ind) we have:
rdf:type(:I59,:ind)
By [] using rdf:type(:N58,:ind) we have:
rdf:type(:J59,:ind)
By [] using rdf:type(:N59,:ind) we have:
rdf:type(:N60,:ind)
By [] using rdf:type(:N59,:ind) we have:
rdf:type(:I60,:ind)
By [] using rdf:type(:N59,:ind) we have:
rdf:type(:J60,:ind)
By [] using rdf:type(:N60,:ind) we have:
rdf:type(:N61,:ind)
By [] using rdf:type(:N60,:ind) we have:
rdf:type(:I61,:ind)
By [] using rdf:type(:N60,:ind) we have:
rdf:type(:J61,:ind)
By [] using rdf:type(:N61,:ind) we have:
rdf:type(:N62,:ind)
By [] using rdf:type(:N61,:ind) we have:
rdf:type(:I62,:ind)
By [] using rdf:type(:N61,:ind) we have:
rdf:type(:J62,:ind)
By [] using rdf:type(:N62,:ind) we have:
rdf:type(:N63,:ind)
By [] using rdf:type(:N62,:ind) we have:
rdf:type(:I63,:ind)
By [] using rdf:type(:N62,:ind) we have:
rdf:type(:J63,:ind)
By [] using rdf:type(:N63,:ind) we have:
rdf:type(:N64,:ind)
By [] using rdf:type(:N63,:ind) we have:
rdf:type(:I64,:ind)
By [] using rdf:type(:N63,:ind) we have:
rdf:type(:J64,:ind)
By [] using rdf:type(:N64,:ind) we have:
rdf:type(:N65,:ind)
By [] using rdf:type(:N64,:ind) we have:
rdf:type(:I65,:ind)
By [] using rdf:type(:N64,:ind) we have:
rdf:type(:J65,:ind)
By [] using rdf:type(:N65,:ind) we have:
rdf:type(:N66,:ind)
By [] using rdf:type(:N65,:ind) we have:
rdf:type(:I66,:ind)
By [] using rdf:type(:N65,:ind) we have:
rdf:type(:J66,:ind)
By [] using rdf:type(:N66,:ind) we have:
rdf:type(:N67,:ind)
By [] using rdf:type(:N66,:ind) we have:
rdf:type(:I67,:ind)
By [] using rdf:type(:N66,:ind) we have:
rdf:type(:J67,:ind)
By [] using rdf:type(:N67,:ind) we have:
rdf:type(:N68,:ind)
By [] using rdf:type(:N67,:ind) we have:
rdf:type(:I68,:ind)
By [] using rdf:type(:N67,:ind) we have:
rdf:type(:J68,:ind)
By [] using rdf:type(:N68,:ind) we have:
rdf:type(:N69,:ind)
By [] using rdf:type(:N68,:ind) we have:
rdf:type(:I69,:ind)
By [] using rdf:type(:N68,:ind) we have:
rdf:type(:J69,:ind)
By [] using rdf:type(:N69,:ind) we have:
rdf:type(:N70,:ind)
By [] using rdf:type(:N69,:ind) we have:
rdf:type(:I70,:ind)
By [] using rdf:type(:N69,:ind) we have:
rdf:type(:J70,:ind)
By [] using rdf:type(:N70,:ind) we have:
rdf:type(:N71,:ind)
By [] using rdf:type(:N70,:ind) we have:
rdf:type(:I71,:ind)
By [] using rdf:type(:N70,:ind) we have:
rdf:type(:J71,:ind)
By [] using rdf:type(:N71,:ind) we have:
rdf:type(:N72,:ind)
By [] using rdf:type(:N71,:ind) we have:
rdf:type(:I72,:ind)
By [] using rdf:type(:N71,:ind) we have:
rdf:type(:J72,:ind)
By [] using rdf:type(:N72,:ind) we have:
rdf:type(:N73,:ind)
By [] using rdf:type(:N72,:ind) we have:
rdf:type(:I73,:ind)
By [] using rdf:type(:N72,:ind) we have:
rdf:type(:J73,:ind)
By [] using rdf:type(:N73,:ind) we have:
rdf:type(:N74,:ind)
By [] using rdf:type(:N73,:ind) we have:
rdf:type(:I74,:ind)
By [] using rdf:type(:N73,:ind) we have:
rdf:type(:J74,:ind)
By [] using rdf:type(:N74,:ind) we have:
rdf:type(:N75,:ind)
By [] using rdf:type(:N74,:ind) we have:
rdf:type(:I75,:ind)
By [] using rdf:type(:N74,:ind) we have:
rdf:type(:J75,:ind)
By [] using rdf:type(:N75,:ind) we have:
rdf:type(:N76,:ind)
By [] using rdf:type(:N75,:ind) we have:
rdf:type(:I76,:ind)
By [] using rdf:type(:N75,:ind) we have:
rdf:type(:J76,:ind)
By [] using rdf:type(:N76,:ind) we have:
rdf:type(:N77,:ind)
By [] using rdf:type(:N76,:ind) we have:
rdf:type(:I77,:ind)
By [] using rdf:type(:N76,:ind) we have:
rdf:type(:J77,:ind)
By [] using rdf:type(:N77,:ind) we have:
rdf:type(:N78,:ind)
By [] using rdf:type(:N77,:ind) we have:
rdf:type(:I78,:ind)
By [] using rdf:type(:N77,:ind) we have:
rdf:type(:J78,:ind)
By [] using rdf:type(:N78,:ind) we have:
rdf:type(:N79,:ind)
By [] using rdf:type(:N78,:ind) we have:
rdf:type(:I79,:ind)
By [] using rdf:type(:N78,:ind) we have:
rdf:type(:J79,:ind)
By [] using rdf:type(:N79,:ind) we have:
rdf:type(:N80,:ind)
By [] using rdf:type(:N79,:ind) we have:
rdf:type(:I80,:ind)
By [] using rdf:type(:N79,:ind) we have:
rdf:type(:J80,:ind)
By [] using rdf:type(:N80,:ind) we have:
rdf:type(:N81,:ind)
By [] using rdf:type(:N80,:ind) we have:
rdf:type(:I81,:ind)
By [] using rdf:type(:N80,:ind) we have:
rdf:type(:J81,:ind)
By [] using rdf:type(:N81,:ind) we have:
rdf:type(:N82,:ind)
By [] using rdf:type(:N81,:ind) we have:
rdf:type(:I82,:ind)
By [] using rdf:type(:N81,:ind) we have:
rdf:type(:J82,:ind)
By [] using rdf:type(:N82,:ind) we have:
rdf:type(:N83,:ind)
By [] using rdf:type(:N82,:ind) we have:
rdf:type(:I83,:ind)
By [] using rdf:type(:N82,:ind) we have:
rdf:type(:J83,:ind)
By [] using rdf:type(:N83,:ind) we have:
rdf:type(:N84,:ind)
By [] using rdf:type(:N83,:ind) we have:
rdf:type(:I84,:ind)
By [] using rdf:type(:N83,:ind) we have:
rdf:type(:J84,:ind)
By [] using rdf:type(:N84,:ind) we have:
rdf:type(:N85,:ind)
By [] using rdf:type(:N84,:ind) we have:
rdf:type(:I85,:ind)
By [] using rdf:type(:N84,:ind) we have:
rdf:type(:J85,:ind)
By [] using rdf:type(:N85,:ind) we have:
rdf:type(:N86,:ind)
By [] using rdf:type(:N85,:ind) we have:
rdf:type(:I86,:ind)
By [] using rdf:type(:N85,:ind) we have:
rdf:type(:J86,:ind)
By [] using rdf:type(:N86,:ind) we have:
rdf:type(:N87,:ind)
By [] using rdf:type(:N86,:ind) we have:
rdf:type(:I87,:ind)
By [] using rdf:type(:N86,:ind) we have:
rdf:type(:J87,:ind)
By [] using rdf:type(:N87,:ind) we have:
rdf:type(:N88,:ind)
By [] using rdf:type(:N87,:ind) we have:
rdf:type(:I88,:ind)
By [] using rdf:type(:N87,:ind) we have:
rdf:type(:J88,:ind)
By [] using rdf:type(:N88,:ind) we have:
rdf:type(:N89,:ind)
By [] using rdf:type(:N88,:ind) we have:
rdf:type(:I89,:ind)
By [] using rdf:type(:N88,:ind) we have:
rdf:type(:J89,:ind)
By [] using rdf:type(:N89,:ind) we have:
rdf:type(:N90,:ind)
By [] using rdf:type(:N89,:ind) we have:
rdf:type(:I90,:ind)
By [] using rdf:type(:N89,:ind) we have:
rdf:type(:J90,:ind)
By [] using rdf:type(:N90,:ind) we have:
rdf:type(:N91,:ind)
By [] using rdf:type(:N90,:ind) we have:
rdf:type(:I91,:ind)
By [] using rdf:type(:N90,:ind) we have:
rdf:type(:J91,:ind)
By [] using rdf:type(:N91,:ind) we have:
rdf:type(:N92,:ind)
By [] using rdf:type(:N91,:ind) we have:
rdf:type(:I92,:ind)
By [] using rdf:type(:N91,:ind) we have:
rdf:type(:J92,:ind)
By [] using rdf:type(:N92,:ind) we have:
rdf:type(:N93,:ind)
By [] using rdf:type(:N92,:ind) we have:
rdf:type(:I93,:ind)
By [] using rdf:type(:N92,:ind) we have:
rdf:type(:J93,:ind)
By [] using rdf:type(:N93,:ind) we have:
rdf:type(:N94,:ind)
By [] using rdf:type(:N93,:ind) we have:
rdf:type(:I94,:ind)
By [] using rdf:type(:N93,:ind) we have:
rdf:type(:J94,:ind)
By [] using rdf:type(:N94,:ind) we have:
rdf:type(:N95,:ind)
By [] using rdf:type(:N94,:ind) we have:
rdf:type(:I95,:ind)
By [] using rdf:type(:N94,:ind) we have:
rdf:type(:J95,:ind)
By [] using rdf:type(:N95,:ind) we have:
rdf:type(:N96,:ind)
By [] using rdf:type(:N95,:ind) we have:
rdf:type(:I96,:ind)
By [] using rdf:type(:N95,:ind) we have:
rdf:type(:J96,:ind)
By [] using rdf:type(:N96,:ind) we have:
rdf:type(:N97,:ind)
By [] using rdf:type(:N96,:ind) we have:
rdf:type(:I97,:ind)
By [] using rdf:type(:N96,:ind) we have:
rdf:type(:J97,:ind)
By [] using rdf:type(:N97,:ind) we have:
rdf:type(:N98,:ind)
By [] using rdf:type(:N97,:ind) we have:
rdf:type(:I98,:ind)
By [] using rdf:type(:N97,:ind) we have:
rdf:type(:J98,:ind)
By [] using rdf:type(:N98,:ind) we have:
rdf:type(:N99,:ind)
By [] using rdf:type(:N98,:ind) we have:
rdf:type(:I99,:ind)
By [] using rdf:type(:N98,:ind) we have:
rdf:type(:J99,:ind)
By [] using rdf:type(:N99,:ind) we have:
rdf:type(:N100,:ind)
By [] using rdf:type(:N99,:ind) we have:
rdf:type(:I100,:ind)
By [] using rdf:type(:N99,:ind) we have:
rdf:type(:J100,:ind)
By [] using rdf:type(:N100,:ind) we have:
rdf:type(:A2,:ind)
By [] using rdf:type(:A2,:ind) we have:
goal

valid, stack: nil