TSPC 33_a_duplex

33_a_duplex
For my turn, when Duplex asked me to make a reservation for a group of three, I curtly told it to go away as we only make bookings for four or more.

arc(r_0033_0003__turn, r_0033_0002__my, gen).
arc(r_0033_0005__when, r_0033_0007__asked, restriction).
arc(r_0033_0005__when, r_0033_0026__as, scope).
arc(r_0033_0007__asked, r_0033_0006__Duplex, arg0).
arc(r_0033_0007__asked, r_0033_0008__me, arg2).
arc(r_0033_0007__asked, r_0033_0009__to_r_0033_0010__make, arg1).
arc(r_0033_0009__to_r_0033_0010__make, r_0033_0008__me, arg0).
arc(r_0033_0009__to_r_0033_0010__make, r_0033_0011__a_r_0033_0012__reservation, arg1).
arc(r_0033_0011__a_r_0033_0012__reservation, r_0033_0014__a_r_0033_0015__group, r_0033_0013__for).
arc(r_0033_0014__a_r_0033_0015__group, r_0033_0017__three, r_0033_0016__of).
arc(r_0033_0021__told, r_0033_0003__turn, r_0033_0001__For_nim5).
arc(r_0033_0021__told, r_0033_0006__Duplex, arg2).
arc(r_0033_0021__told, r_0033_0019__I, arg0).
arc(r_0033_0021__told, r_0033_0020__curtly, nim54).
arc(r_0033_0021__told, r_0033_0023__to_r_0033_0024__go, arg1).
arc(r_0033_0023__to_r_0033_0024__go, r_0033_0006__Duplex, arg0).
arc(r_0033_0023__to_r_0033_0024__go, r_0033_0025__away, clr67).
arc(r_0033_0026__as, r_0033_0021__told, scope).
arc(r_0033_0026__as, r_0033_0029__make, restriction).
arc(r_0033_0029__make, r_0033_0027__we, arg0).
arc(r_0033_0029__make, r_0033_0028__only, nim77).
arc(r_0033_0029__make, r_0033_0030__bookings, arg1).
arc(r_0033_0030__bookings, r_0033_0033__or, r_0033_0031__for).
arc(r_0033_0033__or, r_0033_0032__four, conj1).
arc(r_0033_0033__or, z_000_33_a_duplex_96, conj2).
arc(z_000_33_a_duplex_96, r_0033_0034__more, attrib97).

fof(formula,axiom,
    ! [R_0033_0007__ASKED,R_0033_0006__DUPLEX,R_0033_0008__ME,R_0033_0017__THREE,R_0033_0014__A_R_0033_0015__GROUP,R_0033_0011__A_R_0033_0012__RESERVATION,R_0033_0009__TO_R_0033_0010__MAKE] :
      ( ( r_0033_0006__Duplex(R_0033_0006__DUPLEX)
        & r_0033_0008__me(R_0033_0008__ME)
        & r_0033_0017__three(R_0033_0017__THREE)
        & r_0033_0007__asked(R_0033_0007__ASKED)
        & has_arg1(R_0033_0007__ASKED,R_0033_0009__TO_R_0033_0010__MAKE)
        & r_0033_0009__to_r_0033_0010__make(R_0033_0009__TO_R_0033_0010__MAKE)
        & has_arg1(R_0033_0009__TO_R_0033_0010__MAKE,R_0033_0011__A_R_0033_0012__RESERVATION)
        & r_0033_0011__a_r_0033_0012__reservation(R_0033_0011__A_R_0033_0012__RESERVATION)
        & has_r_0033_0013__for(R_0033_0011__A_R_0033_0012__RESERVATION,R_0033_0014__A_R_0033_0015__GROUP)
        & r_0033_0014__a_r_0033_0015__group(R_0033_0014__A_R_0033_0015__GROUP)
        & has_r_0033_0016__of(R_0033_0014__A_R_0033_0015__GROUP,R_0033_0017__THREE)
        & has_arg0(R_0033_0009__TO_R_0033_0010__MAKE,R_0033_0008__ME)
        & has_arg2(R_0033_0007__ASKED,R_0033_0008__ME)
        & has_arg0(R_0033_0007__ASKED,R_0033_0006__DUPLEX) )
     => ? [R_0033_0002__MY,R_0033_0003__TURN,R_0033_0019__I,R_0033_0020__CURTLY,R_0033_0025__AWAY,R_0033_0023__TO_R_0033_0024__GO,R_0033_0021__TOLD,R_0033_0027__WE,R_0033_0028__ONLY,R_0033_0032__FOUR,R_0033_0034__MORE,Z_000_33_A_DUPLEX_96,R_0033_0033__OR,R_0033_0030__BOOKINGS,R_0033_0029__MAKE,R_0033_0026__AS] :
          ( r_0033_0002__my(R_0033_0002__MY)
          & r_0033_0019__I(R_0033_0019__I)
          & r_0033_0020__curtly(R_0033_0020__CURTLY)
          & r_0033_0025__away(R_0033_0025__AWAY)
          & r_0033_0027__we(R_0033_0027__WE)
          & r_0033_0028__only(R_0033_0028__ONLY)
          & r_0033_0032__four(R_0033_0032__FOUR)
          & r_0033_0034__more(R_0033_0034__MORE)
          & r_0033_0026__as(R_0033_0026__AS)
          & has_conj1(R_0033_0026__AS,R_0033_0029__MAKE)
          & r_0033_0029__make(R_0033_0029__MAKE)
          & has_arg1(R_0033_0029__MAKE,R_0033_0030__BOOKINGS)
          & r_0033_0030__bookings(R_0033_0030__BOOKINGS)
          & has_r_0033_0031__for(R_0033_0030__BOOKINGS,R_0033_0033__OR)
          & r_0033_0033__or(R_0033_0033__OR)
          & has_conj2(R_0033_0033__OR,Z_000_33_A_DUPLEX_96)
          & z_000_33_a_duplex_96(Z_000_33_A_DUPLEX_96)
          & has_attrib97(Z_000_33_A_DUPLEX_96,R_0033_0034__MORE)
          & has_conj1(R_0033_0033__OR,R_0033_0032__FOUR)
          & has_nim77(R_0033_0029__MAKE,R_0033_0028__ONLY)
          & has_arg0(R_0033_0029__MAKE,R_0033_0027__WE)
          & has_conj2(R_0033_0026__AS,R_0033_0021__TOLD)
          & r_0033_0021__told(R_0033_0021__TOLD)
          & has_arg1(R_0033_0021__TOLD,R_0033_0023__TO_R_0033_0024__GO)
          & r_0033_0023__to_r_0033_0024__go(R_0033_0023__TO_R_0033_0024__GO)
          & has_clr67(R_0033_0023__TO_R_0033_0024__GO,R_0033_0025__AWAY)
          & has_arg0(R_0033_0023__TO_R_0033_0024__GO,R_0033_0006__DUPLEX)
          & has_nim54(R_0033_0021__TOLD,R_0033_0020__CURTLY)
          & has_arg0(R_0033_0021__TOLD,R_0033_0019__I)
          & has_arg2(R_0033_0021__TOLD,R_0033_0006__DUPLEX)
          & has_r_0033_0001__For_nim5(R_0033_0021__TOLD,R_0033_0003__TURN)
          & r_0033_0003__turn(R_0033_0003__TURN)
          & has_gen(R_0033_0003__TURN,R_0033_0002__MY) ) ) ).

( (IP-MAT (PP-NIM (P-ROLE For;{for})
                  (NP (NP-GEN;{DAVE} (PRO;_genm_ my;{my}))
                      (N turn;{turn})))
          (PUNC ,)
          (PP-SCON (P-CONN when;{when})
                   (IP-ADV (NP-SBJ;{ROBOT_CALLER} (NPR Duplex;{Duplex}))
                           (VBD;_Dn.t_ asked;{ask})
                           (NP-OB2;{DAVE} (PRO me;{I}))
                           (IP-INF-OB1 (TO to;{to})
                                       (VB;_Tn_ make;{make})
                                       (NP-OB1 (D a;{a})
                                               (N reservation;{reservation})
                                               (PP (P-ROLE for;{for})
                                                   (NP (D a;{a})
                                                       (N group;{group})
                                                       (PP (P-ROLE of;{of})
                                                           (NP (NUM three;{three})))))))))
          (PUNC ,)
          (NP-SBJ;{DAVE} (PRO I;{I}))
          (ADVP-NIM (ADV curtly;{curtly}))
          (VBD;_Dn.t_ told;{tell})
          (NP-OB2;{ROBOT_CALLER} (PRO it;{it}))
          (IP-INF-OB1 (TO to;{to})
                      (VB;_Ip_ go;{go[away]})
                      (ADVP-CLR (ADV away;{away})))
          (PP-SCON (P-CONN as;{as})
                   (IP-ADV (NP-SBJ;{DAVE_RESTAURANT} (PRO we;{we}))
                           (ADVP-NIM (ADV only;{only}))
                           (VBP;_Tn_ make;{make})
                           (NP-OB1 (NS bookings;{booking})
                                   (PP (P-ROLE for;{for})
                                       (NP (NLYR (NLYR (NUM four;{four}))
                                                 (CONJP (CONJ or;{or})
                                                        (NLYR (ADJP (ADJR more;{more}))))))))))
          (PUNC .))
  (ID 33_a_duplex))