http://www.w3.org/ns/prov#value | - I am fairly sure the intention is that each of the "sums" we are looking for is a sum of exactly one element from each of A, B, C. Otherwise there is no point having three input sequences in the first place, we could have just had a single input sequence of size 9.
|