--- a/data-cube/index.html	Mon Mar 04 18:21:32 2013 +0000
+++ b/data-cube/index.html	Tue Mar 05 00:21:52 2013 +0000
@@ -1545,6 +1545,12 @@
 };
 
 INSERT {
+    ?o rdf:type qb:Observation .
+} WHERE {
+    ?o qb:dataSet [] .
+};
+
+INSERT {
     ?s rdf:type qb:Slice .
 } WHERE {
     [] qb:slice ?s.
@@ -1717,18 +1723,21 @@
 12. No two observations in the same cube may have the same value for all dimensions
 13. Every observation has a value for each non-optional attribute
 14. Every observation in a non-measureType cube must have a value for every measure
-15. Every observation in a measureType cube must have a value for only one measure
-16. In a measureType cube if there is an observation for one measure, there must be a corresponding observation for all other measures at the same dimension values
+15. Every observation in a measureType cube must have a measure value corresponding to its measureType
+16. Every observation in a measureType cube must have a value for only one measure
+17. In a measureType cube if there is an observation for one measure, there must be a corresponding observation for all other measures at the same dimension values
 
-17. if A qb:slice B and B qb:observation C then C qb:dataSet A
+18. if A qb:slice B and B qb:observation C then C qb:dataSet A
 
-18. If a dimension property has a qb:codeList, then the value of the dimension property on every observation must be in the code list
+19. If a dimension property has a qb:codeList, then the value of the dimension property on every observation must be in the code list
 
-19. If a dimension property has a hierarchical code list with a parentChildProperty then the value of that dimension property on every observation must be reachable from a root of hierarchy using zero or more hops along the parentChildProperty links.
-20. If a dimension property has a hierarchical code list with an inverse parentChildProperty then the value of that dimension property on every observation must be reachable from a root of hierarchy using zero or more hops along the inverse parentChildProperty links.
+20. If a dimension property has a hierarchical code list with a parentChildProperty then the value of that dimension property on every observation must be reachable from a root of hierarchy using zero or more hops along the parentChildProperty links.
+21. If a dimension property has a hierarchical code list with an inverse parentChildProperty then the value of that dimension property on every observation must be reachable from a root of hierarchy using zero or more hops along the inverse parentChildProperty links.
 
 </pre>
 
+Note that 19-21 need access to code list, with skos:inScheme for schemes and skos:member for collections (unpack ordered members if necessary)
+
 </section>
 
 <section id="vocab-reference">