|  A further continuation example based on   http://www.parlezuml.com/tutorials/ocl/index_files/frame.htm
|  and on the paper ''Mixin Based Behaviour Modelling'', by Ashley McNeile and Nicholas Simons,
|  ( ashley.mcneile@metamaxim.com )
|
|  Here we reason to show that if a married person dies, then their living spouse becomes single.
|
|  Note that you can make a copy of the example and change it, using your browser.  
|
|  Consider extending it to reason about the marriages of Henry the Eighth !

|    You can run and change these rules in a browser, using the Internet Business Logic system
|                          at  www.reengineeringllc.com


the time some-time is of interest
at time some-time1 the marriage of some-person1 to some-person2 started
at time some-time2 the marriage of that-person1 to that-person2 ended
that-time1 is less than or equal that-time
that-time is less than or equal that-time2
----------------------------------------------------------------------
at time that-time the marital status of that-person1 is MARRIED


the time some-time is of interest
at time some-time1 the marriage of some-person1 to some-person2 started
at time some-time2 the marriage of that-person1 to that-person2 ended
that-time1 is less than or equal that-time
that-time is less than or equal that-time2
----------------------------------------------------------------------
at time that-time the marital status of that-person2 is MARRIED


the time some-time is of interest
at time some-time1 the marriage of some-person1 to some-person2 started
that-time is less than that-time1
-------------------------------------------------------------------------
at time that-time the marital status of that-person1 is SINGLE


the time some-time is of interest
at time some-time1 the marriage of some-person1 to some-person2 started
that-time is less than that-time1
-------------------------------------------------------------------------
at time that-time the marital status of that-person2 is SINGLE


the time some-time is of interest
at time some-time1 the marriage of some-person1 to some-person2 ended
that-time is greater than that-time1
-------------------------------------------------------------------------
at time that-time the marital status of that-person1 is SINGLE


the time some-time is of interest
at time some-time1 the marriage of some-person1 to some-person2 ended
that-time is greater than that-time1
-------------------------------------------------------------------------
at time that-time the marital status of that-person2 is SINGLE


some-person was born at some-time
------------------------------------
that-person is listed in the database


some-person1 who is male married some-person2 who is female at time some-time
-----------------------------------------------------------------------------
at time that-time the marriage of that-person1 to that-person2 started


the marriage of some-person1 who is male to some-person2 who is female ended at time some-time
----------------------------------------------------------------------------------------------
at time that-time the marriage of that-person1 to that-person2 ended


the life of this-person ended at time this-time
================================================
             Mary                      4
             John                      3


the time this-time is of interest
=======================================
         1
         2
         3
         4
         5


this-person who is male married this-other-person who is female at time this-time
=================================================================================
Fred                             Mary                                    2
John                             Gloria                                  2


some-person1 who is male married some-person2 who is female at time some-time1
the life of that-person1 ended at time some-time2
not : the life of that-person2 ended before that-time2
-----------------------------------------------------------------------------------------------
the marriage of that-person1 who is male to that-person2 who is female ended at time that-time2


some-person1 who is male married some-person2 who is female at time some-time1
the life of that-person2 ended at time some-time2
not : the life of that-person1 ended before that-time2
-----------------------------------------------------------------------------------------------
the marriage of that-person1 who is male to that-person2 who is female ended at time that-time2


the life of some-person ended at time some-time1
that-time1 is less than some-time
------------------------------------------------
the life of that-person ended before that-time


this-person was born at this-time
=================================
Fred                     1
John                     1
Mary                     1
Gloria                   1


at time some-time the marital status of some-person is some-status
====================================================================