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 r_0028_0003__will_r_0028_0004__need_r_0028_0005__to_r_0028_0006__get will need to get r_0028_0001__The_r_0028_0002__AI The AI 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] r_0028_0008__if if r_0028_0008__if->r_0028_0003__will_r_0028_0004__need_r_0028_0005__to_r_0028_0006__get [scope] r_0028_0010___apos_s_r_0028_0011__to_r_0028_0012__be 's to be r_0028_0008__if->r_0028_0010___apos_s_r_0028_0011__to_r_0028_0012__be [restriction] r_0028_0010___apos_s_r_0028_0011__to_r_0028_0012__be->r_0028_0001__The_r_0028_0002__AI [arg0] r_0028_0013__something something r_0028_0010___apos_s_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] 
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_4 The n28_a_duplex_6 AI n28_a_duplex_8 will n28_a_duplex_11 need n28_a_duplex_14 to n28_a_duplex_16 get n28_a_duplex_19 better n28_a_duplex_22 if n28_a_duplex_26 it n28_a_duplex_28 's n28_a_duplex_31 to n28_a_duplex_33 be n28_a_duplex_36 something n28_a_duplex_39 rolled n28_a_duplex_41 out n28_a_duplex_44 to n28_a_duplex_47 Google n28_a_duplex_49 users n28_a_duplex_52 across n28_a_duplex_57 the n28_a_duplex_59 US n28_a_duplex_62 and n28_a_duplex_66 eventually n28_a_duplex_69 beyond n28_a_duplex_71 . n28_a_duplex_1 IP-MAT n28_a_duplex_2 NP-SBJ n28_a_duplex_1->n28_a_duplex_2 n28_a_duplex_7 MD;_cat_Vi_ n28_a_duplex_1->n28_a_duplex_7 n28_a_duplex_9 IP-INF-CAT n28_a_duplex_1->n28_a_duplex_9 n28_a_duplex_20 PP-SCON n28_a_duplex_1->n28_a_duplex_20 n28_a_duplex_70 PUNC n28_a_duplex_1->n28_a_duplex_70 n28_a_duplex_3 D n28_a_duplex_2->n28_a_duplex_3 n28_a_duplex_5 NPR n28_a_duplex_2->n28_a_duplex_5 n28_a_duplex_3->n28_a_duplex_4 n28_a_duplex_5->n28_a_duplex_6 n28_a_duplex_7->n28_a_duplex_8 n28_a_duplex_10 VB;_cat_Vt_ n28_a_duplex_9->n28_a_duplex_10 n28_a_duplex_12 IP-INF-CAT n28_a_duplex_9->n28_a_duplex_12 n28_a_duplex_10->n28_a_duplex_11 n28_a_duplex_13 TO n28_a_duplex_12->n28_a_duplex_13 n28_a_duplex_15 VB;_La_ n28_a_duplex_12->n28_a_duplex_15 n28_a_duplex_17 ADJP-PRD n28_a_duplex_12->n28_a_duplex_17 n28_a_duplex_13->n28_a_duplex_14 n28_a_duplex_15->n28_a_duplex_16 n28_a_duplex_18 ADJR n28_a_duplex_17->n28_a_duplex_18 n28_a_duplex_18->n28_a_duplex_19 n28_a_duplex_21 P-CONN n28_a_duplex_20->n28_a_duplex_21 n28_a_duplex_23 IP-ADV n28_a_duplex_20->n28_a_duplex_23 n28_a_duplex_21->n28_a_duplex_22 n28_a_duplex_24 NP-SBJ n28_a_duplex_23->n28_a_duplex_24 n28_a_duplex_27 BEP;_cat_Vt_ n28_a_duplex_23->n28_a_duplex_27 n28_a_duplex_29 IP-INF-CAT n28_a_duplex_23->n28_a_duplex_29 n28_a_duplex_25 PRO n28_a_duplex_24->n28_a_duplex_25 n28_a_duplex_25->n28_a_duplex_26 n28_a_duplex_27->n28_a_duplex_28 n28_a_duplex_30 TO n28_a_duplex_29->n28_a_duplex_30 n28_a_duplex_32 BE;_Ln_ n28_a_duplex_29->n28_a_duplex_32 n28_a_duplex_34 NP-PRD n28_a_duplex_29->n28_a_duplex_34 n28_a_duplex_30->n28_a_duplex_31 n28_a_duplex_32->n28_a_duplex_33 n28_a_duplex_35 D;_nphd_ n28_a_duplex_34->n28_a_duplex_35 n28_a_duplex_37 IP-PPL n28_a_duplex_34->n28_a_duplex_37 n28_a_duplex_35->n28_a_duplex_36 n28_a_duplex_38 VVN;_phr_Vp.pr_ n28_a_duplex_37->n28_a_duplex_38 n28_a_duplex_40 RP n28_a_duplex_37->n28_a_duplex_40 n28_a_duplex_42 PP-CLR n28_a_duplex_37->n28_a_duplex_42 n28_a_duplex_38->n28_a_duplex_39 n28_a_duplex_40->n28_a_duplex_41 n28_a_duplex_43 P-ROLE n28_a_duplex_42->n28_a_duplex_43 n28_a_duplex_45 NP n28_a_duplex_42->n28_a_duplex_45 n28_a_duplex_43->n28_a_duplex_44 n28_a_duplex_46 NPR n28_a_duplex_45->n28_a_duplex_46 n28_a_duplex_48 NS n28_a_duplex_45->n28_a_duplex_48 n28_a_duplex_50 PP n28_a_duplex_45->n28_a_duplex_50 n28_a_duplex_46->n28_a_duplex_47 n28_a_duplex_48->n28_a_duplex_49 n28_a_duplex_51 P-ROLE n28_a_duplex_50->n28_a_duplex_51 n28_a_duplex_53 NP n28_a_duplex_50->n28_a_duplex_53 n28_a_duplex_51->n28_a_duplex_52 n28_a_duplex_54 NLYR n28_a_duplex_53->n28_a_duplex_54 n28_a_duplex_55 NLYR n28_a_duplex_54->n28_a_duplex_55 n28_a_duplex_60 CONJP n28_a_duplex_54->n28_a_duplex_60 n28_a_duplex_56 D n28_a_duplex_55->n28_a_duplex_56 n28_a_duplex_58 NPR n28_a_duplex_55->n28_a_duplex_58 n28_a_duplex_56->n28_a_duplex_57 n28_a_duplex_58->n28_a_duplex_59 n28_a_duplex_61 CONJ n28_a_duplex_60->n28_a_duplex_61 n28_a_duplex_63 NLYR n28_a_duplex_60->n28_a_duplex_63 n28_a_duplex_61->n28_a_duplex_62 n28_a_duplex_64 ADVP-NIM n28_a_duplex_63->n28_a_duplex_64 n28_a_duplex_67 ADVP n28_a_duplex_63->n28_a_duplex_67 n28_a_duplex_65 ADV n28_a_duplex_64->n28_a_duplex_65 n28_a_duplex_65->n28_a_duplex_66 n28_a_duplex_68 ADV n28_a_duplex_67->n28_a_duplex_68 n28_a_duplex_68->n28_a_duplex_69 n28_a_duplex_70->n28_a_duplex_71 
( (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))