550_a_dick_1952
“The soft underbelly of the dragon.
arc(r_0550_0002__The_r_0550_0004__underbelly, r_0550_0003__soft, attrib7).
arc(r_0550_0002__The_r_0550_0004__underbelly, r_0550_0006__the_r_0550_0007__dragon, r_0550_0005__of).
arc(z_000_550_a_dick_1952_1, r_0550_0002__The_r_0550_0004__underbelly, nim4).
fof(formula,axiom,
? [R_0550_0003__SOFT,R_0550_0006__THE_R_0550_0007__DRAGON,R_0550_0002__THE_R_0550_0004__UNDERBELLY,Z_000_550_A_DICK_1952_1] :
( r_0550_0003__soft(R_0550_0003__SOFT)
& r_0550_0006__the_r_0550_0007__dragon(R_0550_0006__THE_R_0550_0007__DRAGON)
& z_000_550_a_dick_1952_1(Z_000_550_A_DICK_1952_1)
& has_nim4(Z_000_550_A_DICK_1952_1,R_0550_0002__THE_R_0550_0004__UNDERBELLY)
& r_0550_0002__The_r_0550_0004__underbelly(R_0550_0002__THE_R_0550_0004__UNDERBELLY)
& has_r_0550_0005__of(R_0550_0002__THE_R_0550_0004__UNDERBELLY,R_0550_0006__THE_R_0550_0007__DRAGON)
& has_attrib7(R_0550_0002__THE_R_0550_0004__UNDERBELLY,R_0550_0003__SOFT) ) ).
( (FRAG (PULQ <ldquo>)
(NP (D The;{the})
(ADJP (ADJ soft;{soft}))
(N underbelly;{underbelly})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(N dragon;{dragon}))))
(PUNC .))
(ID 550_a_dick_1952))