Actually, I'm not certain about this syntax. In that wiki page, it states that
```
ContextLink <TV>
   C
   R A B
```
is equivalent to
```
R <TV>
   (A AND C)
   (B AND C)
```
but it includes an example
```
ContextLink <0.0, 0.2>
   ConceptNode "Moon"
   EvaluationLink <0.8, 0.6>
       PredicateNode isBlue
       ConceptNode "sky"
```
So, does that mean that if you have
```
ContextLink <TV1>
   C
   R <TV2>
     A 
     B
```
that TV2 of R has no meaning? If so, then why was it included in that example? Further clarification is needed here.