PREFIX : <http://www.semanticweb.org/alisa/ontologies/2023/concrete-domain/artificial#> 

LC:
 	-6 * num1
	15 * num3
	= 6
 
LC0:
 	1 * num0
	17 * num3
	-8 * num4
	= 15
 
LC0-prime:
 	-6 * num1
	15 * num3
	= 6
 
