Uses of Class
com.cyc.cycjava.cycl.assertions_high.$valid_assertion$UnaryFunction

No usage of com.cyc.cycjava.cycl.assertions_high.$valid_assertion$UnaryFunction