Uses of Class
com.cyc.cycjava.cycl.tva_utilities.$some_transitive_via_arg_assertionP$UnaryFunction

No usage of com.cyc.cycjava.cycl.tva_utilities.$some_transitive_via_arg_assertionP$UnaryFunction