Context                Previous, Next                Top


49_a_duplex
But let's be real.

%3 r_0049_0001__But_r_0049_0002__let But let r_0049_0003___apos_s 's r_0049_0001__But_r_0049_0002__let->r_0049_0003___apos_s [arg1] r_0049_0004__be be r_0049_0001__But_r_0049_0002__let->r_0049_0004__be [prd] z_000_49_a_duplex_1 r_0049_0001__But_r_0049_0002__let->z_000_49_a_duplex_1 [arg0] r_0049_0005__real real r_0049_0004__be->r_0049_0005__real [prd] x_000_49_a_duplex_9 __ r_0049_0004__be->x_000_49_a_duplex_9 [arg0] 
arc(r_0049_0001__But_r_0049_0002__let, r_0049_0003___apos_s, arg1).
arc(r_0049_0001__But_r_0049_0002__let, r_0049_0004__be, prd).
arc(r_0049_0001__But_r_0049_0002__let, z_000_49_a_duplex_1, arg0).
arc(r_0049_0004__be, r_0049_0005__real, prd).
arc(r_0049_0004__be, x_000_49_a_duplex_9, arg0).


%3 r_0049_0004__be be x_000_49_a_duplex_9 __ r_0049_0004__be->x_000_49_a_duplex_9 [arg0] r_0049_0005__real real r_0049_0004__be->r_0049_0005__real [prd] r_0049_0001__But_r_0049_0002__let But let r_0049_0001__But_r_0049_0002__let->r_0049_0004__be [prd] z_000_49_a_duplex_1 r_0049_0001__But_r_0049_0002__let->z_000_49_a_duplex_1 [arg0] r_0049_0003___apos_s 's r_0049_0001__But_r_0049_0002__let->r_0049_0003___apos_s [arg1] 
fof(formula,axiom,
    ? [R_49_1_BUT_LET,Z_49_A_DUPLEX_1,R_49_3__APOS_S,R_49_4_BE,X_49_A_DUPLEX_9,R_49_5_REAL] :
      ( _apos_s(R_49_3__APOS_S)
      & real(R_49_5_REAL)
      & but_let(R_49_1_BUT_LET,Z_49_A_DUPLEX_1,R_49_3__APOS_S,R_49_4_BE)
      & be(R_49_4_BE,X_49_A_DUPLEX_9,R_49_5_REAL) ) ).


n49_a_duplex n49_a_duplex__1_1_1 But n49_a_duplex__1_2_1 let n49_a_duplex__1_3_1_1 's n49_a_duplex__1_4_1_1 be n49_a_duplex__1_4_2_1_1 real n49_a_duplex__1_5_1 . n49_a_duplex__1 IP-IMP n49_a_duplex__1_1 CONJ;_cl_ n49_a_duplex__1->n49_a_duplex__1_1 n49_a_duplex__1_2 VB;_Cn.i_ n49_a_duplex__1->n49_a_duplex__1_2 n49_a_duplex__1_3 NP-OB1 n49_a_duplex__1->n49_a_duplex__1_3 n49_a_duplex__1_4 IP-INF-PRD n49_a_duplex__1->n49_a_duplex__1_4 n49_a_duplex__1_5 PUNC n49_a_duplex__1->n49_a_duplex__1_5 n49_a_duplex__1_1->n49_a_duplex__1_1_1 n49_a_duplex__1_2->n49_a_duplex__1_2_1 n49_a_duplex__1_3_1 PRO n49_a_duplex__1_3->n49_a_duplex__1_3_1 n49_a_duplex__1_3_1->n49_a_duplex__1_3_1_1 n49_a_duplex__1_4_1 BE;_La_ n49_a_duplex__1_4->n49_a_duplex__1_4_1 n49_a_duplex__1_4_2 ADJP-PRD n49_a_duplex__1_4->n49_a_duplex__1_4_2 n49_a_duplex__1_4_1->n49_a_duplex__1_4_1_1 n49_a_duplex__1_4_2_1 ADJ n49_a_duplex__1_4_2->n49_a_duplex__1_4_2_1 n49_a_duplex__1_4_2_1->n49_a_duplex__1_4_2_1_1 n49_a_duplex__1_5->n49_a_duplex__1_5_1 
( (IP-IMP (CONJ;_cl_ But;{but})
          (VB;_Cn.i_ let;{let})
          (NP-OB1;{PERSONS} (PRO <apos>s;{we}))
          (IP-INF-PRD (BE;_La_ be;{be})
                      (ADJP-PRD (ADJ real;{real})))
          (PUNC .))
  (ID 49_a_duplex))