McBride, Brian states ---
"M&S is quite specific when it
talks about reification that a statement and
the resource that models it are different things. I haven't understood why and I've just
been wondering if one could consider statements to be resources."
There is a good reason for this. We
might want to make statements about
a possible assertion without asserting it to be true.
e.g., Sometime last century, the state
of Kansas, realising that its construction
bills were affected by the value of pi, decided to pass a legislation that in
the state of Kansas, pi=3.14. We want to say believes(StateOfKansas, value(pi, 3.14)),
without actually asserting that value(pi, 3.14).