http://obi.svn.sourceforge.net/svnroot/obi/releases/2008-07-25/merged/ OBI.owl Inside p4, fact++ classifies it, however it causes an error for pellet, even given a good chunk of memory. Gets stuck at 38%. -Alan