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

LC:
 	20 * num0
	15 * num1
	18 * num3
	-15 * num4
	= 15
 
LC0:
 	15 * num0
	14 * num1
	5 * num2
	9 * num3
	-18 * num4
	= 9
 
LC0-prime:
 	50 * num0
	43 * num1
	10 * num2
	36 * num3
	-51 * num4
	= 33
 
EQ0:
    1 * num0
    -1 * num1
    = 0

EQ1:
    1 * num1
    -1 * num2
    = 0

EQ2:
    1 * num2
    -1 * num3
    = 0

EQ3:
    1 * num3
    -1 * num4
    = 0