Context                Previous, Next                Top


28_a_duplex
The AI will need to get better if it's to be something rolled out to Google users across the US and eventually beyond.

%3 r_0028_0003__will will r_0028_0004__need need r_0028_0003__will->r_0028_0004__need [scope] r_0028_0005__to_r_0028_0006__get to get r_0028_0004__need->r_0028_0005__to_r_0028_0006__get [scope] r_0028_0001__The_r_0028_0002__AI The AI r_0028_0005__to_r_0028_0006__get->r_0028_0001__The_r_0028_0002__AI [arg0] r_0028_0007__better better r_0028_0005__to_r_0028_0006__get->r_0028_0007__better [prd] r_0028_0008__if if r_0028_0008__if->r_0028_0003__will [scope] r_0028_0010___apos_s 's r_0028_0008__if->r_0028_0010___apos_s [restriction] r_0028_0011__to_r_0028_0012__be to be r_0028_0010___apos_s->r_0028_0011__to_r_0028_0012__be [scope] r_0028_0011__to_r_0028_0012__be->r_0028_0001__The_r_0028_0002__AI [arg0] r_0028_0013__something something r_0028_0011__to_r_0028_0012__be->r_0028_0013__something [prd] r_0028_0014__rolled_r_0028_0015__out rolled out r_0028_0014__rolled_r_0028_0015__out->r_0028_0013__something [arg0] r_0028_0017__Google_r_0028_0018__users Google users r_0028_0014__rolled_r_0028_0015__out->r_0028_0017__Google_r_0028_0018__users to [clr] r_0028_0022__and and r_0028_0017__Google_r_0028_0018__users->r_0028_0022__and across r_0028_0020__the_r_0028_0021__US the US r_0028_0022__and->r_0028_0020__the_r_0028_0021__US [conj1] z_000_28_a_duplex_63 r_0028_0022__and->z_000_28_a_duplex_63 [conj2] r_0028_0023__eventually eventually z_000_28_a_duplex_63->r_0028_0023__eventually [qual] r_0028_0024__beyond beyond z_000_28_a_duplex_63->r_0028_0024__beyond [qual] 
arc(r_0028_0003__will, r_0028_0004__need, scope).
arc(r_0028_0004__need, r_0028_0005__to_r_0028_0006__get, scope).
arc(r_0028_0005__to_r_0028_0006__get, r_0028_0001__The_r_0028_0002__AI, arg0).
arc(r_0028_0005__to_r_0028_0006__get, r_0028_0007__better, prd).
arc(r_0028_0008__if, r_0028_0003__will, scope).
arc(r_0028_0008__if, r_0028_0010___apos_s, restriction).
arc(r_0028_0010___apos_s, r_0028_0011__to_r_0028_0012__be, scope).
arc(r_0028_0011__to_r_0028_0012__be, r_0028_0001__The_r_0028_0002__AI, arg0).
arc(r_0028_0011__to_r_0028_0012__be, r_0028_0013__something, prd).
arc(r_0028_0014__rolled_r_0028_0015__out, r_0028_0013__something, arg0).
arc(r_0028_0014__rolled_r_0028_0015__out, r_0028_0017__Google_r_0028_0018__users, r_0028_0016__to_clr45).
arc(r_0028_0017__Google_r_0028_0018__users, r_0028_0022__and, r_0028_0019__across).
arc(r_0028_0022__and, r_0028_0020__the_r_0028_0021__US, conj1).
arc(r_0028_0022__and, z_000_28_a_duplex_63, conj2).
arc(z_000_28_a_duplex_63, r_0028_0023__eventually, qual64).
arc(z_000_28_a_duplex_63, r_0028_0024__beyond, qual67).


%3 z_000_28_a_duplex_63 r_0028_0024__beyond beyond z_000_28_a_duplex_63->r_0028_0024__beyond [qual] r_0028_0023__eventually eventually z_000_28_a_duplex_63->r_0028_0023__eventually [qual] r_0028_0022__and and r_0028_0022__and->z_000_28_a_duplex_63 [conj2] r_0028_0020__the_r_0028_0021__US the US r_0028_0022__and->r_0028_0020__the_r_0028_0021__US [conj1] r_0028_0017__Google_r_0028_0018__users Google users r_0028_0017__Google_r_0028_0018__users->r_0028_0022__and across r_0028_0014__rolled_r_0028_0015__out rolled out r_0028_0014__rolled_r_0028_0015__out->r_0028_0017__Google_r_0028_0018__users to [clr] r_0028_0013__something something r_0028_0014__rolled_r_0028_0015__out->r_0028_0013__something [arg0] r_0028_0010___apos_s_r_0028_0011__to_r_0028_0012__be 's to be r_0028_0010___apos_s_r_0028_0011__to_r_0028_0012__be->r_0028_0013__something [prd] r_0028_0001__The_r_0028_0002__AI The AI r_0028_0010___apos_s_r_0028_0011__to_r_0028_0012__be->r_0028_0001__The_r_0028_0002__AI [arg0] r_0028_0008__if if r_0028_0008__if->r_0028_0010___apos_s_r_0028_0011__to_r_0028_0012__be [restriction] r_0028_0003__will_r_0028_0004__need_r_0028_0005__to_r_0028_0006__get will need to get r_0028_0008__if->r_0028_0003__will_r_0028_0004__need_r_0028_0005__to_r_0028_0006__get [scope] r_0028_0003__will_r_0028_0004__need_r_0028_0005__to_r_0028_0006__get->r_0028_0001__The_r_0028_0002__AI [arg0] r_0028_0007__better better r_0028_0003__will_r_0028_0004__need_r_0028_0005__to_r_0028_0006__get->r_0028_0007__better [prd] 
fof(formula,axiom,
    ? [R_28_14_ROLLED_OUT,R_28_13_SOMETHING,R_28_17_GOOGLE_USERS,R_28_22_AND,R_28_20_THE_US,Z_28_A_DUPLEX_63,R_28_23_EVENTUALLY,R_28_24_BEYOND] :
      ( something(R_28_13_SOMETHING)
      & the_US(R_28_20_THE_US)
      & eventually(R_28_23_EVENTUALLY)
      & beyond(R_28_24_BEYOND)
      & ! [R_28_10__APOS_S_TO_BE,R_28_1_THE_AI] :
          ( ( the_AI(R_28_1_THE_AI)
            & _apos_s_to_be(R_28_10__APOS_S_TO_BE,R_28_1_THE_AI,R_28_13_SOMETHING) )
         => ? [R_28_3_WILL_NEED_TO_GET,R_28_7_BETTER] :
              ( better(R_28_7_BETTER)
              & will_need_to_get(R_28_3_WILL_NEED_TO_GET,R_28_1_THE_AI,R_28_7_BETTER) ) )
      & rolled_out(R_28_14_ROLLED_OUT,R_28_13_SOMETHING)
      & to_clr45(R_28_14_ROLLED_OUT,R_28_17_GOOGLE_USERS)
      & google_users(R_28_17_GOOGLE_USERS)
      & across(R_28_17_GOOGLE_USERS,R_28_22_AND)
      & and(R_28_22_AND)
      & conj1(R_28_22_AND,R_28_20_THE_US)
      & conj2(R_28_22_AND,Z_28_A_DUPLEX_63)
      & z_28_a_duplex_63(Z_28_A_DUPLEX_63)
      & qual64(Z_28_A_DUPLEX_63,R_28_23_EVENTUALLY)
      & qual67(Z_28_A_DUPLEX_63,R_28_24_BEYOND) ) ).


n28_a_duplex n28_a_duplex__1_1_1_1 The n28_a_duplex__1_1_2_1 AI n28_a_duplex__1_2_1 will n28_a_duplex__1_3_1_1 need n28_a_duplex__1_3_2_1_1 to n28_a_duplex__1_3_2_2_1 get n28_a_duplex__1_3_2_3_1_1 better n28_a_duplex__1_4_1_1 if n28_a_duplex__1_4_2_1_1_1 it n28_a_duplex__1_4_2_2_1 's n28_a_duplex__1_4_2_3_1_1 to n28_a_duplex__1_4_2_3_2_1 be n28_a_duplex__1_4_2_3_3_1_1 something n28_a_duplex__1_4_2_3_3_2_1_1 rolled n28_a_duplex__1_4_2_3_3_2_2_1 out n28_a_duplex__1_4_2_3_3_2_3_1_1 to n28_a_duplex__1_4_2_3_3_2_3_2_1_1 Google n28_a_duplex__1_4_2_3_3_2_3_2_2_1 users n28_a_duplex__1_4_2_3_3_2_3_2_3_1_1 across n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_1_1_1 the n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_1_2_1 US n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_2_1_1 and n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_2_2_1_1_1 eventually n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_2_2_2_1_1 beyond n28_a_duplex__1_5_1 . n28_a_duplex__1 IP-MAT n28_a_duplex__1_1 NP-SBJ n28_a_duplex__1->n28_a_duplex__1_1 n28_a_duplex__1_2 MD;_cat_Vi_ n28_a_duplex__1->n28_a_duplex__1_2 n28_a_duplex__1_3 IP-INF-CAT n28_a_duplex__1->n28_a_duplex__1_3 n28_a_duplex__1_4 PP-SCON n28_a_duplex__1->n28_a_duplex__1_4 n28_a_duplex__1_5 PUNC n28_a_duplex__1->n28_a_duplex__1_5 n28_a_duplex__1_1_1 D n28_a_duplex__1_1->n28_a_duplex__1_1_1 n28_a_duplex__1_1_2 NPR n28_a_duplex__1_1->n28_a_duplex__1_1_2 n28_a_duplex__1_1_1->n28_a_duplex__1_1_1_1 n28_a_duplex__1_1_2->n28_a_duplex__1_1_2_1 n28_a_duplex__1_2->n28_a_duplex__1_2_1 n28_a_duplex__1_3_1 VB;_cat_Vt_ n28_a_duplex__1_3->n28_a_duplex__1_3_1 n28_a_duplex__1_3_2 IP-INF-CAT n28_a_duplex__1_3->n28_a_duplex__1_3_2 n28_a_duplex__1_3_1->n28_a_duplex__1_3_1_1 n28_a_duplex__1_3_2_1 TO n28_a_duplex__1_3_2->n28_a_duplex__1_3_2_1 n28_a_duplex__1_3_2_2 VB;_La_ n28_a_duplex__1_3_2->n28_a_duplex__1_3_2_2 n28_a_duplex__1_3_2_3 ADJP-PRD n28_a_duplex__1_3_2->n28_a_duplex__1_3_2_3 n28_a_duplex__1_3_2_1->n28_a_duplex__1_3_2_1_1 n28_a_duplex__1_3_2_2->n28_a_duplex__1_3_2_2_1 n28_a_duplex__1_3_2_3_1 ADJR n28_a_duplex__1_3_2_3->n28_a_duplex__1_3_2_3_1 n28_a_duplex__1_3_2_3_1->n28_a_duplex__1_3_2_3_1_1 n28_a_duplex__1_4_1 P-CONN n28_a_duplex__1_4->n28_a_duplex__1_4_1 n28_a_duplex__1_4_2 IP-ADV n28_a_duplex__1_4->n28_a_duplex__1_4_2 n28_a_duplex__1_4_1->n28_a_duplex__1_4_1_1 n28_a_duplex__1_4_2_1 NP-SBJ n28_a_duplex__1_4_2->n28_a_duplex__1_4_2_1 n28_a_duplex__1_4_2_2 BEP;_cat_Vt_ n28_a_duplex__1_4_2->n28_a_duplex__1_4_2_2 n28_a_duplex__1_4_2_3 IP-INF-CAT n28_a_duplex__1_4_2->n28_a_duplex__1_4_2_3 n28_a_duplex__1_4_2_1_1 PRO n28_a_duplex__1_4_2_1->n28_a_duplex__1_4_2_1_1 n28_a_duplex__1_4_2_1_1->n28_a_duplex__1_4_2_1_1_1 n28_a_duplex__1_4_2_2->n28_a_duplex__1_4_2_2_1 n28_a_duplex__1_4_2_3_1 TO n28_a_duplex__1_4_2_3->n28_a_duplex__1_4_2_3_1 n28_a_duplex__1_4_2_3_2 BE;_Ln_ n28_a_duplex__1_4_2_3->n28_a_duplex__1_4_2_3_2 n28_a_duplex__1_4_2_3_3 NP-PRD n28_a_duplex__1_4_2_3->n28_a_duplex__1_4_2_3_3 n28_a_duplex__1_4_2_3_1->n28_a_duplex__1_4_2_3_1_1 n28_a_duplex__1_4_2_3_2->n28_a_duplex__1_4_2_3_2_1 n28_a_duplex__1_4_2_3_3_1 D;_nphd_ n28_a_duplex__1_4_2_3_3->n28_a_duplex__1_4_2_3_3_1 n28_a_duplex__1_4_2_3_3_2 IP-PPL n28_a_duplex__1_4_2_3_3->n28_a_duplex__1_4_2_3_3_2 n28_a_duplex__1_4_2_3_3_1->n28_a_duplex__1_4_2_3_3_1_1 n28_a_duplex__1_4_2_3_3_2_1 VVN;_phr_Vp.pr_ n28_a_duplex__1_4_2_3_3_2->n28_a_duplex__1_4_2_3_3_2_1 n28_a_duplex__1_4_2_3_3_2_2 RP n28_a_duplex__1_4_2_3_3_2->n28_a_duplex__1_4_2_3_3_2_2 n28_a_duplex__1_4_2_3_3_2_3 PP-CLR n28_a_duplex__1_4_2_3_3_2->n28_a_duplex__1_4_2_3_3_2_3 n28_a_duplex__1_4_2_3_3_2_1->n28_a_duplex__1_4_2_3_3_2_1_1 n28_a_duplex__1_4_2_3_3_2_2->n28_a_duplex__1_4_2_3_3_2_2_1 n28_a_duplex__1_4_2_3_3_2_3_1 P-ROLE n28_a_duplex__1_4_2_3_3_2_3->n28_a_duplex__1_4_2_3_3_2_3_1 n28_a_duplex__1_4_2_3_3_2_3_2 NP n28_a_duplex__1_4_2_3_3_2_3->n28_a_duplex__1_4_2_3_3_2_3_2 n28_a_duplex__1_4_2_3_3_2_3_1->n28_a_duplex__1_4_2_3_3_2_3_1_1 n28_a_duplex__1_4_2_3_3_2_3_2_1 NPR n28_a_duplex__1_4_2_3_3_2_3_2->n28_a_duplex__1_4_2_3_3_2_3_2_1 n28_a_duplex__1_4_2_3_3_2_3_2_2 NS n28_a_duplex__1_4_2_3_3_2_3_2->n28_a_duplex__1_4_2_3_3_2_3_2_2 n28_a_duplex__1_4_2_3_3_2_3_2_3 PP n28_a_duplex__1_4_2_3_3_2_3_2->n28_a_duplex__1_4_2_3_3_2_3_2_3 n28_a_duplex__1_4_2_3_3_2_3_2_1->n28_a_duplex__1_4_2_3_3_2_3_2_1_1 n28_a_duplex__1_4_2_3_3_2_3_2_2->n28_a_duplex__1_4_2_3_3_2_3_2_2_1 n28_a_duplex__1_4_2_3_3_2_3_2_3_1 P-ROLE n28_a_duplex__1_4_2_3_3_2_3_2_3->n28_a_duplex__1_4_2_3_3_2_3_2_3_1 n28_a_duplex__1_4_2_3_3_2_3_2_3_2 NP n28_a_duplex__1_4_2_3_3_2_3_2_3->n28_a_duplex__1_4_2_3_3_2_3_2_3_2 n28_a_duplex__1_4_2_3_3_2_3_2_3_1->n28_a_duplex__1_4_2_3_3_2_3_2_3_1_1 n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1 NLYR n28_a_duplex__1_4_2_3_3_2_3_2_3_2->n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1 n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_1 NLYR n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1->n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_1 n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_2 CONJP n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1->n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_2 n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_1_1 D n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_1->n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_1_1 n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_1_2 NPR n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_1->n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_1_2 n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_1_1->n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_1_1_1 n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_1_2->n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_1_2_1 n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_2_1 CONJ n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_2->n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_2_1 n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_2_2 NLYR n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_2->n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_2_2 n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_2_1->n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_2_1_1 n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_2_2_1 ADVP-NIM n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_2_2->n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_2_2_1 n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_2_2_2 ADVP n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_2_2->n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_2_2_2 n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_2_2_1_1 ADV n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_2_2_1->n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_2_2_1_1 n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_2_2_1_1->n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_2_2_1_1_1 n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_2_2_2_1 ADV n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_2_2_2->n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_2_2_2_1 n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_2_2_2_1->n28_a_duplex__1_4_2_3_3_2_3_2_3_2_1_2_2_2_1_1 n28_a_duplex__1_5->n28_a_duplex__1_5_1 
( (IP-MAT (NP-SBJ;{AI} (D The;{the})
                       (NPR AI;{AI}))
          (MD;_cat_Vi_ will;{will})
          (IP-INF-CAT (VB;_cat_Vt_ need;{need})
                      (IP-INF-CAT (TO to;{to})
                                  (VB;_La_ get;{get})
                                  (ADJP-PRD (ADJR better;{good}))))
          (PP-SCON (P-CONN if;{if})
                   (IP-ADV (NP-SBJ;{AI} (PRO it;{it}))
                           (BEP;_cat_Vt_ <apos>s;{be})
                           (IP-INF-CAT (TO to;{to})
                                       (BE;_Ln_ be;{be})
                                       (NP-PRD (D;_nphd_ something;{something})
                                               (IP-PPL (VVN;_phr_Vp.pr_ rolled;{roll[out,to]})
                                                       (RP out;{out})
                                                       (PP-CLR (P-ROLE to;{to})
                                                               (NP (NPR Google;{Google})
                                                                   (NS users;{user})
                                                                   (PP (P-ROLE across;{across})
                                                                       (NP (NLYR (NLYR (D the;{the})
                                                                                       (NPR US))
                                                                                 (CONJP (CONJ and;{and})
                                                                                        (NLYR (ADVP-NIM (ADV eventually;{eventually}))
                                                                                              (ADVP (ADV beyond;{beyond}))))))))))))))
          (PUNC .))
  (ID 28_a_duplex))