Properties of maximal cliques of a pair-wise compatibility graph for three nonmonotonic reasoning system