Missing row from EC extension table

The table 'EC Extension table' [1] is missing a row defining the
semantics of

    annotation(p v) for v a literal

I suspect the desired interpretation is

    {x \in R | <x, S(v)> \in ER(p)}





[1] http://www.w3.org/TR/owl-semantics/direct.html#3.2

-- 
Dave Turner  Cube T400, HP Labs Bristol, Filton Road, Bristol BS34 8QZ
davidt@hp.com          +44 117 3129104 (Work) +44 7962 811627 (Mobile)

Hewlett-Packard Limited. Registered No: 690597 England
Registered Office: Cain Road, Bracknell, Berks RG12 1HN