20_a_sunglasses_story
She could really “see” with the help of the new blue glasses.
arc(r_0020_0002__could, r_0020_0005__see, scope).
arc(r_0020_0005__see, r_0020_0001__She, arg0).
arc(r_0020_0005__see, r_0020_0003__really, nim8).
arc(r_0020_0005__see, r_0020_0008__the_r_0020_0009__help, r_0020_0007__with_nim20).
arc(r_0020_0008__the_r_0020_0009__help, r_0020_0011__the_r_0020_0014__glasses, r_0020_0010__of).
arc(r_0020_0011__the_r_0020_0014__glasses, r_0020_0012__new, attrib31).
arc(r_0020_0011__the_r_0020_0014__glasses, r_0020_0013__blue, attrib34).
fof(formula,axiom,
? [R_20_2_COULD_SEE,R_20_1_SHE,R_20_3_REALLY,R_20_8_THE_HELP,R_20_11_THE_GLASSES,R_20_12_NEW,R_20_13_BLUE] :
( she(R_20_1_SHE)
& really(R_20_3_REALLY)
& new(R_20_12_NEW)
& blue(R_20_13_BLUE)
& could_see(R_20_2_COULD_SEE,R_20_1_SHE)
& nim8(R_20_2_COULD_SEE,R_20_3_REALLY)
& with_nim20(R_20_2_COULD_SEE,R_20_8_THE_HELP)
& the_help(R_20_8_THE_HELP)
& of(R_20_8_THE_HELP,R_20_11_THE_GLASSES)
& the_glasses(R_20_11_THE_GLASSES)
& attrib31(R_20_11_THE_GLASSES,R_20_12_NEW)
& attrib34(R_20_11_THE_GLASSES,R_20_13_BLUE) ) ).
( (IP-MAT (NP-SBJ;{PERSON} (PRO She;{she}))
(MD;_cat_Vi_ could;{can})
(IP-INF-CAT (ADVP-NIM (ADV really;{really}))
(PULQ <ldquo>)
(VB;_I_ see;{see})
(PURQ <rdquo>)
(PP-NIM (P-ROLE with;{with})
(NP (D the;{the})
(N help;{help})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(ADJP (ADJ new;{new}))
(ADJP (ADJ blue;{blue}))
(NS glasses;{glass}))))))
(PUNC .))
(ID 20_a_sunglasses_story))