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

SG1(G): graph[T] = subgraph(G, r1(G));