name(n3test100).

:- dynamic 'rdf:type'/2.

(_ axiom ([] : Y)) :- Y.

true => 'rdf:type'(':N0',':ind').

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

'rdf:type'(':A2',X) => goal.

