vti_encoding:SR|utf8-nl vti_author:SR|Eliza vti_timecreated:TR|01 Mar 2003 04:11:53 -0000 vti_timelastmodified:TR|14 Feb 2004 18:53:25 -0000 vti_filesize:IR|2711 vti_title:SR|Tracing Constraint Functions and Predicates vti_metatags:VR|HTTP-EQUIV=Content-Type text/html;\\ charset=windows-1252 GENERATOR Microsoft\\ FrontPage\\ 4.0 ProgId FrontPage.Editor.Document HTTP-EQUIV=Content-Type text/html;\\ charset=iso-8859-1 vti_progid:SR|FrontPage.Editor.Document vti_generator:SR|Microsoft FrontPage 4.0 vti_extenderversion:SR|4.0.2.7802 vti_backlinkinfo:VX|constraints_tab.htm eval_const.htm index.htm vti_nexttolasttimemodified:TR|14 Feb 2004 18:44:13 -0000 vti_modifiedby:SR|eliza vti_cacheddtm:TX|14 Feb 2004 18:53:25 -0000 vti_cachedlinkinfo:VX|Q|http://protege.stanford.edu/styles/plugins.css S|images/nerd32x32.gif S|images/header_line.gif S|images/trace_1.gif H|constraints_tab.htm H|eval_const.htm H|eval_const.htm H|query_tab.htm H|index.htm vti_cachedsvcrellinks:VX|NQHS|http://protege.stanford.edu/styles/plugins.css FSUS|images/nerd32x32.gif FSUS|images/header_line.gif FSUS|images/trace_1.gif FHUS|constraints_tab.htm FHUS|eval_const.htm FHUS|eval_const.htm FHUS|query_tab.htm FHUS|index.htm vti_cachedtitle:SR|Tracing Constraint Functions and Predicates vti_cachedbodystyle:SR| vti_cachedhasbots:BR|false vti_cachedhastheme:BR|false vti_cachedhasborder:BR|false