|  A simplified example based on   http://www.parlezuml.com/tutorials/ocl/index_files/frame.htm
|
|  If person1 is male and person2 is female, then they cannot be the same person.
|  So, there is actually no need to guard the ''could get married'' any further.

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


some-person1 who is male and some-person2 who is female could get married
add : that-person1 is married to that-person2
--------------------------------------------------------------------------------------------------------------------------
change the database to show that that-person1 and that-person2 are married ( pick a man then a woman from the menus first )


the gender of some-person1 is male
not : that-person1 is married
the gender of some-person2 is female
not : that-person2 is married
-------------------------------------------------------------------------
that-person1 who is male and that-person2 who is female could get married


some-person is married to some-other-person
--------------------------------------------
that-person is married


some-other-person is married to some-person
--------------------------------------------
that-person is married


this-person1 is married to this-person2
========================================
Fred                         Mary


the gender of this-person is this-gender
=========================================
               Fred           male
               John           male
               Martin         male
               Mary           female
               Jane           female
               Liza           female