scheme :: CIRCCMB3:sch 4
OneGate4Ex{ F1() -> object , F2() -> object , F3() -> object , F4() -> object , F5() -> non empty finite set , F6( object , object , object , object ) -> Element of F5() } :
ex S being one-gate ManySortedSign ex A being one-gate Circuit of S st
( InputVertices S = {F1(),F2(),F3(),F4()} & ( for s being State of A holds (Result s) . (Output S) = F6((s . F1()),(s . F2()),(s . F3()),(s . F4())) ) )