exclusive_disjunction


INSTANCE exclusive_disjunction#1;
	tipe = "jex.IncompatibleTypeException: jex.GenericType is incompatible with jex.GenericType";
	disjuncts = {conjunction#5, negation#3};
END_INSTANCE;

INSTANCE exclusive_disjunction#2;
	tipe = "jex.IncompatibleTypeException: jex.GenericType is incompatible with jex.GenericType";
	disjuncts = {conjunction#6, negation#4};
END_INSTANCE;

INSTANCE exclusive_disjunction#3;
	tipe = "jex.IncompatibleTypeException: jex.GenericType is incompatible with jex.GenericType";
	disjuncts = {conjunction#7, negation#5};
END_INSTANCE;

INSTANCE exclusive_disjunction#4;
	tipe = "jex.IncompatibleTypeException: jex.GenericType is incompatible with jex.GenericType";
	disjuncts = {conjunction#8, negation#6};
END_INSTANCE;