A Sequent
<ol style="margin: 0px; padding: 0px 0px 0px 2.25em; border: 0px; font-variant-numeric: inherit; font-variant-east-asian: inherit; font-stretch: inherit; line-height: inherit; font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Lato, Helvetica, Arial, sans-serif; vertical-align: baseline; background-image: none; background-position: initial; background-size: initial; background-repeat: initial; background-attachment: initial; background-origin: initial; background-clip: initial; color: rgb(34, 34, 34);"><li style="margin: 0px 0px 10px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;">Something that follows in a given <a href="https://en.m.wiktionary.org/wiki/sequence" title="sequence" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161); hyphens: none;">sequence</a>. </li><li style="margin: 0px 0px 10px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;"><span class="ib-brac" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;">(</span><span class="ib-content" style="margin: 0px; padding: 0px; border: 0px; font-style: italic; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;"><a href="https://en.m.wiktionary.org/wiki/logic" title="logic" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161); hyphens: none;">logic</a></span><span class="ib-brac" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;">)</span> A <a href="https://en.m.wiktionary.org/wiki/disjunctive" title="disjunctive" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161); hyphens: none;">disjunctive</a> set of logical formulae which is <a href="https://en.m.wiktionary.org/wiki/partition" title="partition" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161); hyphens: none;">partitioned</a> into two subsets; the first subset, called the <a href="https://en.m.wiktionary.org/wiki/antecedent" title="antecedent" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161); hyphens: none;">antecedent</a>, consists of formulae which are valuated as false, and the second subset, called the <a href="https://en.m.wiktionary.org/wiki/succedent" title="succedent" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161); hyphens: none;">succedent</a>, consists of formulae which are valuated as true.<sup id="cite_ref-2" class="reference" style="margin: 0px; padding: 0px; border: 0px; font-variant: inherit; font-stretch: inherit; line-height: 1; font-family: inherit; font-size: 0.75em; background: none; unicode-bidi: isolate; white-space: nowrap;"><a href="https://en.m.wiktionary.org/wiki/sequent#cite_note-2" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161); hyphens: none;">[2]</a></sup> (The set is written without set brackets and the separation between the two subsets is denoted by a <a href="https://en.m.wiktionary.org/wiki/turnstile" title="turnstile" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161); hyphens: none;">turnstile</a> symbol, which may be read "give(s)".)<dl style="margin: 0px 0px 0px 1em; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;"><dd style="margin: 0px 0px 0px 1em; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; overflow: auto;">A <b style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;">sequent</b> <span class="mwe-math-element" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; display: none; clip: rect(1px, 1px, 1px, 1px); overflow: hidden; position: absolute; width: 1px; height: 1px; opacity: 0;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle a,b\vdash c,d}"><semantics><annotation encoding="application/x-tex">{\displaystyle a,b\vdash c,d}</annotation></semantics></math></span><img width="0" height="0" class="mwe-math-fallback-image-inline image-lazy-loaded" alt="{\displaystyle a,b\vdash c,d}" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/feb7a8cba999fe9527d02424d25c1e4868b3d71d" srcset="" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: middle; background: none; display: inline-block; animation: 0.3s ease-in 0s 1 normal none running fadeInImage; width: 9.229ex; height: 2.509ex;"></span> could be interpreted to correspond to an Existential Graph, whose expression in Existential Graph Interchange Format would be
<tt style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;">[(a) (b) ~[(c)] ~[(d)]]</tt>, which in ordinary language could be expressed as "<i style="margin: 0px; padding: 0px; border: 0px; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;">a</i> and <i style="margin: 0px; padding: 0px; border: 0px; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;">b</i> give <i style="margin: 0px; padding: 0px; border: 0px; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;">c</i> or <i style="margin: 0px; padding: 0px; border: 0px; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;">d</i>".</dd></dl></li><li style="margin: 0px 0px 10px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;"><span class="ib-brac" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;">(</span><span class="ib-content" style="margin: 0px; padding: 0px; border: 0px; font-style: italic; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;"><a href="https://en.m.wiktionary.org/wiki/Appendix:Glossary#obsolete" title="Appendix:Glossary" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161); hyphens: none;">obsolete</a></span><span class="ib-brac" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;">)</span> A <a href="https://en.m.wiktionary.org/wiki/follower" title="follower" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161); hyphens: none;">follower</a>. </li><li style="margin-top: 0px; margin-right: 0px; margin-bottom: inherit; margin-left: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;"><span class="ib-brac" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;">(</span><span class="ib-content" style="margin: 0px; padding: 0px; border: 0px; font-style: italic; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;"><a href="https://en.m.wiktionary.org/wiki/mathematics" title="mathematics" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161); hyphens: none;">mathematics</a></span><span class="ib-brac" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none;">)</span> A <a href="https://en.m.wiktionary.org/wiki/sequential" title="sequential" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161); hyphens: none;">sequential</a> <a href="https://en.m.wiktionary.org/wiki/calculus" title="calculus" style="margin: 0px; padding: 0px; border: 0px; font-style: inherit; font-variant: inherit; font-weight: inherit; font-stretch: inherit; line-height: inherit; font-family: inherit; vertical-align: baseline; background: none; color: rgb(107, 75, 161); hyphens: none;">calculus</a></li></ol>