This is TeX, Version 3.141 (C version d) (format=latex 95.9.5)  5 SEP 1996 19:22
**draft
(draft.tex
LaTeX2e <1995/06/01> patch level 3
(/usr/local/tex/inputs/sdthesis.cls
Document Class: sdthesis 1995/10/14 Monash Software Development thesis class
(/usr/local/tex/inputs/book.cls
Document Class: book 1995/06/26 v1.3g Standard LaTeX document class
(/usr/local/tex/inputs/bk11.clo
File: bk11.clo 1995/06/26 v1.3g Standard LaTeX file (size option)
)
\c@part=\count82
\c@chapter=\count83
\c@section=\count84
\c@subsection=\count85
\c@subsubsection=\count86
\c@paragraph=\count87
\c@subparagraph=\count88
\c@figure=\count89
\c@table=\count90
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\bibindent=\dimen102
) (/usr/local/tex/inputs/ulem.sty
\UL@hyphenbox=\box26
\UL@box=\box27
\UL@skip=\skip43
\ULdepth=\dimen103
\UL@pixel=\dimen104
\ULC@box=\box28
Package: ulem 1994/07/23
)
(/usr/local/tex/inputs/setspace.sty)
\hour=\count91
\minute=\count92
) (/usr/local/tex/inputs/chicago.sty
Using Chicago Manual of Style bibliography: 31 August 1992
\bibhang=\skip44
\bibindent=\dimen105
) (/usr/local/tex/inputs/epsf.sty
\epsffilein=\read1
\epsfxsize=\dimen106
\epsfysize=\dimen107
\epsftsize=\dimen108
\epsfrsize=\dimen109
\epsftmp=\dimen110
\pspoints=\dimen111
) (draft.aux)
LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 21.
LaTeX Font Info:    ... okay on input line 21.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 21.
LaTeX Font Info:    ... okay on input line 21.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 21.
LaTeX Font Info:    ... okay on input line 21.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 21.
LaTeX Font Info:    ... okay on input line 21.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 21.
LaTeX Font Info:    ... okay on input line 21.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 21.
LaTeX Font Info:    ... okay on input line 21.
LaTeX Font Info:    Try loading font information for OMS+cmr on input line 25.
 (/usr/local/tex/inputs/OMScmr.fd
File: OMScmr.fd 1995/04/22 v2.3f Standard LaTeX font definitions
)
LaTeX Font Info:    Font shape `OMS/cmr/m/n' in size <10.95> not available
(Font)              Font shape `OMS/cmsy/m/n' tried instead on input line 25.
 [1


] [2] (draft.toc
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <10.95> on input line 1.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <8> on input line 1.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <6> on input line 1.
 [3

] [4] [5])
\tf@toc=\write3
 [6] (draft.lot [7

])
\tf@lot=\write4
 [8] (draft.lof
Overfull \hbox (1.09566pt too wide) in paragraph at lines 12--12
 [][] []\OT1/cmr/m/n/10.95 Smythe 87 model de-vel-oped to ex-plain the con-nec-
tions be-tween serum adreno- 
 []

)
\tf@lof=\write5
 [9

] (abstract.tex) [10]
Underfull \hbox (badness 10000) in paragraph at lines 35--35
[][]
 []

[11] (acknowledge.tex) [12

] [13] (aims.tex
Chapter 1.
[1


]) (methods.tex [2] [3]) (infer.tex [4]
Chapter 2.
[5

]
Overfull \hbox (9.0534pt too wide) in paragraph at lines 68--73
[]\OT1/cmr/m/n/10.95 The lit-er-als that do not ap-pear in the con-se-quent of 
any im-pli-ca-tion, (e.g. []\OT1/cmtt/m/n/10.95 rained_last_night
 []

[6] [7]) (verify.tex [8]
Chapter 3.
[9

]
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <9> on input line 47.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <5> on input line 47.
 [10] [11] [12]
Overfull \hbox (12.65675pt too wide) in paragraph at lines 184--192
\OT1/cmr/m/n/10.95 tent lit-er-als $\OML/cmm/m/it/10.95 L[]; :::; L[]$ \OT1/cmr
/m/n/10.95 can be spec-i-fied in the dec-la-ra-tion $\OML/cmm/m/it/10.95 INCOMP
ATIBLE\OT1/cmr/m/n/10.95 (\OML/cmm/m/it/10.95 L[]; :::; L[]\OT1/cmr/m/n/10.95 )
$.
 []

[13]) (validate.tex [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24])
(ht4defn.tex [25]
Chapter 4.
[26

] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [40])
(complex.tex [41] (runtimes.tex
\plotpoint=\box29
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <7> on input line 51.
)) (network.tex [42] [43] [44] [45] [46]
[47] [48] [49] [50] [51]
Overfull \hbox (20.16371pt too wide) in paragraph at lines 444--447
[]\OT1/cmr/m/n/10.95 Recall that \OT1/cmr/m/it/10.95 mea-sure \OT1/cmr/m/n/10.9
5 has the do-main $\OMS/cmsy/m/n/10.95 f\OML/cmm/m/it/10.95 up; down; steady\OM
S/cmsy/m/n/10.95 g$\OT1/cmr/m/n/10.95 , \OT1/cmr/m/it/10.95 event \OT1/cmr/m/n/
10.95 has the do-main $\OMS/cmsy/m/n/10.95 f\OML/cmm/m/it/10.95 present; absent
\OMS/cmsy/m/n/10.95 g$\OT1/cmr/m/n/10.95 ,
 []

[52] [53] [54]
Overfull \hbox (51.4552pt too wide) in paragraph at lines 552--556
[]$\OML/cmm/m/it/10.95 maybes \OT1/cmr/m/n/10.95 = \OMS/cmsy/m/n/10.95 f\OML/cm
m/m/it/10.95 dex \OT1/cmr/m/n/10.95 = \OML/cmm/m/it/10.95 arrived; dex \OT1/cmr
/m/n/10.95 = \OML/cmm/m/it/10.95 left; dex \OT1/cmr/m/n/10.95 = \OML/cmm/m/it/1
0.95 present; dex \OT1/cmr/m/n/10.95 = \OML/cmm/m/it/10.95 absent; coldswim \OT
1/cmr/m/n/10.95 = \OML/cmm/m/it/10.95 arrived; coldswim \OT1/cmr/m/n/10.95 =
 []


Overfull \hbox (17.62128pt too wide) in paragraph at lines 552--556
\OML/cmm/m/it/10.95 left; coldswim \OT1/cmr/m/n/10.95 = \OML/cmm/m/it/10.95 pre
sent; coldswim \OT1/cmr/m/n/10.95 = \OML/cmm/m/it/10.95 absent; nna \OT1/cmr/m/
n/10.95 = \OML/cmm/m/it/10.95 up; nna \OT1/cmr/m/n/10.95 = \OML/cmm/m/it/10.95 
steady; nna \OT1/cmr/m/n/10.95 = \OML/cmm/m/it/10.95 down; cortico \OT1/cmr/m/n
/10.95 =
 []

) (pseudo.tex [55]
Chapter 5.
[56

] [57] [58] [59] [60] [61] [62] [63]
Overfull \hbox (1.4466pt too wide) in paragraph at lines 350--358
\OT1/cmr/m/n/10.95 con-sists of the func-tion \OT1/cmr/bx/n/10.95 all[]proofs\O
T1/cmr/m/n/10.95 . Func-tions, like \OT1/cmr/bx/n/10.95 cleanup\OT1/cmr/m/n/10.
95 , \OT1/cmr/bx/n/10.95 setup\OT1/cmr/m/n/10.95 , and \OT1/cmr/bx/n/10.95 miss
ed[]missables
 []

[64] [65] [66] [67] [68]
Overfull \hbox (3.28027pt too wide) in paragraph at lines 591--591
[]               \OT1/cmtt/m/n/10.95 if v1.relevant and not bset?(Example.facts
, v1.id) then begin[] 
 []

[69] [70] [71] [72] [73] [74] [75]
Overfull \hbox (31.46985pt too wide) in paragraph at lines 844--855
\OT1/cmr/m/n/10.95 ment. The en-vi-ron-ment of each world is de-ter-mined by a 
call to the \OT1/cmr/bx/n/10.95 world[]defining[]assumptions
 []

[76] [77] [78] [79]
Overfull \hbox (20.52634pt too wide) in paragraph at lines 1015--1015
[]        \OT1/cmtt/m/n/10.95 function values_used_by_objects(objects:bitstring
) : list of assignment[] 
 []


Overfull \hbox (9.02896pt too wide) in paragraph at lines 1015--1015
[]                                \OT1/cmtt/m/n/10.95 if bset?(baseControversia
lAssumption, l.v.id)[] 
 []

[80] [81] [82]
Overfull \hbox (3.28027pt too wide) in paragraph at lines 1101--1101
[]        \OT1/cmtt/m/n/10.95 for w in 1 to size(ws) do  if score[w] = max then
 out = out + ws[w];[] 
 []

[83] [84]
Overfull \hbox (20.23827pt too wide) in paragraph at lines 1190--1198
\OT1/cmr/m/n/10.95 sis-tent proofs; and, \OT1/cmr/bx/n/10.95 in-sert[]item \OT1
/cmr/m/n/10.95 and \OT1/cmr/bx/n/10.95 in-sert[]product\OT1/cmr/m/n/10.95 , whi
ch are called from the \OT1/cmr/bx/n/10.95 cross[]product
 []

) (smythe89.tex [85]
Chapter 6.

Overfull \hbox (22.34462pt too wide) in paragraph at lines 20--34
 [] 
 []

[86

] [87]) (optimise.tex [88]
Chapter 7.
[89

] [90] [91]
Overfull \hbox (0.92616pt too wide) in paragraph at lines 147--151
\OML/cmm/m/it/10.95 left; ff \OT1/cmr/m/n/10.95 = \OML/cmm/m/it/10.95 present; 
ff \OT1/cmr/m/n/10.95 = \OML/cmm/m/it/10.95 absent; bb \OT1/cmr/m/n/10.95 = \OM
L/cmm/m/it/10.95 up; bb \OT1/cmr/m/n/10.95 = \OML/cmm/m/it/10.95 steady; bb \OT
1/cmr/m/n/10.95 = \OML/cmm/m/it/10.95 down; cc \OT1/cmr/m/n/10.95 = \OML/cmm/m/
it/10.95 up; cc \OT1/cmr/m/n/10.95 = \OML/cmm/m/it/10.95 steady; cc \OT1/cmr/m/
n/10.95 =
 []

[92] [93] [94] [95] [96] [97] [98]
Overfull \hbox (20.52634pt too wide) in paragraph at lines 487--487
[]               \OT1/cmtt/m/n/10.95 if (V[v].controversial and Options.single_
world_assumption) then[] 
 []

[99] [100] [101] [102] [103]
Overfull \hbox (3.28027pt too wide) in paragraph at lines 705--705
[]               \OT1/cmtt/m/n/10.95 if v1.relevant and not bset?(Example.facts
, v1.id) then begin[] 
 []

[104] [105]) (conclude.tex [106]
Chapter 8.
[107

] [108]) (rules.tex [109]
Appendix A.
[110

]
Overfull \hbox (19.96738pt too wide) in paragraph at lines 50--53
\OML/cmm/m/it/10.95 PERSON\OT1/cmr/m/n/10.95 (\OML/cmm/m/it/10.95 John\OT1/cmr/
m/n/10.95 )$ be-ing true, would cause the above rule to fire, thus in-fer-ring 
$\OML/cmm/m/it/10.95 MORTAL\OT1/cmr/m/n/10.95 (\OML/cmm/m/it/10.95 John\OT1/cmr
/m/n/10.95 )$
 []

[111]) (draft.bbl [112] [113

] [114] [115]) [116] (draft.aux) ) 
Here is how much of TeX's memory you used:
 760 strings out of 10959
 7659 string characters out of 73531
 63473 words of memory out of 262141
 3488 multiletter control sequences out of 9500
 11647 words of font info for 41 fonts, out of 100000 for 255
 14 hyphenation exceptions out of 607
 26i,10n,23p,485b,331s stack positions out of 300i,40n,60p,3000b,4000s

Output written on draft.dvi (129 pages, 348764 bytes).