190_a_dick_1952
“We might try it for a time, at least.
( (IP-MAT (PULQ <ldquo>)
(NP-SBJ;{DORLE+NASHA} (PRO We;{we}))
(MD;_cat_Vi_ might;{may})
(IP-INF-CAT (VB;_Tn_ try;{try})
(NP-OB1 (PRO it;{it}))
(PP-NIM (P-ROLE for;{for})
(NP (D a;{a})
(N time;{time})))
(PUNC ,)
(ADVP-NIM (ADV at_least;{at_least})))
(PUNC .))
(ID 190_a_dick_1952))
arc(r_0190_0003__might,r_0190_0004__try,scope).
arc(r_0190_0004__try,r_0190_0002__We,arg0).
arc(r_0190_0004__try,r_0190_0005__it,arg1).
arc(r_0190_0004__try,r_0190_0007__a_r_0190_0008__time,r_0190_0006__for__nim).
arc(r_0190_0004__try,r_0190_0010__at_least,nim).
fof(formula,axiom,
? [R_0190_0002__WE,R_0190_0005__IT,R_0190_0007__A_R_0190_0008__TIME,R_0190_0010__AT_LEAST,R_0190_0003__MIGHT_R_0190_0004__TRY] :
( r_0190_0002__We(R_0190_0002__WE)
& r_0190_0005__it(R_0190_0005__IT)
& r_0190_0007__a_r_0190_0008__time(R_0190_0007__A_R_0190_0008__TIME)
& r_0190_0010__at_least(R_0190_0010__AT_LEAST)
& r_0190_0003__might_r_0190_0004__try(R_0190_0003__MIGHT_R_0190_0004__TRY)
& has_nim(R_0190_0003__MIGHT_R_0190_0004__TRY,R_0190_0010__AT_LEAST)
& has_r_0190_0006__for__nim(R_0190_0003__MIGHT_R_0190_0004__TRY,R_0190_0007__A_R_0190_0008__TIME)
& has_arg1(R_0190_0003__MIGHT_R_0190_0004__TRY,R_0190_0005__IT)
& has_arg0(R_0190_0003__MIGHT_R_0190_0004__TRY,R_0190_0002__WE) ) ).