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_53_8_AND,R_53_6_WALKED,R_53_7_IN,R_53_9_TOLD,R_53_1_A_MAN,R_53_4_DRESSED,R_53_2_SMARTLY,R_53_10_US] :
( in(R_53_7_IN)
& smartly(R_53_2_SMARTLY)
& us(R_53_10_US)
& and(R_53_8_AND)
& conj1(R_53_8_AND,R_53_6_WALKED)
& walked(R_53_6_WALKED,R_53_1_A_MAN)
& a_man(R_53_1_A_MAN)
& attrib5(R_53_1_A_MAN,R_53_4_DRESSED)
& dressed(R_53_4_DRESSED)
& qual6(R_53_4_DRESSED,R_53_2_SMARTLY)
& clr19(R_53_6_WALKED,R_53_7_IN)
& conj2(R_53_8_AND,R_53_9_TOLD)
& told(R_53_9_TOLD,R_53_1_A_MAN,R_53_15_WOULD,R_53_10_US)
& ~ ? [R_53_20_AND,R_53_16_BEGIN,R_53_18_10_MINUTES,R_53_21_LAST,R_53_13_LECTURE,R_53_22_TWO_HOURS] :
( 10_minutes(R_53_18_10_MINUTES)
& two_hours(R_53_22_TWO_HOURS)
& and(R_53_20_AND)
& conj1(R_53_20_AND,R_53_16_BEGIN)
& begin(R_53_16_BEGIN,R_53_13_LECTURE)
& lecture(R_53_13_LECTURE)
& gen(R_53_13_LECTURE,R_53_10_US)
& in_nim53(R_53_16_BEGIN,R_53_18_10_MINUTES)
& conj2(R_53_20_AND,R_53_21_LAST)
& last(R_53_21_LAST,R_53_13_LECTURE)
& nim64(R_53_21_LAST,R_53_22_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))