scheme :: CIRCCMB3:sch 3
OneGate3Ex{ F₁() -> object , F₂() -> object , F₃() -> object , F₄() -> non empty finite set , F₅( object , object , object ) -> Element of F₄() } :

ex S being one-gate ManySortedSign ex A being one-gate Circuit of S st
( InputVertices S = {F₁(),F₂(),F₃()} & ( for s being State of A holds (Result s) . (Output S) = F₅((s . F₁()),(s . F₂()),(s . F₃())) ) )