53_a_stuck_japan
A smartly - dressed man walked in and told us our “lecture” would begin in 10 minutes and last two hours!
( (IP-MAT (NP-SBJ (D A;{a})
(ADJP (ADVP (ADV smartly;{smartly}))
(PUNC <hyphen>)
(ADJ dressed;{dressed}))
(N man;{man}))
(ILYR (ILYR (VBD;_Ip_ walked;{walk[in]})
(ADVP-CLR (RP in;{in})))
(CONJP (CONJ and;{and})
(ILYR (VBD;_Dn.f_ told;{tell})
(NP-OB2 (PRO us;{we}))
(CP-THT-OB1 (IP-SUB (NP-SBJ (NP-GEN (PRO our;{we}))
(PULQ <ldquo>)
(N lecture;{lecture})
(PURQ <rdquo>))
(MD;_cat_Vi_ would;{would})
(IP-PPL-CAT (ILYR (ILYR (VB;_I_ begin;{begin})
(PP-NIM (P-ROLE in;{in})
(NP (NUM 10)
(NS minutes;{minute}))))
(CONJP (CONJ and;{and})
(ILYR (VB;_I_ last;{last})
(NP-NIM (NUM two;{two})
(NS hours;{hour})))))))))))
(PUNC !))
(ID 53_a_stuck_japan))
arc(r_0053_0001__A_r_0053_0005__man,r_0053_0004__dressed,attrib).
arc(r_0053_0004__dressed,r_0053_0002__smartly,qual).
arc(r_0053_0006__walked_r_0053_0007__in,r_0053_0001__A_r_0053_0005__man,arg0).
arc(r_0053_0008__and,r_0053_0006__walked_r_0053_0007__in,conj1).
arc(r_0053_0008__and,r_0053_0009__told,conj2).
arc(r_0053_0009__told,r_0053_0001__A_r_0053_0005__man,arg0).
arc(r_0053_0009__told,r_0053_0010__us,arg2).
arc(r_0053_0009__told,r_0053_0015__would,arg1).
arc(r_0053_0013__lecture,r_0053_0010__us,gen).
arc(r_0053_0015__would,r_0053_0020__and,scope).
arc(r_0053_0016__begin,r_0053_0013__lecture,arg0).
arc(r_0053_0016__begin,r_0053_0018__10_r_0053_0019__minutes,r_0053_0017__in__nim).
arc(r_0053_0020__and,r_0053_0016__begin,conj1).
arc(r_0053_0020__and,r_0053_0021__last,conj2).
arc(r_0053_0021__last,r_0053_0013__lecture,arg0).
arc(r_0053_0021__last,r_0053_0022__two_r_0053_0023__hours,nim).
fof(formula,axiom,
? [R_0053_0002__SMARTLY,R_0053_0004__DRESSED,R_0053_0001__A_R_0053_0005__MAN,R_0053_0006__WALKED_R_0053_0007__IN,R_0053_0010__US,R_0053_0013__LECTURE,R_0053_0018__10_R_0053_0019__MINUTES,R_0053_0016__BEGIN,R_0053_0022__TWO_R_0053_0023__HOURS,R_0053_0021__LAST,R_0053_0020__AND,R_0053_0015__WOULD,R_0053_0009__TOLD,R_0053_0008__AND] :
( r_0053_0002__smartly(R_0053_0002__SMARTLY)
& r_0053_0010__us(R_0053_0010__US)
& r_0053_0018__10_r_0053_0019__minutes(R_0053_0018__10_R_0053_0019__MINUTES)
& r_0053_0022__two_r_0053_0023__hours(R_0053_0022__TWO_R_0053_0023__HOURS)
& r_0053_0008__and(R_0053_0008__AND)
& has_conj2(R_0053_0008__AND,R_0053_0009__TOLD)
& r_0053_0009__told(R_0053_0009__TOLD)
& has_arg1(R_0053_0009__TOLD,R_0053_0015__WOULD)
& r_0053_0015__would(R_0053_0015__WOULD)
& has_keep_scope(R_0053_0015__WOULD,R_0053_0020__AND)
& r_0053_0020__and(R_0053_0020__AND)
& has_conj2(R_0053_0020__AND,R_0053_0021__LAST)
& r_0053_0021__last(R_0053_0021__LAST)
& has_nim(R_0053_0021__LAST,R_0053_0022__TWO_R_0053_0023__HOURS)
& has_arg0(R_0053_0021__LAST,R_0053_0013__LECTURE)
& r_0053_0013__lecture(R_0053_0013__LECTURE)
& has_gen(R_0053_0013__LECTURE,R_0053_0010__US)
& has_conj1(R_0053_0020__AND,R_0053_0016__BEGIN)
& r_0053_0016__begin(R_0053_0016__BEGIN)
& has_r_0053_0017__in__nim(R_0053_0016__BEGIN,R_0053_0018__10_R_0053_0019__MINUTES)
& has_arg0(R_0053_0016__BEGIN,R_0053_0013__LECTURE)
& has_arg2(R_0053_0009__TOLD,R_0053_0010__US)
& has_arg0(R_0053_0009__TOLD,R_0053_0001__A_R_0053_0005__MAN)
& r_0053_0001__A_r_0053_0005__man(R_0053_0001__A_R_0053_0005__MAN)
& has_attrib(R_0053_0001__A_R_0053_0005__MAN,R_0053_0004__DRESSED)
& r_0053_0004__dressed(R_0053_0004__DRESSED)
& has_qual(R_0053_0004__DRESSED,R_0053_0002__SMARTLY)
& has_conj1(R_0053_0008__AND,R_0053_0006__WALKED_R_0053_0007__IN)
& r_0053_0006__walked_r_0053_0007__in(R_0053_0006__WALKED_R_0053_0007__IN)
& has_arg0(R_0053_0006__WALKED_R_0053_0007__IN,R_0053_0001__A_R_0053_0005__MAN) ) ).