../ fact_parse.tdt 24-Jul-2006 01:21 1094 goal_parse.tdt 24-Jul-2006 01:21 909 rule_parse.tdt 24-Jul-2006 01:21 2189