X C X http://example.org/example#count C http://www.w3.org/2007/rif-builtin-predicate#numeric-greater-than C 0 C X http://example.org/example#count C X http://example.org/example#count http://www.w3.org/2007/rif-builtin-function#numeric-subtract C 1 http://example.org/example#foo http://example.org/example#count 10