#3 strong negation in Interpretation view

[aifargonos]

Interpretation view mixes up atoms with their strong negation, e.g. p(1) and -p(2) are in the same node in the tree displaying the answer set.
It would be nice either to sort the literals in one node according to their polarity, or to put the strongly negated ones into other node. Simply: make a visual and presentation distinction between strong complements.

[joergp]

imho, this should be optional, i.e., one way of sorting the view.
The current default sorting has also positive aspects: it allows to search for a concrete atom by its arguments and see whether it is true, strongly, or default negated (the latter in case of absence)