372_a_dick_1952
An institution, like the church and the state.
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).
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) ) ).
( (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))