190_a_dick_1952
“We might try it for a time, at least.
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_nim18).
arc(r_0190_0004__try, r_0190_0010__at_least, nim25).
fof(formula,axiom,
? [R_190_3_MIGHT_TRY,R_190_2_WE,R_190_5_IT,R_190_10_AT_LEAST,R_190_7_A_TIME] :
( we(R_190_2_WE)
& it(R_190_5_IT)
& at_least(R_190_10_AT_LEAST)
& a_time(R_190_7_A_TIME)
& might_try(R_190_3_MIGHT_TRY,R_190_2_WE,R_190_5_IT)
& nim25(R_190_3_MIGHT_TRY,R_190_10_AT_LEAST)
& for_nim18(R_190_3_MIGHT_TRY,R_190_7_A_TIME) ) ).
( (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))