activefacts 0.8.6 → 0.8.8

data/download.html

@@ -13,15 +13,17 @@
   </h2>
 
   <p>
-  ActiveFacts is <a href="http://rubygems.rubyforge.org/">packaged</a>
-  as a <a href="http://www.ruby-lang.org/">Ruby</a> <a href="http://gems.rubyforge.org/">GEM</a>.
-  You should install Ruby, and say
+  ActiveFacts is packaged as a <a href="http://www.ruby-lang.org/">Ruby</a> <a href="http://gems.rubyforge.org/">GEM</a>.
+  If you have Ruby installed, just say (omit "sudo" on Windows):
   </p>
 
   <pre>
   sudo gem install activefacts
   </pre>
 
+  <h3 class="title">
+    API Documentation
+  </h3>
   <p>
   After installing, you can read the Ruby API documentation by visiting
   <a href="http://localhost:8808/">http://localhost:8808/</a> in your browser after starting
@@ -30,41 +32,63 @@
   gem server
   </pre>
 
+  <h3 class="title">
+    The ActiveFacts generator
+  </h3>
   <p>
-  CQL Examples are provided in a directory under your gem directory, and you can generate
-  code from them using commands like the following (change the path to your gem repository):
+  CQL Examples are provided in the <b>examples/CQL</b> directory under activefacts in your gem directory
+  (mine is <b>/opt/local/lib/ruby/gems/1.8/gems/</b>).  Copy the files you're interested in and you can
+  generate code from them using commands like the following:
   </p>
 
   <pre>
-  afgen --ruby /opt/local/lib/ruby/gems/1.8/gems/activefacts-0.6.0/examples/CQL/OilSupply.cql
-  afgen --sql/server /opt/local/lib/ruby/gems/1.8/gems/activefacts-0.6.0/examples/CQL/Warehousing.cql
+  afgen --ruby OilSupply.cql
+  afgen --sql/server Warehousing.cql
   </pre>
 
   <p>
   <em>afgen</em> also reads <em>.orm</em> files from <a href="http://ormfoundation.org/files">NORMA</a>.
+  You might also try the CQL command line tool.
   </p>
 
-  <h3>Source Code Repository</h3>
+  <h3 class="title">
+    Installing on Windows
+  </h3>
   <p>
-  The <a href="http://subversion.tigris.org/">Subversion</a> repository is also available
-  at <a href="http://rubyforge.org/projects/activefacts/">RubyForge</a>.
-  If you're on Windows and don't have Subversion installed, you can also
-  get a client like Tortoise or cygwin. If you use a command-line <em>svn</em> client, say:
+  Use the Ruby 1.8.7 installer from <a href="http://rubyinstaller.org/downloads/">RubyInstaller</a>.
+  After running the installer, you need to add Ruby to your PATH. The default install location is
+  C:\Ruby187\, so execute the following command in a Windows command prompt:
   </p>
   <pre>
-  svn checkout http://activefacts.rubyforge.org/svn/
-
-    or
-
-  svn checkout svn://rubyforge.org/var/svn/activefacts
+  PATH C:\Ruby187\bin;%PATH%
   </pre>
+  <p>
+  Or right-click "My Computer" -%gt; Properties -%gt; Advanced  -%gt; Environment Variables -%gt; System Variables
+  Scroll down to find the entry for Path and double-click it. Click in the Variable value: text widget and move the cursor to the start of the value before typing <b>C:\Ruby187;</b> before the first entry. Hit Ok three times and start a new command prompt.
+  </p>
+  <p>
+  If you got that all right, you should be able to enter the interactive Ruby
+  interpreter in the command prompt by typing <b>irb &lt;ENTER&gt;</b>. Exit
+  from irb (^D) and you should be able to use <b>gem install activefacts</b>
+  as above. If your computer is behind a firewall, download the activefacts
+  gem file, along with those for
+  <a href="http://rubygems.org/gems/treetop/versions/1.4.8">Treetop</a>,
+  <a href="http://rubygems.org/gems/polyglot/versions/0.3.1">Polyglot</a> and
+  <a href="http://rubygems.org/gems/rake/versions/0.8.7">Rake</a>, and use
+  <b>gem install &lt;file&gt;.gem</b> to install those in the reverse order.
+  </p>
+
+  <h3>Source Code Repository</h3>
+  <p>
+  The source code is available at <a href="http://github.com/cjheath/activefacts/">GitHub</a>.
+  </p>
 
   <h3>Object Role Modeling</h3>
   <p>
-  If you want to draw your own <a href="www.orm.net">Object Role Modeling</a>
+  If you want to draw your own <a href="http://www.orm.net">Object Role Modeling</a>
   diagrams and have a copy of Windows Visual Studio (pro only, not Express),
   you can freely download and install the <a href="http://www.ormfoundation.com/files/">Neumont ORM Architect</a>.
-  The example models are available in the correct format from the SVN repository.
+  The example models are available in the correct format from the <a href="examples/">examples directory</a>.
   The ActiveFacts generator <em>afgen</em> can process ORM files as easily as
   CQL files, though a little slower due to the volume of XML to be parsed.
   </p>

data/examples/CQL/Address.cql

@@ -3,13 +3,13 @@ vocabulary Address;
 /*
  * Value Types
  */
-City is written as VariableLengthText(64);
-CompanyName is written as VariableLengthText;
-FamilyName is written as VariableLengthText(20);
-GivenNames is written as VariableLengthText(20);
-Number is written as VariableLengthText(12);
-Postcode is written as VariableLengthText;
-StreetLine is written as VariableLengthText(64);
+City is written as String(64);
+Company Name is written as String;
+Family Name is written as String(20);
+Given Names is written as String(20);
+Number is written as String(12);
+Postcode is written as String;
+Street Line is written as String(64);
 
 /*
  * Entity Types
@@ -18,15 +18,15 @@ Company is identified by its Name;
 
 Family is identified by its Name;
 
-Person is identified by Family and GivenNames where
+Person is identified by Family and Given Names where
 	Person is of one Family,
 	Family includes Person,
-	Person has one GivenNames;
+	Person has one Given Names;
 
-Street is identified by first-StreetLine and second-StreetLine and third-StreetLine where
-	Street includes one first-StreetLine,
-	Street includes at most one second-StreetLine,
-	Street includes at most one third-StreetLine;
+Street is identified by first-Street Line and second-Street Line and third-Street Line where
+	Street includes one first-Street Line,
+	Street includes at most one second-Street Line,
+	Street includes at most one third-Street Line;
 
 Address is identified by street-Number and Street and City and Postcode where
 	Address is at at most one street-Number,
@@ -40,5 +40,5 @@ Person lives at at most one Address;
 /*
  * Constraints:
  */
-Street includes third-StreetLine
-	only if Street includes second-StreetLine;
+Street includes third Street Line
+	only if Street includes second Street Line;

data/examples/CQL/Blog.cql

@@ -3,14 +3,14 @@ vocabulary Blog;
 /*
  * Value Types
  */
-AuthorId is written as AutoCounter;
-CommentId is written as AutoCounter;
-Name is written as VariableLengthText(64);
-Ordinal is written as UnsignedInteger(32);
-PostId is written as AutoCounter;
-Style is written as VariableLengthText(20);
-Text is written as LargeLengthText;
-TopicId is written as AutoCounter;
+Author Id is written as Auto Counter;
+Comment Id is written as Auto Counter;
+Name is written as String(64);
+Ordinal is written as Unsigned Integer(32);
+Post Id is written as Auto Counter;
+Style is written as String(20);
+Text is written as Text;
+Topic Id is written as Auto Counter;
 
 /*
  * Entity Types

data/examples/CQL/CompanyDirectorEmployee.cql

@@ -3,15 +3,16 @@ vocabulary CompanyDirectorEmployee;
 /*
  * Value Types
  */
-CompanyName is written as VariableLengthText(48);
-EmployeeNr is written as SignedInteger(32);
-Name is written as VariableLengthText(48);
+Company Name is written as String(48);
+Date is written as Date;
+Employee Nr is written as Signed Integer(32);
+Name is written as String(48);
 
 /*
  * Entity Types
  */
 Company is identified by its Name where
-	Company is called CompanyName;
+	Company is called Company Name;
 Company is listed;
 
 Meeting is identified by Date and Meeting is board meeting and Company where
@@ -48,4 +49,4 @@ Manager is ceo;
 /*
  * Constraints:
  */
-either that Employee is ceo or that Employee is supervised by some Manager but not both;
+either Employee is supervised by Manager(1) or Employee is a Manager(2) that is ceo but not both;

data/examples/CQL/Death.cql

@@ -3,8 +3,8 @@ vocabulary Death;
 /*
  * Value Types
  */
-CauseOfDeath is written as VariableLengthText;
-PersonName is written as VariableLengthText(40);
+Cause Of Death is written as String;
+Person Name is written as String(40);
 
 /*
  * Entity Types
@@ -13,5 +13,5 @@ Person is identified by its Name [independent];
 
 Death is where
 	Person is dead;
-Death was due to at most one CauseOfDeath;
+Death was due to at most one Cause Of Death;
 

data/examples/CQL/Diplomacy.cql

@@ -0,0 +1,48 @@
+vocabulary Diplomacy;
+
+/*
+ * Value Types
+ */
+CountryName is written as String;
+DiplomatName is written as String;
+LanguageName is written as String;
+
+/*
+ * Entity Types
+ */
+Country is identified by its Name;
+
+Diplomat is identified by its Name;
+Diplomat represents one Country;
+Diplomat serves in one Country;
+
+Language is identified by its Name;
+
+LanguageUse is where
+	Language is spoken in Country,
+	Country uses at least one Language;
+
+Ambassador is a kind of Diplomat;
+
+Fluency is where
+	Diplomat speaks at least one Language,
+	Language is spoken by Diplomat;
+
+Representation is where
+	Ambassador is from Country(1) to Country(2),
+	Country(1) is represented in Country(2) by one Ambassador;
+
+/*
+ * Constraints:
+ */
+for each Diplomat, Country at most one of these holds:
+	Diplomat serves in Country,
+	Diplomat represents Country;
+Ambassador is from Country(1) to Country(2)
+	only if Ambassador is a kind of Diplomat that represents Country(1);
+Ambassador is from Country(2) to Country(1)
+	only if Ambassador is a kind of Diplomat that serves in Country(1);
+Diplomat serves in Country
+	only if Diplomat speaks Language that is spoken in Country;
+each Ambassador occurs at least one time in
+	Ambassador is from Country to Country;

data/examples/CQL/Genealogy.cql

@@ -3,47 +3,47 @@ vocabulary Genealogy;
 /*
  * Value Types
  */
-Address is written as VariableLengthText(128);
-Certificate is written as VariableLengthText(64);
-Day is written as UnsignedInteger(32) restricted to {1..31};
-Email is written as VariableLengthText(64);
-EventID is written as AutoCounter;
-EventLocation is written as VariableLengthText(128);
-EventRoleName is written as VariableLengthText restricted to {'Celebrant', 'Father', 'Husband', 'Mother', 'Subject', 'Wife'};
-EventTypeID is written as AutoCounter;
-EventTypeName is written as VariableLengthText(16) restricted to {'Birth', 'Burial', 'Christening', 'Death', 'Divorce', 'Marriage'};
-Gender is written as FixedLengthText(1) restricted to {'F', 'M'};
-Month is written as UnsignedInteger(32) restricted to {1..12};
-Name is written as VariableLengthText(128);
-Occupation is written as VariableLengthText(128);
-Official is written as VariableLengthText(64);
-PersonID is written as AutoCounter;
-Picture is written as PictureRawData(20);
-RoleID is written as AutoCounter;
-SourceID is written as AutoCounter;
-SourceName is written as VariableLengthText(128);
-UserID is written as AutoCounter;
-Year is written as UnsignedInteger(32);
+Address is written as String(128);
+Certificate is written as String(64);
+Day is written as Unsigned Integer(32) restricted to {1..31};
+Email is written as String(64);
+Event ID is written as Auto Counter;
+Event Location is written as String(128);
+Event Role Name is written as String restricted to {'Celebrant', 'Father', 'Husband', 'Mother', 'Subject', 'Wife'};
+Event Type ID is written as Auto Counter;
+Event Type Name is written as String(16) restricted to {'Birth', 'Burial', 'Christening', 'Death', 'Divorce', 'Marriage'};
+Gender is written as Char(1) restricted to {'F', 'M'};
+Month is written as Unsigned Integer(32) restricted to {1..12};
+Name is written as String(128);
+Occupation is written as String(128);
+Official is written as String(64);
+Person ID is written as Auto Counter;
+Picture is written as Image(20);
+Role ID is written as Auto Counter;
+Source ID is written as Auto Counter;
+Source Name is written as String(128);
+User ID is written as Auto Counter;
+Year is written as Unsigned Integer(32);
 
 /*
  * Entity Types
  */
 Event is identified by its ID;
 Event is certified by at most one Certificate;
-Event occurred at at most one EventLocation;
+Event occurred at at most one Event Location;
 Event was confirmed by at most one Official;
 
-EventDate is identified by min-Year and max-Year and Month and Day where
-	EventDate wasnt before at most one min-Year,
-	EventDate wasnt after at most one max-Year,
-	EventDate occurred in at most one Month,
-	EventDate occurred on at most one Day;
-Event occurred on at most one EventDate;
+Event Date is identified by min-Year and max-Year and Month and Day where
+	Event Date wasnt before at most one min-Year,
+	Event Date wasnt after at most one max-Year,
+	Event Date occurred in at most one Month,
+	Event Date occurred on at most one Day;
+Event occurred on at most one Event Date;
 
-EventType is identified by its ID;
-Event is of at most one EventType;
-EventType is called one EventTypeName,
-	EventTypeName is name of at most one EventType;
+Event Type is identified by its ID;
+Event is of at most one Event Type;
+Event Type is called one Event Type Name,
+	Event Type Name is name of at most one Event Type;
 
 Person is identified by its ID;
 Address is of Person,
@@ -61,12 +61,12 @@ preferred-Picture is of Person,
 	Person has at most one preferred-Picture;
 
 Role is identified by its ID;
-Role is called one EventRoleName,
-	EventRoleName is name of one Role;
+Role is called one Event Role Name,
+	Event Role Name is name of one Role;
 
 Source is identified by its ID;
-Source has one SourceName,
-	SourceName is of at most one Source;
+Source has one Source Name,
+	Source Name is of at most one Source;
 
 User is identified by its ID;
 Email is of User,
@@ -86,12 +86,12 @@ Participation is where
 /*
  * Constraints:
  */
+each Event Date occurs at least one time in
+	Event Date wasnt before min Year,
+	Event Date wasnt after max Year,
+	Event Date occurred in Month,
+	Event Date occurred on Day;
 each Event occurs at least one time in
 	Person played Role in Event according to Source;
-each EventDate occurs at least one time in
-	EventDate wasnt before min-Year,
-	EventDate wasnt after max-Year,
-	EventDate occurred in Month,
-	EventDate occurred on Day;
 each Person occurs at least one time in
 	Person played Role in Event according to Source;

data/examples/CQL/Insurance.cql

@@ -0,0 +1,311 @@
+vocabulary Insurance;
+
+/*
+ * Value Types
+ */
+Alias is written as Char(3);
+Application Nr is written as Signed Integer(32);
+Asset ID is written as Auto Counter;
+Badge is written as String;
+Charge is written as String;
+City is written as String;
+Claim ID is written as Auto Counter;
+Claim Sequence is written as Unsigned Integer(32) restricted to {1..999};
+Colour is written as String;
+Contact Method is written as Char(1) restricted to {'B', 'H', 'M'};
+Count is written as Unsigned Integer(32);
+Cover Type Code is written as Char;
+Cover Type Name is written as String;
+Date is written as Date;
+Date Time is written as Date Time;
+Demerit Kind Name is written as String;
+Description is written as String(1024);
+Email is written as String;
+Engine Number is written as String;
+ITC Claimed is written as Decimal(18,2) restricted to {0.0..100.0};
+Intoxication is written as String;
+Liability Code is written as Char(1) restricted to {'D', 'L', 'R', 'U'};
+License Number is written as String;
+License Type is written as String;
+Location is written as String;
+Loss Type Code is written as Char;
+Lost Item Nr is written as Signed Integer(32);
+Make is written as String;
+Model is written as String;
+Name is written as String(256);
+Occupation is written as String;
+Party ID is written as Auto Counter;
+Phone Nr is written as String;
+Place is written as String;
+Policy Serial is written as Unsigned Integer(32) restricted to {1..99999};
+Policy Wording Text is written as String;
+Postcode is written as String;
+Price is written as Decimal(18,2);
+Prod Description is written as String(80);
+Product Code is written as Unsigned Integer(8) restricted to {1..99};
+Reason is written as String;
+Registration Nr is written as Char(8);
+Report Nr is written as Signed Integer(32);
+State Code is written as Unsigned Integer(8) restricted to {0..9};
+State Name is written as String(256);
+Street is written as String(256);
+Test Result is written as String;
+Time is written as Time;
+Title is written as String;
+VIN is written as Unsigned Integer(32);
+Year Nr is written as Signed Integer(32);
+
+/*
+ * Entity Types
+ */
+Application is identified by its Nr;
+
+Asset is identified by its ID;
+
+Claim is identified by its ID;
+Claim has one Claim Sequence (as p_sequence),
+	p_sequence is of Claim;
+
+Cover Type is identified by its Code;
+Cover Type has one Cover Type Name,
+	Cover Type Name is of at most one Cover Type;
+
+Demerit Kind is identified by its Name [independent];
+
+Incident is identified by Claim where
+	Claim concerns at most one Incident,
+	Incident is of one Claim;
+Incident relates to loss on one Date Time;
+
+Liability is identified by its Code restricted to {'D', 'L', 'R', 'U'};
+
+Loss Type is identified by its Code;
+Loss Type implies at most one Liability;
+Loss Type involves driving;
+Loss Type is single vehicle incident;
+
+Lost Item is identified by Incident and Lost Item Nr where
+	Lost Item was lost in one Incident,
+	Lost Item has one Lost Item Nr,
+	Lost Item Nr is of Lost Item;
+Description is of Lost Item,
+	Lost Item has one Description;
+Lost Item was purchased on at most one purchase-Date;
+Lost Item was purchased at at most one purchase-Place;
+Lost Item was purchased for at most one purchase-Price;
+
+Party is identified by its ID;
+Party is a company;
+
+Person is a kind of Party;
+Person has at most one Occupation;
+Person has one Title;
+Person has at most one birth-Date;
+Person has one family-Name;
+Person has one given-Name;
+
+Phone is identified by its Nr;
+
+Police Report is identified by Incident where
+	Incident is covered by at most one Police Report,
+	Police Report covers one Incident;
+Police Report was to at most one officer-Name;
+Police Report has at most one police-Report Nr;
+Police Report was on at most one report-Date Time;
+Police Report was by at most one reporter-Name;
+Police Report was at at most one station-Name;
+
+Policy Wording is identified by its Text;
+
+Product is identified by its Code;
+Alias is of at most one Product,
+	Product has at most one Alias;
+Prod Description is of at most one Product,
+	Product has at most one Prod Description;
+
+Registration is identified by its Nr;
+
+State is identified by its Code [independent];
+State Name is of at most one State,
+	State has at most one State Name;
+
+Vehicle is a kind of Asset identified by VIN where
+	Vehicle has one VIN,
+	VIN is of at most one Vehicle;
+Registration is of Vehicle,
+	Vehicle has one Registration;
+Vehicle is of at most one Colour;
+Vehicle has at most one Engine Number;
+Vehicle has commercial registration;
+
+Vehicle Incident is a kind of Incident [separate];
+Vehicle Incident has at most one Description;
+Vehicle Incident resulted from at most one Loss Type;
+Vehicle Incident was caused by at most one Reason;
+Vehicle Incident involved at most one previous_damage-Description;
+Vehicle Incident resulted in vehicle being towed to at most one towed-Location;
+Vehicle Incident occurred during at most one weather-Description;
+
+Vehicle Type is identified by Make and Model and Badge where
+	Vehicle Type is of one Make,
+	Vehicle Type is of one Model,
+	Badge is of Vehicle Type,
+	Vehicle Type has at most one Badge;
+Vehicle is of one Vehicle Type;
+
+Witness is identified by Incident and Name where
+	Incident was seen by Witness,
+	Witness saw one Incident,
+	Witness is called one Name;
+Witness has at most one contact-Phone;
+
+Year is identified by its Nr;
+Vehicle is of one model-Year restricted to {1900..2100};
+
+Address is identified by Street and City and Postcode and State where
+	Address is at one Street,
+	Address is in one City,
+	Address is in at most one Postcode,
+	Address is in at most one State;
+Incident relates to loss at one Address;
+Party has at most one postal-Address;
+Person lives at at most one Address;
+Witness lives at at most one Address;
+
+Authorised Rep is a kind of Party;
+
+Client is a kind of Party;
+
+Company is a kind of Party;
+Company has one contact-Person,
+	Person is contact for Company;
+
+Contact Methods is identified by Person where
+	Person has one Contact Methods,
+	Contact Methods are for one Person;
+Contact Methods includes at most one Email;
+Contact Methods includes at most one business-Phone;
+Contact Methods prefers at most one contact-Time;
+Contact Methods includes at most one home-Phone;
+Contact Methods includes at most one mobile-Phone;
+Contact Methods has at most one preferred-Contact Method;
+
+Contractor is a kind of Company;
+
+Contractor Appointment is where
+	Claim involves Contractor,
+	Contractor is appointed to handle Claim;
+
+Cover Wording is where
+	Cover Type used Policy Wording from start-Date;
+
+Dealer is a kind of Party;
+Vehicle was sold by at most one Dealer;
+
+Driver is a kind of Person;
+
+Driving is where
+	Vehicle Incident involves at most one Driver,
+	Driver drove covered vehicle in at least one Vehicle Incident;
+Driving followed at most one Intoxication;
+Driving resulted in at most one blood-Test Result;
+Driving resulted in at most one breath-Test Result;
+Driving (as driver_hospitalised) resulted in driver taken to at most one hospital-Name;
+Driving was without owners consent for at most one nonconsent-Reason;
+Driving was unlicenced for at most one unlicensed-Reason;
+
+Driving Charge is where
+	Driving resulted in at most one Charge;
+Driving Charge is a warning;
+
+Finance Institution is a kind of Company;
+Vehicle is subject to finance with at most one Finance Institution;
+
+Insurer is a kind of Company;
+
+Investigator is a kind of Contractor;
+
+License is identified by Driver where
+	Driver holds at most one License,
+	License is held by one Driver;
+License has one License Number,
+	License Number is of at most one License;
+License is of one License Type,
+	License Type has License instance;
+License was granted in at most one Year restricted to {1990..2100};
+License is international;
+
+Lodgement is where
+	Claim was lodged by at most one Person;
+Lodgement was made at at most one Date Time;
+
+Policy is identified by p_year and p_product and p_state and p_serial where
+	Policy was issued in one Year (as p_year) restricted to {0..99},
+	Policy is for product having one Product (as p_product),
+	Policy issued in state having one State (as p_state),
+	Policy has one Policy Serial (as p_serial);
+Application is for Policy,
+	Policy has one Application;
+Claim is on one Policy,
+	Policy has Claim;
+ITC Claimed is for Policy,
+	Policy has at most one ITC Claimed;
+Policy was sold by at most one Authorised Rep,
+	Authorised Rep sold Policy;
+Policy belongs to one Client,
+	Client has Policy;
+
+Property Damage is identified by Incident and Address where
+	Incident caused Property Damage,
+	Property Damage was damaged in at most one Incident,
+	Property Damage is at one Address,
+	Address is of Property Damage;
+Property Damage owner has contact at most one Phone;
+Property Damage belongs to at most one owner-Name;
+
+Repairer is a kind of Contractor;
+
+Solicitor is a kind of Contractor;
+
+Third Party is where
+	Person was third party in Vehicle Incident;
+Third Party is insured by at most one Insurer;
+Third Party vehicle is of at most one Vehicle Type;
+Third Party vehicle is of at most one model-Year;
+Third Party drove at most one vehicle-Registration;
+
+Underwriting Demerit is identified by Vehicle Incident and Demerit Kind where
+	Vehicle Incident occurred despite Underwriting Demerit,
+	Underwriting Demerit preceded one Vehicle Incident,
+	Underwriting Demerit has one Demerit Kind,
+	Demerit Kind is of Underwriting Demerit;
+Underwriting Demerit occurred at most one occurrence-Count times;
+
+Assessor is a kind of Contractor;
+
+Cover is where
+	Policy provides Cover Type over Asset,
+	Cover Type over Asset is provided by Policy;
+
+Motor Policy is a kind of Policy;
+
+Single Motor Policy is a kind of Motor Policy;
+
+Motor Fleet Policy is a kind of Motor Policy;
+
+/*
+ * Constraints:
+ */
+either Motor Policy is a Single Motor Policy or Motor Policy is a Motor Fleet Policy but not both;
+Party is a Company that has contact Person
+	if and only if
+	Party is a company;
+each Contact Methods occurs at least one time in
+	Contact Methods includes mobile Phone,
+	Contact Methods includes home Phone,
+	Contact Methods includes business Phone,
+	Contact Methods includes Email;
+each combination Policy, Claim Sequence occurs at most one time in
+	Claim is on Policy,
+	Claim has Claim Sequence;
+either Witness lives at Address or Witness has contact Phone;