FDL > PVS > Graphs > ramsey new > SG2 : const-decl

SG2(G): graph[T] = subgraph(G, r2(G));