time.")
&gt; &gt;
&gt; &gt; (documentation History  "A proposition (RA) about an occurrent (O).
&gt; &gt;  A history is a proposition (RA) that relates some script (IAO) to
&gt; &gt;  the stages of some occurrent (O).  A computer program, for example,
&gt; &gt;  is a script (IAO);  a computer executing the program is a process (IPO);
&gt; &gt;  and the abstract information (A) encoded in a trace of the instructions
&gt; &gt;  executed is a history (RAO).  Like any proposition, a history need not 
&gt; be tr