Sha256: 394759e00e62f134d8444a4229995e1cfc6db6cd1c8ef654cd3437e6e322b75a
Contents?: true
Size: 1.17 KB
Versions: 25
Compression:
Stored size: 1.17 KB
Contents
vocabulary Address;
/*
* Value Types
*/
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
*/
Company is identified by its Name;
Family is identified by its Name;
Person is identified by Family and Given Names where
Person is of one Family,
Family includes Person,
Person has one Given Names;
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,
Address is at one Street,
Address is in one City,
Address is in at most one Postcode restricted to {1000..9999},
Postcode is of Address;
Company has head office at at most one Address;
Person lives at at most one Address;
/*
* Constraints:
*/
Street includes third Street Line
only if Street includes second Street Line;
Version data entries
25 entries across 25 versions & 2 rubygems