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_0001__If If r_0003_0007__is_r_0003_0008__met is met r_0003_0001__If->r_0003_0007__is_r_0003_0008__met [restriction] r_0003_0014__takes takes r_0003_0001__If->r_0003_0014__takes [scope] r_0003_0002__any_r_0003_0003__mark any mark r_0003_0007__is_r_0003_0008__met->r_0003_0002__any_r_0003_0003__mark [arg1] r_0003_0010__hereon hereon r_0003_0007__is_r_0003_0008__met->r_0003_0010__hereon [nim] 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_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_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 
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_4 If n3_a_hardy_1883_8 any n3_a_hardy_1883_10 mark n3_a_hardy_1883_13 of n3_a_hardy_1883_17 human n3_a_hardy_1883_19 occupation n3_a_hardy_1883_21 is n3_a_hardy_1883_24 * n3_a_hardy_1883_26 met n3_a_hardy_1883_29 with n3_a_hardy_1883_32 hereon n3_a_hardy_1883_34 , n3_a_hardy_1883_37 it n3_a_hardy_1883_40 usually n3_a_hardy_1883_42 takes n3_a_hardy_1883_45 the n3_a_hardy_1883_47 form n3_a_hardy_1883_50 of n3_a_hardy_1883_53 the n3_a_hardy_1883_56 solitary n3_a_hardy_1883_58 cottage n3_a_hardy_1883_61 of n3_a_hardy_1883_64 some n3_a_hardy_1883_66 shepherd n3_a_hardy_1883_68 . n3_a_hardy_1883_1 IP-MAT n3_a_hardy_1883_2 PP-SCON n3_a_hardy_1883_1->n3_a_hardy_1883_2 n3_a_hardy_1883_33 PUNC n3_a_hardy_1883_1->n3_a_hardy_1883_33 n3_a_hardy_1883_35 NP-SBJ n3_a_hardy_1883_1->n3_a_hardy_1883_35 n3_a_hardy_1883_38 ADVP-NIM n3_a_hardy_1883_1->n3_a_hardy_1883_38 n3_a_hardy_1883_41 VBP;_Tn_ n3_a_hardy_1883_1->n3_a_hardy_1883_41 n3_a_hardy_1883_43 NP-OB1 n3_a_hardy_1883_1->n3_a_hardy_1883_43 n3_a_hardy_1883_67 PUNC n3_a_hardy_1883_1->n3_a_hardy_1883_67 n3_a_hardy_1883_3 P-CONN n3_a_hardy_1883_2->n3_a_hardy_1883_3 n3_a_hardy_1883_5 IP-ADV n3_a_hardy_1883_2->n3_a_hardy_1883_5 n3_a_hardy_1883_3->n3_a_hardy_1883_4 n3_a_hardy_1883_6 NP-SBJ n3_a_hardy_1883_5->n3_a_hardy_1883_6 n3_a_hardy_1883_20 BEP;_cat_VePASS_ n3_a_hardy_1883_5->n3_a_hardy_1883_20 n3_a_hardy_1883_22 IP-PPL-CAT n3_a_hardy_1883_5->n3_a_hardy_1883_22 n3_a_hardy_1883_7 D n3_a_hardy_1883_6->n3_a_hardy_1883_7 n3_a_hardy_1883_9 N n3_a_hardy_1883_6->n3_a_hardy_1883_9 n3_a_hardy_1883_11 PP n3_a_hardy_1883_6->n3_a_hardy_1883_11 n3_a_hardy_1883_7->n3_a_hardy_1883_8 n3_a_hardy_1883_9->n3_a_hardy_1883_10 n3_a_hardy_1883_12 P-ROLE n3_a_hardy_1883_11->n3_a_hardy_1883_12 n3_a_hardy_1883_14 NP n3_a_hardy_1883_11->n3_a_hardy_1883_14 n3_a_hardy_1883_12->n3_a_hardy_1883_13 n3_a_hardy_1883_15 ADJP n3_a_hardy_1883_14->n3_a_hardy_1883_15 n3_a_hardy_1883_18 N n3_a_hardy_1883_14->n3_a_hardy_1883_18 n3_a_hardy_1883_16 ADJ n3_a_hardy_1883_15->n3_a_hardy_1883_16 n3_a_hardy_1883_16->n3_a_hardy_1883_17 n3_a_hardy_1883_18->n3_a_hardy_1883_19 n3_a_hardy_1883_20->n3_a_hardy_1883_21 n3_a_hardy_1883_23 NP-LGS n3_a_hardy_1883_22->n3_a_hardy_1883_23 n3_a_hardy_1883_25 VVN;_Ipr_ n3_a_hardy_1883_22->n3_a_hardy_1883_25 n3_a_hardy_1883_27 PP-CLR n3_a_hardy_1883_22->n3_a_hardy_1883_27 n3_a_hardy_1883_30 ADVP-NIM n3_a_hardy_1883_22->n3_a_hardy_1883_30 n3_a_hardy_1883_23->n3_a_hardy_1883_24 n3_a_hardy_1883_25->n3_a_hardy_1883_26 n3_a_hardy_1883_28 P-ROLE n3_a_hardy_1883_27->n3_a_hardy_1883_28 n3_a_hardy_1883_28->n3_a_hardy_1883_29 n3_a_hardy_1883_31 ADV n3_a_hardy_1883_30->n3_a_hardy_1883_31 n3_a_hardy_1883_31->n3_a_hardy_1883_32 n3_a_hardy_1883_33->n3_a_hardy_1883_34 n3_a_hardy_1883_36 PRO n3_a_hardy_1883_35->n3_a_hardy_1883_36 n3_a_hardy_1883_36->n3_a_hardy_1883_37 n3_a_hardy_1883_39 ADV n3_a_hardy_1883_38->n3_a_hardy_1883_39 n3_a_hardy_1883_39->n3_a_hardy_1883_40 n3_a_hardy_1883_41->n3_a_hardy_1883_42 n3_a_hardy_1883_44 D n3_a_hardy_1883_43->n3_a_hardy_1883_44 n3_a_hardy_1883_46 N n3_a_hardy_1883_43->n3_a_hardy_1883_46 n3_a_hardy_1883_48 PP n3_a_hardy_1883_43->n3_a_hardy_1883_48 n3_a_hardy_1883_44->n3_a_hardy_1883_45 n3_a_hardy_1883_46->n3_a_hardy_1883_47 n3_a_hardy_1883_49 P-ROLE n3_a_hardy_1883_48->n3_a_hardy_1883_49 n3_a_hardy_1883_51 NP n3_a_hardy_1883_48->n3_a_hardy_1883_51 n3_a_hardy_1883_49->n3_a_hardy_1883_50 n3_a_hardy_1883_52 D n3_a_hardy_1883_51->n3_a_hardy_1883_52 n3_a_hardy_1883_54 ADJP n3_a_hardy_1883_51->n3_a_hardy_1883_54 n3_a_hardy_1883_57 N n3_a_hardy_1883_51->n3_a_hardy_1883_57 n3_a_hardy_1883_59 PP n3_a_hardy_1883_51->n3_a_hardy_1883_59 n3_a_hardy_1883_52->n3_a_hardy_1883_53 n3_a_hardy_1883_55 ADJ n3_a_hardy_1883_54->n3_a_hardy_1883_55 n3_a_hardy_1883_55->n3_a_hardy_1883_56 n3_a_hardy_1883_57->n3_a_hardy_1883_58 n3_a_hardy_1883_60 P-ROLE n3_a_hardy_1883_59->n3_a_hardy_1883_60 n3_a_hardy_1883_62 NP n3_a_hardy_1883_59->n3_a_hardy_1883_62 n3_a_hardy_1883_60->n3_a_hardy_1883_61 n3_a_hardy_1883_63 D n3_a_hardy_1883_62->n3_a_hardy_1883_63 n3_a_hardy_1883_65 N n3_a_hardy_1883_62->n3_a_hardy_1883_65 n3_a_hardy_1883_63->n3_a_hardy_1883_64 n3_a_hardy_1883_65->n3_a_hardy_1883_66 n3_a_hardy_1883_67->n3_a_hardy_1883_68 
( (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))