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,
    ? [R_0045_0001__THE_R_0045_0002__KEYBOARD,R_0045_0022__THEN,R_0045_0025__0XFE,R_0045_0024__SENT,Z_000_45_A_PAULFELLOWS_95,R_0045_0004__YOU,R_0045_0033__0XFE,R_0045_0029__WERE_R_0045_0030__SUPPOSED_R_0045_0031__TO_R_0045_0032__REPLY,R_0045_0027__AND,R_0045_0011__THEN,R_0045_0015__0XFF,R_0045_0016__AGAIN,R_0045_0013__SENT,R_0045_0020__0XFF,R_0045_0019__REPLIED,Z_000_45_A_PAULFELLOWS_35,R_0045_0005__0XFF,R_0045_0003__SENT,R_0045_0009__0XFF,R_0045_0008__REPLIED,Z_000_45_A_PAULFELLOWS_4,Z_000_45_A_PAULFELLOWS_2] :
      ( r_0045_0001__The_r_0045_0002__keyboard(R_0045_0001__THE_R_0045_0002__KEYBOARD)
      & r_0045_0004__you(R_0045_0004__YOU)
      & r_0045_0005__0xFF(R_0045_0005__0XFF)
      & r_0045_0009__0xFF(R_0045_0009__0XFF)
      & r_0045_0011__then(R_0045_0011__THEN)
      & r_0045_0015__0xFF(R_0045_0015__0XFF)
      & r_0045_0016__again(R_0045_0016__AGAIN)
      & r_0045_0020__0xFF(R_0045_0020__0XFF)
      & r_0045_0022__then(R_0045_0022__THEN)
      & r_0045_0025__0xFE(R_0045_0025__0XFE)
      & r_0045_0033__0xFE(R_0045_0033__0XFE)
      & z_000_45_a_paulfellows_95(Z_000_45_A_PAULFELLOWS_95)
      & z_000_45_a_paulfellows_2(Z_000_45_A_PAULFELLOWS_2)
      & has_conj1(Z_000_45_A_PAULFELLOWS_2,Z_000_45_A_PAULFELLOWS_4)
      & z_000_45_a_paulfellows_4(Z_000_45_A_PAULFELLOWS_4)
      & has_conj2(Z_000_45_A_PAULFELLOWS_4,R_0045_0008__REPLIED)
      & r_0045_0008__replied(R_0045_0008__REPLIED)
      & has_arg1(R_0045_0008__REPLIED,R_0045_0009__0XFF)
      & has_arg0(R_0045_0008__REPLIED,R_0045_0004__YOU)
      & has_conj1(Z_000_45_A_PAULFELLOWS_4,R_0045_0003__SENT)
      & r_0045_0003__sent(R_0045_0003__SENT)
      & has_arg1(R_0045_0003__SENT,R_0045_0005__0XFF)
      & has_arg2(R_0045_0003__SENT,R_0045_0004__YOU)
      & has_arg0(R_0045_0003__SENT,R_0045_0001__THE_R_0045_0002__KEYBOARD)
      & has_conj2(Z_000_45_A_PAULFELLOWS_2,Z_000_45_A_PAULFELLOWS_35)
      & z_000_45_a_paulfellows_35(Z_000_45_A_PAULFELLOWS_35)
      & has_conj2(Z_000_45_A_PAULFELLOWS_35,R_0045_0019__REPLIED)
      & r_0045_0019__replied(R_0045_0019__REPLIED)
      & has_arg1(R_0045_0019__REPLIED,R_0045_0020__0XFF)
      & has_arg0(R_0045_0019__REPLIED,R_0045_0004__YOU)
      & has_conj1(Z_000_45_A_PAULFELLOWS_35,R_0045_0013__SENT)
      & r_0045_0013__sent(R_0045_0013__SENT)
      & has_nim51(R_0045_0013__SENT,R_0045_0016__AGAIN)
      & has_arg1(R_0045_0013__SENT,R_0045_0015__0XFF)
      & has_nim37(R_0045_0013__SENT,R_0045_0011__THEN)
      & has_arg2(R_0045_0013__SENT,R_0045_0004__YOU)
      & has_arg0(R_0045_0013__SENT,R_0045_0001__THE_R_0045_0002__KEYBOARD)
      & has_conj3(Z_000_45_A_PAULFELLOWS_2,R_0045_0027__AND)
      & r_0045_0027__and(R_0045_0027__AND)
      & has_conj2(R_0045_0027__AND,R_0045_0029__WERE_R_0045_0030__SUPPOSED_R_0045_0031__TO_R_0045_0032__REPLY)
      & r_0045_0029__were_r_0045_0030__supposed_r_0045_0031__to_r_0045_0032__reply(R_0045_0029__WERE_R_0045_0030__SUPPOSED_R_0045_0031__TO_R_0045_0032__REPLY)
      & has_arg1(R_0045_0029__WERE_R_0045_0030__SUPPOSED_R_0045_0031__TO_R_0045_0032__REPLY,R_0045_0033__0XFE)
      & has_arg0(R_0045_0029__WERE_R_0045_0030__SUPPOSED_R_0045_0031__TO_R_0045_0032__REPLY,R_0045_0004__YOU)
      & has_arg0(R_0045_0029__WERE_R_0045_0030__SUPPOSED_R_0045_0031__TO_R_0045_0032__REPLY,Z_000_45_A_PAULFELLOWS_95)
      & has_conj1(R_0045_0027__AND,R_0045_0024__SENT)
      & r_0045_0024__sent(R_0045_0024__SENT)
      & has_arg1(R_0045_0024__SENT,R_0045_0025__0XFE)
      & has_nim72(R_0045_0024__SENT,R_0045_0022__THEN)
      & has_arg0(R_0045_0024__SENT,R_0045_0001__THE_R_0045_0002__KEYBOARD) ) ).

( (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))