_:vb13362	<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/hasSubExpression>	<http://www.w3.org/2002/07/owl#inverseOf>	<http://yang.eurecom.fr/codeontology/isSubExpressionOf> .
_:vb13362	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://yang.eurecom.fr/codeontology/Statement> .
_:vb13363	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:vb13365 .
_:vb13361	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Class> .
_:vb12170	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:vb12173	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:vb12174 .
<http://yang.eurecom.fr/codeontology/hasSubExpression>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#ObjectProperty> .
_:vb12172	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Class> .
_:vb12172	<http://www.w3.org/2002/07/owl#unionOf>	_:vb12171 .
_:vb12171	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:vb12173 .
<http://yang.eurecom.fr/codeontology/hasSubExpression>	<http://www.w3.org/2000/01/rdf-schema#domain>	_:vb12169 .
_:vb13365	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:vb13366 .
_:vb12167	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://yang.eurecom.fr/codeontology/Expression> .
_:vb12169	<http://www.w3.org/2002/07/owl#unionOf>	_:vb12167 .
_:vb13359	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://yang.eurecom.fr/codeontology/Expression> .
_:vb13364	<http://www.w3.org/2002/07/owl#unionOf>	_:vb13363 .
<http://yang.eurecom.fr/codeontology/hasSubExpression>	<http://www.w3.org/2000/01/rdf-schema#label>	"has sub-expression"@en .
_:vb13366	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:vb12173	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://yang.eurecom.fr/codeontology/LeftValue> .
_:vb12169	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Class> .
_:vb12174	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:vb13365	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://yang.eurecom.fr/codeontology/LeftValue> .
_:vb13359	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:vb13362 .
<http://yang.eurecom.fr/codeontology/hasSubExpression>	<http://www.w3.org/2000/01/rdf-schema#domain>	_:vb13361 .
_:vb13364	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Class> .
_:vb13361	<http://www.w3.org/2002/07/owl#unionOf>	_:vb13359 .
_:vb12174	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://yang.eurecom.fr/codeontology/Variable> .
<http://yang.eurecom.fr/codeontology/hasSubExpression>	<http://www.w3.org/2000/01/rdf-schema#subPropertyOf>	<http://rdf-vocabulary.ddialliance.org/xkos#hasPart> .
<http://yang.eurecom.fr/codeontology/hasSubExpression>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#InverseFunctionalProperty> .
_:vb13366	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://yang.eurecom.fr/codeontology/Variable> .
<http://yang.eurecom.fr/codeontology/hasSubExpression>	<http://www.w3.org/2000/01/rdf-schema#range>	_:vb13364 .
<http://yang.eurecom.fr/codeontology/hasSubExpression>	<http://www.w3.org/2000/01/rdf-schema#comment>	"Relates a `Statement` or `Expression` to the `Expression`s it contains."@en .
_:vb13363	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://yang.eurecom.fr/codeontology/Expression> .
_:vb12171	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://yang.eurecom.fr/codeontology/Expression> .
<http://yang.eurecom.fr/codeontology/hasSubExpression>	<http://www.w3.org/2000/01/rdf-schema#range>	_:vb12172 .
_:vb12167	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:vb12170 .
_:vb12170	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://yang.eurecom.fr/codeontology/Statement> .