20_a_sunglasses_story
She could really “see” with the help of the new blue glasses.
( (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))
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,nim).
arc(r_0020_0005__see,r_0020_0008__the_r_0020_0009__help,r_0020_0007__with__nim).
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,attrib).
arc(r_0020_0011__the_r_0020_0014__glasses,r_0020_0013__blue,attrib).
fof(formula,axiom,
? [R_0020_0001__SHE,R_0020_0003__REALLY,R_0020_0012__NEW,R_0020_0013__BLUE,R_0020_0011__THE_R_0020_0014__GLASSES,R_0020_0008__THE_R_0020_0009__HELP,R_0020_0002__COULD_R_0020_0005__SEE] :
( r_0020_0001__She(R_0020_0001__SHE)
& r_0020_0003__really(R_0020_0003__REALLY)
& r_0020_0012__new(R_0020_0012__NEW)
& r_0020_0013__blue(R_0020_0013__BLUE)
& r_0020_0002__could_r_0020_0005__see(R_0020_0002__COULD_R_0020_0005__SEE)
& has_r_0020_0007__with__nim(R_0020_0002__COULD_R_0020_0005__SEE,R_0020_0008__THE_R_0020_0009__HELP)
& r_0020_0008__the_r_0020_0009__help(R_0020_0008__THE_R_0020_0009__HELP)
& has_r_0020_0010__of(R_0020_0008__THE_R_0020_0009__HELP,R_0020_0011__THE_R_0020_0014__GLASSES)
& r_0020_0011__the_r_0020_0014__glasses(R_0020_0011__THE_R_0020_0014__GLASSES)
& has_attrib(R_0020_0011__THE_R_0020_0014__GLASSES,R_0020_0013__BLUE)
& has_attrib(R_0020_0011__THE_R_0020_0014__GLASSES,R_0020_0012__NEW)
& has_nim(R_0020_0002__COULD_R_0020_0005__SEE,R_0020_0003__REALLY)
& has_arg0(R_0020_0002__COULD_R_0020_0005__SEE,R_0020_0001__SHE) ) ).