TSPC 51_a_duplex

51_a_duplex
In the public trial it announced on Tuesday, the “small selection” of users will be able to use Duplex for the simple task of finding out if a restaurant is open or not during weekends or public holidays.

( (IP-MAT (PP-NIM (P-ROLE In;{in})
                  (NP (D the;{the})
                      (ADJP (ADJ public;{public}))
                      (N trial;{trial})
                      (IP-REL (NP-OB1 *T*)
                              (NP-SBJ;{GOOGLE} (PRO it;{it}))
                              (VBD;_Tn_ announced;{announce})
                              (PP-NIM (P-ROLE on;{on})
                                      (NP (NPR Tuesday;{Tuesday}))))))
          (PUNC ,)
          (NP-SBJ (D the;{the})
                  (PULQ <ldquo>)
                  (ADJP (ADJ small;{small}))
                  (N selection;{selection})
                  (PURQ <rdquo>)
                  (PP (P-ROLE of;{of})
                      (NP (NS users;{user}))))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (BE;_La_ be;{be})
                      (ADJP-PRD (ADJ;_cat_ able;{able})
                                (IP-INF (TO to;{to})
                                        (VB;_Tn.pr_ use;{use[for]})
                                        (NP-OB1;{ROBOT_CALLER} (NPR Duplex;{Duplex}))
                                        (PP-CLR (P-ROLE for;{for})
                                                (NP;{TASK} (D the;{the})
                                                           (ADJP (ADJ simple;{simple}))
                                                           (N task;{task})
                                                           (PP (P-ROLE of;{of})
                                                               (IP-PPL (VAG;_phr_Vp.w_ finding;{find[out]})
                                                                       (RP out;{out})
                                                                       (CP-QUE-OB1 (IP-SUB (WQ if;{if})
                                                                                           (NP-SBJ (D a;{a})
                                                                                                   (N restaurant;{restaurant}))
                                                                                           (BEP;_La_ is;{be})
                                                                                           (ADJP-PRD (AJLYR (AJLYR (ADJ open;{open}))
                                                                                                            (CONJP (CONJ or;{or})
                                                                                                                   (AJLYR (NEG not;{not})))))
                                                                                           (PP-NIM (P-ROLE during;{during})
                                                                                                   (NP (NLYR (NLYR (NS weekends;{weekend}))
                                                                                                             (CONJP (CONJ or;{or})
                                                                                                                    (NLYR (ADJP (ADJ public;{public}))
                                                                                                                          (NS holidays;{holiday})))))))))))))))
          (PUNC .))
  (ID 51_a_duplex))

arc(r_0051_0002__the_r_0051_0004__trial,r_0051_0003__public,attrib).
arc(r_0051_0006__announced,r_0051_0002__the_r_0051_0004__trial,inv_arg1).
arc(r_0051_0006__announced,r_0051_0005__it,arg0).
arc(r_0051_0006__announced,r_0051_0008__Tuesday,r_0051_0007__on__nim).
arc(r_0051_0010__the_r_0051_0013__selection,r_0051_0012__small,attrib).
arc(r_0051_0010__the_r_0051_0013__selection,r_0051_0016__users,r_0051_0015__of).
arc(r_0051_0017__will,r_0051_0002__the_r_0051_0004__trial,r_0051_0001__In__nim).
arc(r_0051_0017__will,r_0051_0018__be,scope).
arc(r_0051_0018__be,r_0051_0019__able,scope).
arc(r_0051_0019__able,r_0051_0021__use_r_0051_0023__for,scope).
arc(r_0051_0021__use_r_0051_0023__for,r_0051_0010__the_r_0051_0013__selection,arg0).
arc(r_0051_0021__use_r_0051_0023__for,r_0051_0022__Duplex,arg1).
arc(r_0051_0021__use_r_0051_0023__for,r_0051_0024__the_r_0051_0026__task,arg2).
arc(r_0051_0024__the_r_0051_0026__task,r_0051_0025__simple,attrib).
arc(r_0051_0024__the_r_0051_0026__task,r_0051_0028__finding_r_0051_0029__out,r_0051_0027__of).
arc(r_0051_0028__finding_r_0051_0029__out,r_0051_0030__if,arg1).
arc(r_0051_0028__finding_r_0051_0029__out,z_0051_5014,arg0).
arc(r_0051_0030__if,r_0051_0033__is,keep_scope).
arc(r_0051_0033__is,r_0051_0031__a_r_0051_0032__restaurant,arg0).
arc(r_0051_0033__is,r_0051_0035__or,prd).
arc(r_0051_0033__is,r_0051_0039__or,r_0051_0037__during__nim).
arc(r_0051_0035__or,r_0051_0034__open,conj1).
arc(r_0051_0035__or,r_0051_0036__not,conj2).
arc(r_0051_0039__or,r_0051_0038__weekends,conj1).
arc(r_0051_0039__or,r_0051_0041__holidays,conj2).
arc(r_0051_0041__holidays,r_0051_0040__public,attrib).

fof(formula,axiom,
    ? [R_0051_0003__PUBLIC,R_0051_0005__IT,R_0051_0008__TUESDAY,R_0051_0006__ANNOUNCED,R_0051_0002__THE_R_0051_0004__TRIAL,R_0051_0012__SMALL,R_0051_0016__USERS,R_0051_0010__THE_R_0051_0013__SELECTION,R_0051_0022__DUPLEX,R_0051_0025__SIMPLE,R_0051_0031__A_R_0051_0032__RESTAURANT,R_0051_0034__OPEN,R_0051_0036__NOT,R_0051_0035__OR,R_0051_0038__WEEKENDS,R_0051_0040__PUBLIC,R_0051_0041__HOLIDAYS,R_0051_0039__OR,R_0051_0033__IS,R_0051_0030__IF,Z_0051_5014,R_0051_0028__FINDING_R_0051_0029__OUT,R_0051_0024__THE_R_0051_0026__TASK,R_0051_0017__WILL_R_0051_0018__BE_R_0051_0019__ABLE_R_0051_0021__USE_R_0051_0023__FOR] :
      ( r_0051_0003__public(R_0051_0003__PUBLIC)
      & r_0051_0005__it(R_0051_0005__IT)
      & r_0051_0008__Tuesday(R_0051_0008__TUESDAY)
      & r_0051_0012__small(R_0051_0012__SMALL)
      & r_0051_0016__users(R_0051_0016__USERS)
      & r_0051_0022__Duplex(R_0051_0022__DUPLEX)
      & r_0051_0025__simple(R_0051_0025__SIMPLE)
      & r_0051_0031__a_r_0051_0032__restaurant(R_0051_0031__A_R_0051_0032__RESTAURANT)
      & r_0051_0034__open(R_0051_0034__OPEN)
      & r_0051_0036__not(R_0051_0036__NOT)
      & r_0051_0038__weekends(R_0051_0038__WEEKENDS)
      & r_0051_0040__public(R_0051_0040__PUBLIC)
      & z_0051_5014(Z_0051_5014)
      & r_0051_0017__will_r_0051_0018__be_r_0051_0019__able_r_0051_0021__use_r_0051_0023__for(R_0051_0017__WILL_R_0051_0018__BE_R_0051_0019__ABLE_R_0051_0021__USE_R_0051_0023__FOR)
      & has_arg2(R_0051_0017__WILL_R_0051_0018__BE_R_0051_0019__ABLE_R_0051_0021__USE_R_0051_0023__FOR,R_0051_0024__THE_R_0051_0026__TASK)
      & r_0051_0024__the_r_0051_0026__task(R_0051_0024__THE_R_0051_0026__TASK)
      & has_r_0051_0027__of(R_0051_0024__THE_R_0051_0026__TASK,R_0051_0028__FINDING_R_0051_0029__OUT)
      & r_0051_0028__finding_r_0051_0029__out(R_0051_0028__FINDING_R_0051_0029__OUT)
      & has_arg0(R_0051_0028__FINDING_R_0051_0029__OUT,Z_0051_5014)
      & has_arg1(R_0051_0028__FINDING_R_0051_0029__OUT,R_0051_0030__IF)
      & r_0051_0030__if(R_0051_0030__IF)
      & has_keep_scope(R_0051_0030__IF,R_0051_0033__IS)
      & r_0051_0033__is(R_0051_0033__IS)
      & has_r_0051_0037__during__nim(R_0051_0033__IS,R_0051_0039__OR)
      & r_0051_0039__or(R_0051_0039__OR)
      & has_conj2(R_0051_0039__OR,R_0051_0041__HOLIDAYS)
      & r_0051_0041__holidays(R_0051_0041__HOLIDAYS)
      & has_attrib(R_0051_0041__HOLIDAYS,R_0051_0040__PUBLIC)
      & has_conj1(R_0051_0039__OR,R_0051_0038__WEEKENDS)
      & has_prd(R_0051_0033__IS,R_0051_0035__OR)
      & r_0051_0035__or(R_0051_0035__OR)
      & has_conj2(R_0051_0035__OR,R_0051_0036__NOT)
      & has_conj1(R_0051_0035__OR,R_0051_0034__OPEN)
      & has_arg0(R_0051_0033__IS,R_0051_0031__A_R_0051_0032__RESTAURANT)
      & has_attrib(R_0051_0024__THE_R_0051_0026__TASK,R_0051_0025__SIMPLE)
      & has_arg1(R_0051_0017__WILL_R_0051_0018__BE_R_0051_0019__ABLE_R_0051_0021__USE_R_0051_0023__FOR,R_0051_0022__DUPLEX)
      & has_arg0(R_0051_0017__WILL_R_0051_0018__BE_R_0051_0019__ABLE_R_0051_0021__USE_R_0051_0023__FOR,R_0051_0010__THE_R_0051_0013__SELECTION)
      & r_0051_0010__the_r_0051_0013__selection(R_0051_0010__THE_R_0051_0013__SELECTION)
      & has_r_0051_0015__of(R_0051_0010__THE_R_0051_0013__SELECTION,R_0051_0016__USERS)
      & has_attrib(R_0051_0010__THE_R_0051_0013__SELECTION,R_0051_0012__SMALL)
      & has_r_0051_0001__In__nim(R_0051_0017__WILL_R_0051_0018__BE_R_0051_0019__ABLE_R_0051_0021__USE_R_0051_0023__FOR,R_0051_0002__THE_R_0051_0004__TRIAL)
      & r_0051_0002__the_r_0051_0004__trial(R_0051_0002__THE_R_0051_0004__TRIAL)
      & has_inv_arg1(R_0051_0002__THE_R_0051_0004__TRIAL,R_0051_0006__ANNOUNCED)
      & r_0051_0006__announced(R_0051_0006__ANNOUNCED)
      & has_r_0051_0007__on__nim(R_0051_0006__ANNOUNCED,R_0051_0008__TUESDAY)
      & has_arg0(R_0051_0006__ANNOUNCED,R_0051_0005__IT)
      & has_attrib(R_0051_0002__THE_R_0051_0004__TRIAL,R_0051_0003__PUBLIC) ) ).