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.
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).
fof(formula,axiom,
? [R_0028_0013__SOMETHING,R_0028_0020__THE_R_0028_0021__US,R_0028_0023__EVENTUALLY,R_0028_0024__BEYOND,Z_000_28_A_DUPLEX_63,R_0028_0022__AND,R_0028_0017__GOOGLE_R_0028_0018__USERS,R_0028_0014__ROLLED_R_0028_0015__OUT] :
( r_0028_0013__something(R_0028_0013__SOMETHING)
& r_0028_0020__the_r_0028_0021__US(R_0028_0020__THE_R_0028_0021__US)
& r_0028_0023__eventually(R_0028_0023__EVENTUALLY)
& r_0028_0024__beyond(R_0028_0024__BEYOND)
& r_0028_0014__rolled_r_0028_0015__out(R_0028_0014__ROLLED_R_0028_0015__OUT)
& has_r_0028_0016__to_clr45(R_0028_0014__ROLLED_R_0028_0015__OUT,R_0028_0017__GOOGLE_R_0028_0018__USERS)
& r_0028_0017__Google_r_0028_0018__users(R_0028_0017__GOOGLE_R_0028_0018__USERS)
& has_r_0028_0019__across(R_0028_0017__GOOGLE_R_0028_0018__USERS,R_0028_0022__AND)
& r_0028_0022__and(R_0028_0022__AND)
& has_conj2(R_0028_0022__AND,Z_000_28_A_DUPLEX_63)
& z_000_28_a_duplex_63(Z_000_28_A_DUPLEX_63)
& has_qual67(Z_000_28_A_DUPLEX_63,R_0028_0024__BEYOND)
& has_qual64(Z_000_28_A_DUPLEX_63,R_0028_0023__EVENTUALLY)
& has_conj1(R_0028_0022__AND,R_0028_0020__THE_R_0028_0021__US)
& has_arg0(R_0028_0014__ROLLED_R_0028_0015__OUT,R_0028_0013__SOMETHING)
& ! [R_0028_0010___APOS_S_R_0028_0011__TO_R_0028_0012__BE,R_0028_0001__THE_R_0028_0002__AI] :
( ( r_0028_0001__The_r_0028_0002__AI(R_0028_0001__THE_R_0028_0002__AI)
& r_0028_0010___apos_s_r_0028_0011__to_r_0028_0012__be(R_0028_0010___APOS_S_R_0028_0011__TO_R_0028_0012__BE)
& has_prd(R_0028_0010___APOS_S_R_0028_0011__TO_R_0028_0012__BE,R_0028_0013__SOMETHING)
& has_arg0(R_0028_0010___APOS_S_R_0028_0011__TO_R_0028_0012__BE,R_0028_0001__THE_R_0028_0002__AI) )
=> ? [R_0028_0007__BETTER,R_0028_0003__WILL_R_0028_0004__NEED_R_0028_0005__TO_R_0028_0006__GET] :
( r_0028_0007__better(R_0028_0007__BETTER)
& r_0028_0003__will_r_0028_0004__need_r_0028_0005__to_r_0028_0006__get(R_0028_0003__WILL_R_0028_0004__NEED_R_0028_0005__TO_R_0028_0006__GET)
& has_prd(R_0028_0003__WILL_R_0028_0004__NEED_R_0028_0005__TO_R_0028_0006__GET,R_0028_0007__BETTER)
& has_arg0(R_0028_0003__WILL_R_0028_0004__NEED_R_0028_0005__TO_R_0028_0006__GET,R_0028_0001__THE_R_0028_0002__AI) ) ) ) ).
( (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))