Past entailment of a_ <-> b_
Past entailment of a_ <-> b_
In[]:=
TokenEventSubstitutionGraph[{x_<->y_},3,AspectRatio->.8,"TokenLabeling"->True,GraphLayout->"LayeredDigraphEmbedding"]
Out[]=
In[]:=
AccumulativeTokenEventGraph[x_<->y_,3,"TokenLabeling"->True]
Out[]=
In[]:=
AccumulativeTokenEventGraph[{x_<->y_,u<->v},2,"TokenLabeling"->True]
Out[]=
In[]:=
VertexList[%]
Out[]=
{x_y_,uv,uu,ua_,vv,va_,a_u,a_v,a_b_,vu,{Event,1,1},{Event,1,2},{Event,1,6},{Event,2,7},{Event,2,8},{Event,2,12},{Event,1,13},{Event,1,14},{Event,1,16},{Event,1,18},{Event,1,20},{Event,1,22},{Event,1,24},{Event,1,26},{Event,1,28},{Event,1,47},{Event,1,49},{Event,1,51},{Event,1,53},{Event,1,55},{Event,1,57},{Event,1,59},{Event,1,75},{Event,1,76},{Event,1,78},{Event,1,80},{Event,1,82},{Event,1,84},{Event,1,86},{Event,1,100},{Event,1,101},{Event,1,103},{Event,1,105},{Event,1,107},{Event,1,109},{Event,1,121},{Event,1,122},{Event,1,124},{Event,1,126},{Event,1,128},{Event,1,138},{Event,1,139},{Event,1,141},{Event,1,143},{Event,1,151},{Event,1,152},{Event,1,154},{Event,1,160},{Event,1,161},{Event,2,166},{Event,2,167},{Event,2,169},{Event,2,171},{Event,2,173},{Event,2,175},{Event,2,177},{Event,2,179},{Event,2,181},{Event,2,200},{Event,2,202},{Event,2,204},{Event,2,206},{Event,2,208},{Event,2,210},{Event,2,212},{Event,2,228},{Event,2,229},{Event,2,231},{Event,2,233},{Event,2,235},{Event,2,237},{Event,2,239},{Event,2,253},{Event,2,254},{Event,2,256},{Event,2,258},{Event,2,260},{Event,2,262},{Event,2,274},{Event,2,275},{Event,2,277},{Event,2,279},{Event,2,281},{Event,2,291},{Event,2,292},{Event,2,294},{Event,2,296},{Event,2,304},{Event,2,305},{Event,2,307},{Event,2,313},{Event,2,314}}
In[]:=
AccumulativeTokenEventGraph[{x_<->y_,u<->v},1,"TokenLabeling"->True]
Out[]=
In[]:=
AccumulativeTokenEventGraph[{x_<->y_∘z_},1,"TokenLabeling"->True]
Out[]=
In[]:=
AccumulativeTokenEventGraph[{x_<->y_∘z_},2,"TokenLabeling"->True,GraphLayout->"SpringElectricalEmbedding"]
Out[]=
In[]:=
VertexList[%,_TwoWayRule]
Out[]=
{x_y_∘z_,a_b_,a_b_∘c_,a_b_∘(c_∘d_),a_(b_∘c_)∘d_,a_∘b_c_∘d_,a_b_∘(c_∘(d_∘e_)),a_b_∘(c_∘(d_∘(e_∘f_))),a_b_∘(c_∘((d_∘e_)∘f_)),a_b_∘((c_∘d_)∘e_),a_b_∘((c_∘(d_∘e_))∘f_),a_b_∘(((c_∘d_)∘e_)∘f_),a_(b_∘c_)∘(d_∘e_),a_(b_∘c_)∘(d_∘(e_∘f_)),a_(b_∘c_)∘((d_∘e_)∘f_),a_(b_∘(c_∘d_))∘e_,a_(b_∘(c_∘d_))∘(e_∘f_),a_(b_∘(c_∘(d_∘e_)))∘f_,a_(b_∘((c_∘d_)∘e_))∘f_,a_((b_∘c_)∘d_)∘e_,a_((b_∘c_)∘d_)∘(e_∘f_),a_((b_∘(c_∘d_))∘e_)∘f_,a_(((b_∘c_)∘d_)∘e_)∘f_,c_a_∘b_,d_a_∘(b_∘c_),d_(a_∘b_)∘c_,a_∘b_c_∘(d_∘e_),a_∘b_c_∘(d_∘(e_∘f_)),a_∘b_c_∘((d_∘e_)∘f_),a_∘b_(c_∘d_)∘e_,a_∘b_(c_∘(d_∘e_))∘f_,a_∘b_((c_∘d_)∘e_)∘f_,a_∘(b_∘c_)d_∘e_,a_∘(b_∘c_)d_∘(e_∘f_),a_∘(b_∘c_)(d_∘e_)∘f_,a_∘(b_∘(c_∘d_))e_∘f_,a_∘((b_∘c_)∘d_)e_∘f_,d_∘e_(a_∘b_)∘c_,d_∘(e_∘f_)(a_∘b_)∘c_,e_∘f_(a_∘(b_∘c_))∘d_,e_∘f_((a_∘b_)∘c_)∘d_,(a_∘b_)∘c_(d_∘e_)∘f_}