Context                Previous, Next                Top


29_a_duplex
After Oren's go, journalists were offered a chance to handle a call with Duplex.

%3 r_0029_0004__go go r_0029_0002__Oren_r_0029_0003___apos_s Oren 's r_0029_0004__go->r_0029_0002__Oren_r_0029_0003___apos_s [gen] r_0029_0007__were were r_0029_0007__were->r_0029_0004__go After [nim] r_0029_0008__offered offered r_0029_0007__were->r_0029_0008__offered [scope] r_0029_0006__journalists journalists r_0029_0008__offered->r_0029_0006__journalists [arg2] r_0029_0009__a_r_0029_0010__chance a chance r_0029_0008__offered->r_0029_0009__a_r_0029_0010__chance [arg1] z_000_29_a_duplex_21 r_0029_0008__offered->z_000_29_a_duplex_21 [arg0] r_0029_0011__to_r_0029_0012__handle to handle r_0029_0009__a_r_0029_0010__chance->r_0029_0011__to_r_0029_0012__handle [emb] r_0029_0013__a_r_0029_0014__call a call r_0029_0011__to_r_0029_0012__handle->r_0029_0013__a_r_0029_0014__call [arg1] r_0029_0016__Duplex Duplex r_0029_0011__to_r_0029_0012__handle->r_0029_0016__Duplex with [nim] z_000_29_a_duplex_30 r_0029_0011__to_r_0029_0012__handle->z_000_29_a_duplex_30 [arg0] 
arc(r_0029_0004__go, r_0029_0002__Oren_r_0029_0003___apos_s, gen).
arc(r_0029_0007__were, r_0029_0004__go, r_0029_0001__After_nim5).
arc(r_0029_0007__were, r_0029_0008__offered, scope).
arc(r_0029_0008__offered, r_0029_0006__journalists, arg2).
arc(r_0029_0008__offered, r_0029_0009__a_r_0029_0010__chance, arg1).
arc(r_0029_0008__offered, z_000_29_a_duplex_21, arg0).
arc(r_0029_0009__a_r_0029_0010__chance, r_0029_0011__to_r_0029_0012__handle, emb30).
arc(r_0029_0011__to_r_0029_0012__handle, r_0029_0013__a_r_0029_0014__call, arg1).
arc(r_0029_0011__to_r_0029_0012__handle, r_0029_0016__Duplex, r_0029_0015__with_nim43).
arc(r_0029_0011__to_r_0029_0012__handle, z_000_29_a_duplex_30, arg0).


%3 r_0029_0011__to_r_0029_0012__handle to handle z_000_29_a_duplex_30 r_0029_0011__to_r_0029_0012__handle->z_000_29_a_duplex_30 [arg0] r_0029_0016__Duplex Duplex r_0029_0011__to_r_0029_0012__handle->r_0029_0016__Duplex with [nim] r_0029_0013__a_r_0029_0014__call a call r_0029_0011__to_r_0029_0012__handle->r_0029_0013__a_r_0029_0014__call [arg1] r_0029_0009__a_r_0029_0010__chance a chance r_0029_0009__a_r_0029_0010__chance->r_0029_0011__to_r_0029_0012__handle [emb] r_0029_0007__were_r_0029_0008__offered were offered r_0029_0007__were_r_0029_0008__offered->r_0029_0009__a_r_0029_0010__chance [arg1] z_000_29_a_duplex_21 r_0029_0007__were_r_0029_0008__offered->z_000_29_a_duplex_21 [arg0] r_0029_0006__journalists journalists r_0029_0007__were_r_0029_0008__offered->r_0029_0006__journalists [arg2] r_0029_0004__go go r_0029_0007__were_r_0029_0008__offered->r_0029_0004__go After [nim] r_0029_0002__Oren_r_0029_0003___apos_s Oren 's r_0029_0004__go->r_0029_0002__Oren_r_0029_0003___apos_s [gen] 
fof(formula,axiom,
    ? [R_0029_0002__OREN_R_0029_0003___APOS_S,R_0029_0004__GO,R_0029_0006__JOURNALISTS,R_0029_0013__A_R_0029_0014__CALL,R_0029_0016__DUPLEX,Z_000_29_A_DUPLEX_30,R_0029_0011__TO_R_0029_0012__HANDLE,R_0029_0009__A_R_0029_0010__CHANCE,Z_000_29_A_DUPLEX_21,R_0029_0007__WERE_R_0029_0008__OFFERED] :
      ( r_0029_0002__Oren_r_0029_0003___apos_s(R_0029_0002__OREN_R_0029_0003___APOS_S)
      & r_0029_0006__journalists(R_0029_0006__JOURNALISTS)
      & r_0029_0013__a_r_0029_0014__call(R_0029_0013__A_R_0029_0014__CALL)
      & r_0029_0016__Duplex(R_0029_0016__DUPLEX)
      & z_000_29_a_duplex_21(Z_000_29_A_DUPLEX_21)
      & z_000_29_a_duplex_30(Z_000_29_A_DUPLEX_30)
      & r_0029_0007__were_r_0029_0008__offered(R_0029_0007__WERE_R_0029_0008__OFFERED)
      & has_arg0(R_0029_0007__WERE_R_0029_0008__OFFERED,Z_000_29_A_DUPLEX_21)
      & has_arg1(R_0029_0007__WERE_R_0029_0008__OFFERED,R_0029_0009__A_R_0029_0010__CHANCE)
      & r_0029_0009__a_r_0029_0010__chance(R_0029_0009__A_R_0029_0010__CHANCE)
      & has_emb30(R_0029_0009__A_R_0029_0010__CHANCE,R_0029_0011__TO_R_0029_0012__HANDLE)
      & r_0029_0011__to_r_0029_0012__handle(R_0029_0011__TO_R_0029_0012__HANDLE)
      & has_arg0(R_0029_0011__TO_R_0029_0012__HANDLE,Z_000_29_A_DUPLEX_30)
      & has_r_0029_0015__with_nim43(R_0029_0011__TO_R_0029_0012__HANDLE,R_0029_0016__DUPLEX)
      & has_arg1(R_0029_0011__TO_R_0029_0012__HANDLE,R_0029_0013__A_R_0029_0014__CALL)
      & has_arg2(R_0029_0007__WERE_R_0029_0008__OFFERED,R_0029_0006__JOURNALISTS)
      & has_r_0029_0001__After_nim5(R_0029_0007__WERE_R_0029_0008__OFFERED,R_0029_0004__GO)
      & r_0029_0004__go(R_0029_0004__GO)
      & has_gen(R_0029_0004__GO,R_0029_0002__OREN_R_0029_0003___APOS_S) ) ).


n29_a_duplex n29_a_duplex__1_1_1_1 After n29_a_duplex__1_1_2_1_1_1 Oren n29_a_duplex__1_1_2_1_2_1 's n29_a_duplex__1_1_2_2_1 go n29_a_duplex__1_2_1 , n29_a_duplex__1_3_1_1 journalists n29_a_duplex__1_4_1 were n29_a_duplex__1_5_1_1 * n29_a_duplex__1_5_2_1 offered n29_a_duplex__1_5_3_1_1 a n29_a_duplex__1_5_3_2_1 chance n29_a_duplex__1_5_3_3_1_1 to n29_a_duplex__1_5_3_3_2_1 handle n29_a_duplex__1_5_3_3_3_1_1 a n29_a_duplex__1_5_3_3_3_2_1 call n29_a_duplex__1_5_3_3_4_1_1 with n29_a_duplex__1_5_3_3_4_2_1_1 Duplex n29_a_duplex__1_6_1 . n29_a_duplex__1 IP-MAT n29_a_duplex__1_1 PP-NIM n29_a_duplex__1->n29_a_duplex__1_1 n29_a_duplex__1_2 PUNC n29_a_duplex__1->n29_a_duplex__1_2 n29_a_duplex__1_3 NP-SBJ n29_a_duplex__1->n29_a_duplex__1_3 n29_a_duplex__1_4 BED;_cat_VePASS_ n29_a_duplex__1->n29_a_duplex__1_4 n29_a_duplex__1_5 IP-PPL-CAT n29_a_duplex__1->n29_a_duplex__1_5 n29_a_duplex__1_6 PUNC n29_a_duplex__1->n29_a_duplex__1_6 n29_a_duplex__1_1_1 P-ROLE n29_a_duplex__1_1->n29_a_duplex__1_1_1 n29_a_duplex__1_1_2 NP n29_a_duplex__1_1->n29_a_duplex__1_1_2 n29_a_duplex__1_1_1->n29_a_duplex__1_1_1_1 n29_a_duplex__1_1_2_1 NP-GEN n29_a_duplex__1_1_2->n29_a_duplex__1_1_2_1 n29_a_duplex__1_1_2_2 N n29_a_duplex__1_1_2->n29_a_duplex__1_1_2_2 n29_a_duplex__1_1_2_1_1 NPR n29_a_duplex__1_1_2_1->n29_a_duplex__1_1_2_1_1 n29_a_duplex__1_1_2_1_2 GENM n29_a_duplex__1_1_2_1->n29_a_duplex__1_1_2_1_2 n29_a_duplex__1_1_2_1_1->n29_a_duplex__1_1_2_1_1_1 n29_a_duplex__1_1_2_1_2->n29_a_duplex__1_1_2_1_2_1 n29_a_duplex__1_1_2_2->n29_a_duplex__1_1_2_2_1 n29_a_duplex__1_2->n29_a_duplex__1_2_1 n29_a_duplex__1_3_1 NS n29_a_duplex__1_3->n29_a_duplex__1_3_1 n29_a_duplex__1_3_1->n29_a_duplex__1_3_1_1 n29_a_duplex__1_4->n29_a_duplex__1_4_1 n29_a_duplex__1_5_1 NP-LGS n29_a_duplex__1_5->n29_a_duplex__1_5_1 n29_a_duplex__1_5_2 VVN;_Dn.n_ n29_a_duplex__1_5->n29_a_duplex__1_5_2 n29_a_duplex__1_5_3 NP-OB1 n29_a_duplex__1_5->n29_a_duplex__1_5_3 n29_a_duplex__1_5_1->n29_a_duplex__1_5_1_1 n29_a_duplex__1_5_2->n29_a_duplex__1_5_2_1 n29_a_duplex__1_5_3_1 D n29_a_duplex__1_5_3->n29_a_duplex__1_5_3_1 n29_a_duplex__1_5_3_2 N n29_a_duplex__1_5_3->n29_a_duplex__1_5_3_2 n29_a_duplex__1_5_3_3 IP-INF n29_a_duplex__1_5_3->n29_a_duplex__1_5_3_3 n29_a_duplex__1_5_3_1->n29_a_duplex__1_5_3_1_1 n29_a_duplex__1_5_3_2->n29_a_duplex__1_5_3_2_1 n29_a_duplex__1_5_3_3_1 TO n29_a_duplex__1_5_3_3->n29_a_duplex__1_5_3_3_1 n29_a_duplex__1_5_3_3_2 VB;_Tn_ n29_a_duplex__1_5_3_3->n29_a_duplex__1_5_3_3_2 n29_a_duplex__1_5_3_3_3 NP-OB1 n29_a_duplex__1_5_3_3->n29_a_duplex__1_5_3_3_3 n29_a_duplex__1_5_3_3_4 PP-NIM n29_a_duplex__1_5_3_3->n29_a_duplex__1_5_3_3_4 n29_a_duplex__1_5_3_3_1->n29_a_duplex__1_5_3_3_1_1 n29_a_duplex__1_5_3_3_2->n29_a_duplex__1_5_3_3_2_1 n29_a_duplex__1_5_3_3_3_1 D n29_a_duplex__1_5_3_3_3->n29_a_duplex__1_5_3_3_3_1 n29_a_duplex__1_5_3_3_3_2 N n29_a_duplex__1_5_3_3_3->n29_a_duplex__1_5_3_3_3_2 n29_a_duplex__1_5_3_3_3_1->n29_a_duplex__1_5_3_3_3_1_1 n29_a_duplex__1_5_3_3_3_2->n29_a_duplex__1_5_3_3_3_2_1 n29_a_duplex__1_5_3_3_4_1 P-ROLE n29_a_duplex__1_5_3_3_4->n29_a_duplex__1_5_3_3_4_1 n29_a_duplex__1_5_3_3_4_2 NP n29_a_duplex__1_5_3_3_4->n29_a_duplex__1_5_3_3_4_2 n29_a_duplex__1_5_3_3_4_1->n29_a_duplex__1_5_3_3_4_1_1 n29_a_duplex__1_5_3_3_4_2_1 NPR n29_a_duplex__1_5_3_3_4_2->n29_a_duplex__1_5_3_3_4_2_1 n29_a_duplex__1_5_3_3_4_2_1->n29_a_duplex__1_5_3_3_4_2_1_1 n29_a_duplex__1_6->n29_a_duplex__1_6_1 
( (IP-MAT (PP-NIM (P-ROLE After;{after})
                  (NP (NP-GEN;{OREN} (NPR Oren;{Oren})
                                     (GENM <apos>s))
                      (N go;{go})))
          (PUNC ,)
          (NP-SBJ;{JOURNALISTS} (NS journalists;{journalist}))
          (BED;_cat_VePASS_ were;{be})
          (IP-PPL-CAT (NP-LGS *)
                      (VVN;_Dn.n_ offered;{offer})
                      (NP-OB1 (D a;{a})
                              (N chance;{chance})
                              (IP-INF (TO to;{to})
                                      (VB;_Tn_ handle;{handle})
                                      (NP-OB1 (D a;{a})
                                              (N call;{call}))
                                      (PP-NIM (P-ROLE with;{with})
                                              (NP;{ROBOT_CALLER} (NPR Duplex;{Duplex}))))))
          (PUNC .))
  (ID 29_a_duplex))