val1: EXISTS(node_array) XOR EXISTS(part); val2: (EXISTS(node_array) AND EXISTS(binset_grid)) OR ((NOT EXISTS(node_array)) AND (NOT EXISTS(binset_grid))); val3: (EXISTS(whole) AND EXISTS(segment_order)) OR ((NOT EXISTS(whole)) AND (NOT EXISTS(segment_order)));