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.
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).
fof(formula,axiom,
! [R_0003_0007__IS_R_0003_0008__MET,R_0003_0005__HUMAN,R_0003_0006__OCCUPATION,R_0003_0002__ANY_R_0003_0003__MARK,R_0003_0010__HEREON,Z_000_3_A_HARDY_1883_23] :
( ( r_0003_0005__human(R_0003_0005__HUMAN)
& r_0003_0010__hereon(R_0003_0010__HEREON)
& z_000_3_a_hardy_1883_23(Z_000_3_A_HARDY_1883_23)
& r_0003_0007__is_r_0003_0008__met(R_0003_0007__IS_R_0003_0008__MET)
& has_arg0(R_0003_0007__IS_R_0003_0008__MET,Z_000_3_A_HARDY_1883_23)
& has_nim30(R_0003_0007__IS_R_0003_0008__MET,R_0003_0010__HEREON)
& has_arg1(R_0003_0007__IS_R_0003_0008__MET,R_0003_0002__ANY_R_0003_0003__MARK)
& r_0003_0002__any_r_0003_0003__mark(R_0003_0002__ANY_R_0003_0003__MARK)
& has_r_0003_0004__of(R_0003_0002__ANY_R_0003_0003__MARK,R_0003_0006__OCCUPATION)
& r_0003_0006__occupation(R_0003_0006__OCCUPATION)
& has_attrib15(R_0003_0006__OCCUPATION,R_0003_0005__HUMAN) )
=> ? [R_0003_0013__USUALLY,R_0003_0019__SOLITARY,R_0003_0022__SOME_R_0003_0023__SHEPHERD,R_0003_0018__THE_R_0003_0020__COTTAGE,R_0003_0015__THE_R_0003_0016__FORM,R_0003_0014__TAKES] :
( r_0003_0013__usually(R_0003_0013__USUALLY)
& r_0003_0019__solitary(R_0003_0019__SOLITARY)
& r_0003_0022__some_r_0003_0023__shepherd(R_0003_0022__SOME_R_0003_0023__SHEPHERD)
& r_0003_0014__takes(R_0003_0014__TAKES)
& has_arg1(R_0003_0014__TAKES,R_0003_0015__THE_R_0003_0016__FORM)
& r_0003_0015__the_r_0003_0016__form(R_0003_0015__THE_R_0003_0016__FORM)
& has_r_0003_0017__of(R_0003_0015__THE_R_0003_0016__FORM,R_0003_0018__THE_R_0003_0020__COTTAGE)
& r_0003_0018__the_r_0003_0020__cottage(R_0003_0018__THE_R_0003_0020__COTTAGE)
& has_r_0003_0021__of(R_0003_0018__THE_R_0003_0020__COTTAGE,R_0003_0022__SOME_R_0003_0023__SHEPHERD)
& has_attrib54(R_0003_0018__THE_R_0003_0020__COTTAGE,R_0003_0019__SOLITARY)
& has_nim38(R_0003_0014__TAKES,R_0003_0013__USUALLY)
& has_arg0(R_0003_0014__TAKES,R_0003_0002__ANY_R_0003_0003__MARK) ) ) ).
( (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))