;;
;; Kim forgot to vote.
;;

Kim:
<h0, x0, _>
{ }
{ h0:named(x0, "Kim") }
{ }
{ }

forgot:
<h1, e1, x1>
{ SUBJ:<h1, x1, _> XCOMP:<h2, _, x1> }
{ h1:_forget_v_1(e1, x1, h3) }
{ h3 =q h2 }
{ }

<h1, e1, x1>
{ SUBJ:<h1, x1, _> XCOMP:<h2, _, x1> }
{ h1:_forget_v_1(e1, x1, h3) _vote_v_1(e3, x3) }
{ h3 =q h2 }
{}


vote:
<h6, e3, x3>
{ SUBJ:<h6, x3, _> }
{ h6:_vote_v_1(e3, x0) }
{}
{}

kim +SUBJ forgot:
h0
{ h0:_forget_v_1(e1, x0, h3) h0:named(x0, "Kim") h2:_vote_v_1(e3, x0) }
{ h3 =q h2 }

to:
<h5, e2, x2>
{ COMP1:<h5, e2, x2> }
{}
{}