21_a_dick_1952
“But I'd like to look for myself, if I may.”
( (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})))
(PUNC .)
(PURQ <rdquo>))
(ID 21_a_dick_1952))
arc(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_0007__look,arg1).
arc(r_0021_0007__look,r_0021_0003__I,arg0).
arc(r_0021_0007__look,r_0021_0003__I,r_0021_0008__for__nim).
arc(r_0021_0011__if,r_0021_0004___apos_d,scope).
arc(r_0021_0011__if,r_0021_0013__may,restriction).
arc(r_0021_0013__may,r_0021_0003__I,arg0).
fof(formula,axiom,
! [R_0021_0013__MAY,R_0021_0003__I] :
( ( r_0021_0003__I(R_0021_0003__I)
& r_0021_0013__may(R_0021_0013__MAY)
& has_arg0(R_0021_0013__MAY,R_0021_0003__I) )
=> ? [R_0021_0007__LOOK,R_0021_0004___APOS_D_R_0021_0005__LIKE] :
( r_0021_0004___apos_d_r_0021_0005__like(R_0021_0004___APOS_D_R_0021_0005__LIKE)
& has_arg1(R_0021_0004___APOS_D_R_0021_0005__LIKE,R_0021_0007__LOOK)
& r_0021_0007__look(R_0021_0007__LOOK)
& has_r_0021_0008__for__nim(R_0021_0007__LOOK,R_0021_0003__I)
& has_arg0(R_0021_0007__LOOK,R_0021_0003__I)
& has_arg0(R_0021_0004___APOS_D_R_0021_0005__LIKE,R_0021_0003__I) ) ) ).