There is not much to say about arcs in Prolog+CG. There are only two possiblities:
both have the same interpretation: C1 has an R which is a C2. Or, equivalently, C2 is an R of C1.
Next, we look at concepts in detail.
PrevLite: 4.1.3 Summary
NextLite: 4.3 Concepts
Prev: 4.1.3 Summary
Up: 4 CG syntax
Next: 4.3 Concepts