Uses of Class
com.cyc.cycjava.cycl.clausifier.$do_implications$UnaryFunction

No usage of com.cyc.cycjava.cycl.clausifier.$do_implications$UnaryFunction