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.
( (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))
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,attrib).
arc(r_0003_0007__is,r_0003_0008__met_r_0003_0009__with,scope).
arc(r_0003_0008__met_r_0003_0009__with,r_0003_0002__any_r_0003_0003__mark,arg1).
arc(r_0003_0008__met_r_0003_0009__with,r_0003_0010__hereon,nim).
arc(r_0003_0008__met_r_0003_0009__with,z_0003_5007___star_,arg0).
arc(r_0003_0014__takes,r_0003_0002__any_r_0003_0003__mark,arg0).
arc(r_0003_0014__takes,r_0003_0013__usually,nim).
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,attrib).
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_0009__WITH,R_0003_0005__HUMAN,R_0003_0006__OCCUPATION,R_0003_0002__ANY_R_0003_0003__MARK,R_0003_0010__HEREON,Z_0003_5007___STAR_] :
( ( r_0003_0005__human(R_0003_0005__HUMAN)
& r_0003_0010__hereon(R_0003_0010__HEREON)
& z_0003_5007___star_(Z_0003_5007___STAR_)
& r_0003_0007__is_r_0003_0008__met_r_0003_0009__with(R_0003_0007__IS_R_0003_0008__MET_R_0003_0009__WITH)
& has_arg0(R_0003_0007__IS_R_0003_0008__MET_R_0003_0009__WITH,Z_0003_5007___STAR_)
& has_nim(R_0003_0007__IS_R_0003_0008__MET_R_0003_0009__WITH,R_0003_0010__HEREON)
& has_arg1(R_0003_0007__IS_R_0003_0008__MET_R_0003_0009__WITH,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_attrib(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_attrib(R_0003_0018__THE_R_0003_0020__COTTAGE,R_0003_0019__SOLITARY)
& has_nim(R_0003_0014__TAKES,R_0003_0013__USUALLY)
& has_arg0(R_0003_0014__TAKES,R_0003_0002__ANY_R_0003_0003__MARK) ) ) ).