Definition of [I+A] for triple terms

[afs]

Section https://www.w3.org/TR/rdf12-semantics/#blank_nodes

[I+A](x)=I(x) when x is a [name](https://www.w3.org/TR/rdf12-semantics/#dfn-name),
[I+A](x)=A(x) when x is a blank node,
[I+A](x)= RE( [I+A](x.s), [I+A](x.p), [I+A](x.o) ) where x.s, x.p, and x.o are the first, second, and third components of x, respectively.

Extend this mapping to triples and RDF graphs using the rules given above for ground graphs. Then the semantic conditions for an RDF graph are:

For the [I+A](x)= RE( [I+A](x.s), [I+A](x.p), [I+A](x.o) ) case

It should say "when x is a triple" now triple terms are triples in a term role, which in turn means "Extend this mapping to triples" does not need to talk about triples.

What if x.o is a literal? [I+A] is not defined.

This could be addressed by adding a bullet point for [I+A](x) = I(x) when x is a literal, which is IL(x).

[pfps]

A literal is a name, so literals are covered.

[pfps]

REMOVED

[pfps]

I did some larger editing in PR #128

[afs]

I misread "name".
This can be closed.

For clarity, I'd suggest being concrete (rule for IRI, rule for literal) but there is no spec bug.