http://www.w3.org/ns/prov#value | - There are exactly two pairs of numerically consecutive limb lengths in each type (the last limb length in a block and the first limb length in the next block are numerically consecutive) and the first limb length of a block is of the form 13m where m is a natural number.
|