Hi,
How can I use the Java API to add a rule containing variables to a microtheory. There are many methods for asserting a GAF but I can't find a method for adding a rule. Any help would be greatly appreciated.

Thanks,
America.