We have considered implementing a model 
, given 
.
We now consider implementing 
.
As before,
,
of extended real numbers,
produces a valid description of the relationship
between m and , in terms of the provided set 
,
of extended real numbers:
``translates''
from to .
For the function 
, an evaluation
of the model proceeds as follows:
is analogous
to the evaluation of 
.
The resulting domain description f'(d'); 
, 
;
is determined using f(d), , , and :
, given by 
, corresponds to 
:
, given indirectly by 
, similarly corresponds to
:
is chosen, by 
,
to facilitate the impending computation of 
.
The chosen is used to describe the domain of 
.
The resulting value v', 
, depends on f'(d').
If 
,
the resulting value is given by the methods outlined earlier:
, the resulting value is arbitrary:
| Jeff Tupper | March 1996 |