L:Sequent List. 
s
L.(
(s) = 0) & (sL.|= s 
|= G ) & (a:Assignment. sL.a |
s a | G) G:Sequent.
L:Sequent List. sL.((s) = 0) & (sL.|= s |= G ) & (a:Assignment. sL.a | s a | G)| 1 | 1. G: Sequent L:Sequent List. sL.((s) = 0) & (sL.|= s |= G ) & (a:Assignment. sL.a | s a | G) |
About:
 |  |  |  |  |
 |  |  |  |