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

LC:
 	9 * num0
	-1 * num1
	-4 * num2
	2 * num3
	= -11
 
LC0:
 	-9 * num2
	-4 * num3
	= -17
 
LC0-prime:
 	-9 * num0
	1 * num1
	-5 * num2
	-6 * num3
	= -6
 
