( (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))

arc(r_0045_0002__believes,r_0045_0001__Google,arg0).
arc(r_0045_0002__believes,r_0045_0004__are,arg1).
arc(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,attrib).
arc(r_0045_0009__justify,r_0045_0006__use_r_0045_0007__cases,inv_arg0).
arc(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).

fof(formula,axiom,
    ? [R_0045_0001__GOOGLE,R_0045_0005__SEVERAL,R_0045_0013__DUPLEX,R_0045_0010__THE_R_0045_0011__EXISTENCE,R_0045_0009__JUSTIFY,R_0045_0006__USE_R_0045_0007__CASES,R_0045_0004__ARE,R_0045_0002__BELIEVES] :
      ( 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_0002__believes(R_0045_0002__BELIEVES)
      & has_arg1(R_0045_0002__BELIEVES,R_0045_0004__ARE)
      & r_0045_0004__are(R_0045_0004__ARE)
      & has_arg0(R_0045_0004__ARE,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_inv_arg0(R_0045_0006__USE_R_0045_0007__CASES,R_0045_0009__JUSTIFY)
      & r_0045_0009__justify(R_0045_0009__JUSTIFY)
      & has_arg1(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_attrib(R_0045_0006__USE_R_0045_0007__CASES,R_0045_0005__SEVERAL)
      & has_arg0(R_0045_0002__BELIEVES,R_0045_0001__GOOGLE) ) ).