Note
Access to this page requires authorization. You can try signing in or changing directories.
Access to this page requires authorization. You can try changing directories.
1/5/2010
too many names in rule
An inference rule cannot specify more than two extensions.