Context                Previous, Next                Top


1_a_beeton_1861
DUTIES OF THE BUTLER.

%3 r_0001_0001__DUTIES DUTIES r_0001_0003__THE_r_0001_0004__BUTLER THE BUTLER r_0001_0001__DUTIES->r_0001_0003__THE_r_0001_0004__BUTLER OF z_000_1_a_beeton_1861_1 z_000_1_a_beeton_1861_1->r_0001_0001__DUTIES [nim] 
arc(r_0001_0001__DUTIES, r_0001_0003__THE_r_0001_0004__BUTLER, r_0001_0002__OF).
arc(z_000_1_a_beeton_1861_1, r_0001_0001__DUTIES, nim2).


%3 r_0001_0001__DUTIES DUTIES r_0001_0003__THE_r_0001_0004__BUTLER THE BUTLER r_0001_0001__DUTIES->r_0001_0003__THE_r_0001_0004__BUTLER OF z_000_1_a_beeton_1861_1 z_000_1_a_beeton_1861_1->r_0001_0001__DUTIES [nim] 
fof(formula,axiom,
    ? [Z_1_A_BEETON_1861_1,R_1_1_DUTIES,R_1_3_THE_BUTLER] :
      ( tHE_BUTLER(R_1_3_THE_BUTLER)
      & z_1_a_beeton_1861_1(Z_1_A_BEETON_1861_1)
      & nim2(Z_1_A_BEETON_1861_1,R_1_1_DUTIES)
      & dUTIES(R_1_1_DUTIES)
      & oF(R_1_1_DUTIES,R_1_3_THE_BUTLER) ) ).


n1_a_beeton_1861 n1_a_beeton_1861_4 DUTIES n1_a_beeton_1861_7 OF n1_a_beeton_1861_10 THE n1_a_beeton_1861_12 BUTLER n1_a_beeton_1861_14 . n1_a_beeton_1861_1 FRAG n1_a_beeton_1861_2 NP n1_a_beeton_1861_1->n1_a_beeton_1861_2 n1_a_beeton_1861_13 PUNC n1_a_beeton_1861_1->n1_a_beeton_1861_13 n1_a_beeton_1861_3 NS n1_a_beeton_1861_2->n1_a_beeton_1861_3 n1_a_beeton_1861_5 PP n1_a_beeton_1861_2->n1_a_beeton_1861_5 n1_a_beeton_1861_3->n1_a_beeton_1861_4 n1_a_beeton_1861_6 P-ROLE n1_a_beeton_1861_5->n1_a_beeton_1861_6 n1_a_beeton_1861_8 NP n1_a_beeton_1861_5->n1_a_beeton_1861_8 n1_a_beeton_1861_6->n1_a_beeton_1861_7 n1_a_beeton_1861_9 D n1_a_beeton_1861_8->n1_a_beeton_1861_9 n1_a_beeton_1861_11 N n1_a_beeton_1861_8->n1_a_beeton_1861_11 n1_a_beeton_1861_9->n1_a_beeton_1861_10 n1_a_beeton_1861_11->n1_a_beeton_1861_12 n1_a_beeton_1861_13->n1_a_beeton_1861_14 
( (FRAG (NP (NS DUTIES;{duty})
            (PP (P-ROLE OF;{of})
                (NP (D THE;{the})
                    (N BUTLER;{butler}))))
        (PUNC .))
  (ID 1_a_beeton_1861;2156-1))