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

A1:
 	1 * x
	= 0
 
A2:
 	1 * y
	= 0

A3:
 	1 * z
	= 0


A4:
 	1 * x
	1 * y
	-1 * z
	= 0
 
