53_a_stuck_japan
A smartly - dressed man walked in and told us our “lecture” would begin in 10 minutes and last two hours!
arc(r_0053_0001__A_r_0053_0005__man, r_0053_0004__dressed, attrib5).
arc(r_0053_0004__dressed, r_0053_0002__smartly, qual6).
arc(r_0053_0006__walked, r_0053_0001__A_r_0053_0005__man, arg0).
arc(r_0053_0006__walked, r_0053_0007__in, clr19).
arc(r_0053_0008__and, r_0053_0006__walked, 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_nim53).
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, nim64).
fof(formula,axiom,
? [R_0053_0002__SMARTLY,R_0053_0004__DRESSED,R_0053_0001__A_R_0053_0005__MAN,R_0053_0007__IN,R_0053_0006__WALKED,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_0007__in(R_0053_0007__IN)
& 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_nim64(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_nim53(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_attrib5(R_0053_0001__A_R_0053_0005__MAN,R_0053_0004__DRESSED)
& r_0053_0004__dressed(R_0053_0004__DRESSED)
& has_qual6(R_0053_0004__DRESSED,R_0053_0002__SMARTLY)
& has_conj1(R_0053_0008__AND,R_0053_0006__WALKED)
& r_0053_0006__walked(R_0053_0006__WALKED)
& has_clr19(R_0053_0006__WALKED,R_0053_0007__IN)
& has_arg0(R_0053_0006__WALKED,R_0053_0001__A_R_0053_0005__MAN) ) ).
( (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))