_:vb11854	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:vb11856 .
_:vb11858	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#nil> .
_:vb11856	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://yang.eurecom.fr/codeontology/LambdaExpression> .
_:vb11858	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://yang.eurecom.fr/codeontology/Variable> .
_:vb11856	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:vb11857 .
_:vb11855	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://www.w3.org/2002/07/owl#Class> .
_:vb11857	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://yang.eurecom.fr/codeontology/Type> .
_:vb11857	<http://www.w3.org/1999/02/22-rdf-syntax-ns#rest>	_:vb11858 .
_:vb11855	<http://www.w3.org/2002/07/owl#unionOf>	_:vb11854 .
_:vb11854	<http://www.w3.org/1999/02/22-rdf-syntax-ns#first>	<http://yang.eurecom.fr/codeontology/Executable> .