TSPC 45_a_paulfellows

45_a_paulfellows
The keyboard sent you 0xFF, you replied 0xFF, then it sent you 0xFF again, you replied 0xFF, then it sent 0xFE, and you were supposed to reply 0xFE.

arc(r_0045_0003__sent, r_0045_0001__The_r_0045_0002__keyboard, arg0).
arc(r_0045_0003__sent, r_0045_0004__you, arg2).
arc(r_0045_0003__sent, r_0045_0005__0xFF, arg1).
arc(r_0045_0008__replied, r_0045_0004__you, arg0).
arc(r_0045_0008__replied, r_0045_0009__0xFF, arg1).
arc(r_0045_0013__sent, r_0045_0001__The_r_0045_0002__keyboard, arg0).
arc(r_0045_0013__sent, r_0045_0004__you, arg2).
arc(r_0045_0013__sent, r_0045_0011__then, nim37).
arc(r_0045_0013__sent, r_0045_0015__0xFF, arg1).
arc(r_0045_0013__sent, r_0045_0016__again, nim51).
arc(r_0045_0019__replied, r_0045_0004__you, arg0).
arc(r_0045_0019__replied, r_0045_0020__0xFF, arg1).
arc(r_0045_0024__sent, r_0045_0001__The_r_0045_0002__keyboard, arg0).
arc(r_0045_0024__sent, r_0045_0022__then, nim72).
arc(r_0045_0024__sent, r_0045_0025__0xFE, arg1).
arc(r_0045_0027__and, r_0045_0024__sent, conj1).
arc(r_0045_0027__and, r_0045_0029__were, conj2).
arc(r_0045_0029__were, r_0045_0030__supposed, scope).
arc(r_0045_0030__supposed, r_0045_0031__to_r_0045_0032__reply, scope).
arc(r_0045_0030__supposed, z_000_45_a_paulfellows_95, arg0).
arc(r_0045_0031__to_r_0045_0032__reply, r_0045_0004__you, arg0).
arc(r_0045_0031__to_r_0045_0032__reply, r_0045_0033__0xFE, arg1).
arc(z_000_45_a_paulfellows_2, r_0045_0027__and, conj3).
arc(z_000_45_a_paulfellows_2, z_000_45_a_paulfellows_35, conj2).
arc(z_000_45_a_paulfellows_2, z_000_45_a_paulfellows_4, conj1).
arc(z_000_45_a_paulfellows_35, r_0045_0013__sent, conj1).
arc(z_000_45_a_paulfellows_35, r_0045_0019__replied, conj2).
arc(z_000_45_a_paulfellows_4, r_0045_0003__sent, conj1).
arc(z_000_45_a_paulfellows_4, r_0045_0008__replied, conj2).

fof(formula,axiom,
    ? [Z_45_A_PAULFELLOWS_2,Z_45_A_PAULFELLOWS_4,R_45_3_SENT,R_45_5_XFF,R_45_8_REPLIED,R_45_9_XFF,Z_45_A_PAULFELLOWS_35,R_45_13_SENT,R_45_15_XFF,R_45_11_THEN,R_45_16_AGAIN,R_45_19_REPLIED,R_45_20_XFF,R_45_27_AND,R_45_24_SENT,R_45_1_THE_KEYBOARD,R_45_25_XFE,R_45_22_THEN,R_45_29_WERE_SUPPOSED_TO_REPLY,R_45_4_YOU,Z_45_A_PAULFELLOWS_95,R_45_33_XFE] :
      ( 0xFF(R_45_5_XFF)
      & 0xFF(R_45_9_XFF)
      & 0xFF(R_45_15_XFF)
      & then(R_45_11_THEN)
      & again(R_45_16_AGAIN)
      & 0xFF(R_45_20_XFF)
      & the_keyboard(R_45_1_THE_KEYBOARD)
      & 0xFE(R_45_25_XFE)
      & then(R_45_22_THEN)
      & you(R_45_4_YOU)
      & 0xFE(R_45_33_XFE)
      & z_45_a_paulfellows_2(Z_45_A_PAULFELLOWS_2)
      & conj1(Z_45_A_PAULFELLOWS_2,Z_45_A_PAULFELLOWS_4)
      & z_45_a_paulfellows_4(Z_45_A_PAULFELLOWS_4)
      & conj1(Z_45_A_PAULFELLOWS_4,R_45_3_SENT)
      & sent(R_45_3_SENT,R_45_1_THE_KEYBOARD,R_45_5_XFF,R_45_4_YOU)
      & conj2(Z_45_A_PAULFELLOWS_4,R_45_8_REPLIED)
      & replied(R_45_8_REPLIED,R_45_4_YOU,R_45_9_XFF)
      & conj2(Z_45_A_PAULFELLOWS_2,Z_45_A_PAULFELLOWS_35)
      & z_45_a_paulfellows_35(Z_45_A_PAULFELLOWS_35)
      & conj1(Z_45_A_PAULFELLOWS_35,R_45_13_SENT)
      & sent(R_45_13_SENT,R_45_1_THE_KEYBOARD,R_45_15_XFF,R_45_4_YOU)
      & nim37(R_45_13_SENT,R_45_11_THEN)
      & nim51(R_45_13_SENT,R_45_16_AGAIN)
      & conj2(Z_45_A_PAULFELLOWS_35,R_45_19_REPLIED)
      & replied(R_45_19_REPLIED,R_45_4_YOU,R_45_20_XFF)
      & conj3(Z_45_A_PAULFELLOWS_2,R_45_27_AND)
      & and(R_45_27_AND)
      & conj1(R_45_27_AND,R_45_24_SENT)
      & sent(R_45_24_SENT,R_45_1_THE_KEYBOARD,R_45_25_XFE)
      & nim72(R_45_24_SENT,R_45_22_THEN)
      & conj2(R_45_27_AND,R_45_29_WERE_SUPPOSED_TO_REPLY)
      & true
      & true
      & arg0(ARG0)
      & were_supposed_to_reply(R_45_29_WERE_SUPPOSED_TO_REPLY)
      & arg1(R_45_29_WERE_SUPPOSED_TO_REPLY,R_45_33_XFE) ) ).

( (IP-MAT (ILYR (ILYR (ILYR (ILYR (NP-SBJ;{KEYBOARD} (D The;{the})
                                                     (N keyboard;{keyboard}))
                                  (VBD;_Dn.n_ sent;{send})
                                  (NP-OB2 (PRO you;{you}))
                                  (NP-OB1 (NPR 0xFF;{0xFF})))
                            (PUNC ,)
                            (CONJP (ILYR (NP-SBJ (PRO you;{you}))
                                         (VBD;_Tn_ replied;{reply})
                                         (NP-OB1 (NPR 0xFF;{0xFF}))))))
                (PUNC ,)
                (CONJP (ILYR (ILYR (ILYR (ADVP-NIM (ADV then;{then}))
                                         (NP-SBJ;{KEYBOARD} (PRO it;{it}))
                                         (VBD;_Dn.n_ sent;{send})
                                         (NP-OB2 (PRO you;{you}))
                                         (NP-OB1 (NPR 0xFF;{0xFF}))
                                         (ADVP-NIM (ADV again;{again})))
                                   (PUNC ,)
                                   (CONJP (ILYR (NP-SBJ (PRO you;{you}))
                                                (VBD;_Tn_ replied;{reply})
                                                (NP-OB1 (NPR 0xFF;{0xFF})))))))
                (PUNC ,)
                (CONJP (ILYR (ILYR (ILYR (ADVP-NIM (ADV then;{then}))
                                         (NP-SBJ;{KEYBOARD} (PRO it;{it}))
                                         (VBD;_Tn_ sent;{send})
                                         (NP-OB1 (NPR 0xFE;{0xFE})))
                                   (PUNC ,)
                                   (CONJP (CONJ and;{and})
                                          (ILYR (NP-SBJ (PRO you;{you}))
                                                (BED;_cat_VePASS_ were;{be})
                                                (IP-PPL-CAT (NP-LGS *)
                                                            (VVN;_cat_Vt_ supposed;{suppose})
                                                            (IP-INF-CAT (TO to;{to})
                                                                        (VB;_Tn_ reply;{reply})
                                                                        (NP-OB1 (NPR 0xFE;{0xFE}))))))))))
          (PUNC .))
  (ID 45_a_paulfellows))