name(n3test1000).

:- 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'(':N101',X).
'rdf:type'(':N100',X) => 'rdf:type'(':I101',X).
'rdf:type'(':N100',X) => 'rdf:type'(':J101',X).
'rdf:type'(':N101',X) => 'rdf:type'(':N102',X).
'rdf:type'(':N101',X) => 'rdf:type'(':I102',X).
'rdf:type'(':N101',X) => 'rdf:type'(':J102',X).
'rdf:type'(':N102',X) => 'rdf:type'(':N103',X).
'rdf:type'(':N102',X) => 'rdf:type'(':I103',X).
'rdf:type'(':N102',X) => 'rdf:type'(':J103',X).
'rdf:type'(':N103',X) => 'rdf:type'(':N104',X).
'rdf:type'(':N103',X) => 'rdf:type'(':I104',X).
'rdf:type'(':N103',X) => 'rdf:type'(':J104',X).
'rdf:type'(':N104',X) => 'rdf:type'(':N105',X).
'rdf:type'(':N104',X) => 'rdf:type'(':I105',X).
'rdf:type'(':N104',X) => 'rdf:type'(':J105',X).
'rdf:type'(':N105',X) => 'rdf:type'(':N106',X).
'rdf:type'(':N105',X) => 'rdf:type'(':I106',X).
'rdf:type'(':N105',X) => 'rdf:type'(':J106',X).
'rdf:type'(':N106',X) => 'rdf:type'(':N107',X).
'rdf:type'(':N106',X) => 'rdf:type'(':I107',X).
'rdf:type'(':N106',X) => 'rdf:type'(':J107',X).
'rdf:type'(':N107',X) => 'rdf:type'(':N108',X).
'rdf:type'(':N107',X) => 'rdf:type'(':I108',X).
'rdf:type'(':N107',X) => 'rdf:type'(':J108',X).
'rdf:type'(':N108',X) => 'rdf:type'(':N109',X).
'rdf:type'(':N108',X) => 'rdf:type'(':I109',X).
'rdf:type'(':N108',X) => 'rdf:type'(':J109',X).
'rdf:type'(':N109',X) => 'rdf:type'(':N110',X).
'rdf:type'(':N109',X) => 'rdf:type'(':I110',X).
'rdf:type'(':N109',X) => 'rdf:type'(':J110',X).
'rdf:type'(':N110',X) => 'rdf:type'(':N111',X).
'rdf:type'(':N110',X) => 'rdf:type'(':I111',X).
'rdf:type'(':N110',X) => 'rdf:type'(':J111',X).
'rdf:type'(':N111',X) => 'rdf:type'(':N112',X).
'rdf:type'(':N111',X) => 'rdf:type'(':I112',X).
'rdf:type'(':N111',X) => 'rdf:type'(':J112',X).
'rdf:type'(':N112',X) => 'rdf:type'(':N113',X).
'rdf:type'(':N112',X) => 'rdf:type'(':I113',X).
'rdf:type'(':N112',X) => 'rdf:type'(':J113',X).
'rdf:type'(':N113',X) => 'rdf:type'(':N114',X).
'rdf:type'(':N113',X) => 'rdf:type'(':I114',X).
'rdf:type'(':N113',X) => 'rdf:type'(':J114',X).
'rdf:type'(':N114',X) => 'rdf:type'(':N115',X).
'rdf:type'(':N114',X) => 'rdf:type'(':I115',X).
'rdf:type'(':N114',X) => 'rdf:type'(':J115',X).
'rdf:type'(':N115',X) => 'rdf:type'(':N116',X).
'rdf:type'(':N115',X) => 'rdf:type'(':I116',X).
'rdf:type'(':N115',X) => 'rdf:type'(':J116',X).
'rdf:type'(':N116',X) => 'rdf:type'(':N117',X).
'rdf:type'(':N116',X) => 'rdf:type'(':I117',X).
'rdf:type'(':N116',X) => 'rdf:type'(':J117',X).
'rdf:type'(':N117',X) => 'rdf:type'(':N118',X).
'rdf:type'(':N117',X) => 'rdf:type'(':I118',X).
'rdf:type'(':N117',X) => 'rdf:type'(':J118',X).
'rdf:type'(':N118',X) => 'rdf:type'(':N119',X).
'rdf:type'(':N118',X) => 'rdf:type'(':I119',X).
'rdf:type'(':N118',X) => 'rdf:type'(':J119',X).
'rdf:type'(':N119',X) => 'rdf:type'(':N120',X).
'rdf:type'(':N119',X) => 'rdf:type'(':I120',X).
'rdf:type'(':N119',X) => 'rdf:type'(':J120',X).
'rdf:type'(':N120',X) => 'rdf:type'(':N121',X).
'rdf:type'(':N120',X) => 'rdf:type'(':I121',X).
'rdf:type'(':N120',X) => 'rdf:type'(':J121',X).
'rdf:type'(':N121',X) => 'rdf:type'(':N122',X).
'rdf:type'(':N121',X) => 'rdf:type'(':I122',X).
'rdf:type'(':N121',X) => 'rdf:type'(':J122',X).
'rdf:type'(':N122',X) => 'rdf:type'(':N123',X).
'rdf:type'(':N122',X) => 'rdf:type'(':I123',X).
'rdf:type'(':N122',X) => 'rdf:type'(':J123',X).
'rdf:type'(':N123',X) => 'rdf:type'(':N124',X).
'rdf:type'(':N123',X) => 'rdf:type'(':I124',X).
'rdf:type'(':N123',X) => 'rdf:type'(':J124',X).
'rdf:type'(':N124',X) => 'rdf:type'(':N125',X).
'rdf:type'(':N124',X) => 'rdf:type'(':I125',X).
'rdf:type'(':N124',X) => 'rdf:type'(':J125',X).
'rdf:type'(':N125',X) => 'rdf:type'(':N126',X).
'rdf:type'(':N125',X) => 'rdf:type'(':I126',X).
'rdf:type'(':N125',X) => 'rdf:type'(':J126',X).
'rdf:type'(':N126',X) => 'rdf:type'(':N127',X).
'rdf:type'(':N126',X) => 'rdf:type'(':I127',X).
'rdf:type'(':N126',X) => 'rdf:type'(':J127',X).
'rdf:type'(':N127',X) => 'rdf:type'(':N128',X).
'rdf:type'(':N127',X) => 'rdf:type'(':I128',X).
'rdf:type'(':N127',X) => 'rdf:type'(':J128',X).
'rdf:type'(':N128',X) => 'rdf:type'(':N129',X).
'rdf:type'(':N128',X) => 'rdf:type'(':I129',X).
'rdf:type'(':N128',X) => 'rdf:type'(':J129',X).
'rdf:type'(':N129',X) => 'rdf:type'(':N130',X).
'rdf:type'(':N129',X) => 'rdf:type'(':I130',X).
'rdf:type'(':N129',X) => 'rdf:type'(':J130',X).
'rdf:type'(':N130',X) => 'rdf:type'(':N131',X).
'rdf:type'(':N130',X) => 'rdf:type'(':I131',X).
'rdf:type'(':N130',X) => 'rdf:type'(':J131',X).
'rdf:type'(':N131',X) => 'rdf:type'(':N132',X).
'rdf:type'(':N131',X) => 'rdf:type'(':I132',X).
'rdf:type'(':N131',X) => 'rdf:type'(':J132',X).
'rdf:type'(':N132',X) => 'rdf:type'(':N133',X).
'rdf:type'(':N132',X) => 'rdf:type'(':I133',X).
'rdf:type'(':N132',X) => 'rdf:type'(':J133',X).
'rdf:type'(':N133',X) => 'rdf:type'(':N134',X).
'rdf:type'(':N133',X) => 'rdf:type'(':I134',X).
'rdf:type'(':N133',X) => 'rdf:type'(':J134',X).
'rdf:type'(':N134',X) => 'rdf:type'(':N135',X).
'rdf:type'(':N134',X) => 'rdf:type'(':I135',X).
'rdf:type'(':N134',X) => 'rdf:type'(':J135',X).
'rdf:type'(':N135',X) => 'rdf:type'(':N136',X).
'rdf:type'(':N135',X) => 'rdf:type'(':I136',X).
'rdf:type'(':N135',X) => 'rdf:type'(':J136',X).
'rdf:type'(':N136',X) => 'rdf:type'(':N137',X).
'rdf:type'(':N136',X) => 'rdf:type'(':I137',X).
'rdf:type'(':N136',X) => 'rdf:type'(':J137',X).
'rdf:type'(':N137',X) => 'rdf:type'(':N138',X).
'rdf:type'(':N137',X) => 'rdf:type'(':I138',X).
'rdf:type'(':N137',X) => 'rdf:type'(':J138',X).
'rdf:type'(':N138',X) => 'rdf:type'(':N139',X).
'rdf:type'(':N138',X) => 'rdf:type'(':I139',X).
'rdf:type'(':N138',X) => 'rdf:type'(':J139',X).
'rdf:type'(':N139',X) => 'rdf:type'(':N140',X).
'rdf:type'(':N139',X) => 'rdf:type'(':I140',X).
'rdf:type'(':N139',X) => 'rdf:type'(':J140',X).
'rdf:type'(':N140',X) => 'rdf:type'(':N141',X).
'rdf:type'(':N140',X) => 'rdf:type'(':I141',X).
'rdf:type'(':N140',X) => 'rdf:type'(':J141',X).
'rdf:type'(':N141',X) => 'rdf:type'(':N142',X).
'rdf:type'(':N141',X) => 'rdf:type'(':I142',X).
'rdf:type'(':N141',X) => 'rdf:type'(':J142',X).
'rdf:type'(':N142',X) => 'rdf:type'(':N143',X).
'rdf:type'(':N142',X) => 'rdf:type'(':I143',X).
'rdf:type'(':N142',X) => 'rdf:type'(':J143',X).
'rdf:type'(':N143',X) => 'rdf:type'(':N144',X).
'rdf:type'(':N143',X) => 'rdf:type'(':I144',X).
'rdf:type'(':N143',X) => 'rdf:type'(':J144',X).
'rdf:type'(':N144',X) => 'rdf:type'(':N145',X).
'rdf:type'(':N144',X) => 'rdf:type'(':I145',X).
'rdf:type'(':N144',X) => 'rdf:type'(':J145',X).
'rdf:type'(':N145',X) => 'rdf:type'(':N146',X).
'rdf:type'(':N145',X) => 'rdf:type'(':I146',X).
'rdf:type'(':N145',X) => 'rdf:type'(':J146',X).
'rdf:type'(':N146',X) => 'rdf:type'(':N147',X).
'rdf:type'(':N146',X) => 'rdf:type'(':I147',X).
'rdf:type'(':N146',X) => 'rdf:type'(':J147',X).
'rdf:type'(':N147',X) => 'rdf:type'(':N148',X).
'rdf:type'(':N147',X) => 'rdf:type'(':I148',X).
'rdf:type'(':N147',X) => 'rdf:type'(':J148',X).
'rdf:type'(':N148',X) => 'rdf:type'(':N149',X).
'rdf:type'(':N148',X) => 'rdf:type'(':I149',X).
'rdf:type'(':N148',X) => 'rdf:type'(':J149',X).
'rdf:type'(':N149',X) => 'rdf:type'(':N150',X).
'rdf:type'(':N149',X) => 'rdf:type'(':I150',X).
'rdf:type'(':N149',X) => 'rdf:type'(':J150',X).
'rdf:type'(':N150',X) => 'rdf:type'(':N151',X).
'rdf:type'(':N150',X) => 'rdf:type'(':I151',X).
'rdf:type'(':N150',X) => 'rdf:type'(':J151',X).
'rdf:type'(':N151',X) => 'rdf:type'(':N152',X).
'rdf:type'(':N151',X) => 'rdf:type'(':I152',X).
'rdf:type'(':N151',X) => 'rdf:type'(':J152',X).
'rdf:type'(':N152',X) => 'rdf:type'(':N153',X).
'rdf:type'(':N152',X) => 'rdf:type'(':I153',X).
'rdf:type'(':N152',X) => 'rdf:type'(':J153',X).
'rdf:type'(':N153',X) => 'rdf:type'(':N154',X).
'rdf:type'(':N153',X) => 'rdf:type'(':I154',X).
'rdf:type'(':N153',X) => 'rdf:type'(':J154',X).
'rdf:type'(':N154',X) => 'rdf:type'(':N155',X).
'rdf:type'(':N154',X) => 'rdf:type'(':I155',X).
'rdf:type'(':N154',X) => 'rdf:type'(':J155',X).
'rdf:type'(':N155',X) => 'rdf:type'(':N156',X).
'rdf:type'(':N155',X) => 'rdf:type'(':I156',X).
'rdf:type'(':N155',X) => 'rdf:type'(':J156',X).
'rdf:type'(':N156',X) => 'rdf:type'(':N157',X).
'rdf:type'(':N156',X) => 'rdf:type'(':I157',X).
'rdf:type'(':N156',X) => 'rdf:type'(':J157',X).
'rdf:type'(':N157',X) => 'rdf:type'(':N158',X).
'rdf:type'(':N157',X) => 'rdf:type'(':I158',X).
'rdf:type'(':N157',X) => 'rdf:type'(':J158',X).
'rdf:type'(':N158',X) => 'rdf:type'(':N159',X).
'rdf:type'(':N158',X) => 'rdf:type'(':I159',X).
'rdf:type'(':N158',X) => 'rdf:type'(':J159',X).
'rdf:type'(':N159',X) => 'rdf:type'(':N160',X).
'rdf:type'(':N159',X) => 'rdf:type'(':I160',X).
'rdf:type'(':N159',X) => 'rdf:type'(':J160',X).
'rdf:type'(':N160',X) => 'rdf:type'(':N161',X).
'rdf:type'(':N160',X) => 'rdf:type'(':I161',X).
'rdf:type'(':N160',X) => 'rdf:type'(':J161',X).
'rdf:type'(':N161',X) => 'rdf:type'(':N162',X).
'rdf:type'(':N161',X) => 'rdf:type'(':I162',X).
'rdf:type'(':N161',X) => 'rdf:type'(':J162',X).
'rdf:type'(':N162',X) => 'rdf:type'(':N163',X).
'rdf:type'(':N162',X) => 'rdf:type'(':I163',X).
'rdf:type'(':N162',X) => 'rdf:type'(':J163',X).
'rdf:type'(':N163',X) => 'rdf:type'(':N164',X).
'rdf:type'(':N163',X) => 'rdf:type'(':I164',X).
'rdf:type'(':N163',X) => 'rdf:type'(':J164',X).
'rdf:type'(':N164',X) => 'rdf:type'(':N165',X).
'rdf:type'(':N164',X) => 'rdf:type'(':I165',X).
'rdf:type'(':N164',X) => 'rdf:type'(':J165',X).
'rdf:type'(':N165',X) => 'rdf:type'(':N166',X).
'rdf:type'(':N165',X) => 'rdf:type'(':I166',X).
'rdf:type'(':N165',X) => 'rdf:type'(':J166',X).
'rdf:type'(':N166',X) => 'rdf:type'(':N167',X).
'rdf:type'(':N166',X) => 'rdf:type'(':I167',X).
'rdf:type'(':N166',X) => 'rdf:type'(':J167',X).
'rdf:type'(':N167',X) => 'rdf:type'(':N168',X).
'rdf:type'(':N167',X) => 'rdf:type'(':I168',X).
'rdf:type'(':N167',X) => 'rdf:type'(':J168',X).
'rdf:type'(':N168',X) => 'rdf:type'(':N169',X).
'rdf:type'(':N168',X) => 'rdf:type'(':I169',X).
'rdf:type'(':N168',X) => 'rdf:type'(':J169',X).
'rdf:type'(':N169',X) => 'rdf:type'(':N170',X).
'rdf:type'(':N169',X) => 'rdf:type'(':I170',X).
'rdf:type'(':N169',X) => 'rdf:type'(':J170',X).
'rdf:type'(':N170',X) => 'rdf:type'(':N171',X).
'rdf:type'(':N170',X) => 'rdf:type'(':I171',X).
'rdf:type'(':N170',X) => 'rdf:type'(':J171',X).
'rdf:type'(':N171',X) => 'rdf:type'(':N172',X).
'rdf:type'(':N171',X) => 'rdf:type'(':I172',X).
'rdf:type'(':N171',X) => 'rdf:type'(':J172',X).
'rdf:type'(':N172',X) => 'rdf:type'(':N173',X).
'rdf:type'(':N172',X) => 'rdf:type'(':I173',X).
'rdf:type'(':N172',X) => 'rdf:type'(':J173',X).
'rdf:type'(':N173',X) => 'rdf:type'(':N174',X).
'rdf:type'(':N173',X) => 'rdf:type'(':I174',X).
'rdf:type'(':N173',X) => 'rdf:type'(':J174',X).
'rdf:type'(':N174',X) => 'rdf:type'(':N175',X).
'rdf:type'(':N174',X) => 'rdf:type'(':I175',X).
'rdf:type'(':N174',X) => 'rdf:type'(':J175',X).
'rdf:type'(':N175',X) => 'rdf:type'(':N176',X).
'rdf:type'(':N175',X) => 'rdf:type'(':I176',X).
'rdf:type'(':N175',X) => 'rdf:type'(':J176',X).
'rdf:type'(':N176',X) => 'rdf:type'(':N177',X).
'rdf:type'(':N176',X) => 'rdf:type'(':I177',X).
'rdf:type'(':N176',X) => 'rdf:type'(':J177',X).
'rdf:type'(':N177',X) => 'rdf:type'(':N178',X).
'rdf:type'(':N177',X) => 'rdf:type'(':I178',X).
'rdf:type'(':N177',X) => 'rdf:type'(':J178',X).
'rdf:type'(':N178',X) => 'rdf:type'(':N179',X).
'rdf:type'(':N178',X) => 'rdf:type'(':I179',X).
'rdf:type'(':N178',X) => 'rdf:type'(':J179',X).
'rdf:type'(':N179',X) => 'rdf:type'(':N180',X).
'rdf:type'(':N179',X) => 'rdf:type'(':I180',X).
'rdf:type'(':N179',X) => 'rdf:type'(':J180',X).
'rdf:type'(':N180',X) => 'rdf:type'(':N181',X).
'rdf:type'(':N180',X) => 'rdf:type'(':I181',X).
'rdf:type'(':N180',X) => 'rdf:type'(':J181',X).
'rdf:type'(':N181',X) => 'rdf:type'(':N182',X).
'rdf:type'(':N181',X) => 'rdf:type'(':I182',X).
'rdf:type'(':N181',X) => 'rdf:type'(':J182',X).
'rdf:type'(':N182',X) => 'rdf:type'(':N183',X).
'rdf:type'(':N182',X) => 'rdf:type'(':I183',X).
'rdf:type'(':N182',X) => 'rdf:type'(':J183',X).
'rdf:type'(':N183',X) => 'rdf:type'(':N184',X).
'rdf:type'(':N183',X) => 'rdf:type'(':I184',X).
'rdf:type'(':N183',X) => 'rdf:type'(':J184',X).
'rdf:type'(':N184',X) => 'rdf:type'(':N185',X).
'rdf:type'(':N184',X) => 'rdf:type'(':I185',X).
'rdf:type'(':N184',X) => 'rdf:type'(':J185',X).
'rdf:type'(':N185',X) => 'rdf:type'(':N186',X).
'rdf:type'(':N185',X) => 'rdf:type'(':I186',X).
'rdf:type'(':N185',X) => 'rdf:type'(':J186',X).
'rdf:type'(':N186',X) => 'rdf:type'(':N187',X).
'rdf:type'(':N186',X) => 'rdf:type'(':I187',X).
'rdf:type'(':N186',X) => 'rdf:type'(':J187',X).
'rdf:type'(':N187',X) => 'rdf:type'(':N188',X).
'rdf:type'(':N187',X) => 'rdf:type'(':I188',X).
'rdf:type'(':N187',X) => 'rdf:type'(':J188',X).
'rdf:type'(':N188',X) => 'rdf:type'(':N189',X).
'rdf:type'(':N188',X) => 'rdf:type'(':I189',X).
'rdf:type'(':N188',X) => 'rdf:type'(':J189',X).
'rdf:type'(':N189',X) => 'rdf:type'(':N190',X).
'rdf:type'(':N189',X) => 'rdf:type'(':I190',X).
'rdf:type'(':N189',X) => 'rdf:type'(':J190',X).
'rdf:type'(':N190',X) => 'rdf:type'(':N191',X).
'rdf:type'(':N190',X) => 'rdf:type'(':I191',X).
'rdf:type'(':N190',X) => 'rdf:type'(':J191',X).
'rdf:type'(':N191',X) => 'rdf:type'(':N192',X).
'rdf:type'(':N191',X) => 'rdf:type'(':I192',X).
'rdf:type'(':N191',X) => 'rdf:type'(':J192',X).
'rdf:type'(':N192',X) => 'rdf:type'(':N193',X).
'rdf:type'(':N192',X) => 'rdf:type'(':I193',X).
'rdf:type'(':N192',X) => 'rdf:type'(':J193',X).
'rdf:type'(':N193',X) => 'rdf:type'(':N194',X).
'rdf:type'(':N193',X) => 'rdf:type'(':I194',X).
'rdf:type'(':N193',X) => 'rdf:type'(':J194',X).
'rdf:type'(':N194',X) => 'rdf:type'(':N195',X).
'rdf:type'(':N194',X) => 'rdf:type'(':I195',X).
'rdf:type'(':N194',X) => 'rdf:type'(':J195',X).
'rdf:type'(':N195',X) => 'rdf:type'(':N196',X).
'rdf:type'(':N195',X) => 'rdf:type'(':I196',X).
'rdf:type'(':N195',X) => 'rdf:type'(':J196',X).
'rdf:type'(':N196',X) => 'rdf:type'(':N197',X).
'rdf:type'(':N196',X) => 'rdf:type'(':I197',X).
'rdf:type'(':N196',X) => 'rdf:type'(':J197',X).
'rdf:type'(':N197',X) => 'rdf:type'(':N198',X).
'rdf:type'(':N197',X) => 'rdf:type'(':I198',X).
'rdf:type'(':N197',X) => 'rdf:type'(':J198',X).
'rdf:type'(':N198',X) => 'rdf:type'(':N199',X).
'rdf:type'(':N198',X) => 'rdf:type'(':I199',X).
'rdf:type'(':N198',X) => 'rdf:type'(':J199',X).
'rdf:type'(':N199',X) => 'rdf:type'(':N200',X).
'rdf:type'(':N199',X) => 'rdf:type'(':I200',X).
'rdf:type'(':N199',X) => 'rdf:type'(':J200',X).
'rdf:type'(':N200',X) => 'rdf:type'(':N201',X).
'rdf:type'(':N200',X) => 'rdf:type'(':I201',X).
'rdf:type'(':N200',X) => 'rdf:type'(':J201',X).
'rdf:type'(':N201',X) => 'rdf:type'(':N202',X).
'rdf:type'(':N201',X) => 'rdf:type'(':I202',X).
'rdf:type'(':N201',X) => 'rdf:type'(':J202',X).
'rdf:type'(':N202',X) => 'rdf:type'(':N203',X).
'rdf:type'(':N202',X) => 'rdf:type'(':I203',X).
'rdf:type'(':N202',X) => 'rdf:type'(':J203',X).
'rdf:type'(':N203',X) => 'rdf:type'(':N204',X).
'rdf:type'(':N203',X) => 'rdf:type'(':I204',X).
'rdf:type'(':N203',X) => 'rdf:type'(':J204',X).
'rdf:type'(':N204',X) => 'rdf:type'(':N205',X).
'rdf:type'(':N204',X) => 'rdf:type'(':I205',X).
'rdf:type'(':N204',X) => 'rdf:type'(':J205',X).
'rdf:type'(':N205',X) => 'rdf:type'(':N206',X).
'rdf:type'(':N205',X) => 'rdf:type'(':I206',X).
'rdf:type'(':N205',X) => 'rdf:type'(':J206',X).
'rdf:type'(':N206',X) => 'rdf:type'(':N207',X).
'rdf:type'(':N206',X) => 'rdf:type'(':I207',X).
'rdf:type'(':N206',X) => 'rdf:type'(':J207',X).
'rdf:type'(':N207',X) => 'rdf:type'(':N208',X).
'rdf:type'(':N207',X) => 'rdf:type'(':I208',X).
'rdf:type'(':N207',X) => 'rdf:type'(':J208',X).
'rdf:type'(':N208',X) => 'rdf:type'(':N209',X).
'rdf:type'(':N208',X) => 'rdf:type'(':I209',X).
'rdf:type'(':N208',X) => 'rdf:type'(':J209',X).
'rdf:type'(':N209',X) => 'rdf:type'(':N210',X).
'rdf:type'(':N209',X) => 'rdf:type'(':I210',X).
'rdf:type'(':N209',X) => 'rdf:type'(':J210',X).
'rdf:type'(':N210',X) => 'rdf:type'(':N211',X).
'rdf:type'(':N210',X) => 'rdf:type'(':I211',X).
'rdf:type'(':N210',X) => 'rdf:type'(':J211',X).
'rdf:type'(':N211',X) => 'rdf:type'(':N212',X).
'rdf:type'(':N211',X) => 'rdf:type'(':I212',X).
'rdf:type'(':N211',X) => 'rdf:type'(':J212',X).
'rdf:type'(':N212',X) => 'rdf:type'(':N213',X).
'rdf:type'(':N212',X) => 'rdf:type'(':I213',X).
'rdf:type'(':N212',X) => 'rdf:type'(':J213',X).
'rdf:type'(':N213',X) => 'rdf:type'(':N214',X).
'rdf:type'(':N213',X) => 'rdf:type'(':I214',X).
'rdf:type'(':N213',X) => 'rdf:type'(':J214',X).
'rdf:type'(':N214',X) => 'rdf:type'(':N215',X).
'rdf:type'(':N214',X) => 'rdf:type'(':I215',X).
'rdf:type'(':N214',X) => 'rdf:type'(':J215',X).
'rdf:type'(':N215',X) => 'rdf:type'(':N216',X).
'rdf:type'(':N215',X) => 'rdf:type'(':I216',X).
'rdf:type'(':N215',X) => 'rdf:type'(':J216',X).
'rdf:type'(':N216',X) => 'rdf:type'(':N217',X).
'rdf:type'(':N216',X) => 'rdf:type'(':I217',X).
'rdf:type'(':N216',X) => 'rdf:type'(':J217',X).
'rdf:type'(':N217',X) => 'rdf:type'(':N218',X).
'rdf:type'(':N217',X) => 'rdf:type'(':I218',X).
'rdf:type'(':N217',X) => 'rdf:type'(':J218',X).
'rdf:type'(':N218',X) => 'rdf:type'(':N219',X).
'rdf:type'(':N218',X) => 'rdf:type'(':I219',X).
'rdf:type'(':N218',X) => 'rdf:type'(':J219',X).
'rdf:type'(':N219',X) => 'rdf:type'(':N220',X).
'rdf:type'(':N219',X) => 'rdf:type'(':I220',X).
'rdf:type'(':N219',X) => 'rdf:type'(':J220',X).
'rdf:type'(':N220',X) => 'rdf:type'(':N221',X).
'rdf:type'(':N220',X) => 'rdf:type'(':I221',X).
'rdf:type'(':N220',X) => 'rdf:type'(':J221',X).
'rdf:type'(':N221',X) => 'rdf:type'(':N222',X).
'rdf:type'(':N221',X) => 'rdf:type'(':I222',X).
'rdf:type'(':N221',X) => 'rdf:type'(':J222',X).
'rdf:type'(':N222',X) => 'rdf:type'(':N223',X).
'rdf:type'(':N222',X) => 'rdf:type'(':I223',X).
'rdf:type'(':N222',X) => 'rdf:type'(':J223',X).
'rdf:type'(':N223',X) => 'rdf:type'(':N224',X).
'rdf:type'(':N223',X) => 'rdf:type'(':I224',X).
'rdf:type'(':N223',X) => 'rdf:type'(':J224',X).
'rdf:type'(':N224',X) => 'rdf:type'(':N225',X).
'rdf:type'(':N224',X) => 'rdf:type'(':I225',X).
'rdf:type'(':N224',X) => 'rdf:type'(':J225',X).
'rdf:type'(':N225',X) => 'rdf:type'(':N226',X).
'rdf:type'(':N225',X) => 'rdf:type'(':I226',X).
'rdf:type'(':N225',X) => 'rdf:type'(':J226',X).
'rdf:type'(':N226',X) => 'rdf:type'(':N227',X).
'rdf:type'(':N226',X) => 'rdf:type'(':I227',X).
'rdf:type'(':N226',X) => 'rdf:type'(':J227',X).
'rdf:type'(':N227',X) => 'rdf:type'(':N228',X).
'rdf:type'(':N227',X) => 'rdf:type'(':I228',X).
'rdf:type'(':N227',X) => 'rdf:type'(':J228',X).
'rdf:type'(':N228',X) => 'rdf:type'(':N229',X).
'rdf:type'(':N228',X) => 'rdf:type'(':I229',X).
'rdf:type'(':N228',X) => 'rdf:type'(':J229',X).
'rdf:type'(':N229',X) => 'rdf:type'(':N230',X).
'rdf:type'(':N229',X) => 'rdf:type'(':I230',X).
'rdf:type'(':N229',X) => 'rdf:type'(':J230',X).
'rdf:type'(':N230',X) => 'rdf:type'(':N231',X).
'rdf:type'(':N230',X) => 'rdf:type'(':I231',X).
'rdf:type'(':N230',X) => 'rdf:type'(':J231',X).
'rdf:type'(':N231',X) => 'rdf:type'(':N232',X).
'rdf:type'(':N231',X) => 'rdf:type'(':I232',X).
'rdf:type'(':N231',X) => 'rdf:type'(':J232',X).
'rdf:type'(':N232',X) => 'rdf:type'(':N233',X).
'rdf:type'(':N232',X) => 'rdf:type'(':I233',X).
'rdf:type'(':N232',X) => 'rdf:type'(':J233',X).
'rdf:type'(':N233',X) => 'rdf:type'(':N234',X).
'rdf:type'(':N233',X) => 'rdf:type'(':I234',X).
'rdf:type'(':N233',X) => 'rdf:type'(':J234',X).
'rdf:type'(':N234',X) => 'rdf:type'(':N235',X).
'rdf:type'(':N234',X) => 'rdf:type'(':I235',X).
'rdf:type'(':N234',X) => 'rdf:type'(':J235',X).
'rdf:type'(':N235',X) => 'rdf:type'(':N236',X).
'rdf:type'(':N235',X) => 'rdf:type'(':I236',X).
'rdf:type'(':N235',X) => 'rdf:type'(':J236',X).
'rdf:type'(':N236',X) => 'rdf:type'(':N237',X).
'rdf:type'(':N236',X) => 'rdf:type'(':I237',X).
'rdf:type'(':N236',X) => 'rdf:type'(':J237',X).
'rdf:type'(':N237',X) => 'rdf:type'(':N238',X).
'rdf:type'(':N237',X) => 'rdf:type'(':I238',X).
'rdf:type'(':N237',X) => 'rdf:type'(':J238',X).
'rdf:type'(':N238',X) => 'rdf:type'(':N239',X).
'rdf:type'(':N238',X) => 'rdf:type'(':I239',X).
'rdf:type'(':N238',X) => 'rdf:type'(':J239',X).
'rdf:type'(':N239',X) => 'rdf:type'(':N240',X).
'rdf:type'(':N239',X) => 'rdf:type'(':I240',X).
'rdf:type'(':N239',X) => 'rdf:type'(':J240',X).
'rdf:type'(':N240',X) => 'rdf:type'(':N241',X).
'rdf:type'(':N240',X) => 'rdf:type'(':I241',X).
'rdf:type'(':N240',X) => 'rdf:type'(':J241',X).
'rdf:type'(':N241',X) => 'rdf:type'(':N242',X).
'rdf:type'(':N241',X) => 'rdf:type'(':I242',X).
'rdf:type'(':N241',X) => 'rdf:type'(':J242',X).
'rdf:type'(':N242',X) => 'rdf:type'(':N243',X).
'rdf:type'(':N242',X) => 'rdf:type'(':I243',X).
'rdf:type'(':N242',X) => 'rdf:type'(':J243',X).
'rdf:type'(':N243',X) => 'rdf:type'(':N244',X).
'rdf:type'(':N243',X) => 'rdf:type'(':I244',X).
'rdf:type'(':N243',X) => 'rdf:type'(':J244',X).
'rdf:type'(':N244',X) => 'rdf:type'(':N245',X).
'rdf:type'(':N244',X) => 'rdf:type'(':I245',X).
'rdf:type'(':N244',X) => 'rdf:type'(':J245',X).
'rdf:type'(':N245',X) => 'rdf:type'(':N246',X).
'rdf:type'(':N245',X) => 'rdf:type'(':I246',X).
'rdf:type'(':N245',X) => 'rdf:type'(':J246',X).
'rdf:type'(':N246',X) => 'rdf:type'(':N247',X).
'rdf:type'(':N246',X) => 'rdf:type'(':I247',X).
'rdf:type'(':N246',X) => 'rdf:type'(':J247',X).
'rdf:type'(':N247',X) => 'rdf:type'(':N248',X).
'rdf:type'(':N247',X) => 'rdf:type'(':I248',X).
'rdf:type'(':N247',X) => 'rdf:type'(':J248',X).
'rdf:type'(':N248',X) => 'rdf:type'(':N249',X).
'rdf:type'(':N248',X) => 'rdf:type'(':I249',X).
'rdf:type'(':N248',X) => 'rdf:type'(':J249',X).
'rdf:type'(':N249',X) => 'rdf:type'(':N250',X).
'rdf:type'(':N249',X) => 'rdf:type'(':I250',X).
'rdf:type'(':N249',X) => 'rdf:type'(':J250',X).
'rdf:type'(':N250',X) => 'rdf:type'(':N251',X).
'rdf:type'(':N250',X) => 'rdf:type'(':I251',X).
'rdf:type'(':N250',X) => 'rdf:type'(':J251',X).
'rdf:type'(':N251',X) => 'rdf:type'(':N252',X).
'rdf:type'(':N251',X) => 'rdf:type'(':I252',X).
'rdf:type'(':N251',X) => 'rdf:type'(':J252',X).
'rdf:type'(':N252',X) => 'rdf:type'(':N253',X).
'rdf:type'(':N252',X) => 'rdf:type'(':I253',X).
'rdf:type'(':N252',X) => 'rdf:type'(':J253',X).
'rdf:type'(':N253',X) => 'rdf:type'(':N254',X).
'rdf:type'(':N253',X) => 'rdf:type'(':I254',X).
'rdf:type'(':N253',X) => 'rdf:type'(':J254',X).
'rdf:type'(':N254',X) => 'rdf:type'(':N255',X).
'rdf:type'(':N254',X) => 'rdf:type'(':I255',X).
'rdf:type'(':N254',X) => 'rdf:type'(':J255',X).
'rdf:type'(':N255',X) => 'rdf:type'(':N256',X).
'rdf:type'(':N255',X) => 'rdf:type'(':I256',X).
'rdf:type'(':N255',X) => 'rdf:type'(':J256',X).
'rdf:type'(':N256',X) => 'rdf:type'(':N257',X).
'rdf:type'(':N256',X) => 'rdf:type'(':I257',X).
'rdf:type'(':N256',X) => 'rdf:type'(':J257',X).
'rdf:type'(':N257',X) => 'rdf:type'(':N258',X).
'rdf:type'(':N257',X) => 'rdf:type'(':I258',X).
'rdf:type'(':N257',X) => 'rdf:type'(':J258',X).
'rdf:type'(':N258',X) => 'rdf:type'(':N259',X).
'rdf:type'(':N258',X) => 'rdf:type'(':I259',X).
'rdf:type'(':N258',X) => 'rdf:type'(':J259',X).
'rdf:type'(':N259',X) => 'rdf:type'(':N260',X).
'rdf:type'(':N259',X) => 'rdf:type'(':I260',X).
'rdf:type'(':N259',X) => 'rdf:type'(':J260',X).
'rdf:type'(':N260',X) => 'rdf:type'(':N261',X).
'rdf:type'(':N260',X) => 'rdf:type'(':I261',X).
'rdf:type'(':N260',X) => 'rdf:type'(':J261',X).
'rdf:type'(':N261',X) => 'rdf:type'(':N262',X).
'rdf:type'(':N261',X) => 'rdf:type'(':I262',X).
'rdf:type'(':N261',X) => 'rdf:type'(':J262',X).
'rdf:type'(':N262',X) => 'rdf:type'(':N263',X).
'rdf:type'(':N262',X) => 'rdf:type'(':I263',X).
'rdf:type'(':N262',X) => 'rdf:type'(':J263',X).
'rdf:type'(':N263',X) => 'rdf:type'(':N264',X).
'rdf:type'(':N263',X) => 'rdf:type'(':I264',X).
'rdf:type'(':N263',X) => 'rdf:type'(':J264',X).
'rdf:type'(':N264',X) => 'rdf:type'(':N265',X).
'rdf:type'(':N264',X) => 'rdf:type'(':I265',X).
'rdf:type'(':N264',X) => 'rdf:type'(':J265',X).
'rdf:type'(':N265',X) => 'rdf:type'(':N266',X).
'rdf:type'(':N265',X) => 'rdf:type'(':I266',X).
'rdf:type'(':N265',X) => 'rdf:type'(':J266',X).
'rdf:type'(':N266',X) => 'rdf:type'(':N267',X).
'rdf:type'(':N266',X) => 'rdf:type'(':I267',X).
'rdf:type'(':N266',X) => 'rdf:type'(':J267',X).
'rdf:type'(':N267',X) => 'rdf:type'(':N268',X).
'rdf:type'(':N267',X) => 'rdf:type'(':I268',X).
'rdf:type'(':N267',X) => 'rdf:type'(':J268',X).
'rdf:type'(':N268',X) => 'rdf:type'(':N269',X).
'rdf:type'(':N268',X) => 'rdf:type'(':I269',X).
'rdf:type'(':N268',X) => 'rdf:type'(':J269',X).
'rdf:type'(':N269',X) => 'rdf:type'(':N270',X).
'rdf:type'(':N269',X) => 'rdf:type'(':I270',X).
'rdf:type'(':N269',X) => 'rdf:type'(':J270',X).
'rdf:type'(':N270',X) => 'rdf:type'(':N271',X).
'rdf:type'(':N270',X) => 'rdf:type'(':I271',X).
'rdf:type'(':N270',X) => 'rdf:type'(':J271',X).
'rdf:type'(':N271',X) => 'rdf:type'(':N272',X).
'rdf:type'(':N271',X) => 'rdf:type'(':I272',X).
'rdf:type'(':N271',X) => 'rdf:type'(':J272',X).
'rdf:type'(':N272',X) => 'rdf:type'(':N273',X).
'rdf:type'(':N272',X) => 'rdf:type'(':I273',X).
'rdf:type'(':N272',X) => 'rdf:type'(':J273',X).
'rdf:type'(':N273',X) => 'rdf:type'(':N274',X).
'rdf:type'(':N273',X) => 'rdf:type'(':I274',X).
'rdf:type'(':N273',X) => 'rdf:type'(':J274',X).
'rdf:type'(':N274',X) => 'rdf:type'(':N275',X).
'rdf:type'(':N274',X) => 'rdf:type'(':I275',X).
'rdf:type'(':N274',X) => 'rdf:type'(':J275',X).
'rdf:type'(':N275',X) => 'rdf:type'(':N276',X).
'rdf:type'(':N275',X) => 'rdf:type'(':I276',X).
'rdf:type'(':N275',X) => 'rdf:type'(':J276',X).
'rdf:type'(':N276',X) => 'rdf:type'(':N277',X).
'rdf:type'(':N276',X) => 'rdf:type'(':I277',X).
'rdf:type'(':N276',X) => 'rdf:type'(':J277',X).
'rdf:type'(':N277',X) => 'rdf:type'(':N278',X).
'rdf:type'(':N277',X) => 'rdf:type'(':I278',X).
'rdf:type'(':N277',X) => 'rdf:type'(':J278',X).
'rdf:type'(':N278',X) => 'rdf:type'(':N279',X).
'rdf:type'(':N278',X) => 'rdf:type'(':I279',X).
'rdf:type'(':N278',X) => 'rdf:type'(':J279',X).
'rdf:type'(':N279',X) => 'rdf:type'(':N280',X).
'rdf:type'(':N279',X) => 'rdf:type'(':I280',X).
'rdf:type'(':N279',X) => 'rdf:type'(':J280',X).
'rdf:type'(':N280',X) => 'rdf:type'(':N281',X).
'rdf:type'(':N280',X) => 'rdf:type'(':I281',X).
'rdf:type'(':N280',X) => 'rdf:type'(':J281',X).
'rdf:type'(':N281',X) => 'rdf:type'(':N282',X).
'rdf:type'(':N281',X) => 'rdf:type'(':I282',X).
'rdf:type'(':N281',X) => 'rdf:type'(':J282',X).
'rdf:type'(':N282',X) => 'rdf:type'(':N283',X).
'rdf:type'(':N282',X) => 'rdf:type'(':I283',X).
'rdf:type'(':N282',X) => 'rdf:type'(':J283',X).
'rdf:type'(':N283',X) => 'rdf:type'(':N284',X).
'rdf:type'(':N283',X) => 'rdf:type'(':I284',X).
'rdf:type'(':N283',X) => 'rdf:type'(':J284',X).
'rdf:type'(':N284',X) => 'rdf:type'(':N285',X).
'rdf:type'(':N284',X) => 'rdf:type'(':I285',X).
'rdf:type'(':N284',X) => 'rdf:type'(':J285',X).
'rdf:type'(':N285',X) => 'rdf:type'(':N286',X).
'rdf:type'(':N285',X) => 'rdf:type'(':I286',X).
'rdf:type'(':N285',X) => 'rdf:type'(':J286',X).
'rdf:type'(':N286',X) => 'rdf:type'(':N287',X).
'rdf:type'(':N286',X) => 'rdf:type'(':I287',X).
'rdf:type'(':N286',X) => 'rdf:type'(':J287',X).
'rdf:type'(':N287',X) => 'rdf:type'(':N288',X).
'rdf:type'(':N287',X) => 'rdf:type'(':I288',X).
'rdf:type'(':N287',X) => 'rdf:type'(':J288',X).
'rdf:type'(':N288',X) => 'rdf:type'(':N289',X).
'rdf:type'(':N288',X) => 'rdf:type'(':I289',X).
'rdf:type'(':N288',X) => 'rdf:type'(':J289',X).
'rdf:type'(':N289',X) => 'rdf:type'(':N290',X).
'rdf:type'(':N289',X) => 'rdf:type'(':I290',X).
'rdf:type'(':N289',X) => 'rdf:type'(':J290',X).
'rdf:type'(':N290',X) => 'rdf:type'(':N291',X).
'rdf:type'(':N290',X) => 'rdf:type'(':I291',X).
'rdf:type'(':N290',X) => 'rdf:type'(':J291',X).
'rdf:type'(':N291',X) => 'rdf:type'(':N292',X).
'rdf:type'(':N291',X) => 'rdf:type'(':I292',X).
'rdf:type'(':N291',X) => 'rdf:type'(':J292',X).
'rdf:type'(':N292',X) => 'rdf:type'(':N293',X).
'rdf:type'(':N292',X) => 'rdf:type'(':I293',X).
'rdf:type'(':N292',X) => 'rdf:type'(':J293',X).
'rdf:type'(':N293',X) => 'rdf:type'(':N294',X).
'rdf:type'(':N293',X) => 'rdf:type'(':I294',X).
'rdf:type'(':N293',X) => 'rdf:type'(':J294',X).
'rdf:type'(':N294',X) => 'rdf:type'(':N295',X).
'rdf:type'(':N294',X) => 'rdf:type'(':I295',X).
'rdf:type'(':N294',X) => 'rdf:type'(':J295',X).
'rdf:type'(':N295',X) => 'rdf:type'(':N296',X).
'rdf:type'(':N295',X) => 'rdf:type'(':I296',X).
'rdf:type'(':N295',X) => 'rdf:type'(':J296',X).
'rdf:type'(':N296',X) => 'rdf:type'(':N297',X).
'rdf:type'(':N296',X) => 'rdf:type'(':I297',X).
'rdf:type'(':N296',X) => 'rdf:type'(':J297',X).
'rdf:type'(':N297',X) => 'rdf:type'(':N298',X).
'rdf:type'(':N297',X) => 'rdf:type'(':I298',X).
'rdf:type'(':N297',X) => 'rdf:type'(':J298',X).
'rdf:type'(':N298',X) => 'rdf:type'(':N299',X).
'rdf:type'(':N298',X) => 'rdf:type'(':I299',X).
'rdf:type'(':N298',X) => 'rdf:type'(':J299',X).
'rdf:type'(':N299',X) => 'rdf:type'(':N300',X).
'rdf:type'(':N299',X) => 'rdf:type'(':I300',X).
'rdf:type'(':N299',X) => 'rdf:type'(':J300',X).
'rdf:type'(':N300',X) => 'rdf:type'(':N301',X).
'rdf:type'(':N300',X) => 'rdf:type'(':I301',X).
'rdf:type'(':N300',X) => 'rdf:type'(':J301',X).
'rdf:type'(':N301',X) => 'rdf:type'(':N302',X).
'rdf:type'(':N301',X) => 'rdf:type'(':I302',X).
'rdf:type'(':N301',X) => 'rdf:type'(':J302',X).
'rdf:type'(':N302',X) => 'rdf:type'(':N303',X).
'rdf:type'(':N302',X) => 'rdf:type'(':I303',X).
'rdf:type'(':N302',X) => 'rdf:type'(':J303',X).
'rdf:type'(':N303',X) => 'rdf:type'(':N304',X).
'rdf:type'(':N303',X) => 'rdf:type'(':I304',X).
'rdf:type'(':N303',X) => 'rdf:type'(':J304',X).
'rdf:type'(':N304',X) => 'rdf:type'(':N305',X).
'rdf:type'(':N304',X) => 'rdf:type'(':I305',X).
'rdf:type'(':N304',X) => 'rdf:type'(':J305',X).
'rdf:type'(':N305',X) => 'rdf:type'(':N306',X).
'rdf:type'(':N305',X) => 'rdf:type'(':I306',X).
'rdf:type'(':N305',X) => 'rdf:type'(':J306',X).
'rdf:type'(':N306',X) => 'rdf:type'(':N307',X).
'rdf:type'(':N306',X) => 'rdf:type'(':I307',X).
'rdf:type'(':N306',X) => 'rdf:type'(':J307',X).
'rdf:type'(':N307',X) => 'rdf:type'(':N308',X).
'rdf:type'(':N307',X) => 'rdf:type'(':I308',X).
'rdf:type'(':N307',X) => 'rdf:type'(':J308',X).
'rdf:type'(':N308',X) => 'rdf:type'(':N309',X).
'rdf:type'(':N308',X) => 'rdf:type'(':I309',X).
'rdf:type'(':N308',X) => 'rdf:type'(':J309',X).
'rdf:type'(':N309',X) => 'rdf:type'(':N310',X).
'rdf:type'(':N309',X) => 'rdf:type'(':I310',X).
'rdf:type'(':N309',X) => 'rdf:type'(':J310',X).
'rdf:type'(':N310',X) => 'rdf:type'(':N311',X).
'rdf:type'(':N310',X) => 'rdf:type'(':I311',X).
'rdf:type'(':N310',X) => 'rdf:type'(':J311',X).
'rdf:type'(':N311',X) => 'rdf:type'(':N312',X).
'rdf:type'(':N311',X) => 'rdf:type'(':I312',X).
'rdf:type'(':N311',X) => 'rdf:type'(':J312',X).
'rdf:type'(':N312',X) => 'rdf:type'(':N313',X).
'rdf:type'(':N312',X) => 'rdf:type'(':I313',X).
'rdf:type'(':N312',X) => 'rdf:type'(':J313',X).
'rdf:type'(':N313',X) => 'rdf:type'(':N314',X).
'rdf:type'(':N313',X) => 'rdf:type'(':I314',X).
'rdf:type'(':N313',X) => 'rdf:type'(':J314',X).
'rdf:type'(':N314',X) => 'rdf:type'(':N315',X).
'rdf:type'(':N314',X) => 'rdf:type'(':I315',X).
'rdf:type'(':N314',X) => 'rdf:type'(':J315',X).
'rdf:type'(':N315',X) => 'rdf:type'(':N316',X).
'rdf:type'(':N315',X) => 'rdf:type'(':I316',X).
'rdf:type'(':N315',X) => 'rdf:type'(':J316',X).
'rdf:type'(':N316',X) => 'rdf:type'(':N317',X).
'rdf:type'(':N316',X) => 'rdf:type'(':I317',X).
'rdf:type'(':N316',X) => 'rdf:type'(':J317',X).
'rdf:type'(':N317',X) => 'rdf:type'(':N318',X).
'rdf:type'(':N317',X) => 'rdf:type'(':I318',X).
'rdf:type'(':N317',X) => 'rdf:type'(':J318',X).
'rdf:type'(':N318',X) => 'rdf:type'(':N319',X).
'rdf:type'(':N318',X) => 'rdf:type'(':I319',X).
'rdf:type'(':N318',X) => 'rdf:type'(':J319',X).
'rdf:type'(':N319',X) => 'rdf:type'(':N320',X).
'rdf:type'(':N319',X) => 'rdf:type'(':I320',X).
'rdf:type'(':N319',X) => 'rdf:type'(':J320',X).
'rdf:type'(':N320',X) => 'rdf:type'(':N321',X).
'rdf:type'(':N320',X) => 'rdf:type'(':I321',X).
'rdf:type'(':N320',X) => 'rdf:type'(':J321',X).
'rdf:type'(':N321',X) => 'rdf:type'(':N322',X).
'rdf:type'(':N321',X) => 'rdf:type'(':I322',X).
'rdf:type'(':N321',X) => 'rdf:type'(':J322',X).
'rdf:type'(':N322',X) => 'rdf:type'(':N323',X).
'rdf:type'(':N322',X) => 'rdf:type'(':I323',X).
'rdf:type'(':N322',X) => 'rdf:type'(':J323',X).
'rdf:type'(':N323',X) => 'rdf:type'(':N324',X).
'rdf:type'(':N323',X) => 'rdf:type'(':I324',X).
'rdf:type'(':N323',X) => 'rdf:type'(':J324',X).
'rdf:type'(':N324',X) => 'rdf:type'(':N325',X).
'rdf:type'(':N324',X) => 'rdf:type'(':I325',X).
'rdf:type'(':N324',X) => 'rdf:type'(':J325',X).
'rdf:type'(':N325',X) => 'rdf:type'(':N326',X).
'rdf:type'(':N325',X) => 'rdf:type'(':I326',X).
'rdf:type'(':N325',X) => 'rdf:type'(':J326',X).
'rdf:type'(':N326',X) => 'rdf:type'(':N327',X).
'rdf:type'(':N326',X) => 'rdf:type'(':I327',X).
'rdf:type'(':N326',X) => 'rdf:type'(':J327',X).
'rdf:type'(':N327',X) => 'rdf:type'(':N328',X).
'rdf:type'(':N327',X) => 'rdf:type'(':I328',X).
'rdf:type'(':N327',X) => 'rdf:type'(':J328',X).
'rdf:type'(':N328',X) => 'rdf:type'(':N329',X).
'rdf:type'(':N328',X) => 'rdf:type'(':I329',X).
'rdf:type'(':N328',X) => 'rdf:type'(':J329',X).
'rdf:type'(':N329',X) => 'rdf:type'(':N330',X).
'rdf:type'(':N329',X) => 'rdf:type'(':I330',X).
'rdf:type'(':N329',X) => 'rdf:type'(':J330',X).
'rdf:type'(':N330',X) => 'rdf:type'(':N331',X).
'rdf:type'(':N330',X) => 'rdf:type'(':I331',X).
'rdf:type'(':N330',X) => 'rdf:type'(':J331',X).
'rdf:type'(':N331',X) => 'rdf:type'(':N332',X).
'rdf:type'(':N331',X) => 'rdf:type'(':I332',X).
'rdf:type'(':N331',X) => 'rdf:type'(':J332',X).
'rdf:type'(':N332',X) => 'rdf:type'(':N333',X).
'rdf:type'(':N332',X) => 'rdf:type'(':I333',X).
'rdf:type'(':N332',X) => 'rdf:type'(':J333',X).
'rdf:type'(':N333',X) => 'rdf:type'(':N334',X).
'rdf:type'(':N333',X) => 'rdf:type'(':I334',X).
'rdf:type'(':N333',X) => 'rdf:type'(':J334',X).
'rdf:type'(':N334',X) => 'rdf:type'(':N335',X).
'rdf:type'(':N334',X) => 'rdf:type'(':I335',X).
'rdf:type'(':N334',X) => 'rdf:type'(':J335',X).
'rdf:type'(':N335',X) => 'rdf:type'(':N336',X).
'rdf:type'(':N335',X) => 'rdf:type'(':I336',X).
'rdf:type'(':N335',X) => 'rdf:type'(':J336',X).
'rdf:type'(':N336',X) => 'rdf:type'(':N337',X).
'rdf:type'(':N336',X) => 'rdf:type'(':I337',X).
'rdf:type'(':N336',X) => 'rdf:type'(':J337',X).
'rdf:type'(':N337',X) => 'rdf:type'(':N338',X).
'rdf:type'(':N337',X) => 'rdf:type'(':I338',X).
'rdf:type'(':N337',X) => 'rdf:type'(':J338',X).
'rdf:type'(':N338',X) => 'rdf:type'(':N339',X).
'rdf:type'(':N338',X) => 'rdf:type'(':I339',X).
'rdf:type'(':N338',X) => 'rdf:type'(':J339',X).
'rdf:type'(':N339',X) => 'rdf:type'(':N340',X).
'rdf:type'(':N339',X) => 'rdf:type'(':I340',X).
'rdf:type'(':N339',X) => 'rdf:type'(':J340',X).
'rdf:type'(':N340',X) => 'rdf:type'(':N341',X).
'rdf:type'(':N340',X) => 'rdf:type'(':I341',X).
'rdf:type'(':N340',X) => 'rdf:type'(':J341',X).
'rdf:type'(':N341',X) => 'rdf:type'(':N342',X).
'rdf:type'(':N341',X) => 'rdf:type'(':I342',X).
'rdf:type'(':N341',X) => 'rdf:type'(':J342',X).
'rdf:type'(':N342',X) => 'rdf:type'(':N343',X).
'rdf:type'(':N342',X) => 'rdf:type'(':I343',X).
'rdf:type'(':N342',X) => 'rdf:type'(':J343',X).
'rdf:type'(':N343',X) => 'rdf:type'(':N344',X).
'rdf:type'(':N343',X) => 'rdf:type'(':I344',X).
'rdf:type'(':N343',X) => 'rdf:type'(':J344',X).
'rdf:type'(':N344',X) => 'rdf:type'(':N345',X).
'rdf:type'(':N344',X) => 'rdf:type'(':I345',X).
'rdf:type'(':N344',X) => 'rdf:type'(':J345',X).
'rdf:type'(':N345',X) => 'rdf:type'(':N346',X).
'rdf:type'(':N345',X) => 'rdf:type'(':I346',X).
'rdf:type'(':N345',X) => 'rdf:type'(':J346',X).
'rdf:type'(':N346',X) => 'rdf:type'(':N347',X).
'rdf:type'(':N346',X) => 'rdf:type'(':I347',X).
'rdf:type'(':N346',X) => 'rdf:type'(':J347',X).
'rdf:type'(':N347',X) => 'rdf:type'(':N348',X).
'rdf:type'(':N347',X) => 'rdf:type'(':I348',X).
'rdf:type'(':N347',X) => 'rdf:type'(':J348',X).
'rdf:type'(':N348',X) => 'rdf:type'(':N349',X).
'rdf:type'(':N348',X) => 'rdf:type'(':I349',X).
'rdf:type'(':N348',X) => 'rdf:type'(':J349',X).
'rdf:type'(':N349',X) => 'rdf:type'(':N350',X).
'rdf:type'(':N349',X) => 'rdf:type'(':I350',X).
'rdf:type'(':N349',X) => 'rdf:type'(':J350',X).
'rdf:type'(':N350',X) => 'rdf:type'(':N351',X).
'rdf:type'(':N350',X) => 'rdf:type'(':I351',X).
'rdf:type'(':N350',X) => 'rdf:type'(':J351',X).
'rdf:type'(':N351',X) => 'rdf:type'(':N352',X).
'rdf:type'(':N351',X) => 'rdf:type'(':I352',X).
'rdf:type'(':N351',X) => 'rdf:type'(':J352',X).
'rdf:type'(':N352',X) => 'rdf:type'(':N353',X).
'rdf:type'(':N352',X) => 'rdf:type'(':I353',X).
'rdf:type'(':N352',X) => 'rdf:type'(':J353',X).
'rdf:type'(':N353',X) => 'rdf:type'(':N354',X).
'rdf:type'(':N353',X) => 'rdf:type'(':I354',X).
'rdf:type'(':N353',X) => 'rdf:type'(':J354',X).
'rdf:type'(':N354',X) => 'rdf:type'(':N355',X).
'rdf:type'(':N354',X) => 'rdf:type'(':I355',X).
'rdf:type'(':N354',X) => 'rdf:type'(':J355',X).
'rdf:type'(':N355',X) => 'rdf:type'(':N356',X).
'rdf:type'(':N355',X) => 'rdf:type'(':I356',X).
'rdf:type'(':N355',X) => 'rdf:type'(':J356',X).
'rdf:type'(':N356',X) => 'rdf:type'(':N357',X).
'rdf:type'(':N356',X) => 'rdf:type'(':I357',X).
'rdf:type'(':N356',X) => 'rdf:type'(':J357',X).
'rdf:type'(':N357',X) => 'rdf:type'(':N358',X).
'rdf:type'(':N357',X) => 'rdf:type'(':I358',X).
'rdf:type'(':N357',X) => 'rdf:type'(':J358',X).
'rdf:type'(':N358',X) => 'rdf:type'(':N359',X).
'rdf:type'(':N358',X) => 'rdf:type'(':I359',X).
'rdf:type'(':N358',X) => 'rdf:type'(':J359',X).
'rdf:type'(':N359',X) => 'rdf:type'(':N360',X).
'rdf:type'(':N359',X) => 'rdf:type'(':I360',X).
'rdf:type'(':N359',X) => 'rdf:type'(':J360',X).
'rdf:type'(':N360',X) => 'rdf:type'(':N361',X).
'rdf:type'(':N360',X) => 'rdf:type'(':I361',X).
'rdf:type'(':N360',X) => 'rdf:type'(':J361',X).
'rdf:type'(':N361',X) => 'rdf:type'(':N362',X).
'rdf:type'(':N361',X) => 'rdf:type'(':I362',X).
'rdf:type'(':N361',X) => 'rdf:type'(':J362',X).
'rdf:type'(':N362',X) => 'rdf:type'(':N363',X).
'rdf:type'(':N362',X) => 'rdf:type'(':I363',X).
'rdf:type'(':N362',X) => 'rdf:type'(':J363',X).
'rdf:type'(':N363',X) => 'rdf:type'(':N364',X).
'rdf:type'(':N363',X) => 'rdf:type'(':I364',X).
'rdf:type'(':N363',X) => 'rdf:type'(':J364',X).
'rdf:type'(':N364',X) => 'rdf:type'(':N365',X).
'rdf:type'(':N364',X) => 'rdf:type'(':I365',X).
'rdf:type'(':N364',X) => 'rdf:type'(':J365',X).
'rdf:type'(':N365',X) => 'rdf:type'(':N366',X).
'rdf:type'(':N365',X) => 'rdf:type'(':I366',X).
'rdf:type'(':N365',X) => 'rdf:type'(':J366',X).
'rdf:type'(':N366',X) => 'rdf:type'(':N367',X).
'rdf:type'(':N366',X) => 'rdf:type'(':I367',X).
'rdf:type'(':N366',X) => 'rdf:type'(':J367',X).
'rdf:type'(':N367',X) => 'rdf:type'(':N368',X).
'rdf:type'(':N367',X) => 'rdf:type'(':I368',X).
'rdf:type'(':N367',X) => 'rdf:type'(':J368',X).
'rdf:type'(':N368',X) => 'rdf:type'(':N369',X).
'rdf:type'(':N368',X) => 'rdf:type'(':I369',X).
'rdf:type'(':N368',X) => 'rdf:type'(':J369',X).
'rdf:type'(':N369',X) => 'rdf:type'(':N370',X).
'rdf:type'(':N369',X) => 'rdf:type'(':I370',X).
'rdf:type'(':N369',X) => 'rdf:type'(':J370',X).
'rdf:type'(':N370',X) => 'rdf:type'(':N371',X).
'rdf:type'(':N370',X) => 'rdf:type'(':I371',X).
'rdf:type'(':N370',X) => 'rdf:type'(':J371',X).
'rdf:type'(':N371',X) => 'rdf:type'(':N372',X).
'rdf:type'(':N371',X) => 'rdf:type'(':I372',X).
'rdf:type'(':N371',X) => 'rdf:type'(':J372',X).
'rdf:type'(':N372',X) => 'rdf:type'(':N373',X).
'rdf:type'(':N372',X) => 'rdf:type'(':I373',X).
'rdf:type'(':N372',X) => 'rdf:type'(':J373',X).
'rdf:type'(':N373',X) => 'rdf:type'(':N374',X).
'rdf:type'(':N373',X) => 'rdf:type'(':I374',X).
'rdf:type'(':N373',X) => 'rdf:type'(':J374',X).
'rdf:type'(':N374',X) => 'rdf:type'(':N375',X).
'rdf:type'(':N374',X) => 'rdf:type'(':I375',X).
'rdf:type'(':N374',X) => 'rdf:type'(':J375',X).
'rdf:type'(':N375',X) => 'rdf:type'(':N376',X).
'rdf:type'(':N375',X) => 'rdf:type'(':I376',X).
'rdf:type'(':N375',X) => 'rdf:type'(':J376',X).
'rdf:type'(':N376',X) => 'rdf:type'(':N377',X).
'rdf:type'(':N376',X) => 'rdf:type'(':I377',X).
'rdf:type'(':N376',X) => 'rdf:type'(':J377',X).
'rdf:type'(':N377',X) => 'rdf:type'(':N378',X).
'rdf:type'(':N377',X) => 'rdf:type'(':I378',X).
'rdf:type'(':N377',X) => 'rdf:type'(':J378',X).
'rdf:type'(':N378',X) => 'rdf:type'(':N379',X).
'rdf:type'(':N378',X) => 'rdf:type'(':I379',X).
'rdf:type'(':N378',X) => 'rdf:type'(':J379',X).
'rdf:type'(':N379',X) => 'rdf:type'(':N380',X).
'rdf:type'(':N379',X) => 'rdf:type'(':I380',X).
'rdf:type'(':N379',X) => 'rdf:type'(':J380',X).
'rdf:type'(':N380',X) => 'rdf:type'(':N381',X).
'rdf:type'(':N380',X) => 'rdf:type'(':I381',X).
'rdf:type'(':N380',X) => 'rdf:type'(':J381',X).
'rdf:type'(':N381',X) => 'rdf:type'(':N382',X).
'rdf:type'(':N381',X) => 'rdf:type'(':I382',X).
'rdf:type'(':N381',X) => 'rdf:type'(':J382',X).
'rdf:type'(':N382',X) => 'rdf:type'(':N383',X).
'rdf:type'(':N382',X) => 'rdf:type'(':I383',X).
'rdf:type'(':N382',X) => 'rdf:type'(':J383',X).
'rdf:type'(':N383',X) => 'rdf:type'(':N384',X).
'rdf:type'(':N383',X) => 'rdf:type'(':I384',X).
'rdf:type'(':N383',X) => 'rdf:type'(':J384',X).
'rdf:type'(':N384',X) => 'rdf:type'(':N385',X).
'rdf:type'(':N384',X) => 'rdf:type'(':I385',X).
'rdf:type'(':N384',X) => 'rdf:type'(':J385',X).
'rdf:type'(':N385',X) => 'rdf:type'(':N386',X).
'rdf:type'(':N385',X) => 'rdf:type'(':I386',X).
'rdf:type'(':N385',X) => 'rdf:type'(':J386',X).
'rdf:type'(':N386',X) => 'rdf:type'(':N387',X).
'rdf:type'(':N386',X) => 'rdf:type'(':I387',X).
'rdf:type'(':N386',X) => 'rdf:type'(':J387',X).
'rdf:type'(':N387',X) => 'rdf:type'(':N388',X).
'rdf:type'(':N387',X) => 'rdf:type'(':I388',X).
'rdf:type'(':N387',X) => 'rdf:type'(':J388',X).
'rdf:type'(':N388',X) => 'rdf:type'(':N389',X).
'rdf:type'(':N388',X) => 'rdf:type'(':I389',X).
'rdf:type'(':N388',X) => 'rdf:type'(':J389',X).
'rdf:type'(':N389',X) => 'rdf:type'(':N390',X).
'rdf:type'(':N389',X) => 'rdf:type'(':I390',X).
'rdf:type'(':N389',X) => 'rdf:type'(':J390',X).
'rdf:type'(':N390',X) => 'rdf:type'(':N391',X).
'rdf:type'(':N390',X) => 'rdf:type'(':I391',X).
'rdf:type'(':N390',X) => 'rdf:type'(':J391',X).
'rdf:type'(':N391',X) => 'rdf:type'(':N392',X).
'rdf:type'(':N391',X) => 'rdf:type'(':I392',X).
'rdf:type'(':N391',X) => 'rdf:type'(':J392',X).
'rdf:type'(':N392',X) => 'rdf:type'(':N393',X).
'rdf:type'(':N392',X) => 'rdf:type'(':I393',X).
'rdf:type'(':N392',X) => 'rdf:type'(':J393',X).
'rdf:type'(':N393',X) => 'rdf:type'(':N394',X).
'rdf:type'(':N393',X) => 'rdf:type'(':I394',X).
'rdf:type'(':N393',X) => 'rdf:type'(':J394',X).
'rdf:type'(':N394',X) => 'rdf:type'(':N395',X).
'rdf:type'(':N394',X) => 'rdf:type'(':I395',X).
'rdf:type'(':N394',X) => 'rdf:type'(':J395',X).
'rdf:type'(':N395',X) => 'rdf:type'(':N396',X).
'rdf:type'(':N395',X) => 'rdf:type'(':I396',X).
'rdf:type'(':N395',X) => 'rdf:type'(':J396',X).
'rdf:type'(':N396',X) => 'rdf:type'(':N397',X).
'rdf:type'(':N396',X) => 'rdf:type'(':I397',X).
'rdf:type'(':N396',X) => 'rdf:type'(':J397',X).
'rdf:type'(':N397',X) => 'rdf:type'(':N398',X).
'rdf:type'(':N397',X) => 'rdf:type'(':I398',X).
'rdf:type'(':N397',X) => 'rdf:type'(':J398',X).
'rdf:type'(':N398',X) => 'rdf:type'(':N399',X).
'rdf:type'(':N398',X) => 'rdf:type'(':I399',X).
'rdf:type'(':N398',X) => 'rdf:type'(':J399',X).
'rdf:type'(':N399',X) => 'rdf:type'(':N400',X).
'rdf:type'(':N399',X) => 'rdf:type'(':I400',X).
'rdf:type'(':N399',X) => 'rdf:type'(':J400',X).
'rdf:type'(':N400',X) => 'rdf:type'(':N401',X).
'rdf:type'(':N400',X) => 'rdf:type'(':I401',X).
'rdf:type'(':N400',X) => 'rdf:type'(':J401',X).
'rdf:type'(':N401',X) => 'rdf:type'(':N402',X).
'rdf:type'(':N401',X) => 'rdf:type'(':I402',X).
'rdf:type'(':N401',X) => 'rdf:type'(':J402',X).
'rdf:type'(':N402',X) => 'rdf:type'(':N403',X).
'rdf:type'(':N402',X) => 'rdf:type'(':I403',X).
'rdf:type'(':N402',X) => 'rdf:type'(':J403',X).
'rdf:type'(':N403',X) => 'rdf:type'(':N404',X).
'rdf:type'(':N403',X) => 'rdf:type'(':I404',X).
'rdf:type'(':N403',X) => 'rdf:type'(':J404',X).
'rdf:type'(':N404',X) => 'rdf:type'(':N405',X).
'rdf:type'(':N404',X) => 'rdf:type'(':I405',X).
'rdf:type'(':N404',X) => 'rdf:type'(':J405',X).
'rdf:type'(':N405',X) => 'rdf:type'(':N406',X).
'rdf:type'(':N405',X) => 'rdf:type'(':I406',X).
'rdf:type'(':N405',X) => 'rdf:type'(':J406',X).
'rdf:type'(':N406',X) => 'rdf:type'(':N407',X).
'rdf:type'(':N406',X) => 'rdf:type'(':I407',X).
'rdf:type'(':N406',X) => 'rdf:type'(':J407',X).
'rdf:type'(':N407',X) => 'rdf:type'(':N408',X).
'rdf:type'(':N407',X) => 'rdf:type'(':I408',X).
'rdf:type'(':N407',X) => 'rdf:type'(':J408',X).
'rdf:type'(':N408',X) => 'rdf:type'(':N409',X).
'rdf:type'(':N408',X) => 'rdf:type'(':I409',X).
'rdf:type'(':N408',X) => 'rdf:type'(':J409',X).
'rdf:type'(':N409',X) => 'rdf:type'(':N410',X).
'rdf:type'(':N409',X) => 'rdf:type'(':I410',X).
'rdf:type'(':N409',X) => 'rdf:type'(':J410',X).
'rdf:type'(':N410',X) => 'rdf:type'(':N411',X).
'rdf:type'(':N410',X) => 'rdf:type'(':I411',X).
'rdf:type'(':N410',X) => 'rdf:type'(':J411',X).
'rdf:type'(':N411',X) => 'rdf:type'(':N412',X).
'rdf:type'(':N411',X) => 'rdf:type'(':I412',X).
'rdf:type'(':N411',X) => 'rdf:type'(':J412',X).
'rdf:type'(':N412',X) => 'rdf:type'(':N413',X).
'rdf:type'(':N412',X) => 'rdf:type'(':I413',X).
'rdf:type'(':N412',X) => 'rdf:type'(':J413',X).
'rdf:type'(':N413',X) => 'rdf:type'(':N414',X).
'rdf:type'(':N413',X) => 'rdf:type'(':I414',X).
'rdf:type'(':N413',X) => 'rdf:type'(':J414',X).
'rdf:type'(':N414',X) => 'rdf:type'(':N415',X).
'rdf:type'(':N414',X) => 'rdf:type'(':I415',X).
'rdf:type'(':N414',X) => 'rdf:type'(':J415',X).
'rdf:type'(':N415',X) => 'rdf:type'(':N416',X).
'rdf:type'(':N415',X) => 'rdf:type'(':I416',X).
'rdf:type'(':N415',X) => 'rdf:type'(':J416',X).
'rdf:type'(':N416',X) => 'rdf:type'(':N417',X).
'rdf:type'(':N416',X) => 'rdf:type'(':I417',X).
'rdf:type'(':N416',X) => 'rdf:type'(':J417',X).
'rdf:type'(':N417',X) => 'rdf:type'(':N418',X).
'rdf:type'(':N417',X) => 'rdf:type'(':I418',X).
'rdf:type'(':N417',X) => 'rdf:type'(':J418',X).
'rdf:type'(':N418',X) => 'rdf:type'(':N419',X).
'rdf:type'(':N418',X) => 'rdf:type'(':I419',X).
'rdf:type'(':N418',X) => 'rdf:type'(':J419',X).
'rdf:type'(':N419',X) => 'rdf:type'(':N420',X).
'rdf:type'(':N419',X) => 'rdf:type'(':I420',X).
'rdf:type'(':N419',X) => 'rdf:type'(':J420',X).
'rdf:type'(':N420',X) => 'rdf:type'(':N421',X).
'rdf:type'(':N420',X) => 'rdf:type'(':I421',X).
'rdf:type'(':N420',X) => 'rdf:type'(':J421',X).
'rdf:type'(':N421',X) => 'rdf:type'(':N422',X).
'rdf:type'(':N421',X) => 'rdf:type'(':I422',X).
'rdf:type'(':N421',X) => 'rdf:type'(':J422',X).
'rdf:type'(':N422',X) => 'rdf:type'(':N423',X).
'rdf:type'(':N422',X) => 'rdf:type'(':I423',X).
'rdf:type'(':N422',X) => 'rdf:type'(':J423',X).
'rdf:type'(':N423',X) => 'rdf:type'(':N424',X).
'rdf:type'(':N423',X) => 'rdf:type'(':I424',X).
'rdf:type'(':N423',X) => 'rdf:type'(':J424',X).
'rdf:type'(':N424',X) => 'rdf:type'(':N425',X).
'rdf:type'(':N424',X) => 'rdf:type'(':I425',X).
'rdf:type'(':N424',X) => 'rdf:type'(':J425',X).
'rdf:type'(':N425',X) => 'rdf:type'(':N426',X).
'rdf:type'(':N425',X) => 'rdf:type'(':I426',X).
'rdf:type'(':N425',X) => 'rdf:type'(':J426',X).
'rdf:type'(':N426',X) => 'rdf:type'(':N427',X).
'rdf:type'(':N426',X) => 'rdf:type'(':I427',X).
'rdf:type'(':N426',X) => 'rdf:type'(':J427',X).
'rdf:type'(':N427',X) => 'rdf:type'(':N428',X).
'rdf:type'(':N427',X) => 'rdf:type'(':I428',X).
'rdf:type'(':N427',X) => 'rdf:type'(':J428',X).
'rdf:type'(':N428',X) => 'rdf:type'(':N429',X).
'rdf:type'(':N428',X) => 'rdf:type'(':I429',X).
'rdf:type'(':N428',X) => 'rdf:type'(':J429',X).
'rdf:type'(':N429',X) => 'rdf:type'(':N430',X).
'rdf:type'(':N429',X) => 'rdf:type'(':I430',X).
'rdf:type'(':N429',X) => 'rdf:type'(':J430',X).
'rdf:type'(':N430',X) => 'rdf:type'(':N431',X).
'rdf:type'(':N430',X) => 'rdf:type'(':I431',X).
'rdf:type'(':N430',X) => 'rdf:type'(':J431',X).
'rdf:type'(':N431',X) => 'rdf:type'(':N432',X).
'rdf:type'(':N431',X) => 'rdf:type'(':I432',X).
'rdf:type'(':N431',X) => 'rdf:type'(':J432',X).
'rdf:type'(':N432',X) => 'rdf:type'(':N433',X).
'rdf:type'(':N432',X) => 'rdf:type'(':I433',X).
'rdf:type'(':N432',X) => 'rdf:type'(':J433',X).
'rdf:type'(':N433',X) => 'rdf:type'(':N434',X).
'rdf:type'(':N433',X) => 'rdf:type'(':I434',X).
'rdf:type'(':N433',X) => 'rdf:type'(':J434',X).
'rdf:type'(':N434',X) => 'rdf:type'(':N435',X).
'rdf:type'(':N434',X) => 'rdf:type'(':I435',X).
'rdf:type'(':N434',X) => 'rdf:type'(':J435',X).
'rdf:type'(':N435',X) => 'rdf:type'(':N436',X).
'rdf:type'(':N435',X) => 'rdf:type'(':I436',X).
'rdf:type'(':N435',X) => 'rdf:type'(':J436',X).
'rdf:type'(':N436',X) => 'rdf:type'(':N437',X).
'rdf:type'(':N436',X) => 'rdf:type'(':I437',X).
'rdf:type'(':N436',X) => 'rdf:type'(':J437',X).
'rdf:type'(':N437',X) => 'rdf:type'(':N438',X).
'rdf:type'(':N437',X) => 'rdf:type'(':I438',X).
'rdf:type'(':N437',X) => 'rdf:type'(':J438',X).
'rdf:type'(':N438',X) => 'rdf:type'(':N439',X).
'rdf:type'(':N438',X) => 'rdf:type'(':I439',X).
'rdf:type'(':N438',X) => 'rdf:type'(':J439',X).
'rdf:type'(':N439',X) => 'rdf:type'(':N440',X).
'rdf:type'(':N439',X) => 'rdf:type'(':I440',X).
'rdf:type'(':N439',X) => 'rdf:type'(':J440',X).
'rdf:type'(':N440',X) => 'rdf:type'(':N441',X).
'rdf:type'(':N440',X) => 'rdf:type'(':I441',X).
'rdf:type'(':N440',X) => 'rdf:type'(':J441',X).
'rdf:type'(':N441',X) => 'rdf:type'(':N442',X).
'rdf:type'(':N441',X) => 'rdf:type'(':I442',X).
'rdf:type'(':N441',X) => 'rdf:type'(':J442',X).
'rdf:type'(':N442',X) => 'rdf:type'(':N443',X).
'rdf:type'(':N442',X) => 'rdf:type'(':I443',X).
'rdf:type'(':N442',X) => 'rdf:type'(':J443',X).
'rdf:type'(':N443',X) => 'rdf:type'(':N444',X).
'rdf:type'(':N443',X) => 'rdf:type'(':I444',X).
'rdf:type'(':N443',X) => 'rdf:type'(':J444',X).
'rdf:type'(':N444',X) => 'rdf:type'(':N445',X).
'rdf:type'(':N444',X) => 'rdf:type'(':I445',X).
'rdf:type'(':N444',X) => 'rdf:type'(':J445',X).
'rdf:type'(':N445',X) => 'rdf:type'(':N446',X).
'rdf:type'(':N445',X) => 'rdf:type'(':I446',X).
'rdf:type'(':N445',X) => 'rdf:type'(':J446',X).
'rdf:type'(':N446',X) => 'rdf:type'(':N447',X).
'rdf:type'(':N446',X) => 'rdf:type'(':I447',X).
'rdf:type'(':N446',X) => 'rdf:type'(':J447',X).
'rdf:type'(':N447',X) => 'rdf:type'(':N448',X).
'rdf:type'(':N447',X) => 'rdf:type'(':I448',X).
'rdf:type'(':N447',X) => 'rdf:type'(':J448',X).
'rdf:type'(':N448',X) => 'rdf:type'(':N449',X).
'rdf:type'(':N448',X) => 'rdf:type'(':I449',X).
'rdf:type'(':N448',X) => 'rdf:type'(':J449',X).
'rdf:type'(':N449',X) => 'rdf:type'(':N450',X).
'rdf:type'(':N449',X) => 'rdf:type'(':I450',X).
'rdf:type'(':N449',X) => 'rdf:type'(':J450',X).
'rdf:type'(':N450',X) => 'rdf:type'(':N451',X).
'rdf:type'(':N450',X) => 'rdf:type'(':I451',X).
'rdf:type'(':N450',X) => 'rdf:type'(':J451',X).
'rdf:type'(':N451',X) => 'rdf:type'(':N452',X).
'rdf:type'(':N451',X) => 'rdf:type'(':I452',X).
'rdf:type'(':N451',X) => 'rdf:type'(':J452',X).
'rdf:type'(':N452',X) => 'rdf:type'(':N453',X).
'rdf:type'(':N452',X) => 'rdf:type'(':I453',X).
'rdf:type'(':N452',X) => 'rdf:type'(':J453',X).
'rdf:type'(':N453',X) => 'rdf:type'(':N454',X).
'rdf:type'(':N453',X) => 'rdf:type'(':I454',X).
'rdf:type'(':N453',X) => 'rdf:type'(':J454',X).
'rdf:type'(':N454',X) => 'rdf:type'(':N455',X).
'rdf:type'(':N454',X) => 'rdf:type'(':I455',X).
'rdf:type'(':N454',X) => 'rdf:type'(':J455',X).
'rdf:type'(':N455',X) => 'rdf:type'(':N456',X).
'rdf:type'(':N455',X) => 'rdf:type'(':I456',X).
'rdf:type'(':N455',X) => 'rdf:type'(':J456',X).
'rdf:type'(':N456',X) => 'rdf:type'(':N457',X).
'rdf:type'(':N456',X) => 'rdf:type'(':I457',X).
'rdf:type'(':N456',X) => 'rdf:type'(':J457',X).
'rdf:type'(':N457',X) => 'rdf:type'(':N458',X).
'rdf:type'(':N457',X) => 'rdf:type'(':I458',X).
'rdf:type'(':N457',X) => 'rdf:type'(':J458',X).
'rdf:type'(':N458',X) => 'rdf:type'(':N459',X).
'rdf:type'(':N458',X) => 'rdf:type'(':I459',X).
'rdf:type'(':N458',X) => 'rdf:type'(':J459',X).
'rdf:type'(':N459',X) => 'rdf:type'(':N460',X).
'rdf:type'(':N459',X) => 'rdf:type'(':I460',X).
'rdf:type'(':N459',X) => 'rdf:type'(':J460',X).
'rdf:type'(':N460',X) => 'rdf:type'(':N461',X).
'rdf:type'(':N460',X) => 'rdf:type'(':I461',X).
'rdf:type'(':N460',X) => 'rdf:type'(':J461',X).
'rdf:type'(':N461',X) => 'rdf:type'(':N462',X).
'rdf:type'(':N461',X) => 'rdf:type'(':I462',X).
'rdf:type'(':N461',X) => 'rdf:type'(':J462',X).
'rdf:type'(':N462',X) => 'rdf:type'(':N463',X).
'rdf:type'(':N462',X) => 'rdf:type'(':I463',X).
'rdf:type'(':N462',X) => 'rdf:type'(':J463',X).
'rdf:type'(':N463',X) => 'rdf:type'(':N464',X).
'rdf:type'(':N463',X) => 'rdf:type'(':I464',X).
'rdf:type'(':N463',X) => 'rdf:type'(':J464',X).
'rdf:type'(':N464',X) => 'rdf:type'(':N465',X).
'rdf:type'(':N464',X) => 'rdf:type'(':I465',X).
'rdf:type'(':N464',X) => 'rdf:type'(':J465',X).
'rdf:type'(':N465',X) => 'rdf:type'(':N466',X).
'rdf:type'(':N465',X) => 'rdf:type'(':I466',X).
'rdf:type'(':N465',X) => 'rdf:type'(':J466',X).
'rdf:type'(':N466',X) => 'rdf:type'(':N467',X).
'rdf:type'(':N466',X) => 'rdf:type'(':I467',X).
'rdf:type'(':N466',X) => 'rdf:type'(':J467',X).
'rdf:type'(':N467',X) => 'rdf:type'(':N468',X).
'rdf:type'(':N467',X) => 'rdf:type'(':I468',X).
'rdf:type'(':N467',X) => 'rdf:type'(':J468',X).
'rdf:type'(':N468',X) => 'rdf:type'(':N469',X).
'rdf:type'(':N468',X) => 'rdf:type'(':I469',X).
'rdf:type'(':N468',X) => 'rdf:type'(':J469',X).
'rdf:type'(':N469',X) => 'rdf:type'(':N470',X).
'rdf:type'(':N469',X) => 'rdf:type'(':I470',X).
'rdf:type'(':N469',X) => 'rdf:type'(':J470',X).
'rdf:type'(':N470',X) => 'rdf:type'(':N471',X).
'rdf:type'(':N470',X) => 'rdf:type'(':I471',X).
'rdf:type'(':N470',X) => 'rdf:type'(':J471',X).
'rdf:type'(':N471',X) => 'rdf:type'(':N472',X).
'rdf:type'(':N471',X) => 'rdf:type'(':I472',X).
'rdf:type'(':N471',X) => 'rdf:type'(':J472',X).
'rdf:type'(':N472',X) => 'rdf:type'(':N473',X).
'rdf:type'(':N472',X) => 'rdf:type'(':I473',X).
'rdf:type'(':N472',X) => 'rdf:type'(':J473',X).
'rdf:type'(':N473',X) => 'rdf:type'(':N474',X).
'rdf:type'(':N473',X) => 'rdf:type'(':I474',X).
'rdf:type'(':N473',X) => 'rdf:type'(':J474',X).
'rdf:type'(':N474',X) => 'rdf:type'(':N475',X).
'rdf:type'(':N474',X) => 'rdf:type'(':I475',X).
'rdf:type'(':N474',X) => 'rdf:type'(':J475',X).
'rdf:type'(':N475',X) => 'rdf:type'(':N476',X).
'rdf:type'(':N475',X) => 'rdf:type'(':I476',X).
'rdf:type'(':N475',X) => 'rdf:type'(':J476',X).
'rdf:type'(':N476',X) => 'rdf:type'(':N477',X).
'rdf:type'(':N476',X) => 'rdf:type'(':I477',X).
'rdf:type'(':N476',X) => 'rdf:type'(':J477',X).
'rdf:type'(':N477',X) => 'rdf:type'(':N478',X).
'rdf:type'(':N477',X) => 'rdf:type'(':I478',X).
'rdf:type'(':N477',X) => 'rdf:type'(':J478',X).
'rdf:type'(':N478',X) => 'rdf:type'(':N479',X).
'rdf:type'(':N478',X) => 'rdf:type'(':I479',X).
'rdf:type'(':N478',X) => 'rdf:type'(':J479',X).
'rdf:type'(':N479',X) => 'rdf:type'(':N480',X).
'rdf:type'(':N479',X) => 'rdf:type'(':I480',X).
'rdf:type'(':N479',X) => 'rdf:type'(':J480',X).
'rdf:type'(':N480',X) => 'rdf:type'(':N481',X).
'rdf:type'(':N480',X) => 'rdf:type'(':I481',X).
'rdf:type'(':N480',X) => 'rdf:type'(':J481',X).
'rdf:type'(':N481',X) => 'rdf:type'(':N482',X).
'rdf:type'(':N481',X) => 'rdf:type'(':I482',X).
'rdf:type'(':N481',X) => 'rdf:type'(':J482',X).
'rdf:type'(':N482',X) => 'rdf:type'(':N483',X).
'rdf:type'(':N482',X) => 'rdf:type'(':I483',X).
'rdf:type'(':N482',X) => 'rdf:type'(':J483',X).
'rdf:type'(':N483',X) => 'rdf:type'(':N484',X).
'rdf:type'(':N483',X) => 'rdf:type'(':I484',X).
'rdf:type'(':N483',X) => 'rdf:type'(':J484',X).
'rdf:type'(':N484',X) => 'rdf:type'(':N485',X).
'rdf:type'(':N484',X) => 'rdf:type'(':I485',X).
'rdf:type'(':N484',X) => 'rdf:type'(':J485',X).
'rdf:type'(':N485',X) => 'rdf:type'(':N486',X).
'rdf:type'(':N485',X) => 'rdf:type'(':I486',X).
'rdf:type'(':N485',X) => 'rdf:type'(':J486',X).
'rdf:type'(':N486',X) => 'rdf:type'(':N487',X).
'rdf:type'(':N486',X) => 'rdf:type'(':I487',X).
'rdf:type'(':N486',X) => 'rdf:type'(':J487',X).
'rdf:type'(':N487',X) => 'rdf:type'(':N488',X).
'rdf:type'(':N487',X) => 'rdf:type'(':I488',X).
'rdf:type'(':N487',X) => 'rdf:type'(':J488',X).
'rdf:type'(':N488',X) => 'rdf:type'(':N489',X).
'rdf:type'(':N488',X) => 'rdf:type'(':I489',X).
'rdf:type'(':N488',X) => 'rdf:type'(':J489',X).
'rdf:type'(':N489',X) => 'rdf:type'(':N490',X).
'rdf:type'(':N489',X) => 'rdf:type'(':I490',X).
'rdf:type'(':N489',X) => 'rdf:type'(':J490',X).
'rdf:type'(':N490',X) => 'rdf:type'(':N491',X).
'rdf:type'(':N490',X) => 'rdf:type'(':I491',X).
'rdf:type'(':N490',X) => 'rdf:type'(':J491',X).
'rdf:type'(':N491',X) => 'rdf:type'(':N492',X).
'rdf:type'(':N491',X) => 'rdf:type'(':I492',X).
'rdf:type'(':N491',X) => 'rdf:type'(':J492',X).
'rdf:type'(':N492',X) => 'rdf:type'(':N493',X).
'rdf:type'(':N492',X) => 'rdf:type'(':I493',X).
'rdf:type'(':N492',X) => 'rdf:type'(':J493',X).
'rdf:type'(':N493',X) => 'rdf:type'(':N494',X).
'rdf:type'(':N493',X) => 'rdf:type'(':I494',X).
'rdf:type'(':N493',X) => 'rdf:type'(':J494',X).
'rdf:type'(':N494',X) => 'rdf:type'(':N495',X).
'rdf:type'(':N494',X) => 'rdf:type'(':I495',X).
'rdf:type'(':N494',X) => 'rdf:type'(':J495',X).
'rdf:type'(':N495',X) => 'rdf:type'(':N496',X).
'rdf:type'(':N495',X) => 'rdf:type'(':I496',X).
'rdf:type'(':N495',X) => 'rdf:type'(':J496',X).
'rdf:type'(':N496',X) => 'rdf:type'(':N497',X).
'rdf:type'(':N496',X) => 'rdf:type'(':I497',X).
'rdf:type'(':N496',X) => 'rdf:type'(':J497',X).
'rdf:type'(':N497',X) => 'rdf:type'(':N498',X).
'rdf:type'(':N497',X) => 'rdf:type'(':I498',X).
'rdf:type'(':N497',X) => 'rdf:type'(':J498',X).
'rdf:type'(':N498',X) => 'rdf:type'(':N499',X).
'rdf:type'(':N498',X) => 'rdf:type'(':I499',X).
'rdf:type'(':N498',X) => 'rdf:type'(':J499',X).
'rdf:type'(':N499',X) => 'rdf:type'(':N500',X).
'rdf:type'(':N499',X) => 'rdf:type'(':I500',X).
'rdf:type'(':N499',X) => 'rdf:type'(':J500',X).
'rdf:type'(':N500',X) => 'rdf:type'(':N501',X).
'rdf:type'(':N500',X) => 'rdf:type'(':I501',X).
'rdf:type'(':N500',X) => 'rdf:type'(':J501',X).
'rdf:type'(':N501',X) => 'rdf:type'(':N502',X).
'rdf:type'(':N501',X) => 'rdf:type'(':I502',X).
'rdf:type'(':N501',X) => 'rdf:type'(':J502',X).
'rdf:type'(':N502',X) => 'rdf:type'(':N503',X).
'rdf:type'(':N502',X) => 'rdf:type'(':I503',X).
'rdf:type'(':N502',X) => 'rdf:type'(':J503',X).
'rdf:type'(':N503',X) => 'rdf:type'(':N504',X).
'rdf:type'(':N503',X) => 'rdf:type'(':I504',X).
'rdf:type'(':N503',X) => 'rdf:type'(':J504',X).
'rdf:type'(':N504',X) => 'rdf:type'(':N505',X).
'rdf:type'(':N504',X) => 'rdf:type'(':I505',X).
'rdf:type'(':N504',X) => 'rdf:type'(':J505',X).
'rdf:type'(':N505',X) => 'rdf:type'(':N506',X).
'rdf:type'(':N505',X) => 'rdf:type'(':I506',X).
'rdf:type'(':N505',X) => 'rdf:type'(':J506',X).
'rdf:type'(':N506',X) => 'rdf:type'(':N507',X).
'rdf:type'(':N506',X) => 'rdf:type'(':I507',X).
'rdf:type'(':N506',X) => 'rdf:type'(':J507',X).
'rdf:type'(':N507',X) => 'rdf:type'(':N508',X).
'rdf:type'(':N507',X) => 'rdf:type'(':I508',X).
'rdf:type'(':N507',X) => 'rdf:type'(':J508',X).
'rdf:type'(':N508',X) => 'rdf:type'(':N509',X).
'rdf:type'(':N508',X) => 'rdf:type'(':I509',X).
'rdf:type'(':N508',X) => 'rdf:type'(':J509',X).
'rdf:type'(':N509',X) => 'rdf:type'(':N510',X).
'rdf:type'(':N509',X) => 'rdf:type'(':I510',X).
'rdf:type'(':N509',X) => 'rdf:type'(':J510',X).
'rdf:type'(':N510',X) => 'rdf:type'(':N511',X).
'rdf:type'(':N510',X) => 'rdf:type'(':I511',X).
'rdf:type'(':N510',X) => 'rdf:type'(':J511',X).
'rdf:type'(':N511',X) => 'rdf:type'(':N512',X).
'rdf:type'(':N511',X) => 'rdf:type'(':I512',X).
'rdf:type'(':N511',X) => 'rdf:type'(':J512',X).
'rdf:type'(':N512',X) => 'rdf:type'(':N513',X).
'rdf:type'(':N512',X) => 'rdf:type'(':I513',X).
'rdf:type'(':N512',X) => 'rdf:type'(':J513',X).
'rdf:type'(':N513',X) => 'rdf:type'(':N514',X).
'rdf:type'(':N513',X) => 'rdf:type'(':I514',X).
'rdf:type'(':N513',X) => 'rdf:type'(':J514',X).
'rdf:type'(':N514',X) => 'rdf:type'(':N515',X).
'rdf:type'(':N514',X) => 'rdf:type'(':I515',X).
'rdf:type'(':N514',X) => 'rdf:type'(':J515',X).
'rdf:type'(':N515',X) => 'rdf:type'(':N516',X).
'rdf:type'(':N515',X) => 'rdf:type'(':I516',X).
'rdf:type'(':N515',X) => 'rdf:type'(':J516',X).
'rdf:type'(':N516',X) => 'rdf:type'(':N517',X).
'rdf:type'(':N516',X) => 'rdf:type'(':I517',X).
'rdf:type'(':N516',X) => 'rdf:type'(':J517',X).
'rdf:type'(':N517',X) => 'rdf:type'(':N518',X).
'rdf:type'(':N517',X) => 'rdf:type'(':I518',X).
'rdf:type'(':N517',X) => 'rdf:type'(':J518',X).
'rdf:type'(':N518',X) => 'rdf:type'(':N519',X).
'rdf:type'(':N518',X) => 'rdf:type'(':I519',X).
'rdf:type'(':N518',X) => 'rdf:type'(':J519',X).
'rdf:type'(':N519',X) => 'rdf:type'(':N520',X).
'rdf:type'(':N519',X) => 'rdf:type'(':I520',X).
'rdf:type'(':N519',X) => 'rdf:type'(':J520',X).
'rdf:type'(':N520',X) => 'rdf:type'(':N521',X).
'rdf:type'(':N520',X) => 'rdf:type'(':I521',X).
'rdf:type'(':N520',X) => 'rdf:type'(':J521',X).
'rdf:type'(':N521',X) => 'rdf:type'(':N522',X).
'rdf:type'(':N521',X) => 'rdf:type'(':I522',X).
'rdf:type'(':N521',X) => 'rdf:type'(':J522',X).
'rdf:type'(':N522',X) => 'rdf:type'(':N523',X).
'rdf:type'(':N522',X) => 'rdf:type'(':I523',X).
'rdf:type'(':N522',X) => 'rdf:type'(':J523',X).
'rdf:type'(':N523',X) => 'rdf:type'(':N524',X).
'rdf:type'(':N523',X) => 'rdf:type'(':I524',X).
'rdf:type'(':N523',X) => 'rdf:type'(':J524',X).
'rdf:type'(':N524',X) => 'rdf:type'(':N525',X).
'rdf:type'(':N524',X) => 'rdf:type'(':I525',X).
'rdf:type'(':N524',X) => 'rdf:type'(':J525',X).
'rdf:type'(':N525',X) => 'rdf:type'(':N526',X).
'rdf:type'(':N525',X) => 'rdf:type'(':I526',X).
'rdf:type'(':N525',X) => 'rdf:type'(':J526',X).
'rdf:type'(':N526',X) => 'rdf:type'(':N527',X).
'rdf:type'(':N526',X) => 'rdf:type'(':I527',X).
'rdf:type'(':N526',X) => 'rdf:type'(':J527',X).
'rdf:type'(':N527',X) => 'rdf:type'(':N528',X).
'rdf:type'(':N527',X) => 'rdf:type'(':I528',X).
'rdf:type'(':N527',X) => 'rdf:type'(':J528',X).
'rdf:type'(':N528',X) => 'rdf:type'(':N529',X).
'rdf:type'(':N528',X) => 'rdf:type'(':I529',X).
'rdf:type'(':N528',X) => 'rdf:type'(':J529',X).
'rdf:type'(':N529',X) => 'rdf:type'(':N530',X).
'rdf:type'(':N529',X) => 'rdf:type'(':I530',X).
'rdf:type'(':N529',X) => 'rdf:type'(':J530',X).
'rdf:type'(':N530',X) => 'rdf:type'(':N531',X).
'rdf:type'(':N530',X) => 'rdf:type'(':I531',X).
'rdf:type'(':N530',X) => 'rdf:type'(':J531',X).
'rdf:type'(':N531',X) => 'rdf:type'(':N532',X).
'rdf:type'(':N531',X) => 'rdf:type'(':I532',X).
'rdf:type'(':N531',X) => 'rdf:type'(':J532',X).
'rdf:type'(':N532',X) => 'rdf:type'(':N533',X).
'rdf:type'(':N532',X) => 'rdf:type'(':I533',X).
'rdf:type'(':N532',X) => 'rdf:type'(':J533',X).
'rdf:type'(':N533',X) => 'rdf:type'(':N534',X).
'rdf:type'(':N533',X) => 'rdf:type'(':I534',X).
'rdf:type'(':N533',X) => 'rdf:type'(':J534',X).
'rdf:type'(':N534',X) => 'rdf:type'(':N535',X).
'rdf:type'(':N534',X) => 'rdf:type'(':I535',X).
'rdf:type'(':N534',X) => 'rdf:type'(':J535',X).
'rdf:type'(':N535',X) => 'rdf:type'(':N536',X).
'rdf:type'(':N535',X) => 'rdf:type'(':I536',X).
'rdf:type'(':N535',X) => 'rdf:type'(':J536',X).
'rdf:type'(':N536',X) => 'rdf:type'(':N537',X).
'rdf:type'(':N536',X) => 'rdf:type'(':I537',X).
'rdf:type'(':N536',X) => 'rdf:type'(':J537',X).
'rdf:type'(':N537',X) => 'rdf:type'(':N538',X).
'rdf:type'(':N537',X) => 'rdf:type'(':I538',X).
'rdf:type'(':N537',X) => 'rdf:type'(':J538',X).
'rdf:type'(':N538',X) => 'rdf:type'(':N539',X).
'rdf:type'(':N538',X) => 'rdf:type'(':I539',X).
'rdf:type'(':N538',X) => 'rdf:type'(':J539',X).
'rdf:type'(':N539',X) => 'rdf:type'(':N540',X).
'rdf:type'(':N539',X) => 'rdf:type'(':I540',X).
'rdf:type'(':N539',X) => 'rdf:type'(':J540',X).
'rdf:type'(':N540',X) => 'rdf:type'(':N541',X).
'rdf:type'(':N540',X) => 'rdf:type'(':I541',X).
'rdf:type'(':N540',X) => 'rdf:type'(':J541',X).
'rdf:type'(':N541',X) => 'rdf:type'(':N542',X).
'rdf:type'(':N541',X) => 'rdf:type'(':I542',X).
'rdf:type'(':N541',X) => 'rdf:type'(':J542',X).
'rdf:type'(':N542',X) => 'rdf:type'(':N543',X).
'rdf:type'(':N542',X) => 'rdf:type'(':I543',X).
'rdf:type'(':N542',X) => 'rdf:type'(':J543',X).
'rdf:type'(':N543',X) => 'rdf:type'(':N544',X).
'rdf:type'(':N543',X) => 'rdf:type'(':I544',X).
'rdf:type'(':N543',X) => 'rdf:type'(':J544',X).
'rdf:type'(':N544',X) => 'rdf:type'(':N545',X).
'rdf:type'(':N544',X) => 'rdf:type'(':I545',X).
'rdf:type'(':N544',X) => 'rdf:type'(':J545',X).
'rdf:type'(':N545',X) => 'rdf:type'(':N546',X).
'rdf:type'(':N545',X) => 'rdf:type'(':I546',X).
'rdf:type'(':N545',X) => 'rdf:type'(':J546',X).
'rdf:type'(':N546',X) => 'rdf:type'(':N547',X).
'rdf:type'(':N546',X) => 'rdf:type'(':I547',X).
'rdf:type'(':N546',X) => 'rdf:type'(':J547',X).
'rdf:type'(':N547',X) => 'rdf:type'(':N548',X).
'rdf:type'(':N547',X) => 'rdf:type'(':I548',X).
'rdf:type'(':N547',X) => 'rdf:type'(':J548',X).
'rdf:type'(':N548',X) => 'rdf:type'(':N549',X).
'rdf:type'(':N548',X) => 'rdf:type'(':I549',X).
'rdf:type'(':N548',X) => 'rdf:type'(':J549',X).
'rdf:type'(':N549',X) => 'rdf:type'(':N550',X).
'rdf:type'(':N549',X) => 'rdf:type'(':I550',X).
'rdf:type'(':N549',X) => 'rdf:type'(':J550',X).
'rdf:type'(':N550',X) => 'rdf:type'(':N551',X).
'rdf:type'(':N550',X) => 'rdf:type'(':I551',X).
'rdf:type'(':N550',X) => 'rdf:type'(':J551',X).
'rdf:type'(':N551',X) => 'rdf:type'(':N552',X).
'rdf:type'(':N551',X) => 'rdf:type'(':I552',X).
'rdf:type'(':N551',X) => 'rdf:type'(':J552',X).
'rdf:type'(':N552',X) => 'rdf:type'(':N553',X).
'rdf:type'(':N552',X) => 'rdf:type'(':I553',X).
'rdf:type'(':N552',X) => 'rdf:type'(':J553',X).
'rdf:type'(':N553',X) => 'rdf:type'(':N554',X).
'rdf:type'(':N553',X) => 'rdf:type'(':I554',X).
'rdf:type'(':N553',X) => 'rdf:type'(':J554',X).
'rdf:type'(':N554',X) => 'rdf:type'(':N555',X).
'rdf:type'(':N554',X) => 'rdf:type'(':I555',X).
'rdf:type'(':N554',X) => 'rdf:type'(':J555',X).
'rdf:type'(':N555',X) => 'rdf:type'(':N556',X).
'rdf:type'(':N555',X) => 'rdf:type'(':I556',X).
'rdf:type'(':N555',X) => 'rdf:type'(':J556',X).
'rdf:type'(':N556',X) => 'rdf:type'(':N557',X).
'rdf:type'(':N556',X) => 'rdf:type'(':I557',X).
'rdf:type'(':N556',X) => 'rdf:type'(':J557',X).
'rdf:type'(':N557',X) => 'rdf:type'(':N558',X).
'rdf:type'(':N557',X) => 'rdf:type'(':I558',X).
'rdf:type'(':N557',X) => 'rdf:type'(':J558',X).
'rdf:type'(':N558',X) => 'rdf:type'(':N559',X).
'rdf:type'(':N558',X) => 'rdf:type'(':I559',X).
'rdf:type'(':N558',X) => 'rdf:type'(':J559',X).
'rdf:type'(':N559',X) => 'rdf:type'(':N560',X).
'rdf:type'(':N559',X) => 'rdf:type'(':I560',X).
'rdf:type'(':N559',X) => 'rdf:type'(':J560',X).
'rdf:type'(':N560',X) => 'rdf:type'(':N561',X).
'rdf:type'(':N560',X) => 'rdf:type'(':I561',X).
'rdf:type'(':N560',X) => 'rdf:type'(':J561',X).
'rdf:type'(':N561',X) => 'rdf:type'(':N562',X).
'rdf:type'(':N561',X) => 'rdf:type'(':I562',X).
'rdf:type'(':N561',X) => 'rdf:type'(':J562',X).
'rdf:type'(':N562',X) => 'rdf:type'(':N563',X).
'rdf:type'(':N562',X) => 'rdf:type'(':I563',X).
'rdf:type'(':N562',X) => 'rdf:type'(':J563',X).
'rdf:type'(':N563',X) => 'rdf:type'(':N564',X).
'rdf:type'(':N563',X) => 'rdf:type'(':I564',X).
'rdf:type'(':N563',X) => 'rdf:type'(':J564',X).
'rdf:type'(':N564',X) => 'rdf:type'(':N565',X).
'rdf:type'(':N564',X) => 'rdf:type'(':I565',X).
'rdf:type'(':N564',X) => 'rdf:type'(':J565',X).
'rdf:type'(':N565',X) => 'rdf:type'(':N566',X).
'rdf:type'(':N565',X) => 'rdf:type'(':I566',X).
'rdf:type'(':N565',X) => 'rdf:type'(':J566',X).
'rdf:type'(':N566',X) => 'rdf:type'(':N567',X).
'rdf:type'(':N566',X) => 'rdf:type'(':I567',X).
'rdf:type'(':N566',X) => 'rdf:type'(':J567',X).
'rdf:type'(':N567',X) => 'rdf:type'(':N568',X).
'rdf:type'(':N567',X) => 'rdf:type'(':I568',X).
'rdf:type'(':N567',X) => 'rdf:type'(':J568',X).
'rdf:type'(':N568',X) => 'rdf:type'(':N569',X).
'rdf:type'(':N568',X) => 'rdf:type'(':I569',X).
'rdf:type'(':N568',X) => 'rdf:type'(':J569',X).
'rdf:type'(':N569',X) => 'rdf:type'(':N570',X).
'rdf:type'(':N569',X) => 'rdf:type'(':I570',X).
'rdf:type'(':N569',X) => 'rdf:type'(':J570',X).
'rdf:type'(':N570',X) => 'rdf:type'(':N571',X).
'rdf:type'(':N570',X) => 'rdf:type'(':I571',X).
'rdf:type'(':N570',X) => 'rdf:type'(':J571',X).
'rdf:type'(':N571',X) => 'rdf:type'(':N572',X).
'rdf:type'(':N571',X) => 'rdf:type'(':I572',X).
'rdf:type'(':N571',X) => 'rdf:type'(':J572',X).
'rdf:type'(':N572',X) => 'rdf:type'(':N573',X).
'rdf:type'(':N572',X) => 'rdf:type'(':I573',X).
'rdf:type'(':N572',X) => 'rdf:type'(':J573',X).
'rdf:type'(':N573',X) => 'rdf:type'(':N574',X).
'rdf:type'(':N573',X) => 'rdf:type'(':I574',X).
'rdf:type'(':N573',X) => 'rdf:type'(':J574',X).
'rdf:type'(':N574',X) => 'rdf:type'(':N575',X).
'rdf:type'(':N574',X) => 'rdf:type'(':I575',X).
'rdf:type'(':N574',X) => 'rdf:type'(':J575',X).
'rdf:type'(':N575',X) => 'rdf:type'(':N576',X).
'rdf:type'(':N575',X) => 'rdf:type'(':I576',X).
'rdf:type'(':N575',X) => 'rdf:type'(':J576',X).
'rdf:type'(':N576',X) => 'rdf:type'(':N577',X).
'rdf:type'(':N576',X) => 'rdf:type'(':I577',X).
'rdf:type'(':N576',X) => 'rdf:type'(':J577',X).
'rdf:type'(':N577',X) => 'rdf:type'(':N578',X).
'rdf:type'(':N577',X) => 'rdf:type'(':I578',X).
'rdf:type'(':N577',X) => 'rdf:type'(':J578',X).
'rdf:type'(':N578',X) => 'rdf:type'(':N579',X).
'rdf:type'(':N578',X) => 'rdf:type'(':I579',X).
'rdf:type'(':N578',X) => 'rdf:type'(':J579',X).
'rdf:type'(':N579',X) => 'rdf:type'(':N580',X).
'rdf:type'(':N579',X) => 'rdf:type'(':I580',X).
'rdf:type'(':N579',X) => 'rdf:type'(':J580',X).
'rdf:type'(':N580',X) => 'rdf:type'(':N581',X).
'rdf:type'(':N580',X) => 'rdf:type'(':I581',X).
'rdf:type'(':N580',X) => 'rdf:type'(':J581',X).
'rdf:type'(':N581',X) => 'rdf:type'(':N582',X).
'rdf:type'(':N581',X) => 'rdf:type'(':I582',X).
'rdf:type'(':N581',X) => 'rdf:type'(':J582',X).
'rdf:type'(':N582',X) => 'rdf:type'(':N583',X).
'rdf:type'(':N582',X) => 'rdf:type'(':I583',X).
'rdf:type'(':N582',X) => 'rdf:type'(':J583',X).
'rdf:type'(':N583',X) => 'rdf:type'(':N584',X).
'rdf:type'(':N583',X) => 'rdf:type'(':I584',X).
'rdf:type'(':N583',X) => 'rdf:type'(':J584',X).
'rdf:type'(':N584',X) => 'rdf:type'(':N585',X).
'rdf:type'(':N584',X) => 'rdf:type'(':I585',X).
'rdf:type'(':N584',X) => 'rdf:type'(':J585',X).
'rdf:type'(':N585',X) => 'rdf:type'(':N586',X).
'rdf:type'(':N585',X) => 'rdf:type'(':I586',X).
'rdf:type'(':N585',X) => 'rdf:type'(':J586',X).
'rdf:type'(':N586',X) => 'rdf:type'(':N587',X).
'rdf:type'(':N586',X) => 'rdf:type'(':I587',X).
'rdf:type'(':N586',X) => 'rdf:type'(':J587',X).
'rdf:type'(':N587',X) => 'rdf:type'(':N588',X).
'rdf:type'(':N587',X) => 'rdf:type'(':I588',X).
'rdf:type'(':N587',X) => 'rdf:type'(':J588',X).
'rdf:type'(':N588',X) => 'rdf:type'(':N589',X).
'rdf:type'(':N588',X) => 'rdf:type'(':I589',X).
'rdf:type'(':N588',X) => 'rdf:type'(':J589',X).
'rdf:type'(':N589',X) => 'rdf:type'(':N590',X).
'rdf:type'(':N589',X) => 'rdf:type'(':I590',X).
'rdf:type'(':N589',X) => 'rdf:type'(':J590',X).
'rdf:type'(':N590',X) => 'rdf:type'(':N591',X).
'rdf:type'(':N590',X) => 'rdf:type'(':I591',X).
'rdf:type'(':N590',X) => 'rdf:type'(':J591',X).
'rdf:type'(':N591',X) => 'rdf:type'(':N592',X).
'rdf:type'(':N591',X) => 'rdf:type'(':I592',X).
'rdf:type'(':N591',X) => 'rdf:type'(':J592',X).
'rdf:type'(':N592',X) => 'rdf:type'(':N593',X).
'rdf:type'(':N592',X) => 'rdf:type'(':I593',X).
'rdf:type'(':N592',X) => 'rdf:type'(':J593',X).
'rdf:type'(':N593',X) => 'rdf:type'(':N594',X).
'rdf:type'(':N593',X) => 'rdf:type'(':I594',X).
'rdf:type'(':N593',X) => 'rdf:type'(':J594',X).
'rdf:type'(':N594',X) => 'rdf:type'(':N595',X).
'rdf:type'(':N594',X) => 'rdf:type'(':I595',X).
'rdf:type'(':N594',X) => 'rdf:type'(':J595',X).
'rdf:type'(':N595',X) => 'rdf:type'(':N596',X).
'rdf:type'(':N595',X) => 'rdf:type'(':I596',X).
'rdf:type'(':N595',X) => 'rdf:type'(':J596',X).
'rdf:type'(':N596',X) => 'rdf:type'(':N597',X).
'rdf:type'(':N596',X) => 'rdf:type'(':I597',X).
'rdf:type'(':N596',X) => 'rdf:type'(':J597',X).
'rdf:type'(':N597',X) => 'rdf:type'(':N598',X).
'rdf:type'(':N597',X) => 'rdf:type'(':I598',X).
'rdf:type'(':N597',X) => 'rdf:type'(':J598',X).
'rdf:type'(':N598',X) => 'rdf:type'(':N599',X).
'rdf:type'(':N598',X) => 'rdf:type'(':I599',X).
'rdf:type'(':N598',X) => 'rdf:type'(':J599',X).
'rdf:type'(':N599',X) => 'rdf:type'(':N600',X).
'rdf:type'(':N599',X) => 'rdf:type'(':I600',X).
'rdf:type'(':N599',X) => 'rdf:type'(':J600',X).
'rdf:type'(':N600',X) => 'rdf:type'(':N601',X).
'rdf:type'(':N600',X) => 'rdf:type'(':I601',X).
'rdf:type'(':N600',X) => 'rdf:type'(':J601',X).
'rdf:type'(':N601',X) => 'rdf:type'(':N602',X).
'rdf:type'(':N601',X) => 'rdf:type'(':I602',X).
'rdf:type'(':N601',X) => 'rdf:type'(':J602',X).
'rdf:type'(':N602',X) => 'rdf:type'(':N603',X).
'rdf:type'(':N602',X) => 'rdf:type'(':I603',X).
'rdf:type'(':N602',X) => 'rdf:type'(':J603',X).
'rdf:type'(':N603',X) => 'rdf:type'(':N604',X).
'rdf:type'(':N603',X) => 'rdf:type'(':I604',X).
'rdf:type'(':N603',X) => 'rdf:type'(':J604',X).
'rdf:type'(':N604',X) => 'rdf:type'(':N605',X).
'rdf:type'(':N604',X) => 'rdf:type'(':I605',X).
'rdf:type'(':N604',X) => 'rdf:type'(':J605',X).
'rdf:type'(':N605',X) => 'rdf:type'(':N606',X).
'rdf:type'(':N605',X) => 'rdf:type'(':I606',X).
'rdf:type'(':N605',X) => 'rdf:type'(':J606',X).
'rdf:type'(':N606',X) => 'rdf:type'(':N607',X).
'rdf:type'(':N606',X) => 'rdf:type'(':I607',X).
'rdf:type'(':N606',X) => 'rdf:type'(':J607',X).
'rdf:type'(':N607',X) => 'rdf:type'(':N608',X).
'rdf:type'(':N607',X) => 'rdf:type'(':I608',X).
'rdf:type'(':N607',X) => 'rdf:type'(':J608',X).
'rdf:type'(':N608',X) => 'rdf:type'(':N609',X).
'rdf:type'(':N608',X) => 'rdf:type'(':I609',X).
'rdf:type'(':N608',X) => 'rdf:type'(':J609',X).
'rdf:type'(':N609',X) => 'rdf:type'(':N610',X).
'rdf:type'(':N609',X) => 'rdf:type'(':I610',X).
'rdf:type'(':N609',X) => 'rdf:type'(':J610',X).
'rdf:type'(':N610',X) => 'rdf:type'(':N611',X).
'rdf:type'(':N610',X) => 'rdf:type'(':I611',X).
'rdf:type'(':N610',X) => 'rdf:type'(':J611',X).
'rdf:type'(':N611',X) => 'rdf:type'(':N612',X).
'rdf:type'(':N611',X) => 'rdf:type'(':I612',X).
'rdf:type'(':N611',X) => 'rdf:type'(':J612',X).
'rdf:type'(':N612',X) => 'rdf:type'(':N613',X).
'rdf:type'(':N612',X) => 'rdf:type'(':I613',X).
'rdf:type'(':N612',X) => 'rdf:type'(':J613',X).
'rdf:type'(':N613',X) => 'rdf:type'(':N614',X).
'rdf:type'(':N613',X) => 'rdf:type'(':I614',X).
'rdf:type'(':N613',X) => 'rdf:type'(':J614',X).
'rdf:type'(':N614',X) => 'rdf:type'(':N615',X).
'rdf:type'(':N614',X) => 'rdf:type'(':I615',X).
'rdf:type'(':N614',X) => 'rdf:type'(':J615',X).
'rdf:type'(':N615',X) => 'rdf:type'(':N616',X).
'rdf:type'(':N615',X) => 'rdf:type'(':I616',X).
'rdf:type'(':N615',X) => 'rdf:type'(':J616',X).
'rdf:type'(':N616',X) => 'rdf:type'(':N617',X).
'rdf:type'(':N616',X) => 'rdf:type'(':I617',X).
'rdf:type'(':N616',X) => 'rdf:type'(':J617',X).
'rdf:type'(':N617',X) => 'rdf:type'(':N618',X).
'rdf:type'(':N617',X) => 'rdf:type'(':I618',X).
'rdf:type'(':N617',X) => 'rdf:type'(':J618',X).
'rdf:type'(':N618',X) => 'rdf:type'(':N619',X).
'rdf:type'(':N618',X) => 'rdf:type'(':I619',X).
'rdf:type'(':N618',X) => 'rdf:type'(':J619',X).
'rdf:type'(':N619',X) => 'rdf:type'(':N620',X).
'rdf:type'(':N619',X) => 'rdf:type'(':I620',X).
'rdf:type'(':N619',X) => 'rdf:type'(':J620',X).
'rdf:type'(':N620',X) => 'rdf:type'(':N621',X).
'rdf:type'(':N620',X) => 'rdf:type'(':I621',X).
'rdf:type'(':N620',X) => 'rdf:type'(':J621',X).
'rdf:type'(':N621',X) => 'rdf:type'(':N622',X).
'rdf:type'(':N621',X) => 'rdf:type'(':I622',X).
'rdf:type'(':N621',X) => 'rdf:type'(':J622',X).
'rdf:type'(':N622',X) => 'rdf:type'(':N623',X).
'rdf:type'(':N622',X) => 'rdf:type'(':I623',X).
'rdf:type'(':N622',X) => 'rdf:type'(':J623',X).
'rdf:type'(':N623',X) => 'rdf:type'(':N624',X).
'rdf:type'(':N623',X) => 'rdf:type'(':I624',X).
'rdf:type'(':N623',X) => 'rdf:type'(':J624',X).
'rdf:type'(':N624',X) => 'rdf:type'(':N625',X).
'rdf:type'(':N624',X) => 'rdf:type'(':I625',X).
'rdf:type'(':N624',X) => 'rdf:type'(':J625',X).
'rdf:type'(':N625',X) => 'rdf:type'(':N626',X).
'rdf:type'(':N625',X) => 'rdf:type'(':I626',X).
'rdf:type'(':N625',X) => 'rdf:type'(':J626',X).
'rdf:type'(':N626',X) => 'rdf:type'(':N627',X).
'rdf:type'(':N626',X) => 'rdf:type'(':I627',X).
'rdf:type'(':N626',X) => 'rdf:type'(':J627',X).
'rdf:type'(':N627',X) => 'rdf:type'(':N628',X).
'rdf:type'(':N627',X) => 'rdf:type'(':I628',X).
'rdf:type'(':N627',X) => 'rdf:type'(':J628',X).
'rdf:type'(':N628',X) => 'rdf:type'(':N629',X).
'rdf:type'(':N628',X) => 'rdf:type'(':I629',X).
'rdf:type'(':N628',X) => 'rdf:type'(':J629',X).
'rdf:type'(':N629',X) => 'rdf:type'(':N630',X).
'rdf:type'(':N629',X) => 'rdf:type'(':I630',X).
'rdf:type'(':N629',X) => 'rdf:type'(':J630',X).
'rdf:type'(':N630',X) => 'rdf:type'(':N631',X).
'rdf:type'(':N630',X) => 'rdf:type'(':I631',X).
'rdf:type'(':N630',X) => 'rdf:type'(':J631',X).
'rdf:type'(':N631',X) => 'rdf:type'(':N632',X).
'rdf:type'(':N631',X) => 'rdf:type'(':I632',X).
'rdf:type'(':N631',X) => 'rdf:type'(':J632',X).
'rdf:type'(':N632',X) => 'rdf:type'(':N633',X).
'rdf:type'(':N632',X) => 'rdf:type'(':I633',X).
'rdf:type'(':N632',X) => 'rdf:type'(':J633',X).
'rdf:type'(':N633',X) => 'rdf:type'(':N634',X).
'rdf:type'(':N633',X) => 'rdf:type'(':I634',X).
'rdf:type'(':N633',X) => 'rdf:type'(':J634',X).
'rdf:type'(':N634',X) => 'rdf:type'(':N635',X).
'rdf:type'(':N634',X) => 'rdf:type'(':I635',X).
'rdf:type'(':N634',X) => 'rdf:type'(':J635',X).
'rdf:type'(':N635',X) => 'rdf:type'(':N636',X).
'rdf:type'(':N635',X) => 'rdf:type'(':I636',X).
'rdf:type'(':N635',X) => 'rdf:type'(':J636',X).
'rdf:type'(':N636',X) => 'rdf:type'(':N637',X).
'rdf:type'(':N636',X) => 'rdf:type'(':I637',X).
'rdf:type'(':N636',X) => 'rdf:type'(':J637',X).
'rdf:type'(':N637',X) => 'rdf:type'(':N638',X).
'rdf:type'(':N637',X) => 'rdf:type'(':I638',X).
'rdf:type'(':N637',X) => 'rdf:type'(':J638',X).
'rdf:type'(':N638',X) => 'rdf:type'(':N639',X).
'rdf:type'(':N638',X) => 'rdf:type'(':I639',X).
'rdf:type'(':N638',X) => 'rdf:type'(':J639',X).
'rdf:type'(':N639',X) => 'rdf:type'(':N640',X).
'rdf:type'(':N639',X) => 'rdf:type'(':I640',X).
'rdf:type'(':N639',X) => 'rdf:type'(':J640',X).
'rdf:type'(':N640',X) => 'rdf:type'(':N641',X).
'rdf:type'(':N640',X) => 'rdf:type'(':I641',X).
'rdf:type'(':N640',X) => 'rdf:type'(':J641',X).
'rdf:type'(':N641',X) => 'rdf:type'(':N642',X).
'rdf:type'(':N641',X) => 'rdf:type'(':I642',X).
'rdf:type'(':N641',X) => 'rdf:type'(':J642',X).
'rdf:type'(':N642',X) => 'rdf:type'(':N643',X).
'rdf:type'(':N642',X) => 'rdf:type'(':I643',X).
'rdf:type'(':N642',X) => 'rdf:type'(':J643',X).
'rdf:type'(':N643',X) => 'rdf:type'(':N644',X).
'rdf:type'(':N643',X) => 'rdf:type'(':I644',X).
'rdf:type'(':N643',X) => 'rdf:type'(':J644',X).
'rdf:type'(':N644',X) => 'rdf:type'(':N645',X).
'rdf:type'(':N644',X) => 'rdf:type'(':I645',X).
'rdf:type'(':N644',X) => 'rdf:type'(':J645',X).
'rdf:type'(':N645',X) => 'rdf:type'(':N646',X).
'rdf:type'(':N645',X) => 'rdf:type'(':I646',X).
'rdf:type'(':N645',X) => 'rdf:type'(':J646',X).
'rdf:type'(':N646',X) => 'rdf:type'(':N647',X).
'rdf:type'(':N646',X) => 'rdf:type'(':I647',X).
'rdf:type'(':N646',X) => 'rdf:type'(':J647',X).
'rdf:type'(':N647',X) => 'rdf:type'(':N648',X).
'rdf:type'(':N647',X) => 'rdf:type'(':I648',X).
'rdf:type'(':N647',X) => 'rdf:type'(':J648',X).
'rdf:type'(':N648',X) => 'rdf:type'(':N649',X).
'rdf:type'(':N648',X) => 'rdf:type'(':I649',X).
'rdf:type'(':N648',X) => 'rdf:type'(':J649',X).
'rdf:type'(':N649',X) => 'rdf:type'(':N650',X).
'rdf:type'(':N649',X) => 'rdf:type'(':I650',X).
'rdf:type'(':N649',X) => 'rdf:type'(':J650',X).
'rdf:type'(':N650',X) => 'rdf:type'(':N651',X).
'rdf:type'(':N650',X) => 'rdf:type'(':I651',X).
'rdf:type'(':N650',X) => 'rdf:type'(':J651',X).
'rdf:type'(':N651',X) => 'rdf:type'(':N652',X).
'rdf:type'(':N651',X) => 'rdf:type'(':I652',X).
'rdf:type'(':N651',X) => 'rdf:type'(':J652',X).
'rdf:type'(':N652',X) => 'rdf:type'(':N653',X).
'rdf:type'(':N652',X) => 'rdf:type'(':I653',X).
'rdf:type'(':N652',X) => 'rdf:type'(':J653',X).
'rdf:type'(':N653',X) => 'rdf:type'(':N654',X).
'rdf:type'(':N653',X) => 'rdf:type'(':I654',X).
'rdf:type'(':N653',X) => 'rdf:type'(':J654',X).
'rdf:type'(':N654',X) => 'rdf:type'(':N655',X).
'rdf:type'(':N654',X) => 'rdf:type'(':I655',X).
'rdf:type'(':N654',X) => 'rdf:type'(':J655',X).
'rdf:type'(':N655',X) => 'rdf:type'(':N656',X).
'rdf:type'(':N655',X) => 'rdf:type'(':I656',X).
'rdf:type'(':N655',X) => 'rdf:type'(':J656',X).
'rdf:type'(':N656',X) => 'rdf:type'(':N657',X).
'rdf:type'(':N656',X) => 'rdf:type'(':I657',X).
'rdf:type'(':N656',X) => 'rdf:type'(':J657',X).
'rdf:type'(':N657',X) => 'rdf:type'(':N658',X).
'rdf:type'(':N657',X) => 'rdf:type'(':I658',X).
'rdf:type'(':N657',X) => 'rdf:type'(':J658',X).
'rdf:type'(':N658',X) => 'rdf:type'(':N659',X).
'rdf:type'(':N658',X) => 'rdf:type'(':I659',X).
'rdf:type'(':N658',X) => 'rdf:type'(':J659',X).
'rdf:type'(':N659',X) => 'rdf:type'(':N660',X).
'rdf:type'(':N659',X) => 'rdf:type'(':I660',X).
'rdf:type'(':N659',X) => 'rdf:type'(':J660',X).
'rdf:type'(':N660',X) => 'rdf:type'(':N661',X).
'rdf:type'(':N660',X) => 'rdf:type'(':I661',X).
'rdf:type'(':N660',X) => 'rdf:type'(':J661',X).
'rdf:type'(':N661',X) => 'rdf:type'(':N662',X).
'rdf:type'(':N661',X) => 'rdf:type'(':I662',X).
'rdf:type'(':N661',X) => 'rdf:type'(':J662',X).
'rdf:type'(':N662',X) => 'rdf:type'(':N663',X).
'rdf:type'(':N662',X) => 'rdf:type'(':I663',X).
'rdf:type'(':N662',X) => 'rdf:type'(':J663',X).
'rdf:type'(':N663',X) => 'rdf:type'(':N664',X).
'rdf:type'(':N663',X) => 'rdf:type'(':I664',X).
'rdf:type'(':N663',X) => 'rdf:type'(':J664',X).
'rdf:type'(':N664',X) => 'rdf:type'(':N665',X).
'rdf:type'(':N664',X) => 'rdf:type'(':I665',X).
'rdf:type'(':N664',X) => 'rdf:type'(':J665',X).
'rdf:type'(':N665',X) => 'rdf:type'(':N666',X).
'rdf:type'(':N665',X) => 'rdf:type'(':I666',X).
'rdf:type'(':N665',X) => 'rdf:type'(':J666',X).
'rdf:type'(':N666',X) => 'rdf:type'(':N667',X).
'rdf:type'(':N666',X) => 'rdf:type'(':I667',X).
'rdf:type'(':N666',X) => 'rdf:type'(':J667',X).
'rdf:type'(':N667',X) => 'rdf:type'(':N668',X).
'rdf:type'(':N667',X) => 'rdf:type'(':I668',X).
'rdf:type'(':N667',X) => 'rdf:type'(':J668',X).
'rdf:type'(':N668',X) => 'rdf:type'(':N669',X).
'rdf:type'(':N668',X) => 'rdf:type'(':I669',X).
'rdf:type'(':N668',X) => 'rdf:type'(':J669',X).
'rdf:type'(':N669',X) => 'rdf:type'(':N670',X).
'rdf:type'(':N669',X) => 'rdf:type'(':I670',X).
'rdf:type'(':N669',X) => 'rdf:type'(':J670',X).
'rdf:type'(':N670',X) => 'rdf:type'(':N671',X).
'rdf:type'(':N670',X) => 'rdf:type'(':I671',X).
'rdf:type'(':N670',X) => 'rdf:type'(':J671',X).
'rdf:type'(':N671',X) => 'rdf:type'(':N672',X).
'rdf:type'(':N671',X) => 'rdf:type'(':I672',X).
'rdf:type'(':N671',X) => 'rdf:type'(':J672',X).
'rdf:type'(':N672',X) => 'rdf:type'(':N673',X).
'rdf:type'(':N672',X) => 'rdf:type'(':I673',X).
'rdf:type'(':N672',X) => 'rdf:type'(':J673',X).
'rdf:type'(':N673',X) => 'rdf:type'(':N674',X).
'rdf:type'(':N673',X) => 'rdf:type'(':I674',X).
'rdf:type'(':N673',X) => 'rdf:type'(':J674',X).
'rdf:type'(':N674',X) => 'rdf:type'(':N675',X).
'rdf:type'(':N674',X) => 'rdf:type'(':I675',X).
'rdf:type'(':N674',X) => 'rdf:type'(':J675',X).
'rdf:type'(':N675',X) => 'rdf:type'(':N676',X).
'rdf:type'(':N675',X) => 'rdf:type'(':I676',X).
'rdf:type'(':N675',X) => 'rdf:type'(':J676',X).
'rdf:type'(':N676',X) => 'rdf:type'(':N677',X).
'rdf:type'(':N676',X) => 'rdf:type'(':I677',X).
'rdf:type'(':N676',X) => 'rdf:type'(':J677',X).
'rdf:type'(':N677',X) => 'rdf:type'(':N678',X).
'rdf:type'(':N677',X) => 'rdf:type'(':I678',X).
'rdf:type'(':N677',X) => 'rdf:type'(':J678',X).
'rdf:type'(':N678',X) => 'rdf:type'(':N679',X).
'rdf:type'(':N678',X) => 'rdf:type'(':I679',X).
'rdf:type'(':N678',X) => 'rdf:type'(':J679',X).
'rdf:type'(':N679',X) => 'rdf:type'(':N680',X).
'rdf:type'(':N679',X) => 'rdf:type'(':I680',X).
'rdf:type'(':N679',X) => 'rdf:type'(':J680',X).
'rdf:type'(':N680',X) => 'rdf:type'(':N681',X).
'rdf:type'(':N680',X) => 'rdf:type'(':I681',X).
'rdf:type'(':N680',X) => 'rdf:type'(':J681',X).
'rdf:type'(':N681',X) => 'rdf:type'(':N682',X).
'rdf:type'(':N681',X) => 'rdf:type'(':I682',X).
'rdf:type'(':N681',X) => 'rdf:type'(':J682',X).
'rdf:type'(':N682',X) => 'rdf:type'(':N683',X).
'rdf:type'(':N682',X) => 'rdf:type'(':I683',X).
'rdf:type'(':N682',X) => 'rdf:type'(':J683',X).
'rdf:type'(':N683',X) => 'rdf:type'(':N684',X).
'rdf:type'(':N683',X) => 'rdf:type'(':I684',X).
'rdf:type'(':N683',X) => 'rdf:type'(':J684',X).
'rdf:type'(':N684',X) => 'rdf:type'(':N685',X).
'rdf:type'(':N684',X) => 'rdf:type'(':I685',X).
'rdf:type'(':N684',X) => 'rdf:type'(':J685',X).
'rdf:type'(':N685',X) => 'rdf:type'(':N686',X).
'rdf:type'(':N685',X) => 'rdf:type'(':I686',X).
'rdf:type'(':N685',X) => 'rdf:type'(':J686',X).
'rdf:type'(':N686',X) => 'rdf:type'(':N687',X).
'rdf:type'(':N686',X) => 'rdf:type'(':I687',X).
'rdf:type'(':N686',X) => 'rdf:type'(':J687',X).
'rdf:type'(':N687',X) => 'rdf:type'(':N688',X).
'rdf:type'(':N687',X) => 'rdf:type'(':I688',X).
'rdf:type'(':N687',X) => 'rdf:type'(':J688',X).
'rdf:type'(':N688',X) => 'rdf:type'(':N689',X).
'rdf:type'(':N688',X) => 'rdf:type'(':I689',X).
'rdf:type'(':N688',X) => 'rdf:type'(':J689',X).
'rdf:type'(':N689',X) => 'rdf:type'(':N690',X).
'rdf:type'(':N689',X) => 'rdf:type'(':I690',X).
'rdf:type'(':N689',X) => 'rdf:type'(':J690',X).
'rdf:type'(':N690',X) => 'rdf:type'(':N691',X).
'rdf:type'(':N690',X) => 'rdf:type'(':I691',X).
'rdf:type'(':N690',X) => 'rdf:type'(':J691',X).
'rdf:type'(':N691',X) => 'rdf:type'(':N692',X).
'rdf:type'(':N691',X) => 'rdf:type'(':I692',X).
'rdf:type'(':N691',X) => 'rdf:type'(':J692',X).
'rdf:type'(':N692',X) => 'rdf:type'(':N693',X).
'rdf:type'(':N692',X) => 'rdf:type'(':I693',X).
'rdf:type'(':N692',X) => 'rdf:type'(':J693',X).
'rdf:type'(':N693',X) => 'rdf:type'(':N694',X).
'rdf:type'(':N693',X) => 'rdf:type'(':I694',X).
'rdf:type'(':N693',X) => 'rdf:type'(':J694',X).
'rdf:type'(':N694',X) => 'rdf:type'(':N695',X).
'rdf:type'(':N694',X) => 'rdf:type'(':I695',X).
'rdf:type'(':N694',X) => 'rdf:type'(':J695',X).
'rdf:type'(':N695',X) => 'rdf:type'(':N696',X).
'rdf:type'(':N695',X) => 'rdf:type'(':I696',X).
'rdf:type'(':N695',X) => 'rdf:type'(':J696',X).
'rdf:type'(':N696',X) => 'rdf:type'(':N697',X).
'rdf:type'(':N696',X) => 'rdf:type'(':I697',X).
'rdf:type'(':N696',X) => 'rdf:type'(':J697',X).
'rdf:type'(':N697',X) => 'rdf:type'(':N698',X).
'rdf:type'(':N697',X) => 'rdf:type'(':I698',X).
'rdf:type'(':N697',X) => 'rdf:type'(':J698',X).
'rdf:type'(':N698',X) => 'rdf:type'(':N699',X).
'rdf:type'(':N698',X) => 'rdf:type'(':I699',X).
'rdf:type'(':N698',X) => 'rdf:type'(':J699',X).
'rdf:type'(':N699',X) => 'rdf:type'(':N700',X).
'rdf:type'(':N699',X) => 'rdf:type'(':I700',X).
'rdf:type'(':N699',X) => 'rdf:type'(':J700',X).
'rdf:type'(':N700',X) => 'rdf:type'(':N701',X).
'rdf:type'(':N700',X) => 'rdf:type'(':I701',X).
'rdf:type'(':N700',X) => 'rdf:type'(':J701',X).
'rdf:type'(':N701',X) => 'rdf:type'(':N702',X).
'rdf:type'(':N701',X) => 'rdf:type'(':I702',X).
'rdf:type'(':N701',X) => 'rdf:type'(':J702',X).
'rdf:type'(':N702',X) => 'rdf:type'(':N703',X).
'rdf:type'(':N702',X) => 'rdf:type'(':I703',X).
'rdf:type'(':N702',X) => 'rdf:type'(':J703',X).
'rdf:type'(':N703',X) => 'rdf:type'(':N704',X).
'rdf:type'(':N703',X) => 'rdf:type'(':I704',X).
'rdf:type'(':N703',X) => 'rdf:type'(':J704',X).
'rdf:type'(':N704',X) => 'rdf:type'(':N705',X).
'rdf:type'(':N704',X) => 'rdf:type'(':I705',X).
'rdf:type'(':N704',X) => 'rdf:type'(':J705',X).
'rdf:type'(':N705',X) => 'rdf:type'(':N706',X).
'rdf:type'(':N705',X) => 'rdf:type'(':I706',X).
'rdf:type'(':N705',X) => 'rdf:type'(':J706',X).
'rdf:type'(':N706',X) => 'rdf:type'(':N707',X).
'rdf:type'(':N706',X) => 'rdf:type'(':I707',X).
'rdf:type'(':N706',X) => 'rdf:type'(':J707',X).
'rdf:type'(':N707',X) => 'rdf:type'(':N708',X).
'rdf:type'(':N707',X) => 'rdf:type'(':I708',X).
'rdf:type'(':N707',X) => 'rdf:type'(':J708',X).
'rdf:type'(':N708',X) => 'rdf:type'(':N709',X).
'rdf:type'(':N708',X) => 'rdf:type'(':I709',X).
'rdf:type'(':N708',X) => 'rdf:type'(':J709',X).
'rdf:type'(':N709',X) => 'rdf:type'(':N710',X).
'rdf:type'(':N709',X) => 'rdf:type'(':I710',X).
'rdf:type'(':N709',X) => 'rdf:type'(':J710',X).
'rdf:type'(':N710',X) => 'rdf:type'(':N711',X).
'rdf:type'(':N710',X) => 'rdf:type'(':I711',X).
'rdf:type'(':N710',X) => 'rdf:type'(':J711',X).
'rdf:type'(':N711',X) => 'rdf:type'(':N712',X).
'rdf:type'(':N711',X) => 'rdf:type'(':I712',X).
'rdf:type'(':N711',X) => 'rdf:type'(':J712',X).
'rdf:type'(':N712',X) => 'rdf:type'(':N713',X).
'rdf:type'(':N712',X) => 'rdf:type'(':I713',X).
'rdf:type'(':N712',X) => 'rdf:type'(':J713',X).
'rdf:type'(':N713',X) => 'rdf:type'(':N714',X).
'rdf:type'(':N713',X) => 'rdf:type'(':I714',X).
'rdf:type'(':N713',X) => 'rdf:type'(':J714',X).
'rdf:type'(':N714',X) => 'rdf:type'(':N715',X).
'rdf:type'(':N714',X) => 'rdf:type'(':I715',X).
'rdf:type'(':N714',X) => 'rdf:type'(':J715',X).
'rdf:type'(':N715',X) => 'rdf:type'(':N716',X).
'rdf:type'(':N715',X) => 'rdf:type'(':I716',X).
'rdf:type'(':N715',X) => 'rdf:type'(':J716',X).
'rdf:type'(':N716',X) => 'rdf:type'(':N717',X).
'rdf:type'(':N716',X) => 'rdf:type'(':I717',X).
'rdf:type'(':N716',X) => 'rdf:type'(':J717',X).
'rdf:type'(':N717',X) => 'rdf:type'(':N718',X).
'rdf:type'(':N717',X) => 'rdf:type'(':I718',X).
'rdf:type'(':N717',X) => 'rdf:type'(':J718',X).
'rdf:type'(':N718',X) => 'rdf:type'(':N719',X).
'rdf:type'(':N718',X) => 'rdf:type'(':I719',X).
'rdf:type'(':N718',X) => 'rdf:type'(':J719',X).
'rdf:type'(':N719',X) => 'rdf:type'(':N720',X).
'rdf:type'(':N719',X) => 'rdf:type'(':I720',X).
'rdf:type'(':N719',X) => 'rdf:type'(':J720',X).
'rdf:type'(':N720',X) => 'rdf:type'(':N721',X).
'rdf:type'(':N720',X) => 'rdf:type'(':I721',X).
'rdf:type'(':N720',X) => 'rdf:type'(':J721',X).
'rdf:type'(':N721',X) => 'rdf:type'(':N722',X).
'rdf:type'(':N721',X) => 'rdf:type'(':I722',X).
'rdf:type'(':N721',X) => 'rdf:type'(':J722',X).
'rdf:type'(':N722',X) => 'rdf:type'(':N723',X).
'rdf:type'(':N722',X) => 'rdf:type'(':I723',X).
'rdf:type'(':N722',X) => 'rdf:type'(':J723',X).
'rdf:type'(':N723',X) => 'rdf:type'(':N724',X).
'rdf:type'(':N723',X) => 'rdf:type'(':I724',X).
'rdf:type'(':N723',X) => 'rdf:type'(':J724',X).
'rdf:type'(':N724',X) => 'rdf:type'(':N725',X).
'rdf:type'(':N724',X) => 'rdf:type'(':I725',X).
'rdf:type'(':N724',X) => 'rdf:type'(':J725',X).
'rdf:type'(':N725',X) => 'rdf:type'(':N726',X).
'rdf:type'(':N725',X) => 'rdf:type'(':I726',X).
'rdf:type'(':N725',X) => 'rdf:type'(':J726',X).
'rdf:type'(':N726',X) => 'rdf:type'(':N727',X).
'rdf:type'(':N726',X) => 'rdf:type'(':I727',X).
'rdf:type'(':N726',X) => 'rdf:type'(':J727',X).
'rdf:type'(':N727',X) => 'rdf:type'(':N728',X).
'rdf:type'(':N727',X) => 'rdf:type'(':I728',X).
'rdf:type'(':N727',X) => 'rdf:type'(':J728',X).
'rdf:type'(':N728',X) => 'rdf:type'(':N729',X).
'rdf:type'(':N728',X) => 'rdf:type'(':I729',X).
'rdf:type'(':N728',X) => 'rdf:type'(':J729',X).
'rdf:type'(':N729',X) => 'rdf:type'(':N730',X).
'rdf:type'(':N729',X) => 'rdf:type'(':I730',X).
'rdf:type'(':N729',X) => 'rdf:type'(':J730',X).
'rdf:type'(':N730',X) => 'rdf:type'(':N731',X).
'rdf:type'(':N730',X) => 'rdf:type'(':I731',X).
'rdf:type'(':N730',X) => 'rdf:type'(':J731',X).
'rdf:type'(':N731',X) => 'rdf:type'(':N732',X).
'rdf:type'(':N731',X) => 'rdf:type'(':I732',X).
'rdf:type'(':N731',X) => 'rdf:type'(':J732',X).
'rdf:type'(':N732',X) => 'rdf:type'(':N733',X).
'rdf:type'(':N732',X) => 'rdf:type'(':I733',X).
'rdf:type'(':N732',X) => 'rdf:type'(':J733',X).
'rdf:type'(':N733',X) => 'rdf:type'(':N734',X).
'rdf:type'(':N733',X) => 'rdf:type'(':I734',X).
'rdf:type'(':N733',X) => 'rdf:type'(':J734',X).
'rdf:type'(':N734',X) => 'rdf:type'(':N735',X).
'rdf:type'(':N734',X) => 'rdf:type'(':I735',X).
'rdf:type'(':N734',X) => 'rdf:type'(':J735',X).
'rdf:type'(':N735',X) => 'rdf:type'(':N736',X).
'rdf:type'(':N735',X) => 'rdf:type'(':I736',X).
'rdf:type'(':N735',X) => 'rdf:type'(':J736',X).
'rdf:type'(':N736',X) => 'rdf:type'(':N737',X).
'rdf:type'(':N736',X) => 'rdf:type'(':I737',X).
'rdf:type'(':N736',X) => 'rdf:type'(':J737',X).
'rdf:type'(':N737',X) => 'rdf:type'(':N738',X).
'rdf:type'(':N737',X) => 'rdf:type'(':I738',X).
'rdf:type'(':N737',X) => 'rdf:type'(':J738',X).
'rdf:type'(':N738',X) => 'rdf:type'(':N739',X).
'rdf:type'(':N738',X) => 'rdf:type'(':I739',X).
'rdf:type'(':N738',X) => 'rdf:type'(':J739',X).
'rdf:type'(':N739',X) => 'rdf:type'(':N740',X).
'rdf:type'(':N739',X) => 'rdf:type'(':I740',X).
'rdf:type'(':N739',X) => 'rdf:type'(':J740',X).
'rdf:type'(':N740',X) => 'rdf:type'(':N741',X).
'rdf:type'(':N740',X) => 'rdf:type'(':I741',X).
'rdf:type'(':N740',X) => 'rdf:type'(':J741',X).
'rdf:type'(':N741',X) => 'rdf:type'(':N742',X).
'rdf:type'(':N741',X) => 'rdf:type'(':I742',X).
'rdf:type'(':N741',X) => 'rdf:type'(':J742',X).
'rdf:type'(':N742',X) => 'rdf:type'(':N743',X).
'rdf:type'(':N742',X) => 'rdf:type'(':I743',X).
'rdf:type'(':N742',X) => 'rdf:type'(':J743',X).
'rdf:type'(':N743',X) => 'rdf:type'(':N744',X).
'rdf:type'(':N743',X) => 'rdf:type'(':I744',X).
'rdf:type'(':N743',X) => 'rdf:type'(':J744',X).
'rdf:type'(':N744',X) => 'rdf:type'(':N745',X).
'rdf:type'(':N744',X) => 'rdf:type'(':I745',X).
'rdf:type'(':N744',X) => 'rdf:type'(':J745',X).
'rdf:type'(':N745',X) => 'rdf:type'(':N746',X).
'rdf:type'(':N745',X) => 'rdf:type'(':I746',X).
'rdf:type'(':N745',X) => 'rdf:type'(':J746',X).
'rdf:type'(':N746',X) => 'rdf:type'(':N747',X).
'rdf:type'(':N746',X) => 'rdf:type'(':I747',X).
'rdf:type'(':N746',X) => 'rdf:type'(':J747',X).
'rdf:type'(':N747',X) => 'rdf:type'(':N748',X).
'rdf:type'(':N747',X) => 'rdf:type'(':I748',X).
'rdf:type'(':N747',X) => 'rdf:type'(':J748',X).
'rdf:type'(':N748',X) => 'rdf:type'(':N749',X).
'rdf:type'(':N748',X) => 'rdf:type'(':I749',X).
'rdf:type'(':N748',X) => 'rdf:type'(':J749',X).
'rdf:type'(':N749',X) => 'rdf:type'(':N750',X).
'rdf:type'(':N749',X) => 'rdf:type'(':I750',X).
'rdf:type'(':N749',X) => 'rdf:type'(':J750',X).
'rdf:type'(':N750',X) => 'rdf:type'(':N751',X).
'rdf:type'(':N750',X) => 'rdf:type'(':I751',X).
'rdf:type'(':N750',X) => 'rdf:type'(':J751',X).
'rdf:type'(':N751',X) => 'rdf:type'(':N752',X).
'rdf:type'(':N751',X) => 'rdf:type'(':I752',X).
'rdf:type'(':N751',X) => 'rdf:type'(':J752',X).
'rdf:type'(':N752',X) => 'rdf:type'(':N753',X).
'rdf:type'(':N752',X) => 'rdf:type'(':I753',X).
'rdf:type'(':N752',X) => 'rdf:type'(':J753',X).
'rdf:type'(':N753',X) => 'rdf:type'(':N754',X).
'rdf:type'(':N753',X) => 'rdf:type'(':I754',X).
'rdf:type'(':N753',X) => 'rdf:type'(':J754',X).
'rdf:type'(':N754',X) => 'rdf:type'(':N755',X).
'rdf:type'(':N754',X) => 'rdf:type'(':I755',X).
'rdf:type'(':N754',X) => 'rdf:type'(':J755',X).
'rdf:type'(':N755',X) => 'rdf:type'(':N756',X).
'rdf:type'(':N755',X) => 'rdf:type'(':I756',X).
'rdf:type'(':N755',X) => 'rdf:type'(':J756',X).
'rdf:type'(':N756',X) => 'rdf:type'(':N757',X).
'rdf:type'(':N756',X) => 'rdf:type'(':I757',X).
'rdf:type'(':N756',X) => 'rdf:type'(':J757',X).
'rdf:type'(':N757',X) => 'rdf:type'(':N758',X).
'rdf:type'(':N757',X) => 'rdf:type'(':I758',X).
'rdf:type'(':N757',X) => 'rdf:type'(':J758',X).
'rdf:type'(':N758',X) => 'rdf:type'(':N759',X).
'rdf:type'(':N758',X) => 'rdf:type'(':I759',X).
'rdf:type'(':N758',X) => 'rdf:type'(':J759',X).
'rdf:type'(':N759',X) => 'rdf:type'(':N760',X).
'rdf:type'(':N759',X) => 'rdf:type'(':I760',X).
'rdf:type'(':N759',X) => 'rdf:type'(':J760',X).
'rdf:type'(':N760',X) => 'rdf:type'(':N761',X).
'rdf:type'(':N760',X) => 'rdf:type'(':I761',X).
'rdf:type'(':N760',X) => 'rdf:type'(':J761',X).
'rdf:type'(':N761',X) => 'rdf:type'(':N762',X).
'rdf:type'(':N761',X) => 'rdf:type'(':I762',X).
'rdf:type'(':N761',X) => 'rdf:type'(':J762',X).
'rdf:type'(':N762',X) => 'rdf:type'(':N763',X).
'rdf:type'(':N762',X) => 'rdf:type'(':I763',X).
'rdf:type'(':N762',X) => 'rdf:type'(':J763',X).
'rdf:type'(':N763',X) => 'rdf:type'(':N764',X).
'rdf:type'(':N763',X) => 'rdf:type'(':I764',X).
'rdf:type'(':N763',X) => 'rdf:type'(':J764',X).
'rdf:type'(':N764',X) => 'rdf:type'(':N765',X).
'rdf:type'(':N764',X) => 'rdf:type'(':I765',X).
'rdf:type'(':N764',X) => 'rdf:type'(':J765',X).
'rdf:type'(':N765',X) => 'rdf:type'(':N766',X).
'rdf:type'(':N765',X) => 'rdf:type'(':I766',X).
'rdf:type'(':N765',X) => 'rdf:type'(':J766',X).
'rdf:type'(':N766',X) => 'rdf:type'(':N767',X).
'rdf:type'(':N766',X) => 'rdf:type'(':I767',X).
'rdf:type'(':N766',X) => 'rdf:type'(':J767',X).
'rdf:type'(':N767',X) => 'rdf:type'(':N768',X).
'rdf:type'(':N767',X) => 'rdf:type'(':I768',X).
'rdf:type'(':N767',X) => 'rdf:type'(':J768',X).
'rdf:type'(':N768',X) => 'rdf:type'(':N769',X).
'rdf:type'(':N768',X) => 'rdf:type'(':I769',X).
'rdf:type'(':N768',X) => 'rdf:type'(':J769',X).
'rdf:type'(':N769',X) => 'rdf:type'(':N770',X).
'rdf:type'(':N769',X) => 'rdf:type'(':I770',X).
'rdf:type'(':N769',X) => 'rdf:type'(':J770',X).
'rdf:type'(':N770',X) => 'rdf:type'(':N771',X).
'rdf:type'(':N770',X) => 'rdf:type'(':I771',X).
'rdf:type'(':N770',X) => 'rdf:type'(':J771',X).
'rdf:type'(':N771',X) => 'rdf:type'(':N772',X).
'rdf:type'(':N771',X) => 'rdf:type'(':I772',X).
'rdf:type'(':N771',X) => 'rdf:type'(':J772',X).
'rdf:type'(':N772',X) => 'rdf:type'(':N773',X).
'rdf:type'(':N772',X) => 'rdf:type'(':I773',X).
'rdf:type'(':N772',X) => 'rdf:type'(':J773',X).
'rdf:type'(':N773',X) => 'rdf:type'(':N774',X).
'rdf:type'(':N773',X) => 'rdf:type'(':I774',X).
'rdf:type'(':N773',X) => 'rdf:type'(':J774',X).
'rdf:type'(':N774',X) => 'rdf:type'(':N775',X).
'rdf:type'(':N774',X) => 'rdf:type'(':I775',X).
'rdf:type'(':N774',X) => 'rdf:type'(':J775',X).
'rdf:type'(':N775',X) => 'rdf:type'(':N776',X).
'rdf:type'(':N775',X) => 'rdf:type'(':I776',X).
'rdf:type'(':N775',X) => 'rdf:type'(':J776',X).
'rdf:type'(':N776',X) => 'rdf:type'(':N777',X).
'rdf:type'(':N776',X) => 'rdf:type'(':I777',X).
'rdf:type'(':N776',X) => 'rdf:type'(':J777',X).
'rdf:type'(':N777',X) => 'rdf:type'(':N778',X).
'rdf:type'(':N777',X) => 'rdf:type'(':I778',X).
'rdf:type'(':N777',X) => 'rdf:type'(':J778',X).
'rdf:type'(':N778',X) => 'rdf:type'(':N779',X).
'rdf:type'(':N778',X) => 'rdf:type'(':I779',X).
'rdf:type'(':N778',X) => 'rdf:type'(':J779',X).
'rdf:type'(':N779',X) => 'rdf:type'(':N780',X).
'rdf:type'(':N779',X) => 'rdf:type'(':I780',X).
'rdf:type'(':N779',X) => 'rdf:type'(':J780',X).
'rdf:type'(':N780',X) => 'rdf:type'(':N781',X).
'rdf:type'(':N780',X) => 'rdf:type'(':I781',X).
'rdf:type'(':N780',X) => 'rdf:type'(':J781',X).
'rdf:type'(':N781',X) => 'rdf:type'(':N782',X).
'rdf:type'(':N781',X) => 'rdf:type'(':I782',X).
'rdf:type'(':N781',X) => 'rdf:type'(':J782',X).
'rdf:type'(':N782',X) => 'rdf:type'(':N783',X).
'rdf:type'(':N782',X) => 'rdf:type'(':I783',X).
'rdf:type'(':N782',X) => 'rdf:type'(':J783',X).
'rdf:type'(':N783',X) => 'rdf:type'(':N784',X).
'rdf:type'(':N783',X) => 'rdf:type'(':I784',X).
'rdf:type'(':N783',X) => 'rdf:type'(':J784',X).
'rdf:type'(':N784',X) => 'rdf:type'(':N785',X).
'rdf:type'(':N784',X) => 'rdf:type'(':I785',X).
'rdf:type'(':N784',X) => 'rdf:type'(':J785',X).
'rdf:type'(':N785',X) => 'rdf:type'(':N786',X).
'rdf:type'(':N785',X) => 'rdf:type'(':I786',X).
'rdf:type'(':N785',X) => 'rdf:type'(':J786',X).
'rdf:type'(':N786',X) => 'rdf:type'(':N787',X).
'rdf:type'(':N786',X) => 'rdf:type'(':I787',X).
'rdf:type'(':N786',X) => 'rdf:type'(':J787',X).
'rdf:type'(':N787',X) => 'rdf:type'(':N788',X).
'rdf:type'(':N787',X) => 'rdf:type'(':I788',X).
'rdf:type'(':N787',X) => 'rdf:type'(':J788',X).
'rdf:type'(':N788',X) => 'rdf:type'(':N789',X).
'rdf:type'(':N788',X) => 'rdf:type'(':I789',X).
'rdf:type'(':N788',X) => 'rdf:type'(':J789',X).
'rdf:type'(':N789',X) => 'rdf:type'(':N790',X).
'rdf:type'(':N789',X) => 'rdf:type'(':I790',X).
'rdf:type'(':N789',X) => 'rdf:type'(':J790',X).
'rdf:type'(':N790',X) => 'rdf:type'(':N791',X).
'rdf:type'(':N790',X) => 'rdf:type'(':I791',X).
'rdf:type'(':N790',X) => 'rdf:type'(':J791',X).
'rdf:type'(':N791',X) => 'rdf:type'(':N792',X).
'rdf:type'(':N791',X) => 'rdf:type'(':I792',X).
'rdf:type'(':N791',X) => 'rdf:type'(':J792',X).
'rdf:type'(':N792',X) => 'rdf:type'(':N793',X).
'rdf:type'(':N792',X) => 'rdf:type'(':I793',X).
'rdf:type'(':N792',X) => 'rdf:type'(':J793',X).
'rdf:type'(':N793',X) => 'rdf:type'(':N794',X).
'rdf:type'(':N793',X) => 'rdf:type'(':I794',X).
'rdf:type'(':N793',X) => 'rdf:type'(':J794',X).
'rdf:type'(':N794',X) => 'rdf:type'(':N795',X).
'rdf:type'(':N794',X) => 'rdf:type'(':I795',X).
'rdf:type'(':N794',X) => 'rdf:type'(':J795',X).
'rdf:type'(':N795',X) => 'rdf:type'(':N796',X).
'rdf:type'(':N795',X) => 'rdf:type'(':I796',X).
'rdf:type'(':N795',X) => 'rdf:type'(':J796',X).
'rdf:type'(':N796',X) => 'rdf:type'(':N797',X).
'rdf:type'(':N796',X) => 'rdf:type'(':I797',X).
'rdf:type'(':N796',X) => 'rdf:type'(':J797',X).
'rdf:type'(':N797',X) => 'rdf:type'(':N798',X).
'rdf:type'(':N797',X) => 'rdf:type'(':I798',X).
'rdf:type'(':N797',X) => 'rdf:type'(':J798',X).
'rdf:type'(':N798',X) => 'rdf:type'(':N799',X).
'rdf:type'(':N798',X) => 'rdf:type'(':I799',X).
'rdf:type'(':N798',X) => 'rdf:type'(':J799',X).
'rdf:type'(':N799',X) => 'rdf:type'(':N800',X).
'rdf:type'(':N799',X) => 'rdf:type'(':I800',X).
'rdf:type'(':N799',X) => 'rdf:type'(':J800',X).
'rdf:type'(':N800',X) => 'rdf:type'(':N801',X).
'rdf:type'(':N800',X) => 'rdf:type'(':I801',X).
'rdf:type'(':N800',X) => 'rdf:type'(':J801',X).
'rdf:type'(':N801',X) => 'rdf:type'(':N802',X).
'rdf:type'(':N801',X) => 'rdf:type'(':I802',X).
'rdf:type'(':N801',X) => 'rdf:type'(':J802',X).
'rdf:type'(':N802',X) => 'rdf:type'(':N803',X).
'rdf:type'(':N802',X) => 'rdf:type'(':I803',X).
'rdf:type'(':N802',X) => 'rdf:type'(':J803',X).
'rdf:type'(':N803',X) => 'rdf:type'(':N804',X).
'rdf:type'(':N803',X) => 'rdf:type'(':I804',X).
'rdf:type'(':N803',X) => 'rdf:type'(':J804',X).
'rdf:type'(':N804',X) => 'rdf:type'(':N805',X).
'rdf:type'(':N804',X) => 'rdf:type'(':I805',X).
'rdf:type'(':N804',X) => 'rdf:type'(':J805',X).
'rdf:type'(':N805',X) => 'rdf:type'(':N806',X).
'rdf:type'(':N805',X) => 'rdf:type'(':I806',X).
'rdf:type'(':N805',X) => 'rdf:type'(':J806',X).
'rdf:type'(':N806',X) => 'rdf:type'(':N807',X).
'rdf:type'(':N806',X) => 'rdf:type'(':I807',X).
'rdf:type'(':N806',X) => 'rdf:type'(':J807',X).
'rdf:type'(':N807',X) => 'rdf:type'(':N808',X).
'rdf:type'(':N807',X) => 'rdf:type'(':I808',X).
'rdf:type'(':N807',X) => 'rdf:type'(':J808',X).
'rdf:type'(':N808',X) => 'rdf:type'(':N809',X).
'rdf:type'(':N808',X) => 'rdf:type'(':I809',X).
'rdf:type'(':N808',X) => 'rdf:type'(':J809',X).
'rdf:type'(':N809',X) => 'rdf:type'(':N810',X).
'rdf:type'(':N809',X) => 'rdf:type'(':I810',X).
'rdf:type'(':N809',X) => 'rdf:type'(':J810',X).
'rdf:type'(':N810',X) => 'rdf:type'(':N811',X).
'rdf:type'(':N810',X) => 'rdf:type'(':I811',X).
'rdf:type'(':N810',X) => 'rdf:type'(':J811',X).
'rdf:type'(':N811',X) => 'rdf:type'(':N812',X).
'rdf:type'(':N811',X) => 'rdf:type'(':I812',X).
'rdf:type'(':N811',X) => 'rdf:type'(':J812',X).
'rdf:type'(':N812',X) => 'rdf:type'(':N813',X).
'rdf:type'(':N812',X) => 'rdf:type'(':I813',X).
'rdf:type'(':N812',X) => 'rdf:type'(':J813',X).
'rdf:type'(':N813',X) => 'rdf:type'(':N814',X).
'rdf:type'(':N813',X) => 'rdf:type'(':I814',X).
'rdf:type'(':N813',X) => 'rdf:type'(':J814',X).
'rdf:type'(':N814',X) => 'rdf:type'(':N815',X).
'rdf:type'(':N814',X) => 'rdf:type'(':I815',X).
'rdf:type'(':N814',X) => 'rdf:type'(':J815',X).
'rdf:type'(':N815',X) => 'rdf:type'(':N816',X).
'rdf:type'(':N815',X) => 'rdf:type'(':I816',X).
'rdf:type'(':N815',X) => 'rdf:type'(':J816',X).
'rdf:type'(':N816',X) => 'rdf:type'(':N817',X).
'rdf:type'(':N816',X) => 'rdf:type'(':I817',X).
'rdf:type'(':N816',X) => 'rdf:type'(':J817',X).
'rdf:type'(':N817',X) => 'rdf:type'(':N818',X).
'rdf:type'(':N817',X) => 'rdf:type'(':I818',X).
'rdf:type'(':N817',X) => 'rdf:type'(':J818',X).
'rdf:type'(':N818',X) => 'rdf:type'(':N819',X).
'rdf:type'(':N818',X) => 'rdf:type'(':I819',X).
'rdf:type'(':N818',X) => 'rdf:type'(':J819',X).
'rdf:type'(':N819',X) => 'rdf:type'(':N820',X).
'rdf:type'(':N819',X) => 'rdf:type'(':I820',X).
'rdf:type'(':N819',X) => 'rdf:type'(':J820',X).
'rdf:type'(':N820',X) => 'rdf:type'(':N821',X).
'rdf:type'(':N820',X) => 'rdf:type'(':I821',X).
'rdf:type'(':N820',X) => 'rdf:type'(':J821',X).
'rdf:type'(':N821',X) => 'rdf:type'(':N822',X).
'rdf:type'(':N821',X) => 'rdf:type'(':I822',X).
'rdf:type'(':N821',X) => 'rdf:type'(':J822',X).
'rdf:type'(':N822',X) => 'rdf:type'(':N823',X).
'rdf:type'(':N822',X) => 'rdf:type'(':I823',X).
'rdf:type'(':N822',X) => 'rdf:type'(':J823',X).
'rdf:type'(':N823',X) => 'rdf:type'(':N824',X).
'rdf:type'(':N823',X) => 'rdf:type'(':I824',X).
'rdf:type'(':N823',X) => 'rdf:type'(':J824',X).
'rdf:type'(':N824',X) => 'rdf:type'(':N825',X).
'rdf:type'(':N824',X) => 'rdf:type'(':I825',X).
'rdf:type'(':N824',X) => 'rdf:type'(':J825',X).
'rdf:type'(':N825',X) => 'rdf:type'(':N826',X).
'rdf:type'(':N825',X) => 'rdf:type'(':I826',X).
'rdf:type'(':N825',X) => 'rdf:type'(':J826',X).
'rdf:type'(':N826',X) => 'rdf:type'(':N827',X).
'rdf:type'(':N826',X) => 'rdf:type'(':I827',X).
'rdf:type'(':N826',X) => 'rdf:type'(':J827',X).
'rdf:type'(':N827',X) => 'rdf:type'(':N828',X).
'rdf:type'(':N827',X) => 'rdf:type'(':I828',X).
'rdf:type'(':N827',X) => 'rdf:type'(':J828',X).
'rdf:type'(':N828',X) => 'rdf:type'(':N829',X).
'rdf:type'(':N828',X) => 'rdf:type'(':I829',X).
'rdf:type'(':N828',X) => 'rdf:type'(':J829',X).
'rdf:type'(':N829',X) => 'rdf:type'(':N830',X).
'rdf:type'(':N829',X) => 'rdf:type'(':I830',X).
'rdf:type'(':N829',X) => 'rdf:type'(':J830',X).
'rdf:type'(':N830',X) => 'rdf:type'(':N831',X).
'rdf:type'(':N830',X) => 'rdf:type'(':I831',X).
'rdf:type'(':N830',X) => 'rdf:type'(':J831',X).
'rdf:type'(':N831',X) => 'rdf:type'(':N832',X).
'rdf:type'(':N831',X) => 'rdf:type'(':I832',X).
'rdf:type'(':N831',X) => 'rdf:type'(':J832',X).
'rdf:type'(':N832',X) => 'rdf:type'(':N833',X).
'rdf:type'(':N832',X) => 'rdf:type'(':I833',X).
'rdf:type'(':N832',X) => 'rdf:type'(':J833',X).
'rdf:type'(':N833',X) => 'rdf:type'(':N834',X).
'rdf:type'(':N833',X) => 'rdf:type'(':I834',X).
'rdf:type'(':N833',X) => 'rdf:type'(':J834',X).
'rdf:type'(':N834',X) => 'rdf:type'(':N835',X).
'rdf:type'(':N834',X) => 'rdf:type'(':I835',X).
'rdf:type'(':N834',X) => 'rdf:type'(':J835',X).
'rdf:type'(':N835',X) => 'rdf:type'(':N836',X).
'rdf:type'(':N835',X) => 'rdf:type'(':I836',X).
'rdf:type'(':N835',X) => 'rdf:type'(':J836',X).
'rdf:type'(':N836',X) => 'rdf:type'(':N837',X).
'rdf:type'(':N836',X) => 'rdf:type'(':I837',X).
'rdf:type'(':N836',X) => 'rdf:type'(':J837',X).
'rdf:type'(':N837',X) => 'rdf:type'(':N838',X).
'rdf:type'(':N837',X) => 'rdf:type'(':I838',X).
'rdf:type'(':N837',X) => 'rdf:type'(':J838',X).
'rdf:type'(':N838',X) => 'rdf:type'(':N839',X).
'rdf:type'(':N838',X) => 'rdf:type'(':I839',X).
'rdf:type'(':N838',X) => 'rdf:type'(':J839',X).
'rdf:type'(':N839',X) => 'rdf:type'(':N840',X).
'rdf:type'(':N839',X) => 'rdf:type'(':I840',X).
'rdf:type'(':N839',X) => 'rdf:type'(':J840',X).
'rdf:type'(':N840',X) => 'rdf:type'(':N841',X).
'rdf:type'(':N840',X) => 'rdf:type'(':I841',X).
'rdf:type'(':N840',X) => 'rdf:type'(':J841',X).
'rdf:type'(':N841',X) => 'rdf:type'(':N842',X).
'rdf:type'(':N841',X) => 'rdf:type'(':I842',X).
'rdf:type'(':N841',X) => 'rdf:type'(':J842',X).
'rdf:type'(':N842',X) => 'rdf:type'(':N843',X).
'rdf:type'(':N842',X) => 'rdf:type'(':I843',X).
'rdf:type'(':N842',X) => 'rdf:type'(':J843',X).
'rdf:type'(':N843',X) => 'rdf:type'(':N844',X).
'rdf:type'(':N843',X) => 'rdf:type'(':I844',X).
'rdf:type'(':N843',X) => 'rdf:type'(':J844',X).
'rdf:type'(':N844',X) => 'rdf:type'(':N845',X).
'rdf:type'(':N844',X) => 'rdf:type'(':I845',X).
'rdf:type'(':N844',X) => 'rdf:type'(':J845',X).
'rdf:type'(':N845',X) => 'rdf:type'(':N846',X).
'rdf:type'(':N845',X) => 'rdf:type'(':I846',X).
'rdf:type'(':N845',X) => 'rdf:type'(':J846',X).
'rdf:type'(':N846',X) => 'rdf:type'(':N847',X).
'rdf:type'(':N846',X) => 'rdf:type'(':I847',X).
'rdf:type'(':N846',X) => 'rdf:type'(':J847',X).
'rdf:type'(':N847',X) => 'rdf:type'(':N848',X).
'rdf:type'(':N847',X) => 'rdf:type'(':I848',X).
'rdf:type'(':N847',X) => 'rdf:type'(':J848',X).
'rdf:type'(':N848',X) => 'rdf:type'(':N849',X).
'rdf:type'(':N848',X) => 'rdf:type'(':I849',X).
'rdf:type'(':N848',X) => 'rdf:type'(':J849',X).
'rdf:type'(':N849',X) => 'rdf:type'(':N850',X).
'rdf:type'(':N849',X) => 'rdf:type'(':I850',X).
'rdf:type'(':N849',X) => 'rdf:type'(':J850',X).
'rdf:type'(':N850',X) => 'rdf:type'(':N851',X).
'rdf:type'(':N850',X) => 'rdf:type'(':I851',X).
'rdf:type'(':N850',X) => 'rdf:type'(':J851',X).
'rdf:type'(':N851',X) => 'rdf:type'(':N852',X).
'rdf:type'(':N851',X) => 'rdf:type'(':I852',X).
'rdf:type'(':N851',X) => 'rdf:type'(':J852',X).
'rdf:type'(':N852',X) => 'rdf:type'(':N853',X).
'rdf:type'(':N852',X) => 'rdf:type'(':I853',X).
'rdf:type'(':N852',X) => 'rdf:type'(':J853',X).
'rdf:type'(':N853',X) => 'rdf:type'(':N854',X).
'rdf:type'(':N853',X) => 'rdf:type'(':I854',X).
'rdf:type'(':N853',X) => 'rdf:type'(':J854',X).
'rdf:type'(':N854',X) => 'rdf:type'(':N855',X).
'rdf:type'(':N854',X) => 'rdf:type'(':I855',X).
'rdf:type'(':N854',X) => 'rdf:type'(':J855',X).
'rdf:type'(':N855',X) => 'rdf:type'(':N856',X).
'rdf:type'(':N855',X) => 'rdf:type'(':I856',X).
'rdf:type'(':N855',X) => 'rdf:type'(':J856',X).
'rdf:type'(':N856',X) => 'rdf:type'(':N857',X).
'rdf:type'(':N856',X) => 'rdf:type'(':I857',X).
'rdf:type'(':N856',X) => 'rdf:type'(':J857',X).
'rdf:type'(':N857',X) => 'rdf:type'(':N858',X).
'rdf:type'(':N857',X) => 'rdf:type'(':I858',X).
'rdf:type'(':N857',X) => 'rdf:type'(':J858',X).
'rdf:type'(':N858',X) => 'rdf:type'(':N859',X).
'rdf:type'(':N858',X) => 'rdf:type'(':I859',X).
'rdf:type'(':N858',X) => 'rdf:type'(':J859',X).
'rdf:type'(':N859',X) => 'rdf:type'(':N860',X).
'rdf:type'(':N859',X) => 'rdf:type'(':I860',X).
'rdf:type'(':N859',X) => 'rdf:type'(':J860',X).
'rdf:type'(':N860',X) => 'rdf:type'(':N861',X).
'rdf:type'(':N860',X) => 'rdf:type'(':I861',X).
'rdf:type'(':N860',X) => 'rdf:type'(':J861',X).
'rdf:type'(':N861',X) => 'rdf:type'(':N862',X).
'rdf:type'(':N861',X) => 'rdf:type'(':I862',X).
'rdf:type'(':N861',X) => 'rdf:type'(':J862',X).
'rdf:type'(':N862',X) => 'rdf:type'(':N863',X).
'rdf:type'(':N862',X) => 'rdf:type'(':I863',X).
'rdf:type'(':N862',X) => 'rdf:type'(':J863',X).
'rdf:type'(':N863',X) => 'rdf:type'(':N864',X).
'rdf:type'(':N863',X) => 'rdf:type'(':I864',X).
'rdf:type'(':N863',X) => 'rdf:type'(':J864',X).
'rdf:type'(':N864',X) => 'rdf:type'(':N865',X).
'rdf:type'(':N864',X) => 'rdf:type'(':I865',X).
'rdf:type'(':N864',X) => 'rdf:type'(':J865',X).
'rdf:type'(':N865',X) => 'rdf:type'(':N866',X).
'rdf:type'(':N865',X) => 'rdf:type'(':I866',X).
'rdf:type'(':N865',X) => 'rdf:type'(':J866',X).
'rdf:type'(':N866',X) => 'rdf:type'(':N867',X).
'rdf:type'(':N866',X) => 'rdf:type'(':I867',X).
'rdf:type'(':N866',X) => 'rdf:type'(':J867',X).
'rdf:type'(':N867',X) => 'rdf:type'(':N868',X).
'rdf:type'(':N867',X) => 'rdf:type'(':I868',X).
'rdf:type'(':N867',X) => 'rdf:type'(':J868',X).
'rdf:type'(':N868',X) => 'rdf:type'(':N869',X).
'rdf:type'(':N868',X) => 'rdf:type'(':I869',X).
'rdf:type'(':N868',X) => 'rdf:type'(':J869',X).
'rdf:type'(':N869',X) => 'rdf:type'(':N870',X).
'rdf:type'(':N869',X) => 'rdf:type'(':I870',X).
'rdf:type'(':N869',X) => 'rdf:type'(':J870',X).
'rdf:type'(':N870',X) => 'rdf:type'(':N871',X).
'rdf:type'(':N870',X) => 'rdf:type'(':I871',X).
'rdf:type'(':N870',X) => 'rdf:type'(':J871',X).
'rdf:type'(':N871',X) => 'rdf:type'(':N872',X).
'rdf:type'(':N871',X) => 'rdf:type'(':I872',X).
'rdf:type'(':N871',X) => 'rdf:type'(':J872',X).
'rdf:type'(':N872',X) => 'rdf:type'(':N873',X).
'rdf:type'(':N872',X) => 'rdf:type'(':I873',X).
'rdf:type'(':N872',X) => 'rdf:type'(':J873',X).
'rdf:type'(':N873',X) => 'rdf:type'(':N874',X).
'rdf:type'(':N873',X) => 'rdf:type'(':I874',X).
'rdf:type'(':N873',X) => 'rdf:type'(':J874',X).
'rdf:type'(':N874',X) => 'rdf:type'(':N875',X).
'rdf:type'(':N874',X) => 'rdf:type'(':I875',X).
'rdf:type'(':N874',X) => 'rdf:type'(':J875',X).
'rdf:type'(':N875',X) => 'rdf:type'(':N876',X).
'rdf:type'(':N875',X) => 'rdf:type'(':I876',X).
'rdf:type'(':N875',X) => 'rdf:type'(':J876',X).
'rdf:type'(':N876',X) => 'rdf:type'(':N877',X).
'rdf:type'(':N876',X) => 'rdf:type'(':I877',X).
'rdf:type'(':N876',X) => 'rdf:type'(':J877',X).
'rdf:type'(':N877',X) => 'rdf:type'(':N878',X).
'rdf:type'(':N877',X) => 'rdf:type'(':I878',X).
'rdf:type'(':N877',X) => 'rdf:type'(':J878',X).
'rdf:type'(':N878',X) => 'rdf:type'(':N879',X).
'rdf:type'(':N878',X) => 'rdf:type'(':I879',X).
'rdf:type'(':N878',X) => 'rdf:type'(':J879',X).
'rdf:type'(':N879',X) => 'rdf:type'(':N880',X).
'rdf:type'(':N879',X) => 'rdf:type'(':I880',X).
'rdf:type'(':N879',X) => 'rdf:type'(':J880',X).
'rdf:type'(':N880',X) => 'rdf:type'(':N881',X).
'rdf:type'(':N880',X) => 'rdf:type'(':I881',X).
'rdf:type'(':N880',X) => 'rdf:type'(':J881',X).
'rdf:type'(':N881',X) => 'rdf:type'(':N882',X).
'rdf:type'(':N881',X) => 'rdf:type'(':I882',X).
'rdf:type'(':N881',X) => 'rdf:type'(':J882',X).
'rdf:type'(':N882',X) => 'rdf:type'(':N883',X).
'rdf:type'(':N882',X) => 'rdf:type'(':I883',X).
'rdf:type'(':N882',X) => 'rdf:type'(':J883',X).
'rdf:type'(':N883',X) => 'rdf:type'(':N884',X).
'rdf:type'(':N883',X) => 'rdf:type'(':I884',X).
'rdf:type'(':N883',X) => 'rdf:type'(':J884',X).
'rdf:type'(':N884',X) => 'rdf:type'(':N885',X).
'rdf:type'(':N884',X) => 'rdf:type'(':I885',X).
'rdf:type'(':N884',X) => 'rdf:type'(':J885',X).
'rdf:type'(':N885',X) => 'rdf:type'(':N886',X).
'rdf:type'(':N885',X) => 'rdf:type'(':I886',X).
'rdf:type'(':N885',X) => 'rdf:type'(':J886',X).
'rdf:type'(':N886',X) => 'rdf:type'(':N887',X).
'rdf:type'(':N886',X) => 'rdf:type'(':I887',X).
'rdf:type'(':N886',X) => 'rdf:type'(':J887',X).
'rdf:type'(':N887',X) => 'rdf:type'(':N888',X).
'rdf:type'(':N887',X) => 'rdf:type'(':I888',X).
'rdf:type'(':N887',X) => 'rdf:type'(':J888',X).
'rdf:type'(':N888',X) => 'rdf:type'(':N889',X).
'rdf:type'(':N888',X) => 'rdf:type'(':I889',X).
'rdf:type'(':N888',X) => 'rdf:type'(':J889',X).
'rdf:type'(':N889',X) => 'rdf:type'(':N890',X).
'rdf:type'(':N889',X) => 'rdf:type'(':I890',X).
'rdf:type'(':N889',X) => 'rdf:type'(':J890',X).
'rdf:type'(':N890',X) => 'rdf:type'(':N891',X).
'rdf:type'(':N890',X) => 'rdf:type'(':I891',X).
'rdf:type'(':N890',X) => 'rdf:type'(':J891',X).
'rdf:type'(':N891',X) => 'rdf:type'(':N892',X).
'rdf:type'(':N891',X) => 'rdf:type'(':I892',X).
'rdf:type'(':N891',X) => 'rdf:type'(':J892',X).
'rdf:type'(':N892',X) => 'rdf:type'(':N893',X).
'rdf:type'(':N892',X) => 'rdf:type'(':I893',X).
'rdf:type'(':N892',X) => 'rdf:type'(':J893',X).
'rdf:type'(':N893',X) => 'rdf:type'(':N894',X).
'rdf:type'(':N893',X) => 'rdf:type'(':I894',X).
'rdf:type'(':N893',X) => 'rdf:type'(':J894',X).
'rdf:type'(':N894',X) => 'rdf:type'(':N895',X).
'rdf:type'(':N894',X) => 'rdf:type'(':I895',X).
'rdf:type'(':N894',X) => 'rdf:type'(':J895',X).
'rdf:type'(':N895',X) => 'rdf:type'(':N896',X).
'rdf:type'(':N895',X) => 'rdf:type'(':I896',X).
'rdf:type'(':N895',X) => 'rdf:type'(':J896',X).
'rdf:type'(':N896',X) => 'rdf:type'(':N897',X).
'rdf:type'(':N896',X) => 'rdf:type'(':I897',X).
'rdf:type'(':N896',X) => 'rdf:type'(':J897',X).
'rdf:type'(':N897',X) => 'rdf:type'(':N898',X).
'rdf:type'(':N897',X) => 'rdf:type'(':I898',X).
'rdf:type'(':N897',X) => 'rdf:type'(':J898',X).
'rdf:type'(':N898',X) => 'rdf:type'(':N899',X).
'rdf:type'(':N898',X) => 'rdf:type'(':I899',X).
'rdf:type'(':N898',X) => 'rdf:type'(':J899',X).
'rdf:type'(':N899',X) => 'rdf:type'(':N900',X).
'rdf:type'(':N899',X) => 'rdf:type'(':I900',X).
'rdf:type'(':N899',X) => 'rdf:type'(':J900',X).
'rdf:type'(':N900',X) => 'rdf:type'(':N901',X).
'rdf:type'(':N900',X) => 'rdf:type'(':I901',X).
'rdf:type'(':N900',X) => 'rdf:type'(':J901',X).
'rdf:type'(':N901',X) => 'rdf:type'(':N902',X).
'rdf:type'(':N901',X) => 'rdf:type'(':I902',X).
'rdf:type'(':N901',X) => 'rdf:type'(':J902',X).
'rdf:type'(':N902',X) => 'rdf:type'(':N903',X).
'rdf:type'(':N902',X) => 'rdf:type'(':I903',X).
'rdf:type'(':N902',X) => 'rdf:type'(':J903',X).
'rdf:type'(':N903',X) => 'rdf:type'(':N904',X).
'rdf:type'(':N903',X) => 'rdf:type'(':I904',X).
'rdf:type'(':N903',X) => 'rdf:type'(':J904',X).
'rdf:type'(':N904',X) => 'rdf:type'(':N905',X).
'rdf:type'(':N904',X) => 'rdf:type'(':I905',X).
'rdf:type'(':N904',X) => 'rdf:type'(':J905',X).
'rdf:type'(':N905',X) => 'rdf:type'(':N906',X).
'rdf:type'(':N905',X) => 'rdf:type'(':I906',X).
'rdf:type'(':N905',X) => 'rdf:type'(':J906',X).
'rdf:type'(':N906',X) => 'rdf:type'(':N907',X).
'rdf:type'(':N906',X) => 'rdf:type'(':I907',X).
'rdf:type'(':N906',X) => 'rdf:type'(':J907',X).
'rdf:type'(':N907',X) => 'rdf:type'(':N908',X).
'rdf:type'(':N907',X) => 'rdf:type'(':I908',X).
'rdf:type'(':N907',X) => 'rdf:type'(':J908',X).
'rdf:type'(':N908',X) => 'rdf:type'(':N909',X).
'rdf:type'(':N908',X) => 'rdf:type'(':I909',X).
'rdf:type'(':N908',X) => 'rdf:type'(':J909',X).
'rdf:type'(':N909',X) => 'rdf:type'(':N910',X).
'rdf:type'(':N909',X) => 'rdf:type'(':I910',X).
'rdf:type'(':N909',X) => 'rdf:type'(':J910',X).
'rdf:type'(':N910',X) => 'rdf:type'(':N911',X).
'rdf:type'(':N910',X) => 'rdf:type'(':I911',X).
'rdf:type'(':N910',X) => 'rdf:type'(':J911',X).
'rdf:type'(':N911',X) => 'rdf:type'(':N912',X).
'rdf:type'(':N911',X) => 'rdf:type'(':I912',X).
'rdf:type'(':N911',X) => 'rdf:type'(':J912',X).
'rdf:type'(':N912',X) => 'rdf:type'(':N913',X).
'rdf:type'(':N912',X) => 'rdf:type'(':I913',X).
'rdf:type'(':N912',X) => 'rdf:type'(':J913',X).
'rdf:type'(':N913',X) => 'rdf:type'(':N914',X).
'rdf:type'(':N913',X) => 'rdf:type'(':I914',X).
'rdf:type'(':N913',X) => 'rdf:type'(':J914',X).
'rdf:type'(':N914',X) => 'rdf:type'(':N915',X).
'rdf:type'(':N914',X) => 'rdf:type'(':I915',X).
'rdf:type'(':N914',X) => 'rdf:type'(':J915',X).
'rdf:type'(':N915',X) => 'rdf:type'(':N916',X).
'rdf:type'(':N915',X) => 'rdf:type'(':I916',X).
'rdf:type'(':N915',X) => 'rdf:type'(':J916',X).
'rdf:type'(':N916',X) => 'rdf:type'(':N917',X).
'rdf:type'(':N916',X) => 'rdf:type'(':I917',X).
'rdf:type'(':N916',X) => 'rdf:type'(':J917',X).
'rdf:type'(':N917',X) => 'rdf:type'(':N918',X).
'rdf:type'(':N917',X) => 'rdf:type'(':I918',X).
'rdf:type'(':N917',X) => 'rdf:type'(':J918',X).
'rdf:type'(':N918',X) => 'rdf:type'(':N919',X).
'rdf:type'(':N918',X) => 'rdf:type'(':I919',X).
'rdf:type'(':N918',X) => 'rdf:type'(':J919',X).
'rdf:type'(':N919',X) => 'rdf:type'(':N920',X).
'rdf:type'(':N919',X) => 'rdf:type'(':I920',X).
'rdf:type'(':N919',X) => 'rdf:type'(':J920',X).
'rdf:type'(':N920',X) => 'rdf:type'(':N921',X).
'rdf:type'(':N920',X) => 'rdf:type'(':I921',X).
'rdf:type'(':N920',X) => 'rdf:type'(':J921',X).
'rdf:type'(':N921',X) => 'rdf:type'(':N922',X).
'rdf:type'(':N921',X) => 'rdf:type'(':I922',X).
'rdf:type'(':N921',X) => 'rdf:type'(':J922',X).
'rdf:type'(':N922',X) => 'rdf:type'(':N923',X).
'rdf:type'(':N922',X) => 'rdf:type'(':I923',X).
'rdf:type'(':N922',X) => 'rdf:type'(':J923',X).
'rdf:type'(':N923',X) => 'rdf:type'(':N924',X).
'rdf:type'(':N923',X) => 'rdf:type'(':I924',X).
'rdf:type'(':N923',X) => 'rdf:type'(':J924',X).
'rdf:type'(':N924',X) => 'rdf:type'(':N925',X).
'rdf:type'(':N924',X) => 'rdf:type'(':I925',X).
'rdf:type'(':N924',X) => 'rdf:type'(':J925',X).
'rdf:type'(':N925',X) => 'rdf:type'(':N926',X).
'rdf:type'(':N925',X) => 'rdf:type'(':I926',X).
'rdf:type'(':N925',X) => 'rdf:type'(':J926',X).
'rdf:type'(':N926',X) => 'rdf:type'(':N927',X).
'rdf:type'(':N926',X) => 'rdf:type'(':I927',X).
'rdf:type'(':N926',X) => 'rdf:type'(':J927',X).
'rdf:type'(':N927',X) => 'rdf:type'(':N928',X).
'rdf:type'(':N927',X) => 'rdf:type'(':I928',X).
'rdf:type'(':N927',X) => 'rdf:type'(':J928',X).
'rdf:type'(':N928',X) => 'rdf:type'(':N929',X).
'rdf:type'(':N928',X) => 'rdf:type'(':I929',X).
'rdf:type'(':N928',X) => 'rdf:type'(':J929',X).
'rdf:type'(':N929',X) => 'rdf:type'(':N930',X).
'rdf:type'(':N929',X) => 'rdf:type'(':I930',X).
'rdf:type'(':N929',X) => 'rdf:type'(':J930',X).
'rdf:type'(':N930',X) => 'rdf:type'(':N931',X).
'rdf:type'(':N930',X) => 'rdf:type'(':I931',X).
'rdf:type'(':N930',X) => 'rdf:type'(':J931',X).
'rdf:type'(':N931',X) => 'rdf:type'(':N932',X).
'rdf:type'(':N931',X) => 'rdf:type'(':I932',X).
'rdf:type'(':N931',X) => 'rdf:type'(':J932',X).
'rdf:type'(':N932',X) => 'rdf:type'(':N933',X).
'rdf:type'(':N932',X) => 'rdf:type'(':I933',X).
'rdf:type'(':N932',X) => 'rdf:type'(':J933',X).
'rdf:type'(':N933',X) => 'rdf:type'(':N934',X).
'rdf:type'(':N933',X) => 'rdf:type'(':I934',X).
'rdf:type'(':N933',X) => 'rdf:type'(':J934',X).
'rdf:type'(':N934',X) => 'rdf:type'(':N935',X).
'rdf:type'(':N934',X) => 'rdf:type'(':I935',X).
'rdf:type'(':N934',X) => 'rdf:type'(':J935',X).
'rdf:type'(':N935',X) => 'rdf:type'(':N936',X).
'rdf:type'(':N935',X) => 'rdf:type'(':I936',X).
'rdf:type'(':N935',X) => 'rdf:type'(':J936',X).
'rdf:type'(':N936',X) => 'rdf:type'(':N937',X).
'rdf:type'(':N936',X) => 'rdf:type'(':I937',X).
'rdf:type'(':N936',X) => 'rdf:type'(':J937',X).
'rdf:type'(':N937',X) => 'rdf:type'(':N938',X).
'rdf:type'(':N937',X) => 'rdf:type'(':I938',X).
'rdf:type'(':N937',X) => 'rdf:type'(':J938',X).
'rdf:type'(':N938',X) => 'rdf:type'(':N939',X).
'rdf:type'(':N938',X) => 'rdf:type'(':I939',X).
'rdf:type'(':N938',X) => 'rdf:type'(':J939',X).
'rdf:type'(':N939',X) => 'rdf:type'(':N940',X).
'rdf:type'(':N939',X) => 'rdf:type'(':I940',X).
'rdf:type'(':N939',X) => 'rdf:type'(':J940',X).
'rdf:type'(':N940',X) => 'rdf:type'(':N941',X).
'rdf:type'(':N940',X) => 'rdf:type'(':I941',X).
'rdf:type'(':N940',X) => 'rdf:type'(':J941',X).
'rdf:type'(':N941',X) => 'rdf:type'(':N942',X).
'rdf:type'(':N941',X) => 'rdf:type'(':I942',X).
'rdf:type'(':N941',X) => 'rdf:type'(':J942',X).
'rdf:type'(':N942',X) => 'rdf:type'(':N943',X).
'rdf:type'(':N942',X) => 'rdf:type'(':I943',X).
'rdf:type'(':N942',X) => 'rdf:type'(':J943',X).
'rdf:type'(':N943',X) => 'rdf:type'(':N944',X).
'rdf:type'(':N943',X) => 'rdf:type'(':I944',X).
'rdf:type'(':N943',X) => 'rdf:type'(':J944',X).
'rdf:type'(':N944',X) => 'rdf:type'(':N945',X).
'rdf:type'(':N944',X) => 'rdf:type'(':I945',X).
'rdf:type'(':N944',X) => 'rdf:type'(':J945',X).
'rdf:type'(':N945',X) => 'rdf:type'(':N946',X).
'rdf:type'(':N945',X) => 'rdf:type'(':I946',X).
'rdf:type'(':N945',X) => 'rdf:type'(':J946',X).
'rdf:type'(':N946',X) => 'rdf:type'(':N947',X).
'rdf:type'(':N946',X) => 'rdf:type'(':I947',X).
'rdf:type'(':N946',X) => 'rdf:type'(':J947',X).
'rdf:type'(':N947',X) => 'rdf:type'(':N948',X).
'rdf:type'(':N947',X) => 'rdf:type'(':I948',X).
'rdf:type'(':N947',X) => 'rdf:type'(':J948',X).
'rdf:type'(':N948',X) => 'rdf:type'(':N949',X).
'rdf:type'(':N948',X) => 'rdf:type'(':I949',X).
'rdf:type'(':N948',X) => 'rdf:type'(':J949',X).
'rdf:type'(':N949',X) => 'rdf:type'(':N950',X).
'rdf:type'(':N949',X) => 'rdf:type'(':I950',X).
'rdf:type'(':N949',X) => 'rdf:type'(':J950',X).
'rdf:type'(':N950',X) => 'rdf:type'(':N951',X).
'rdf:type'(':N950',X) => 'rdf:type'(':I951',X).
'rdf:type'(':N950',X) => 'rdf:type'(':J951',X).
'rdf:type'(':N951',X) => 'rdf:type'(':N952',X).
'rdf:type'(':N951',X) => 'rdf:type'(':I952',X).
'rdf:type'(':N951',X) => 'rdf:type'(':J952',X).
'rdf:type'(':N952',X) => 'rdf:type'(':N953',X).
'rdf:type'(':N952',X) => 'rdf:type'(':I953',X).
'rdf:type'(':N952',X) => 'rdf:type'(':J953',X).
'rdf:type'(':N953',X) => 'rdf:type'(':N954',X).
'rdf:type'(':N953',X) => 'rdf:type'(':I954',X).
'rdf:type'(':N953',X) => 'rdf:type'(':J954',X).
'rdf:type'(':N954',X) => 'rdf:type'(':N955',X).
'rdf:type'(':N954',X) => 'rdf:type'(':I955',X).
'rdf:type'(':N954',X) => 'rdf:type'(':J955',X).
'rdf:type'(':N955',X) => 'rdf:type'(':N956',X).
'rdf:type'(':N955',X) => 'rdf:type'(':I956',X).
'rdf:type'(':N955',X) => 'rdf:type'(':J956',X).
'rdf:type'(':N956',X) => 'rdf:type'(':N957',X).
'rdf:type'(':N956',X) => 'rdf:type'(':I957',X).
'rdf:type'(':N956',X) => 'rdf:type'(':J957',X).
'rdf:type'(':N957',X) => 'rdf:type'(':N958',X).
'rdf:type'(':N957',X) => 'rdf:type'(':I958',X).
'rdf:type'(':N957',X) => 'rdf:type'(':J958',X).
'rdf:type'(':N958',X) => 'rdf:type'(':N959',X).
'rdf:type'(':N958',X) => 'rdf:type'(':I959',X).
'rdf:type'(':N958',X) => 'rdf:type'(':J959',X).
'rdf:type'(':N959',X) => 'rdf:type'(':N960',X).
'rdf:type'(':N959',X) => 'rdf:type'(':I960',X).
'rdf:type'(':N959',X) => 'rdf:type'(':J960',X).
'rdf:type'(':N960',X) => 'rdf:type'(':N961',X).
'rdf:type'(':N960',X) => 'rdf:type'(':I961',X).
'rdf:type'(':N960',X) => 'rdf:type'(':J961',X).
'rdf:type'(':N961',X) => 'rdf:type'(':N962',X).
'rdf:type'(':N961',X) => 'rdf:type'(':I962',X).
'rdf:type'(':N961',X) => 'rdf:type'(':J962',X).
'rdf:type'(':N962',X) => 'rdf:type'(':N963',X).
'rdf:type'(':N962',X) => 'rdf:type'(':I963',X).
'rdf:type'(':N962',X) => 'rdf:type'(':J963',X).
'rdf:type'(':N963',X) => 'rdf:type'(':N964',X).
'rdf:type'(':N963',X) => 'rdf:type'(':I964',X).
'rdf:type'(':N963',X) => 'rdf:type'(':J964',X).
'rdf:type'(':N964',X) => 'rdf:type'(':N965',X).
'rdf:type'(':N964',X) => 'rdf:type'(':I965',X).
'rdf:type'(':N964',X) => 'rdf:type'(':J965',X).
'rdf:type'(':N965',X) => 'rdf:type'(':N966',X).
'rdf:type'(':N965',X) => 'rdf:type'(':I966',X).
'rdf:type'(':N965',X) => 'rdf:type'(':J966',X).
'rdf:type'(':N966',X) => 'rdf:type'(':N967',X).
'rdf:type'(':N966',X) => 'rdf:type'(':I967',X).
'rdf:type'(':N966',X) => 'rdf:type'(':J967',X).
'rdf:type'(':N967',X) => 'rdf:type'(':N968',X).
'rdf:type'(':N967',X) => 'rdf:type'(':I968',X).
'rdf:type'(':N967',X) => 'rdf:type'(':J968',X).
'rdf:type'(':N968',X) => 'rdf:type'(':N969',X).
'rdf:type'(':N968',X) => 'rdf:type'(':I969',X).
'rdf:type'(':N968',X) => 'rdf:type'(':J969',X).
'rdf:type'(':N969',X) => 'rdf:type'(':N970',X).
'rdf:type'(':N969',X) => 'rdf:type'(':I970',X).
'rdf:type'(':N969',X) => 'rdf:type'(':J970',X).
'rdf:type'(':N970',X) => 'rdf:type'(':N971',X).
'rdf:type'(':N970',X) => 'rdf:type'(':I971',X).
'rdf:type'(':N970',X) => 'rdf:type'(':J971',X).
'rdf:type'(':N971',X) => 'rdf:type'(':N972',X).
'rdf:type'(':N971',X) => 'rdf:type'(':I972',X).
'rdf:type'(':N971',X) => 'rdf:type'(':J972',X).
'rdf:type'(':N972',X) => 'rdf:type'(':N973',X).
'rdf:type'(':N972',X) => 'rdf:type'(':I973',X).
'rdf:type'(':N972',X) => 'rdf:type'(':J973',X).
'rdf:type'(':N973',X) => 'rdf:type'(':N974',X).
'rdf:type'(':N973',X) => 'rdf:type'(':I974',X).
'rdf:type'(':N973',X) => 'rdf:type'(':J974',X).
'rdf:type'(':N974',X) => 'rdf:type'(':N975',X).
'rdf:type'(':N974',X) => 'rdf:type'(':I975',X).
'rdf:type'(':N974',X) => 'rdf:type'(':J975',X).
'rdf:type'(':N975',X) => 'rdf:type'(':N976',X).
'rdf:type'(':N975',X) => 'rdf:type'(':I976',X).
'rdf:type'(':N975',X) => 'rdf:type'(':J976',X).
'rdf:type'(':N976',X) => 'rdf:type'(':N977',X).
'rdf:type'(':N976',X) => 'rdf:type'(':I977',X).
'rdf:type'(':N976',X) => 'rdf:type'(':J977',X).
'rdf:type'(':N977',X) => 'rdf:type'(':N978',X).
'rdf:type'(':N977',X) => 'rdf:type'(':I978',X).
'rdf:type'(':N977',X) => 'rdf:type'(':J978',X).
'rdf:type'(':N978',X) => 'rdf:type'(':N979',X).
'rdf:type'(':N978',X) => 'rdf:type'(':I979',X).
'rdf:type'(':N978',X) => 'rdf:type'(':J979',X).
'rdf:type'(':N979',X) => 'rdf:type'(':N980',X).
'rdf:type'(':N979',X) => 'rdf:type'(':I980',X).
'rdf:type'(':N979',X) => 'rdf:type'(':J980',X).
'rdf:type'(':N980',X) => 'rdf:type'(':N981',X).
'rdf:type'(':N980',X) => 'rdf:type'(':I981',X).
'rdf:type'(':N980',X) => 'rdf:type'(':J981',X).
'rdf:type'(':N981',X) => 'rdf:type'(':N982',X).
'rdf:type'(':N981',X) => 'rdf:type'(':I982',X).
'rdf:type'(':N981',X) => 'rdf:type'(':J982',X).
'rdf:type'(':N982',X) => 'rdf:type'(':N983',X).
'rdf:type'(':N982',X) => 'rdf:type'(':I983',X).
'rdf:type'(':N982',X) => 'rdf:type'(':J983',X).
'rdf:type'(':N983',X) => 'rdf:type'(':N984',X).
'rdf:type'(':N983',X) => 'rdf:type'(':I984',X).
'rdf:type'(':N983',X) => 'rdf:type'(':J984',X).
'rdf:type'(':N984',X) => 'rdf:type'(':N985',X).
'rdf:type'(':N984',X) => 'rdf:type'(':I985',X).
'rdf:type'(':N984',X) => 'rdf:type'(':J985',X).
'rdf:type'(':N985',X) => 'rdf:type'(':N986',X).
'rdf:type'(':N985',X) => 'rdf:type'(':I986',X).
'rdf:type'(':N985',X) => 'rdf:type'(':J986',X).
'rdf:type'(':N986',X) => 'rdf:type'(':N987',X).
'rdf:type'(':N986',X) => 'rdf:type'(':I987',X).
'rdf:type'(':N986',X) => 'rdf:type'(':J987',X).
'rdf:type'(':N987',X) => 'rdf:type'(':N988',X).
'rdf:type'(':N987',X) => 'rdf:type'(':I988',X).
'rdf:type'(':N987',X) => 'rdf:type'(':J988',X).
'rdf:type'(':N988',X) => 'rdf:type'(':N989',X).
'rdf:type'(':N988',X) => 'rdf:type'(':I989',X).
'rdf:type'(':N988',X) => 'rdf:type'(':J989',X).
'rdf:type'(':N989',X) => 'rdf:type'(':N990',X).
'rdf:type'(':N989',X) => 'rdf:type'(':I990',X).
'rdf:type'(':N989',X) => 'rdf:type'(':J990',X).
'rdf:type'(':N990',X) => 'rdf:type'(':N991',X).
'rdf:type'(':N990',X) => 'rdf:type'(':I991',X).
'rdf:type'(':N990',X) => 'rdf:type'(':J991',X).
'rdf:type'(':N991',X) => 'rdf:type'(':N992',X).
'rdf:type'(':N991',X) => 'rdf:type'(':I992',X).
'rdf:type'(':N991',X) => 'rdf:type'(':J992',X).
'rdf:type'(':N992',X) => 'rdf:type'(':N993',X).
'rdf:type'(':N992',X) => 'rdf:type'(':I993',X).
'rdf:type'(':N992',X) => 'rdf:type'(':J993',X).
'rdf:type'(':N993',X) => 'rdf:type'(':N994',X).
'rdf:type'(':N993',X) => 'rdf:type'(':I994',X).
'rdf:type'(':N993',X) => 'rdf:type'(':J994',X).
'rdf:type'(':N994',X) => 'rdf:type'(':N995',X).
'rdf:type'(':N994',X) => 'rdf:type'(':I995',X).
'rdf:type'(':N994',X) => 'rdf:type'(':J995',X).
'rdf:type'(':N995',X) => 'rdf:type'(':N996',X).
'rdf:type'(':N995',X) => 'rdf:type'(':I996',X).
'rdf:type'(':N995',X) => 'rdf:type'(':J996',X).
'rdf:type'(':N996',X) => 'rdf:type'(':N997',X).
'rdf:type'(':N996',X) => 'rdf:type'(':I997',X).
'rdf:type'(':N996',X) => 'rdf:type'(':J997',X).
'rdf:type'(':N997',X) => 'rdf:type'(':N998',X).
'rdf:type'(':N997',X) => 'rdf:type'(':I998',X).
'rdf:type'(':N997',X) => 'rdf:type'(':J998',X).
'rdf:type'(':N998',X) => 'rdf:type'(':N999',X).
'rdf:type'(':N998',X) => 'rdf:type'(':I999',X).
'rdf:type'(':N998',X) => 'rdf:type'(':J999',X).
'rdf:type'(':N999',X) => 'rdf:type'(':N1000',X).
'rdf:type'(':N999',X) => 'rdf:type'(':I1000',X).
'rdf:type'(':N999',X) => 'rdf:type'(':J1000',X).
'rdf:type'(':N1000',X) => 'rdf:type'(':A2',X).

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

