Context                Previous, Next                Top


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,
    ? [R_0372_0005__THE_R_0372_0006__CHURCH,R_0372_0008__THE_R_0372_0009__STATE,R_0372_0007__AND,R_0372_0001__AN_R_0372_0002__INSTITUTION,Z_000_372_A_DICK_1952_1] :
      ( r_0372_0005__the_r_0372_0006__church(R_0372_0005__THE_R_0372_0006__CHURCH)
      & r_0372_0008__the_r_0372_0009__state(R_0372_0008__THE_R_0372_0009__STATE)
      & z_000_372_a_dick_1952_1(Z_000_372_A_DICK_1952_1)
      & has_nim2(Z_000_372_A_DICK_1952_1,R_0372_0001__AN_R_0372_0002__INSTITUTION)
      & r_0372_0001__An_r_0372_0002__institution(R_0372_0001__AN_R_0372_0002__INSTITUTION)
      & has_r_0372_0004__like(R_0372_0001__AN_R_0372_0002__INSTITUTION,R_0372_0007__AND)
      & r_0372_0007__and(R_0372_0007__AND)
      & has_conj2(R_0372_0007__AND,R_0372_0008__THE_R_0372_0009__STATE)
      & has_conj1(R_0372_0007__AND,R_0372_0005__THE_R_0372_0006__CHURCH) ) ).


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))