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.
( (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))
arc(r_0028_0003__will,r_0028_0004__need,scope).
arc(r_0028_0004__need,r_0028_0006__get,scope).
arc(r_0028_0006__get,r_0028_0001__The_r_0028_0002__AI,arg0).
arc(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_0012__be,scope).
arc(r_0028_0012__be,r_0028_0001__The_r_0028_0002__AI,arg0).
arc(r_0028_0012__be,r_0028_0013__something,prd).
arc(r_0028_0014__rolled_r_0028_0015__out,r_0028_0013__something,inv_arg0).
arc(r_0028_0014__rolled_r_0028_0015__out,r_0028_0017__Google_r_0028_0018__users,r_0028_0016__to__clr).
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_0028_5009,conj2).
arc(z_0028_5009,r_0028_0023__eventually,nim).
arc(z_0028_5009,r_0028_0024__beyond,qual).
fof(formula,axiom,
! [R_0028_0010___APOS_S_R_0028_0012__BE,R_0028_0001__THE_R_0028_0002__AI,R_0028_0020__THE_R_0028_0021__US,R_0028_0023__EVENTUALLY,R_0028_0024__BEYOND,Z_0028_5009,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_0001__The_r_0028_0002__AI(R_0028_0001__THE_R_0028_0002__AI)
& 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_0010___apos_s_r_0028_0012__be(R_0028_0010___APOS_S_R_0028_0012__BE)
& has_prd(R_0028_0010___APOS_S_R_0028_0012__BE,R_0028_0013__SOMETHING)
& r_0028_0013__something(R_0028_0013__SOMETHING)
& has_inv_arg0(R_0028_0013__SOMETHING,R_0028_0014__ROLLED_R_0028_0015__OUT)
& r_0028_0014__rolled_r_0028_0015__out(R_0028_0014__ROLLED_R_0028_0015__OUT)
& has_r_0028_0016__to__clr(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_0028_5009)
& z_0028_5009(Z_0028_5009)
& has_qual(Z_0028_5009,R_0028_0024__BEYOND)
& has_nim(Z_0028_5009,R_0028_0023__EVENTUALLY)
& has_conj1(R_0028_0022__AND,R_0028_0020__THE_R_0028_0021__US)
& has_arg0(R_0028_0010___APOS_S_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_0006__GET] :
( r_0028_0007__better(R_0028_0007__BETTER)
& r_0028_0003__will_r_0028_0004__need_r_0028_0006__get(R_0028_0003__WILL_R_0028_0004__NEED_R_0028_0006__GET)
& has_prd(R_0028_0003__WILL_R_0028_0004__NEED_R_0028_0006__GET,R_0028_0007__BETTER)
& has_arg0(R_0028_0003__WILL_R_0028_0004__NEED_R_0028_0006__GET,R_0028_0001__THE_R_0028_0002__AI) ) ) ).