G:(Id), to,from:(|G|(IdLnk List)), i:|G|.
  bi-graph(G;to;from)  from(i)  Edge(G) List

1

1. G : Id 2. to : |G|(IdLnk List) 3. from : |G|(IdLnk List) 4. i : |G| 5. bi-graph(G;to;from)   from(i)  Edge(G) List

11 steps

About: IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html