| http://www.w3.org/ns/prov#value | - I will provide a more-complete definition of ob.ap(f, x) in a forthcoming post, and the Frugalese notation being used will also be unfolded in later posts.] That is, the structure, ob-n is a program (or a sequence) of n ob.c's that has the effect of diminishing any ob (treated as a sequence) by removing the first n beads but no more than there are.
|