Context                Previous, Next                Top


3_a_hardy_1883
If any mark of human occupation is met with hereon, it usually takes the form of the solitary cottage of some shepherd.

%3 r_0003_0001__If If r_0003_0007__is is r_0003_0001__If->r_0003_0007__is [restriction] r_0003_0014__takes takes r_0003_0001__If->r_0003_0014__takes [scope] r_0003_0008__met met r_0003_0007__is->r_0003_0008__met [scope] r_0003_0002__any_r_0003_0003__mark any mark r_0003_0014__takes->r_0003_0002__any_r_0003_0003__mark [arg0] r_0003_0013__usually usually r_0003_0014__takes->r_0003_0013__usually [nim] r_0003_0015__the_r_0003_0016__form the form r_0003_0014__takes->r_0003_0015__the_r_0003_0016__form [arg1] r_0003_0006__occupation occupation r_0003_0002__any_r_0003_0003__mark->r_0003_0006__occupation of r_0003_0005__human human r_0003_0006__occupation->r_0003_0005__human [attrib] r_0003_0008__met->r_0003_0002__any_r_0003_0003__mark [arg1] r_0003_0010__hereon hereon r_0003_0008__met->r_0003_0010__hereon [nim] z_000_3_a_hardy_1883_23 r_0003_0008__met->z_000_3_a_hardy_1883_23 [arg0] r_0003_0018__the_r_0003_0020__cottage the cottage r_0003_0015__the_r_0003_0016__form->r_0003_0018__the_r_0003_0020__cottage of r_0003_0019__solitary solitary r_0003_0018__the_r_0003_0020__cottage->r_0003_0019__solitary [attrib] r_0003_0022__some_r_0003_0023__shepherd some shepherd r_0003_0018__the_r_0003_0020__cottage->r_0003_0022__some_r_0003_0023__shepherd of 
arc(r_0003_0001__If, r_0003_0007__is, restriction).
arc(r_0003_0001__If, r_0003_0014__takes, scope).
arc(r_0003_0002__any_r_0003_0003__mark, r_0003_0006__occupation, r_0003_0004__of).
arc(r_0003_0006__occupation, r_0003_0005__human, attrib15).
arc(r_0003_0007__is, r_0003_0008__met, scope).
arc(r_0003_0008__met, r_0003_0002__any_r_0003_0003__mark, arg1).
arc(r_0003_0008__met, r_0003_0010__hereon, nim30).
arc(r_0003_0008__met, z_000_3_a_hardy_1883_23, arg0).
arc(r_0003_0014__takes, r_0003_0002__any_r_0003_0003__mark, arg0).
arc(r_0003_0014__takes, r_0003_0013__usually, nim38).
arc(r_0003_0014__takes, r_0003_0015__the_r_0003_0016__form, arg1).
arc(r_0003_0015__the_r_0003_0016__form, r_0003_0018__the_r_0003_0020__cottage, r_0003_0017__of).
arc(r_0003_0018__the_r_0003_0020__cottage, r_0003_0019__solitary, attrib54).
arc(r_0003_0018__the_r_0003_0020__cottage, r_0003_0022__some_r_0003_0023__shepherd, r_0003_0021__of).


%3 r_0003_0018__the_r_0003_0020__cottage the cottage r_0003_0022__some_r_0003_0023__shepherd some shepherd r_0003_0018__the_r_0003_0020__cottage->r_0003_0022__some_r_0003_0023__shepherd of r_0003_0019__solitary solitary r_0003_0018__the_r_0003_0020__cottage->r_0003_0019__solitary [attrib] r_0003_0015__the_r_0003_0016__form the form r_0003_0015__the_r_0003_0016__form->r_0003_0018__the_r_0003_0020__cottage of r_0003_0014__takes takes r_0003_0014__takes->r_0003_0015__the_r_0003_0016__form [arg1] r_0003_0013__usually usually r_0003_0014__takes->r_0003_0013__usually [nim] r_0003_0002__any_r_0003_0003__mark any mark r_0003_0014__takes->r_0003_0002__any_r_0003_0003__mark [arg0] r_0003_0006__occupation occupation r_0003_0002__any_r_0003_0003__mark->r_0003_0006__occupation of r_0003_0007__is_r_0003_0008__met is met r_0003_0007__is_r_0003_0008__met->r_0003_0002__any_r_0003_0003__mark [arg1] z_000_3_a_hardy_1883_23 r_0003_0007__is_r_0003_0008__met->z_000_3_a_hardy_1883_23 [arg0] r_0003_0010__hereon hereon r_0003_0007__is_r_0003_0008__met->r_0003_0010__hereon [nim] r_0003_0005__human human r_0003_0006__occupation->r_0003_0005__human [attrib] r_0003_0001__If If r_0003_0001__If->r_0003_0014__takes [scope] r_0003_0001__If->r_0003_0007__is_r_0003_0008__met [restriction] 
fof(formula,axiom,
    ! [R_3_7_IS_MET,Z_3_A_HARDY_1883_23,R_3_2_ANY_MARK,R_3_6_OCCUPATION,R_3_5_HUMAN,R_3_10_HEREON] :
      ( ( human(R_3_5_HUMAN)
        & hereon(R_3_10_HEREON)
        & is_met(R_3_7_IS_MET,Z_3_A_HARDY_1883_23,R_3_2_ANY_MARK)
        & any_mark(R_3_2_ANY_MARK)
        & of(R_3_2_ANY_MARK,R_3_6_OCCUPATION)
        & occupation(R_3_6_OCCUPATION)
        & attrib15(R_3_6_OCCUPATION,R_3_5_HUMAN)
        & nim30(R_3_7_IS_MET,R_3_10_HEREON) )
     => ? [R_3_14_TAKES,R_3_15_THE_FORM,R_3_18_THE_COTTAGE,R_3_19_SOLITARY,R_3_22_SOME_SHEPHERD,R_3_13_USUALLY] :
          ( solitary(R_3_19_SOLITARY)
          & some_shepherd(R_3_22_SOME_SHEPHERD)
          & usually(R_3_13_USUALLY)
          & takes(R_3_14_TAKES,R_3_2_ANY_MARK,R_3_15_THE_FORM)
          & the_form(R_3_15_THE_FORM)
          & of(R_3_15_THE_FORM,R_3_18_THE_COTTAGE)
          & the_cottage(R_3_18_THE_COTTAGE)
          & attrib54(R_3_18_THE_COTTAGE,R_3_19_SOLITARY)
          & of(R_3_18_THE_COTTAGE,R_3_22_SOME_SHEPHERD)
          & nim38(R_3_14_TAKES,R_3_13_USUALLY) ) ) ).


n3_a_hardy_1883 n3_a_hardy_1883__1_1_1_1 If n3_a_hardy_1883__1_1_2_1_1_1 any n3_a_hardy_1883__1_1_2_1_2_1 mark n3_a_hardy_1883__1_1_2_1_3_1_1 of n3_a_hardy_1883__1_1_2_1_3_2_1_1_1 human n3_a_hardy_1883__1_1_2_1_3_2_2_1 occupation n3_a_hardy_1883__1_1_2_2_1 is n3_a_hardy_1883__1_1_2_3_1_1 * n3_a_hardy_1883__1_1_2_3_2_1 met n3_a_hardy_1883__1_1_2_3_3_1_1 with n3_a_hardy_1883__1_1_2_3_4_1_1 hereon n3_a_hardy_1883__1_2_1 , n3_a_hardy_1883__1_3_1_1 it n3_a_hardy_1883__1_4_1_1 usually n3_a_hardy_1883__1_5_1 takes n3_a_hardy_1883__1_6_1_1 the n3_a_hardy_1883__1_6_2_1 form n3_a_hardy_1883__1_6_3_1_1 of n3_a_hardy_1883__1_6_3_2_1_1 the n3_a_hardy_1883__1_6_3_2_2_1_1 solitary n3_a_hardy_1883__1_6_3_2_3_1 cottage n3_a_hardy_1883__1_6_3_2_4_1_1 of n3_a_hardy_1883__1_6_3_2_4_2_1_1 some n3_a_hardy_1883__1_6_3_2_4_2_2_1 shepherd n3_a_hardy_1883__1_7_1 . n3_a_hardy_1883__1 IP-MAT n3_a_hardy_1883__1_1 PP-SCON n3_a_hardy_1883__1->n3_a_hardy_1883__1_1 n3_a_hardy_1883__1_2 PUNC n3_a_hardy_1883__1->n3_a_hardy_1883__1_2 n3_a_hardy_1883__1_3 NP-SBJ n3_a_hardy_1883__1->n3_a_hardy_1883__1_3 n3_a_hardy_1883__1_4 ADVP-NIM n3_a_hardy_1883__1->n3_a_hardy_1883__1_4 n3_a_hardy_1883__1_5 VBP;_Tn_ n3_a_hardy_1883__1->n3_a_hardy_1883__1_5 n3_a_hardy_1883__1_6 NP-OB1 n3_a_hardy_1883__1->n3_a_hardy_1883__1_6 n3_a_hardy_1883__1_7 PUNC n3_a_hardy_1883__1->n3_a_hardy_1883__1_7 n3_a_hardy_1883__1_1_1 P-CONN n3_a_hardy_1883__1_1->n3_a_hardy_1883__1_1_1 n3_a_hardy_1883__1_1_2 IP-ADV n3_a_hardy_1883__1_1->n3_a_hardy_1883__1_1_2 n3_a_hardy_1883__1_1_1->n3_a_hardy_1883__1_1_1_1 n3_a_hardy_1883__1_1_2_1 NP-SBJ n3_a_hardy_1883__1_1_2->n3_a_hardy_1883__1_1_2_1 n3_a_hardy_1883__1_1_2_2 BEP;_cat_VePASS_ n3_a_hardy_1883__1_1_2->n3_a_hardy_1883__1_1_2_2 n3_a_hardy_1883__1_1_2_3 IP-PPL-CAT n3_a_hardy_1883__1_1_2->n3_a_hardy_1883__1_1_2_3 n3_a_hardy_1883__1_1_2_1_1 D n3_a_hardy_1883__1_1_2_1->n3_a_hardy_1883__1_1_2_1_1 n3_a_hardy_1883__1_1_2_1_2 N n3_a_hardy_1883__1_1_2_1->n3_a_hardy_1883__1_1_2_1_2 n3_a_hardy_1883__1_1_2_1_3 PP n3_a_hardy_1883__1_1_2_1->n3_a_hardy_1883__1_1_2_1_3 n3_a_hardy_1883__1_1_2_1_1->n3_a_hardy_1883__1_1_2_1_1_1 n3_a_hardy_1883__1_1_2_1_2->n3_a_hardy_1883__1_1_2_1_2_1 n3_a_hardy_1883__1_1_2_1_3_1 P-ROLE n3_a_hardy_1883__1_1_2_1_3->n3_a_hardy_1883__1_1_2_1_3_1 n3_a_hardy_1883__1_1_2_1_3_2 NP n3_a_hardy_1883__1_1_2_1_3->n3_a_hardy_1883__1_1_2_1_3_2 n3_a_hardy_1883__1_1_2_1_3_1->n3_a_hardy_1883__1_1_2_1_3_1_1 n3_a_hardy_1883__1_1_2_1_3_2_1 ADJP n3_a_hardy_1883__1_1_2_1_3_2->n3_a_hardy_1883__1_1_2_1_3_2_1 n3_a_hardy_1883__1_1_2_1_3_2_2 N n3_a_hardy_1883__1_1_2_1_3_2->n3_a_hardy_1883__1_1_2_1_3_2_2 n3_a_hardy_1883__1_1_2_1_3_2_1_1 ADJ n3_a_hardy_1883__1_1_2_1_3_2_1->n3_a_hardy_1883__1_1_2_1_3_2_1_1 n3_a_hardy_1883__1_1_2_1_3_2_1_1->n3_a_hardy_1883__1_1_2_1_3_2_1_1_1 n3_a_hardy_1883__1_1_2_1_3_2_2->n3_a_hardy_1883__1_1_2_1_3_2_2_1 n3_a_hardy_1883__1_1_2_2->n3_a_hardy_1883__1_1_2_2_1 n3_a_hardy_1883__1_1_2_3_1 NP-LGS n3_a_hardy_1883__1_1_2_3->n3_a_hardy_1883__1_1_2_3_1 n3_a_hardy_1883__1_1_2_3_2 VVN;_Ipr_ n3_a_hardy_1883__1_1_2_3->n3_a_hardy_1883__1_1_2_3_2 n3_a_hardy_1883__1_1_2_3_3 PP-CLR n3_a_hardy_1883__1_1_2_3->n3_a_hardy_1883__1_1_2_3_3 n3_a_hardy_1883__1_1_2_3_4 ADVP-NIM n3_a_hardy_1883__1_1_2_3->n3_a_hardy_1883__1_1_2_3_4 n3_a_hardy_1883__1_1_2_3_1->n3_a_hardy_1883__1_1_2_3_1_1 n3_a_hardy_1883__1_1_2_3_2->n3_a_hardy_1883__1_1_2_3_2_1 n3_a_hardy_1883__1_1_2_3_3_1 P-ROLE n3_a_hardy_1883__1_1_2_3_3->n3_a_hardy_1883__1_1_2_3_3_1 n3_a_hardy_1883__1_1_2_3_3_1->n3_a_hardy_1883__1_1_2_3_3_1_1 n3_a_hardy_1883__1_1_2_3_4_1 ADV n3_a_hardy_1883__1_1_2_3_4->n3_a_hardy_1883__1_1_2_3_4_1 n3_a_hardy_1883__1_1_2_3_4_1->n3_a_hardy_1883__1_1_2_3_4_1_1 n3_a_hardy_1883__1_2->n3_a_hardy_1883__1_2_1 n3_a_hardy_1883__1_3_1 PRO n3_a_hardy_1883__1_3->n3_a_hardy_1883__1_3_1 n3_a_hardy_1883__1_3_1->n3_a_hardy_1883__1_3_1_1 n3_a_hardy_1883__1_4_1 ADV n3_a_hardy_1883__1_4->n3_a_hardy_1883__1_4_1 n3_a_hardy_1883__1_4_1->n3_a_hardy_1883__1_4_1_1 n3_a_hardy_1883__1_5->n3_a_hardy_1883__1_5_1 n3_a_hardy_1883__1_6_1 D n3_a_hardy_1883__1_6->n3_a_hardy_1883__1_6_1 n3_a_hardy_1883__1_6_2 N n3_a_hardy_1883__1_6->n3_a_hardy_1883__1_6_2 n3_a_hardy_1883__1_6_3 PP n3_a_hardy_1883__1_6->n3_a_hardy_1883__1_6_3 n3_a_hardy_1883__1_6_1->n3_a_hardy_1883__1_6_1_1 n3_a_hardy_1883__1_6_2->n3_a_hardy_1883__1_6_2_1 n3_a_hardy_1883__1_6_3_1 P-ROLE n3_a_hardy_1883__1_6_3->n3_a_hardy_1883__1_6_3_1 n3_a_hardy_1883__1_6_3_2 NP n3_a_hardy_1883__1_6_3->n3_a_hardy_1883__1_6_3_2 n3_a_hardy_1883__1_6_3_1->n3_a_hardy_1883__1_6_3_1_1 n3_a_hardy_1883__1_6_3_2_1 D n3_a_hardy_1883__1_6_3_2->n3_a_hardy_1883__1_6_3_2_1 n3_a_hardy_1883__1_6_3_2_2 ADJP n3_a_hardy_1883__1_6_3_2->n3_a_hardy_1883__1_6_3_2_2 n3_a_hardy_1883__1_6_3_2_3 N n3_a_hardy_1883__1_6_3_2->n3_a_hardy_1883__1_6_3_2_3 n3_a_hardy_1883__1_6_3_2_4 PP n3_a_hardy_1883__1_6_3_2->n3_a_hardy_1883__1_6_3_2_4 n3_a_hardy_1883__1_6_3_2_1->n3_a_hardy_1883__1_6_3_2_1_1 n3_a_hardy_1883__1_6_3_2_2_1 ADJ n3_a_hardy_1883__1_6_3_2_2->n3_a_hardy_1883__1_6_3_2_2_1 n3_a_hardy_1883__1_6_3_2_2_1->n3_a_hardy_1883__1_6_3_2_2_1_1 n3_a_hardy_1883__1_6_3_2_3->n3_a_hardy_1883__1_6_3_2_3_1 n3_a_hardy_1883__1_6_3_2_4_1 P-ROLE n3_a_hardy_1883__1_6_3_2_4->n3_a_hardy_1883__1_6_3_2_4_1 n3_a_hardy_1883__1_6_3_2_4_2 NP n3_a_hardy_1883__1_6_3_2_4->n3_a_hardy_1883__1_6_3_2_4_2 n3_a_hardy_1883__1_6_3_2_4_1->n3_a_hardy_1883__1_6_3_2_4_1_1 n3_a_hardy_1883__1_6_3_2_4_2_1 D n3_a_hardy_1883__1_6_3_2_4_2->n3_a_hardy_1883__1_6_3_2_4_2_1 n3_a_hardy_1883__1_6_3_2_4_2_2 N n3_a_hardy_1883__1_6_3_2_4_2->n3_a_hardy_1883__1_6_3_2_4_2_2 n3_a_hardy_1883__1_6_3_2_4_2_1->n3_a_hardy_1883__1_6_3_2_4_2_1_1 n3_a_hardy_1883__1_6_3_2_4_2_2->n3_a_hardy_1883__1_6_3_2_4_2_2_1 n3_a_hardy_1883__1_7->n3_a_hardy_1883__1_7_1 
( (IP-MAT (PP-SCON (P-CONN If;{if})
                   (IP-ADV (NP-SBJ;{MARK} (D any;{any})
                                          (N mark;{mark})
                                          (PP (P-ROLE of;{of})
                                              (NP (ADJP (ADJ human;{human}))
                                                  (N occupation;{occupation}))))
                           (BEP;_cat_VePASS_ is;{be})
                           (IP-PPL-CAT (NP-LGS *)
                                       (VVN;_Ipr_ met;{meet[with]})
                                       (PP-CLR (P-ROLE with;{with}))
                                       (ADVP-NIM (ADV hereon;{hereon})))))
          (PUNC ,)
          (NP-SBJ;{MARK} (PRO it;{it}))
          (ADVP-NIM (ADV usually;{usually}))
          (VBP;_Tn_ takes;{take})
          (NP-OB1 (D the;{the})
                  (N form;{form})
                  (PP (P-ROLE of;{of})
                      (NP (D the;{the})
                          (ADJP (ADJ solitary;{solitary}))
                          (N cottage;{cottage})
                          (PP (P-ROLE of;{of})
                              (NP;{PERSON} (D some;{some})
                                           (N shepherd;{shepherd}))))))
          (PUNC .))
  (ID 3_a_hardy_1883))