Subject: Fragments

Keywords: ::dekreitz

Title: Tactical Normal Form

--------------------------------------------------

Tactic expression containing only dekreitzble structure instances and no
leaf contains a tactical function reference.

A structure instance is dekreitzable if first obid of operator 
points to term definition of tactical function data with a dekreitableStructure
property. Further the property should be the obid of the structure definition,
however this can be assumed to be true if property exists.

Text does not contain a tactical function reference if no function reference
indexes a tactical function definition. 

Will primarily appear in TNF property of fragment record.

All TNF tactical instances will be dekreitzable operators
All leaves of TNF should either not reduce in lib or reduce in ref also

   


⋅
--------------------------------------------------

Authors: 

Contributors: NUPRL:t

⋅

Home