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_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] 
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_3 But n49_a_duplex_5 let n49_a_duplex_8 's n49_a_duplex_11 be n49_a_duplex_14 real n49_a_duplex_16 . n49_a_duplex_1 IP-IMP n49_a_duplex_2 CONJ;_cl_ n49_a_duplex_1->n49_a_duplex_2 n49_a_duplex_4 VB;_Cn.i_ n49_a_duplex_1->n49_a_duplex_4 n49_a_duplex_6 NP-OB1 n49_a_duplex_1->n49_a_duplex_6 n49_a_duplex_9 IP-INF-PRD n49_a_duplex_1->n49_a_duplex_9 n49_a_duplex_15 PUNC n49_a_duplex_1->n49_a_duplex_15 n49_a_duplex_2->n49_a_duplex_3 n49_a_duplex_4->n49_a_duplex_5 n49_a_duplex_7 PRO n49_a_duplex_6->n49_a_duplex_7 n49_a_duplex_7->n49_a_duplex_8 n49_a_duplex_10 BE;_La_ n49_a_duplex_9->n49_a_duplex_10 n49_a_duplex_12 ADJP-PRD n49_a_duplex_9->n49_a_duplex_12 n49_a_duplex_10->n49_a_duplex_11 n49_a_duplex_13 ADJ n49_a_duplex_12->n49_a_duplex_13 n49_a_duplex_13->n49_a_duplex_14 n49_a_duplex_15->n49_a_duplex_16 
( (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))