21_a_dick_1952
“But I'd like to look for myself, if I may.”
arc(r_0021_0002__But_r_0021_0004___apos_d, r_0021_0005__like, scope).
arc(r_0021_0005__like, r_0021_0003__I, arg0).
arc(r_0021_0005__like, r_0021_0006__to_r_0021_0007__look, arg1).
arc(r_0021_0006__to_r_0021_0007__look, r_0021_0003__I, arg0).
arc(r_0021_0006__to_r_0021_0007__look, r_0021_0003__I, r_0021_0008__for_nim22).
arc(r_0021_0011__if, r_0021_0002__But_r_0021_0004___apos_d, scope).
arc(r_0021_0011__if, r_0021_0013__may, restriction).
arc(r_0021_0013__may, r_0021_1001____star__, scope).
arc(r_0021_1001____star__, r_0021_0003__I, arg0).
fof(formula,axiom,
! [R_0021_0013__MAY_R_0021_1001____STAR__,R_0021_0003__I] :
( ( r_0021_0003__I(R_0021_0003__I)
& r_0021_0013__may_r_0021_1001____star__(R_0021_0013__MAY_R_0021_1001____STAR__)
& has_arg0(R_0021_0013__MAY_R_0021_1001____STAR__,R_0021_0003__I) )
=> ? [R_0021_0006__TO_R_0021_0007__LOOK,R_0021_0002__BUT_R_0021_0004___APOS_D_R_0021_0005__LIKE] :
( r_0021_0002__But_r_0021_0004___apos_d_r_0021_0005__like(R_0021_0002__BUT_R_0021_0004___APOS_D_R_0021_0005__LIKE)
& has_arg1(R_0021_0002__BUT_R_0021_0004___APOS_D_R_0021_0005__LIKE,R_0021_0006__TO_R_0021_0007__LOOK)
& r_0021_0006__to_r_0021_0007__look(R_0021_0006__TO_R_0021_0007__LOOK)
& has_r_0021_0008__for_nim22(R_0021_0006__TO_R_0021_0007__LOOK,R_0021_0003__I)
& has_arg0(R_0021_0006__TO_R_0021_0007__LOOK,R_0021_0003__I)
& has_arg0(R_0021_0002__BUT_R_0021_0004___APOS_D_R_0021_0005__LIKE,R_0021_0003__I) ) ) ).
( (IP-MAT (PULQ <ldquo>)
(CONJ;_cl_ But;{but})
(NP-SBJ;{FOMAR} (PRO I;{I}))
(MD;_cat_Vi_ <apos>d;{will})
(IP-INF-CAT (VB;_Tt_ like;{like})
(IP-INF-OB1 (TO to;{to})
(VB;_I_ look;{look})
(PP-NIM (P-ROLE for;{for})
(NP;{FOMAR} (PNX myself;{myself})))))
(PUNC ,)
(PP-SCON (P-CONN if;{if})
(IP-ADV (NP-SBJ;{FOMAR} (PRO I;{I}))
(MD;_cat_Vi_ may;{may})
(IP-INF-CAT (VB _*_))))
(PUNC .)
(PURQ <rdquo>))
(ID 21_a_dick_1952))