372_a_dick_1952
An institution, like the church and the state.

%3 r_0372_0001__An_r_0372_0002__institution An institution r_0372_0007__and and r_0372_0001__An_r_0372_0002__institution->r_0372_0007__and like r_0372_0005__the_r_0372_0006__church the church r_0372_0007__and->r_0372_0005__the_r_0372_0006__church [conj1] r_0372_0008__the_r_0372_0009__state the state r_0372_0007__and->r_0372_0008__the_r_0372_0009__state [conj2] z_000_372_a_dick_1952_1 z_000_372_a_dick_1952_1->r_0372_0001__An_r_0372_0002__institution [nim]
arc(r_0372_0001__An_r_0372_0002__institution, r_0372_0007__and, r_0372_0004__like).
arc(r_0372_0007__and, r_0372_0005__the_r_0372_0006__church, conj1).
arc(r_0372_0007__and, r_0372_0008__the_r_0372_0009__state, conj2).
arc(z_000_372_a_dick_1952_1, r_0372_0001__An_r_0372_0002__institution, nim2).



%3 z_000_372_a_dick_1952_1 r_0372_0001__An_r_0372_0002__institution An institution z_000_372_a_dick_1952_1->r_0372_0001__An_r_0372_0002__institution [nim] r_0372_0007__and and r_0372_0001__An_r_0372_0002__institution->r_0372_0007__and like r_0372_0008__the_r_0372_0009__state the state r_0372_0007__and->r_0372_0008__the_r_0372_0009__state [conj2] r_0372_0005__the_r_0372_0006__church the church r_0372_0007__and->r_0372_0005__the_r_0372_0006__church [conj1]
fof(formula,axiom,
    ? [Z_372_A_DICK_1952_1,R_372_1_AN_INSTITUTION,R_372_7_AND,R_372_5_THE_CHURCH,R_372_8_THE_STATE] :
      ( the_church(R_372_5_THE_CHURCH)
      & the_state(R_372_8_THE_STATE)
      & z_372_a_dick_1952_1(Z_372_A_DICK_1952_1)
      & nim2(Z_372_A_DICK_1952_1,R_372_1_AN_INSTITUTION)
      & an_institution(R_372_1_AN_INSTITUTION)
      & like(R_372_1_AN_INSTITUTION,R_372_7_AND)
      & and(R_372_7_AND)
      & conj1(R_372_7_AND,R_372_5_THE_CHURCH)
      & conj2(R_372_7_AND,R_372_8_THE_STATE) ) ).



n372_a_dick_1952 n372_a_dick_1952__1_1_1_1 An n372_a_dick_1952__1_1_2_1 institution n372_a_dick_1952__1_1_3_1 , n372_a_dick_1952__1_1_4_1_1 like n372_a_dick_1952__1_1_4_2_1_1_1_1 the n372_a_dick_1952__1_1_4_2_1_1_2_1 church n372_a_dick_1952__1_1_4_2_1_2_1_1 and n372_a_dick_1952__1_1_4_2_1_2_2_1_1 the n372_a_dick_1952__1_1_4_2_1_2_2_2_1 state n372_a_dick_1952__1_2_1 . n372_a_dick_1952__1 FRAG n372_a_dick_1952__1_1 NP n372_a_dick_1952__1->n372_a_dick_1952__1_1 n372_a_dick_1952__1_2 PUNC n372_a_dick_1952__1->n372_a_dick_1952__1_2 n372_a_dick_1952__1_1_1 D n372_a_dick_1952__1_1->n372_a_dick_1952__1_1_1 n372_a_dick_1952__1_1_2 N n372_a_dick_1952__1_1->n372_a_dick_1952__1_1_2 n372_a_dick_1952__1_1_3 PUNC n372_a_dick_1952__1_1->n372_a_dick_1952__1_1_3 n372_a_dick_1952__1_1_4 PP n372_a_dick_1952__1_1->n372_a_dick_1952__1_1_4 n372_a_dick_1952__1_1_1->n372_a_dick_1952__1_1_1_1 n372_a_dick_1952__1_1_2->n372_a_dick_1952__1_1_2_1 n372_a_dick_1952__1_1_3->n372_a_dick_1952__1_1_3_1 n372_a_dick_1952__1_1_4_1 P-ROLE n372_a_dick_1952__1_1_4->n372_a_dick_1952__1_1_4_1 n372_a_dick_1952__1_1_4_2 NP n372_a_dick_1952__1_1_4->n372_a_dick_1952__1_1_4_2 n372_a_dick_1952__1_1_4_1->n372_a_dick_1952__1_1_4_1_1 n372_a_dick_1952__1_1_4_2_1 NLYR n372_a_dick_1952__1_1_4_2->n372_a_dick_1952__1_1_4_2_1 n372_a_dick_1952__1_1_4_2_1_1 NLYR n372_a_dick_1952__1_1_4_2_1->n372_a_dick_1952__1_1_4_2_1_1 n372_a_dick_1952__1_1_4_2_1_2 CONJP n372_a_dick_1952__1_1_4_2_1->n372_a_dick_1952__1_1_4_2_1_2 n372_a_dick_1952__1_1_4_2_1_1_1 D n372_a_dick_1952__1_1_4_2_1_1->n372_a_dick_1952__1_1_4_2_1_1_1 n372_a_dick_1952__1_1_4_2_1_1_2 N n372_a_dick_1952__1_1_4_2_1_1->n372_a_dick_1952__1_1_4_2_1_1_2 n372_a_dick_1952__1_1_4_2_1_1_1->n372_a_dick_1952__1_1_4_2_1_1_1_1 n372_a_dick_1952__1_1_4_2_1_1_2->n372_a_dick_1952__1_1_4_2_1_1_2_1 n372_a_dick_1952__1_1_4_2_1_2_1 CONJ n372_a_dick_1952__1_1_4_2_1_2->n372_a_dick_1952__1_1_4_2_1_2_1 n372_a_dick_1952__1_1_4_2_1_2_2 NLYR n372_a_dick_1952__1_1_4_2_1_2->n372_a_dick_1952__1_1_4_2_1_2_2 n372_a_dick_1952__1_1_4_2_1_2_1->n372_a_dick_1952__1_1_4_2_1_2_1_1 n372_a_dick_1952__1_1_4_2_1_2_2_1 D n372_a_dick_1952__1_1_4_2_1_2_2->n372_a_dick_1952__1_1_4_2_1_2_2_1 n372_a_dick_1952__1_1_4_2_1_2_2_2 N n372_a_dick_1952__1_1_4_2_1_2_2->n372_a_dick_1952__1_1_4_2_1_2_2_2 n372_a_dick_1952__1_1_4_2_1_2_2_1->n372_a_dick_1952__1_1_4_2_1_2_2_1_1 n372_a_dick_1952__1_1_4_2_1_2_2_2->n372_a_dick_1952__1_1_4_2_1_2_2_2_1 n372_a_dick_1952__1_2->n372_a_dick_1952__1_2_1
( (FRAG (NP (D An;{an})
            (N institution;{institution})
            (PUNC ,)
            (PP (P-ROLE like;{like})
                (NP (NLYR (NLYR (D the;{the})
                                (N church;{church}))
                          (CONJP (CONJ and;{and})
                                 (NLYR (D the;{the})
                                       (N state;{state})))))))
        (PUNC .))
  (ID 372_a_dick_1952))