37_a_lob_a02
Strong deeds followed strong words.
arc(r_0037_0002__deeds, r_0037_0001__Strong, attrib3).
arc(r_0037_0003__followed, r_0037_0002__deeds, arg0).
arc(r_0037_0003__followed, r_0037_0005__words, arg1).
arc(r_0037_0005__words, r_0037_0004__strong, attrib11).
fof(formula,axiom,
? [R_0037_0001__STRONG,R_0037_0002__DEEDS,R_0037_0004__STRONG,R_0037_0005__WORDS,R_0037_0003__FOLLOWED] :
( r_0037_0001__Strong(R_0037_0001__STRONG)
& r_0037_0004__strong(R_0037_0004__STRONG)
& r_0037_0003__followed(R_0037_0003__FOLLOWED)
& has_arg1(R_0037_0003__FOLLOWED,R_0037_0005__WORDS)
& r_0037_0005__words(R_0037_0005__WORDS)
& has_attrib11(R_0037_0005__WORDS,R_0037_0004__STRONG)
& has_arg0(R_0037_0003__FOLLOWED,R_0037_0002__DEEDS)
& r_0037_0002__deeds(R_0037_0002__DEEDS)
& has_attrib3(R_0037_0002__DEEDS,R_0037_0001__STRONG) ) ).
( (IP-MAT (NP-SBJ (ADJP (ADJ Strong;{strong}))
(NS deeds;{deed}))
(VBD;_Tn_ followed;{follow})
(NP-OB1 (ADJP (ADJ strong;{strong}))
(NS words;{word}))
(PUNC .))
(ID 37_a_lob_a02))