Context                Previous, Next                Top


45_a_duplex
Google believes there are several use cases that justify the existence of Duplex.

%3 r_0045_0002__believes believes r_0045_0001__Google Google r_0045_0002__believes->r_0045_0001__Google [arg0] r_0045_0003__there_r_0045_0004__are there are r_0045_0002__believes->r_0045_0003__there_r_0045_0004__are [arg1] r_0045_0006__use_r_0045_0007__cases use cases r_0045_0003__there_r_0045_0004__are->r_0045_0006__use_r_0045_0007__cases [arg0] r_0045_0005__several several r_0045_0006__use_r_0045_0007__cases->r_0045_0005__several [attrib] r_0045_0008__that_r_0045_0009__justify that justify r_0045_0008__that_r_0045_0009__justify->r_0045_0006__use_r_0045_0007__cases [arg0] r_0045_0010__the_r_0045_0011__existence the existence r_0045_0008__that_r_0045_0009__justify->r_0045_0010__the_r_0045_0011__existence [arg1] r_0045_0013__Duplex Duplex r_0045_0010__the_r_0045_0011__existence->r_0045_0013__Duplex of 
arc(r_0045_0002__believes, r_0045_0001__Google, arg0).
arc(r_0045_0002__believes, r_0045_0003__there_r_0045_0004__are, arg1).
arc(r_0045_0003__there_r_0045_0004__are, r_0045_0006__use_r_0045_0007__cases, arg0).
arc(r_0045_0006__use_r_0045_0007__cases, r_0045_0005__several, attrib14).
arc(r_0045_0008__that_r_0045_0009__justify, r_0045_0006__use_r_0045_0007__cases, arg0).
arc(r_0045_0008__that_r_0045_0009__justify, r_0045_0010__the_r_0045_0011__existence, arg1).
arc(r_0045_0010__the_r_0045_0011__existence, r_0045_0013__Duplex, r_0045_0012__of).


%3 r_0045_0010__the_r_0045_0011__existence the existence r_0045_0013__Duplex Duplex r_0045_0010__the_r_0045_0011__existence->r_0045_0013__Duplex of r_0045_0008__that_r_0045_0009__justify that justify r_0045_0008__that_r_0045_0009__justify->r_0045_0010__the_r_0045_0011__existence [arg1] r_0045_0006__use_r_0045_0007__cases use cases r_0045_0008__that_r_0045_0009__justify->r_0045_0006__use_r_0045_0007__cases [arg0] r_0045_0005__several several r_0045_0006__use_r_0045_0007__cases->r_0045_0005__several [attrib] r_0045_0003__there_r_0045_0004__are there are r_0045_0003__there_r_0045_0004__are->r_0045_0006__use_r_0045_0007__cases [arg0] r_0045_0002__believes believes r_0045_0002__believes->r_0045_0003__there_r_0045_0004__are [arg1] r_0045_0001__Google Google r_0045_0002__believes->r_0045_0001__Google [arg0] 
fof(formula,axiom,
    ? [R_0045_0001__GOOGLE,R_0045_0005__SEVERAL,R_0045_0006__USE_R_0045_0007__CASES,R_0045_0003__THERE_R_0045_0004__ARE,R_0045_0002__BELIEVES,R_0045_0013__DUPLEX,R_0045_0010__THE_R_0045_0011__EXISTENCE,R_0045_0008__THAT_R_0045_0009__JUSTIFY] :
      ( r_0045_0001__Google(R_0045_0001__GOOGLE)
      & r_0045_0005__several(R_0045_0005__SEVERAL)
      & r_0045_0013__Duplex(R_0045_0013__DUPLEX)
      & r_0045_0008__that_r_0045_0009__justify(R_0045_0008__THAT_R_0045_0009__JUSTIFY)
      & has_arg1(R_0045_0008__THAT_R_0045_0009__JUSTIFY,R_0045_0010__THE_R_0045_0011__EXISTENCE)
      & r_0045_0010__the_r_0045_0011__existence(R_0045_0010__THE_R_0045_0011__EXISTENCE)
      & has_r_0045_0012__of(R_0045_0010__THE_R_0045_0011__EXISTENCE,R_0045_0013__DUPLEX)
      & has_arg0(R_0045_0008__THAT_R_0045_0009__JUSTIFY,R_0045_0006__USE_R_0045_0007__CASES)
      & r_0045_0006__use_r_0045_0007__cases(R_0045_0006__USE_R_0045_0007__CASES)
      & has_attrib14(R_0045_0006__USE_R_0045_0007__CASES,R_0045_0005__SEVERAL)
      & r_0045_0002__believes(R_0045_0002__BELIEVES)
      & has_arg1(R_0045_0002__BELIEVES,R_0045_0003__THERE_R_0045_0004__ARE)
      & r_0045_0003__there_r_0045_0004__are(R_0045_0003__THERE_R_0045_0004__ARE)
      & has_arg0(R_0045_0003__THERE_R_0045_0004__ARE,R_0045_0006__USE_R_0045_0007__CASES)
      & has_arg0(R_0045_0002__BELIEVES,R_0045_0001__GOOGLE) ) ).


n45_a_duplex n45_a_duplex__1_1_1_1 Google n45_a_duplex__1_2_1 believes n45_a_duplex__1_3_1_1_1 there n45_a_duplex__1_3_1_2_1 are n45_a_duplex__1_3_1_3_1_1_1 several n45_a_duplex__1_3_1_3_2_1 use n45_a_duplex__1_3_1_3_3_1 cases n45_a_duplex__1_3_1_3_4_1_1 that n45_a_duplex__1_3_1_3_4_2_1 *T* n45_a_duplex__1_3_1_3_4_3_1 justify n45_a_duplex__1_3_1_3_4_4_1_1 the n45_a_duplex__1_3_1_3_4_4_2_1 existence n45_a_duplex__1_3_1_3_4_4_3_1_1 of n45_a_duplex__1_3_1_3_4_4_3_2_1_1 Duplex n45_a_duplex__1_4_1 . n45_a_duplex__1 IP-MAT n45_a_duplex__1_1 NP-SBJ n45_a_duplex__1->n45_a_duplex__1_1 n45_a_duplex__1_2 VBP;_Tf_ n45_a_duplex__1->n45_a_duplex__1_2 n45_a_duplex__1_3 CP-THT-OB1 n45_a_duplex__1->n45_a_duplex__1_3 n45_a_duplex__1_4 PUNC n45_a_duplex__1->n45_a_duplex__1_4 n45_a_duplex__1_1_1 NPR n45_a_duplex__1_1->n45_a_duplex__1_1_1 n45_a_duplex__1_1_1->n45_a_duplex__1_1_1_1 n45_a_duplex__1_2->n45_a_duplex__1_2_1 n45_a_duplex__1_3_1 IP-SUB n45_a_duplex__1_3->n45_a_duplex__1_3_1 n45_a_duplex__1_3_1_1 EX n45_a_duplex__1_3_1->n45_a_duplex__1_3_1_1 n45_a_duplex__1_3_1_2 BEP;_ex_V_ n45_a_duplex__1_3_1->n45_a_duplex__1_3_1_2 n45_a_duplex__1_3_1_3 NP-ESBJ n45_a_duplex__1_3_1->n45_a_duplex__1_3_1_3 n45_a_duplex__1_3_1_1->n45_a_duplex__1_3_1_1_1 n45_a_duplex__1_3_1_2->n45_a_duplex__1_3_1_2_1 n45_a_duplex__1_3_1_3_1 ADJP n45_a_duplex__1_3_1_3->n45_a_duplex__1_3_1_3_1 n45_a_duplex__1_3_1_3_2 N n45_a_duplex__1_3_1_3->n45_a_duplex__1_3_1_3_2 n45_a_duplex__1_3_1_3_3 NS n45_a_duplex__1_3_1_3->n45_a_duplex__1_3_1_3_3 n45_a_duplex__1_3_1_3_4 IP-REL n45_a_duplex__1_3_1_3->n45_a_duplex__1_3_1_3_4 n45_a_duplex__1_3_1_3_1_1 ADJ n45_a_duplex__1_3_1_3_1->n45_a_duplex__1_3_1_3_1_1 n45_a_duplex__1_3_1_3_1_1->n45_a_duplex__1_3_1_3_1_1_1 n45_a_duplex__1_3_1_3_2->n45_a_duplex__1_3_1_3_2_1 n45_a_duplex__1_3_1_3_3->n45_a_duplex__1_3_1_3_3_1 n45_a_duplex__1_3_1_3_4_1 C n45_a_duplex__1_3_1_3_4->n45_a_duplex__1_3_1_3_4_1 n45_a_duplex__1_3_1_3_4_2 NP-SBJ n45_a_duplex__1_3_1_3_4->n45_a_duplex__1_3_1_3_4_2 n45_a_duplex__1_3_1_3_4_3 VBP;_Tn_ n45_a_duplex__1_3_1_3_4->n45_a_duplex__1_3_1_3_4_3 n45_a_duplex__1_3_1_3_4_4 NP-OB1 n45_a_duplex__1_3_1_3_4->n45_a_duplex__1_3_1_3_4_4 n45_a_duplex__1_3_1_3_4_1->n45_a_duplex__1_3_1_3_4_1_1 n45_a_duplex__1_3_1_3_4_2->n45_a_duplex__1_3_1_3_4_2_1 n45_a_duplex__1_3_1_3_4_3->n45_a_duplex__1_3_1_3_4_3_1 n45_a_duplex__1_3_1_3_4_4_1 D n45_a_duplex__1_3_1_3_4_4->n45_a_duplex__1_3_1_3_4_4_1 n45_a_duplex__1_3_1_3_4_4_2 N n45_a_duplex__1_3_1_3_4_4->n45_a_duplex__1_3_1_3_4_4_2 n45_a_duplex__1_3_1_3_4_4_3 PP n45_a_duplex__1_3_1_3_4_4->n45_a_duplex__1_3_1_3_4_4_3 n45_a_duplex__1_3_1_3_4_4_1->n45_a_duplex__1_3_1_3_4_4_1_1 n45_a_duplex__1_3_1_3_4_4_2->n45_a_duplex__1_3_1_3_4_4_2_1 n45_a_duplex__1_3_1_3_4_4_3_1 P-ROLE n45_a_duplex__1_3_1_3_4_4_3->n45_a_duplex__1_3_1_3_4_4_3_1 n45_a_duplex__1_3_1_3_4_4_3_2 NP n45_a_duplex__1_3_1_3_4_4_3->n45_a_duplex__1_3_1_3_4_4_3_2 n45_a_duplex__1_3_1_3_4_4_3_1->n45_a_duplex__1_3_1_3_4_4_3_1_1 n45_a_duplex__1_3_1_3_4_4_3_2_1 NPR n45_a_duplex__1_3_1_3_4_4_3_2->n45_a_duplex__1_3_1_3_4_4_3_2_1 n45_a_duplex__1_3_1_3_4_4_3_2_1->n45_a_duplex__1_3_1_3_4_4_3_2_1_1 n45_a_duplex__1_4->n45_a_duplex__1_4_1 
( (IP-MAT (NP-SBJ;{GOOGLE} (NPR Google;{Google}))
          (VBP;_Tf_ believes;{believe})
          (CP-THT-OB1 (IP-SUB (EX there;{there})
                              (BEP;_ex_V_ are;{be})
                              (NP-ESBJ (ADJP (ADJ several;{several}))
                                       (N use;{use})
                                       (NS cases;{case})
                                       (IP-REL (C that;{that})
                                               (NP-SBJ *T*)
                                               (VBP;_Tn_ justify;{justify})
                                               (NP-OB1 (D the;{the})
                                                       (N existence;{existence})
                                                       (PP (P-ROLE of;{of})
                                                           (NP;{ROBOT_CALLER} (NPR Duplex;{Duplex}))))))))
          (PUNC .))
  (ID 45_a_duplex))