On the Categorizing of Simply Separable Relations in Partial Four-Valued Logic