_:vb12040	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://yang.eurecom.fr/codeontology/ParameterizedType> .
_:vb12040	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:vb12041 .
_:vb12037	<http://www.w3.org/2002/07/owl#allValuesFrom>	_:vb12038 .
_:vb12036	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://yang.eurecom.fr/codeontology/Class> .
_:vb12037	<http://www.w3.org/2002/07/owl#onProperty>	<http://yang.eurecom.fr/codeontology/hasSuperBound> .
_:vb12038	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Class> .
_:vb12039	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://yang.eurecom.fr/codeontology/Interface> .
_:vb12041	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:vb12039	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:vb12040 .
_:vb12037	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Restriction> .
_:vb12036	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:vb12039 .
_:vb12038	<http://www.w3.org/2002/07/owl#unionOf>	_:vb12036 .
_:vb12041	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://yang.eurecom.fr/codeontology/TypeVariable> .