Context                Previous, Next                Top


19_a_lob_a01
There are bound to be demonstrations.’

n19_a_lob_a01 n19_a_lob_a01__1_1_1 There n19_a_lob_a01__1_2_1 are n19_a_lob_a01__1_3_1_1 bound n19_a_lob_a01__1_3_2_1_1 to n19_a_lob_a01__1_3_2_2_1 be n19_a_lob_a01__1_4_1_1 demonstrations n19_a_lob_a01__1_5_1 . n19_a_lob_a01__1_6_1 <rquo> n19_a_lob_a01__1 IP-MAT n19_a_lob_a01__1_1 EX n19_a_lob_a01__1->n19_a_lob_a01__1_1 n19_a_lob_a01__1_2 BEP;_La_ n19_a_lob_a01__1->n19_a_lob_a01__1_2 n19_a_lob_a01__1_3 ADJP-PRD n19_a_lob_a01__1->n19_a_lob_a01__1_3 n19_a_lob_a01__1_4 NP-ESBJ n19_a_lob_a01__1->n19_a_lob_a01__1_4 n19_a_lob_a01__1_5 PUNC n19_a_lob_a01__1->n19_a_lob_a01__1_5 n19_a_lob_a01__1_6 PURQ n19_a_lob_a01__1->n19_a_lob_a01__1_6 n19_a_lob_a01__1_1->n19_a_lob_a01__1_1_1 n19_a_lob_a01__1_2->n19_a_lob_a01__1_2_1 n19_a_lob_a01__1_3_1 ADJ;_cat_ n19_a_lob_a01__1_3->n19_a_lob_a01__1_3_1 n19_a_lob_a01__1_3_2 IP-INF n19_a_lob_a01__1_3->n19_a_lob_a01__1_3_2 n19_a_lob_a01__1_3_1->n19_a_lob_a01__1_3_1_1 n19_a_lob_a01__1_3_2_1 TO n19_a_lob_a01__1_3_2->n19_a_lob_a01__1_3_2_1 n19_a_lob_a01__1_3_2_2 BE;_ex_V_ n19_a_lob_a01__1_3_2->n19_a_lob_a01__1_3_2_2 n19_a_lob_a01__1_3_2_1->n19_a_lob_a01__1_3_2_1_1 n19_a_lob_a01__1_3_2_2->n19_a_lob_a01__1_3_2_2_1 n19_a_lob_a01__1_4_1 NS n19_a_lob_a01__1_4->n19_a_lob_a01__1_4_1 n19_a_lob_a01__1_4_1->n19_a_lob_a01__1_4_1_1 n19_a_lob_a01__1_5->n19_a_lob_a01__1_5_1 n19_a_lob_a01__1_6->n19_a_lob_a01__1_6_1 
( (IP-MAT (EX There;{there})
          (BEP;_La_ are;{be})
          (ADJP-PRD (ADJ;_cat_ bound;{bound})
                    (IP-INF (TO to;{to})
                            (BE;_ex_V_ be;{be})))
          (NP-ESBJ (NS demonstrations;{demonstration}))
          (PUNC .)
          (PURQ <rquo>))
  (ID 19_a_lob_a01))


%3 r_0019_0005__be be r_0019_0006__demonstrations demonstrations r_0019_0005__be->r_0019_0006__demonstrations [arg0] r_0019_0003__bound bound r_0019_0003__bound->r_0019_0005__be [scope] r_0019_0002__are are r_0019_0002__are->r_0019_0003__bound [scope] 
arc(r_0019_0002__are,r_0019_0003__bound,scope).
arc(r_0019_0003__bound,r_0019_0005__be,scope).
arc(r_0019_0005__be,r_0019_0006__demonstrations,arg0).


%3 r_0019_0002__are_r_0019_0003__bound_r_0019_0005__be are bound be r_0019_0006__demonstrations demonstrations r_0019_0002__are_r_0019_0003__bound_r_0019_0005__be->r_0019_0006__demonstrations [arg0] 
fof(formula,axiom,
    ? [R_0019_0006__DEMONSTRATIONS,R_0019_0002__ARE_R_0019_0003__BOUND_R_0019_0005__BE] :
      ( r_0019_0006__demonstrations(R_0019_0006__DEMONSTRATIONS)
      & r_0019_0002__are_r_0019_0003__bound_r_0019_0005__be(R_0019_0002__ARE_R_0019_0003__BOUND_R_0019_0005__BE)
      & has_arg0(R_0019_0002__ARE_R_0019_0003__BOUND_R_0019_0005__BE,R_0019_0006__DEMONSTRATIONS) ) ).