At:
list-connect-append
1
1.
the_graph: Graph
2.
A: Vertices(the_graph) List
3.
B: Vertices(the_graph) List
4.
i: Vertices(the_graph)
5.
y:Vertices(the_graph). (y
A)
(y
B) & y-the_graph- > *i
(
y:Vertices(the_graph). (y
A) & y-the_graph- > *i)
(
y:Vertices(the_graph). (y
B) & y-the_graph- > *i)
By:
ExRepD
THEN
ParallelOp -2
THEN
InstConcl [y]
Generated subgoals:
None
About: