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 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] 
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_4 An n372_a_dick_1952_6 institution n372_a_dick_1952_8 , n372_a_dick_1952_11 like n372_a_dick_1952_16 the n372_a_dick_1952_18 church n372_a_dick_1952_21 and n372_a_dick_1952_24 the n372_a_dick_1952_26 state n372_a_dick_1952_28 . n372_a_dick_1952_1 FRAG n372_a_dick_1952_2 NP n372_a_dick_1952_1->n372_a_dick_1952_2 n372_a_dick_1952_27 PUNC n372_a_dick_1952_1->n372_a_dick_1952_27 n372_a_dick_1952_3 D n372_a_dick_1952_2->n372_a_dick_1952_3 n372_a_dick_1952_5 N n372_a_dick_1952_2->n372_a_dick_1952_5 n372_a_dick_1952_7 PUNC n372_a_dick_1952_2->n372_a_dick_1952_7 n372_a_dick_1952_9 PP n372_a_dick_1952_2->n372_a_dick_1952_9 n372_a_dick_1952_3->n372_a_dick_1952_4 n372_a_dick_1952_5->n372_a_dick_1952_6 n372_a_dick_1952_7->n372_a_dick_1952_8 n372_a_dick_1952_10 P-ROLE n372_a_dick_1952_9->n372_a_dick_1952_10 n372_a_dick_1952_12 NP n372_a_dick_1952_9->n372_a_dick_1952_12 n372_a_dick_1952_10->n372_a_dick_1952_11 n372_a_dick_1952_13 NLYR n372_a_dick_1952_12->n372_a_dick_1952_13 n372_a_dick_1952_14 NLYR n372_a_dick_1952_13->n372_a_dick_1952_14 n372_a_dick_1952_19 CONJP n372_a_dick_1952_13->n372_a_dick_1952_19 n372_a_dick_1952_15 D n372_a_dick_1952_14->n372_a_dick_1952_15 n372_a_dick_1952_17 N n372_a_dick_1952_14->n372_a_dick_1952_17 n372_a_dick_1952_15->n372_a_dick_1952_16 n372_a_dick_1952_17->n372_a_dick_1952_18 n372_a_dick_1952_20 CONJ n372_a_dick_1952_19->n372_a_dick_1952_20 n372_a_dick_1952_22 NLYR n372_a_dick_1952_19->n372_a_dick_1952_22 n372_a_dick_1952_20->n372_a_dick_1952_21 n372_a_dick_1952_23 D n372_a_dick_1952_22->n372_a_dick_1952_23 n372_a_dick_1952_25 N n372_a_dick_1952_22->n372_a_dick_1952_25 n372_a_dick_1952_23->n372_a_dick_1952_24 n372_a_dick_1952_25->n372_a_dick_1952_26 n372_a_dick_1952_27->n372_a_dick_1952_28 
( (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))