conjunction
INSTANCE conjunction#5;
tipe = simple_type(logical_type);
conjuncts = {comparator#11, comparator#12};
END_INSTANCE;
INSTANCE conjunction#6;
tipe = simple_type(logical_type);
conjuncts = {function_call#6, function_call#7};
END_INSTANCE;
INSTANCE conjunction#7;
extracted_from = entity_type#199;
description = "null";
conjuncts = {function_call#9, negation#3};
END_INSTANCE;
INSTANCE conjunction#8;
extracted_from = entity_type#201;
description = "null";
conjuncts = {equation#11, function_call#8};
END_INSTANCE;