40_a_duplex
This kind of technology is often deeply divisive, for several reasons.
arc(r_0040_0001__This_r_0040_0002__kind, r_0040_0004__technology, r_0040_0003__of).
arc(r_0040_0005__is, r_0040_0001__This_r_0040_0002__kind, arg0).
arc(r_0040_0005__is, r_0040_0006__often, nim15).
arc(r_0040_0005__is, r_0040_0008__divisive, prd).
arc(r_0040_0005__is, r_0040_0012__reasons, r_0040_0010__for_nim29).
arc(r_0040_0008__divisive, r_0040_0007__deeply, qual19).
arc(r_0040_0012__reasons, r_0040_0011__several, attrib30).
fof(formula,axiom,
? [R_40_5_IS,R_40_1_THIS_KIND,R_40_4_TECHNOLOGY,R_40_6_OFTEN,R_40_8_DIVISIVE,R_40_7_DEEPLY,R_40_12_REASONS,R_40_11_SEVERAL] :
( technology(R_40_4_TECHNOLOGY)
& often(R_40_6_OFTEN)
& deeply(R_40_7_DEEPLY)
& several(R_40_11_SEVERAL)
& is(R_40_5_IS,R_40_1_THIS_KIND,R_40_8_DIVISIVE)
& this_kind(R_40_1_THIS_KIND)
& of(R_40_1_THIS_KIND,R_40_4_TECHNOLOGY)
& divisive(R_40_8_DIVISIVE)
& qual19(R_40_8_DIVISIVE,R_40_7_DEEPLY)
& nim15(R_40_5_IS,R_40_6_OFTEN)
& for_nim29(R_40_5_IS,R_40_12_REASONS)
& reasons(R_40_12_REASONS)
& attrib30(R_40_12_REASONS,R_40_11_SEVERAL) ) ).
( (IP-MAT (NP-SBJ (D This;{this})
(N kind;{kind})
(PP (P-ROLE of;{of})
(NP (N technology;{technology}))))
(BEP;_La_ is;{be})
(ADVP-NIM (ADV often;{often}))
(ADJP-PRD (ADVP (ADV deeply;{deeply}))
(ADJ divisive;{divisive}))
(PUNC ,)
(PP-NIM (P-ROLE for;{for})
(NP (ADJP (ADJ several;{several}))
(NS reasons;{reason})))
(PUNC .))
(ID 40_a_duplex))