public class ClassicalCategorizer
This class implements a simple categorizer that does
an bottom-up marking of the tree; leafs are marked
undefeated and an inner node is marked defeated
if at least one child is marked undefeated and
The method "categorize" returns "1" if the root node is
undefeated and "0" if it is defeated.
This method categorizes the given argument tree. In general,
the semantics of this function is that a higher value of
this categorization means a higher belief in the claim
of the root argument of the argument tree.