_:vb11915	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://yang.eurecom.fr/codeontology/ParameterizedType> .
_:vb13104	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Class> .
<http://yang.eurecom.fr/codeontology/isArgumentTypeOf>	<http://www.w3.org/2000/01/rdf-schema#range>	<http://yang.eurecom.fr/codeontology/TypeArgument> .
_:vb13109	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://yang.eurecom.fr/codeontology/isArgumentTypeOf>	<http://www.w3.org/2000/01/rdf-schema#subPropertyOf>	<http://yang.eurecom.fr/codeontology/isTypeOf> .
_:vb11911	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:vb11913 .
_:vb13105	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:vb13106 .
_:vb13107	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:vb13108 .
_:vb13106	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://yang.eurecom.fr/codeontology/Interface> .
_:vb13106	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:vb13107 .
_:vb11916	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:vb11917 .
_:vb11917	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
<http://yang.eurecom.fr/codeontology/isArgumentTypeOf>	<http://www.w3.org/2000/01/rdf-schema#domain>	_:vb11912 .
_:vb11915	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:vb11916 .
_:vb11914	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://yang.eurecom.fr/codeontology/Interface> .
<http://yang.eurecom.fr/codeontology/isArgumentTypeOf>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#ObjectProperty> .
<http://yang.eurecom.fr/codeontology/isArgumentTypeOf>	<http://www.w3.org/2000/01/rdf-schema#label>	"is argument type of"^^<http://www.w3.org/2001/XMLSchema#string> .
_:vb11912	<http://www.w3.org/2002/07/owl#unionOf>	_:vb11911 .
_:vb11914	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:vb11915 .
_:vb13105	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://yang.eurecom.fr/codeontology/Enum> .
<http://yang.eurecom.fr/codeontology/isArgumentTypeOf>	<http://www.w3.org/2000/01/rdf-schema#comment>	"Relates a `Type` to each of its `Type Argument` mirrors in a `Parameterized Type`s."^^<http://www.w3.org/2001/XMLSchema#string> .
_:vb13109	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://yang.eurecom.fr/codeontology/Wildcard> .
<http://yang.eurecom.fr/codeontology/isArgumentTypeOf>	<http://www.w3.org/2000/01/rdf-schema#domain>	_:vb13104 .
_:vb11917	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://yang.eurecom.fr/codeontology/Wildcard> .
_:vb13108	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:vb13109 .
_:vb11912	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Class> .
_:vb11913	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://yang.eurecom.fr/codeontology/Enum> .
_:vb13103	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://yang.eurecom.fr/codeontology/Class> .
_:vb11911	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://yang.eurecom.fr/codeontology/Class> .
_:vb13104	<http://www.w3.org/2002/07/owl#unionOf>	_:vb13103 .
_:vb13108	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://yang.eurecom.fr/codeontology/TypeVariable> .
_:vb13103	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:vb13105 .
_:vb13107	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://yang.eurecom.fr/codeontology/ParameterizedType> .
_:vb11913	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:vb11914 .
_:vb11916	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://yang.eurecom.fr/codeontology/TypeVariable> .