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;