--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/model/comments/constraints-review-pm.txt	Tue Dec 18 09:43:46 2012 +0000
@@ -0,0 +1,109 @@
+note: looked primarily at prov-n encodings
+
+/****
+** ordering
+*****/
+
+ordering-activity1-PASS-c30
+infer: ex:start1 precedes ex:end1
+
+ordering-activity2-PASS-c33
+infer: start1 precedes end1,  start1 precedes use1, use1 precedes end1
+
+ordering-association2-PASS-c47
+infer: start1 precedes end2 by 47.3
+        start2 precedes end1 by 47.4
+
+ordering-derivation2-FAIL-c42
+ infer: gen1 strictly precedes gen2  AND  gen2 strictly precedes gen1,
+        strict precedence irreflexive (sec 6.2) 
+        => impossible
+ 
+ordering-specialization3-PASS-c42-c45
+ infer:  gen1 strictly precedes gen2  by 42.
+
+ordering-specialization4-FAIL-c42-c45
+ infer: gen1 strictly precedes gen2  by 42,
+         gen2 strictly precedes gen1  by 45,  strict precedence irreflexive (sec 6.2) => impossible
+
+ordering-starts1-PASS-c43	
+ infer: gen2 < start2   by 43.1
+         start1 < inv1   by 43.2
+
+
+
+/****
+** types 
+*****/
+
+type-s1-PASS-c50-c55
+  infer:  'entity'   ∈ typeOf(e1)   by 50.1
+           'activity' ∈ typeOf(a1)   by 50.3
+
+note: could have a corresponding FAIL:
+
+document
+  prefix ex <http://example.org/>
+
+  entity(ex:foo, [prov:type='ex:test1'])
+  activity(ex:foo, -, -, [prov:type='ex:test2'])
+endDocument
+
+type-f2-FAIL-c50-c55
+  infer:  'entity'   ∈ typeOf(e1)   by 50.1
+           'entity'   ∈ typeOf(e2)   by 50.1
+           'activity' ∈ typeOf(e2)   by 50.5
+           => impossible by 55
+
+/****
+** unification
+*****/
+
+unification-activity-start-f1-FAIL-c28  
+  infer: 2012-11-16T16:05:00 == 2111-11-11T11:11:11  => impossible
+
+unification-association-f6-FAIL-DM
+  malformed:  activity is not optional in wasAssociatedWith relations
+
+unification-attribution-f1-FAIL-DM
+  malformed:  entity is not optional wasAttributedTo
+
+unification-attribution-f2-FAIL-DM
+  malformed:  agent  is not optional wasAttributedTo
+ 
+unification-attributes-entity-s1-PASS-c22
+  repeated entity key e1
+
+unification-bundle-f1-FAIL-c55-c56
+  *** the use of bundles seems irrelevant here: bundles2 is inconsistent regardless of where e2 is defined. ***
+
+unification-derivation-f1-FAIL-c23
+  repeated relation key der1
+  *** ex:a, ex:gen, ex:use are irrelevant, failure occurs regardless of these
+
+unification-end-f5-FAIL-c23
+  *** not sure: the same statement is repeated twice, does this entail a key violation error? 
+      (it is clearly more efficient to implement if it does as it only requires a key lookup)
+
+unification-generation-f6-FAIL-c23
+  *** same here, and in the other FAIL that test c23 where the two relations are identical
+
+unification-influence-f1-FAIL-DM
+  non-optional argument missing in wasInfluencedBy
+
+
+unification-start-s6-PASS-c23-c26
+ *** shouldn't this fail by c23 (repeated relation key?)
+wasStartedBy(ex:start1;ex:a1,-,-,2011-11-16T16:05:00)
+wasStartedBy(ex:a1,ex:e1,ex:a2,-)
+wasStartedBy(ex:start1;ex:a1,-,ex:a2,-)
+
+unification-start-s9-PASS-c23-c26
+ *** shouldn't this fail by c23 (repeated relation key?)
+  wasStartedBy(ex:start1;ex:a1,-,-,-)
+  wasStartedBy(ex:a1,ex:e1,ex:a2,2011-11-16T16:05:00)
+  wasStartedBy(ex:start1;ex:a1,-,ex:a2,2011-11-16T16:05:00)
+
+unification-usage-f7-PASS-c23
+ repeated relation key (used)
+