Refinement Example
object relation: r0(<nominal(a,b)>,<numerical>), r1(<n(a,b)>,<num>), ...
foreign links: (1) r
0
[1]-->r
1
[1], (2) r
0
[2]-->r
2
[1], ...
