33_a_duplex
%3
r_0033_0003__turn
turn
r_0033_0002__my
my
r_0033_0003__turn->r_0033_0002__my
[gen]
r_0033_0005__when
when
r_0033_0007__asked
asked
r_0033_0005__when->r_0033_0007__asked
[restriction]
r_0033_0026__as
as
r_0033_0005__when->r_0033_0026__as
[scope]
r_0033_0006__Duplex
Duplex
r_0033_0007__asked->r_0033_0006__Duplex
[arg0]
r_0033_0008__me
me
r_0033_0007__asked->r_0033_0008__me
[arg2]
r_0033_0009__to_r_0033_0010__make
to make
r_0033_0007__asked->r_0033_0009__to_r_0033_0010__make
[arg1]
r_0033_0021__told
told
r_0033_0026__as->r_0033_0021__told
[scope]
r_0033_0029__make
make
r_0033_0026__as->r_0033_0029__make
[restriction]
r_0033_0009__to_r_0033_0010__make->r_0033_0008__me
[arg0]
r_0033_0011__a_r_0033_0012__reservation
a reservation
r_0033_0009__to_r_0033_0010__make->r_0033_0011__a_r_0033_0012__reservation
[arg1]
r_0033_0014__a_r_0033_0015__group
a group
r_0033_0011__a_r_0033_0012__reservation->r_0033_0014__a_r_0033_0015__group
for
r_0033_0017__three
three
r_0033_0014__a_r_0033_0015__group->r_0033_0017__three
of
r_0033_0021__told->r_0033_0003__turn
For [nim]
r_0033_0021__told->r_0033_0006__Duplex
[arg2]
r_0033_0019__I
I
r_0033_0021__told->r_0033_0019__I
[arg0]
r_0033_0020__curtly
curtly
r_0033_0021__told->r_0033_0020__curtly
[nim]
r_0033_0023__to_r_0033_0024__go
to go
r_0033_0021__told->r_0033_0023__to_r_0033_0024__go
[arg1]
r_0033_0023__to_r_0033_0024__go->r_0033_0006__Duplex
[arg0]
r_0033_0025__away
away
r_0033_0023__to_r_0033_0024__go->r_0033_0025__away
[clr]
r_0033_0027__we
we
r_0033_0029__make->r_0033_0027__we
[arg0]
r_0033_0028__only
only
r_0033_0029__make->r_0033_0028__only
[nim]
r_0033_0030__bookings
bookings
r_0033_0029__make->r_0033_0030__bookings
[arg1]
r_0033_0033__or
or
r_0033_0030__bookings->r_0033_0033__or
for
r_0033_0032__four
four
r_0033_0033__or->r_0033_0032__four
[conj1]
z_000_33_a_duplex_96
r_0033_0033__or->z_000_33_a_duplex_96
[conj2]
r_0033_0034__more
more
z_000_33_a_duplex_96->r_0033_0034__more
[attrib]
arc(r_0033_0003__turn, r_0033_0002__my, gen).
arc(r_0033_0005__when, r_0033_0007__asked, restriction).
arc(r_0033_0005__when, r_0033_0026__as, scope).
arc(r_0033_0007__asked, r_0033_0006__Duplex, arg0).
arc(r_0033_0007__asked, r_0033_0008__me, arg2).
arc(r_0033_0007__asked, r_0033_0009__to_r_0033_0010__make, arg1).
arc(r_0033_0009__to_r_0033_0010__make, r_0033_0008__me, arg0).
arc(r_0033_0009__to_r_0033_0010__make, r_0033_0011__a_r_0033_0012__reservation, arg1).
arc(r_0033_0011__a_r_0033_0012__reservation, r_0033_0014__a_r_0033_0015__group, r_0033_0013__for).
arc(r_0033_0014__a_r_0033_0015__group, r_0033_0017__three, r_0033_0016__of).
arc(r_0033_0021__told, r_0033_0003__turn, r_0033_0001__For_nim5).
arc(r_0033_0021__told, r_0033_0006__Duplex, arg2).
arc(r_0033_0021__told, r_0033_0019__I, arg0).
arc(r_0033_0021__told, r_0033_0020__curtly, nim54).
arc(r_0033_0021__told, r_0033_0023__to_r_0033_0024__go, arg1).
arc(r_0033_0023__to_r_0033_0024__go, r_0033_0006__Duplex, arg0).
arc(r_0033_0023__to_r_0033_0024__go, r_0033_0025__away, clr67).
arc(r_0033_0026__as, r_0033_0021__told, scope).
arc(r_0033_0026__as, r_0033_0029__make, restriction).
arc(r_0033_0029__make, r_0033_0027__we, arg0).
arc(r_0033_0029__make, r_0033_0028__only, nim77).
arc(r_0033_0029__make, r_0033_0030__bookings, arg1).
arc(r_0033_0030__bookings, r_0033_0033__or, r_0033_0031__for).
arc(r_0033_0033__or, r_0033_0032__four, conj1).
arc(r_0033_0033__or, z_000_33_a_duplex_96, conj2).
arc(z_000_33_a_duplex_96, r_0033_0034__more, attrib97).
%3
r_0033_0003__turn
turn
r_0033_0002__my
my
r_0033_0003__turn->r_0033_0002__my
[gen]
r_0033_0005__when
when
r_0033_0007__asked
asked
r_0033_0005__when->r_0033_0007__asked
[restriction]
r_0033_0026__as
as
r_0033_0005__when->r_0033_0026__as
[scope]
r_0033_0006__Duplex
Duplex
r_0033_0007__asked->r_0033_0006__Duplex
[arg0]
r_0033_0008__me
me
r_0033_0007__asked->r_0033_0008__me
[arg2]
r_0033_0009__to_r_0033_0010__make
to make
r_0033_0007__asked->r_0033_0009__to_r_0033_0010__make
[arg1]
r_0033_0021__told
told
r_0033_0026__as->r_0033_0021__told
[conj2]
r_0033_0029__make
make
r_0033_0026__as->r_0033_0029__make
[conj1]
r_0033_0009__to_r_0033_0010__make->r_0033_0008__me
[arg0]
r_0033_0011__a_r_0033_0012__reservation
a reservation
r_0033_0009__to_r_0033_0010__make->r_0033_0011__a_r_0033_0012__reservation
[arg1]
r_0033_0014__a_r_0033_0015__group
a group
r_0033_0011__a_r_0033_0012__reservation->r_0033_0014__a_r_0033_0015__group
for
r_0033_0017__three
three
r_0033_0014__a_r_0033_0015__group->r_0033_0017__three
of
r_0033_0021__told->r_0033_0003__turn
For [nim]
r_0033_0021__told->r_0033_0006__Duplex
[arg2]
r_0033_0019__I
I
r_0033_0021__told->r_0033_0019__I
[arg0]
r_0033_0020__curtly
curtly
r_0033_0021__told->r_0033_0020__curtly
[nim]
r_0033_0023__to_r_0033_0024__go
to go
r_0033_0021__told->r_0033_0023__to_r_0033_0024__go
[arg1]
r_0033_0023__to_r_0033_0024__go->r_0033_0006__Duplex
[arg0]
r_0033_0025__away
away
r_0033_0023__to_r_0033_0024__go->r_0033_0025__away
[clr]
r_0033_0027__we
we
r_0033_0029__make->r_0033_0027__we
[arg0]
r_0033_0028__only
only
r_0033_0029__make->r_0033_0028__only
[nim]
r_0033_0030__bookings
bookings
r_0033_0029__make->r_0033_0030__bookings
[arg1]
r_0033_0033__or
or
r_0033_0030__bookings->r_0033_0033__or
for
r_0033_0032__four
four
r_0033_0033__or->r_0033_0032__four
[conj1]
z_000_33_a_duplex_96
r_0033_0033__or->z_000_33_a_duplex_96
[conj2]
r_0033_0034__more
more
z_000_33_a_duplex_96->r_0033_0034__more
[attrib]
fof(formula,axiom,
! [R_33_7_ASKED,R_33_6_DUPLEX,R_33_9_TO_MAKE,R_33_11_A_RESERVATION,R_33_14_A_GROUP,R_33_17_THREE,R_33_8_ME] :
( ( duplex(R_33_6_DUPLEX)
& three(R_33_17_THREE)
& me(R_33_8_ME)
& asked(R_33_7_ASKED,R_33_6_DUPLEX,R_33_9_TO_MAKE,R_33_8_ME)
& to_make(R_33_9_TO_MAKE,R_33_8_ME,R_33_11_A_RESERVATION)
& a_reservation(R_33_11_A_RESERVATION)
& for(R_33_11_A_RESERVATION,R_33_14_A_GROUP)
& a_group(R_33_14_A_GROUP)
& of(R_33_14_A_GROUP,R_33_17_THREE) )
=> ? [R_33_26_AS,R_33_29_MAKE,R_33_27_WE,R_33_30_BOOKINGS,R_33_33_OR,R_33_32_FOUR,Z_33_A_DUPLEX_96,R_33_34_MORE,R_33_28_ONLY,R_33_21_TOLD,R_33_19_I,R_33_23_TO_GO,R_33_25_AWAY,R_33_20_CURTLY,R_33_3_TURN,R_33_2_MY] :
( we(R_33_27_WE)
& four(R_33_32_FOUR)
& more(R_33_34_MORE)
& only(R_33_28_ONLY)
& i(R_33_19_I)
& away(R_33_25_AWAY)
& curtly(R_33_20_CURTLY)
& my(R_33_2_MY)
& as(R_33_26_AS)
& conj1(R_33_26_AS,R_33_29_MAKE)
& make(R_33_29_MAKE,R_33_27_WE,R_33_30_BOOKINGS)
& bookings(R_33_30_BOOKINGS)
& for(R_33_30_BOOKINGS,R_33_33_OR)
& or(R_33_33_OR)
& conj1(R_33_33_OR,R_33_32_FOUR)
& conj2(R_33_33_OR,Z_33_A_DUPLEX_96)
& z_33_a_duplex_96(Z_33_A_DUPLEX_96)
& attrib97(Z_33_A_DUPLEX_96,R_33_34_MORE)
& nim77(R_33_29_MAKE,R_33_28_ONLY)
& conj2(R_33_26_AS,R_33_21_TOLD)
& told(R_33_21_TOLD,R_33_19_I,R_33_23_TO_GO,R_33_6_DUPLEX)
& to_go(R_33_23_TO_GO,R_33_6_DUPLEX)
& clr67(R_33_23_TO_GO,R_33_25_AWAY)
& nim54(R_33_21_TOLD,R_33_20_CURTLY)
& for_nim5(R_33_21_TOLD,R_33_3_TURN)
& turn(R_33_3_TURN)
& gen(R_33_3_TURN,R_33_2_MY) ) ) ).
n33_a_duplex
n33_a_duplex_4
For
n33_a_duplex_8
my
n33_a_duplex_10
turn
n33_a_duplex_12
,
n33_a_duplex_15
when
n33_a_duplex_19
Duplex
n33_a_duplex_21
asked
n33_a_duplex_24
me
n33_a_duplex_27
to
n33_a_duplex_29
make
n33_a_duplex_32
a
n33_a_duplex_34
reservation
n33_a_duplex_37
for
n33_a_duplex_40
a
n33_a_duplex_42
group
n33_a_duplex_45
of
n33_a_duplex_48
three
n33_a_duplex_50
,
n33_a_duplex_53
I
n33_a_duplex_56
curtly
n33_a_duplex_58
told
n33_a_duplex_61
it
n33_a_duplex_64
to
n33_a_duplex_66
go
n33_a_duplex_69
away
n33_a_duplex_72
as
n33_a_duplex_76
we
n33_a_duplex_79
only
n33_a_duplex_81
make
n33_a_duplex_84
bookings
n33_a_duplex_87
for
n33_a_duplex_92
four
n33_a_duplex_95
or
n33_a_duplex_99
more
n33_a_duplex_101
.
n33_a_duplex_1
IP-MAT
n33_a_duplex_2
PP-NIM
n33_a_duplex_1->n33_a_duplex_2
n33_a_duplex_11
PUNC
n33_a_duplex_1->n33_a_duplex_11
n33_a_duplex_13
PP-SCON
n33_a_duplex_1->n33_a_duplex_13
n33_a_duplex_49
PUNC
n33_a_duplex_1->n33_a_duplex_49
n33_a_duplex_51
NP-SBJ
n33_a_duplex_1->n33_a_duplex_51
n33_a_duplex_54
ADVP-NIM
n33_a_duplex_1->n33_a_duplex_54
n33_a_duplex_57
VBD;_Dn.t_
n33_a_duplex_1->n33_a_duplex_57
n33_a_duplex_59
NP-OB2
n33_a_duplex_1->n33_a_duplex_59
n33_a_duplex_62
IP-INF-OB1
n33_a_duplex_1->n33_a_duplex_62
n33_a_duplex_70
PP-SCON
n33_a_duplex_1->n33_a_duplex_70
n33_a_duplex_100
PUNC
n33_a_duplex_1->n33_a_duplex_100
n33_a_duplex_3
P-ROLE
n33_a_duplex_2->n33_a_duplex_3
n33_a_duplex_5
NP
n33_a_duplex_2->n33_a_duplex_5
n33_a_duplex_3->n33_a_duplex_4
n33_a_duplex_6
NP-GEN
n33_a_duplex_5->n33_a_duplex_6
n33_a_duplex_9
N
n33_a_duplex_5->n33_a_duplex_9
n33_a_duplex_7
PRO;_genm_
n33_a_duplex_6->n33_a_duplex_7
n33_a_duplex_7->n33_a_duplex_8
n33_a_duplex_9->n33_a_duplex_10
n33_a_duplex_11->n33_a_duplex_12
n33_a_duplex_14
P-CONN
n33_a_duplex_13->n33_a_duplex_14
n33_a_duplex_16
IP-ADV
n33_a_duplex_13->n33_a_duplex_16
n33_a_duplex_14->n33_a_duplex_15
n33_a_duplex_17
NP-SBJ
n33_a_duplex_16->n33_a_duplex_17
n33_a_duplex_20
VBD;_Dn.t_
n33_a_duplex_16->n33_a_duplex_20
n33_a_duplex_22
NP-OB2
n33_a_duplex_16->n33_a_duplex_22
n33_a_duplex_25
IP-INF-OB1
n33_a_duplex_16->n33_a_duplex_25
n33_a_duplex_18
NPR
n33_a_duplex_17->n33_a_duplex_18
n33_a_duplex_18->n33_a_duplex_19
n33_a_duplex_20->n33_a_duplex_21
n33_a_duplex_23
PRO
n33_a_duplex_22->n33_a_duplex_23
n33_a_duplex_23->n33_a_duplex_24
n33_a_duplex_26
TO
n33_a_duplex_25->n33_a_duplex_26
n33_a_duplex_28
VB;_Tn_
n33_a_duplex_25->n33_a_duplex_28
n33_a_duplex_30
NP-OB1
n33_a_duplex_25->n33_a_duplex_30
n33_a_duplex_26->n33_a_duplex_27
n33_a_duplex_28->n33_a_duplex_29
n33_a_duplex_31
D
n33_a_duplex_30->n33_a_duplex_31
n33_a_duplex_33
N
n33_a_duplex_30->n33_a_duplex_33
n33_a_duplex_35
PP
n33_a_duplex_30->n33_a_duplex_35
n33_a_duplex_31->n33_a_duplex_32
n33_a_duplex_33->n33_a_duplex_34
n33_a_duplex_36
P-ROLE
n33_a_duplex_35->n33_a_duplex_36
n33_a_duplex_38
NP
n33_a_duplex_35->n33_a_duplex_38
n33_a_duplex_36->n33_a_duplex_37
n33_a_duplex_39
D
n33_a_duplex_38->n33_a_duplex_39
n33_a_duplex_41
N
n33_a_duplex_38->n33_a_duplex_41
n33_a_duplex_43
PP
n33_a_duplex_38->n33_a_duplex_43
n33_a_duplex_39->n33_a_duplex_40
n33_a_duplex_41->n33_a_duplex_42
n33_a_duplex_44
P-ROLE
n33_a_duplex_43->n33_a_duplex_44
n33_a_duplex_46
NP
n33_a_duplex_43->n33_a_duplex_46
n33_a_duplex_44->n33_a_duplex_45
n33_a_duplex_47
NUM
n33_a_duplex_46->n33_a_duplex_47
n33_a_duplex_47->n33_a_duplex_48
n33_a_duplex_49->n33_a_duplex_50
n33_a_duplex_52
PRO
n33_a_duplex_51->n33_a_duplex_52
n33_a_duplex_52->n33_a_duplex_53
n33_a_duplex_55
ADV
n33_a_duplex_54->n33_a_duplex_55
n33_a_duplex_55->n33_a_duplex_56
n33_a_duplex_57->n33_a_duplex_58
n33_a_duplex_60
PRO
n33_a_duplex_59->n33_a_duplex_60
n33_a_duplex_60->n33_a_duplex_61
n33_a_duplex_63
TO
n33_a_duplex_62->n33_a_duplex_63
n33_a_duplex_65
VB;_Ip_
n33_a_duplex_62->n33_a_duplex_65
n33_a_duplex_67
ADVP-CLR
n33_a_duplex_62->n33_a_duplex_67
n33_a_duplex_63->n33_a_duplex_64
n33_a_duplex_65->n33_a_duplex_66
n33_a_duplex_68
ADV
n33_a_duplex_67->n33_a_duplex_68
n33_a_duplex_68->n33_a_duplex_69
n33_a_duplex_71
P-CONN
n33_a_duplex_70->n33_a_duplex_71
n33_a_duplex_73
IP-ADV
n33_a_duplex_70->n33_a_duplex_73
n33_a_duplex_71->n33_a_duplex_72
n33_a_duplex_74
NP-SBJ
n33_a_duplex_73->n33_a_duplex_74
n33_a_duplex_77
ADVP-NIM
n33_a_duplex_73->n33_a_duplex_77
n33_a_duplex_80
VBP;_Tn_
n33_a_duplex_73->n33_a_duplex_80
n33_a_duplex_82
NP-OB1
n33_a_duplex_73->n33_a_duplex_82
n33_a_duplex_75
PRO
n33_a_duplex_74->n33_a_duplex_75
n33_a_duplex_75->n33_a_duplex_76
n33_a_duplex_78
ADV
n33_a_duplex_77->n33_a_duplex_78
n33_a_duplex_78->n33_a_duplex_79
n33_a_duplex_80->n33_a_duplex_81
n33_a_duplex_83
NS
n33_a_duplex_82->n33_a_duplex_83
n33_a_duplex_85
PP
n33_a_duplex_82->n33_a_duplex_85
n33_a_duplex_83->n33_a_duplex_84
n33_a_duplex_86
P-ROLE
n33_a_duplex_85->n33_a_duplex_86
n33_a_duplex_88
NP
n33_a_duplex_85->n33_a_duplex_88
n33_a_duplex_86->n33_a_duplex_87
n33_a_duplex_89
NLYR
n33_a_duplex_88->n33_a_duplex_89
n33_a_duplex_90
NLYR
n33_a_duplex_89->n33_a_duplex_90
n33_a_duplex_93
CONJP
n33_a_duplex_89->n33_a_duplex_93
n33_a_duplex_91
NUM
n33_a_duplex_90->n33_a_duplex_91
n33_a_duplex_91->n33_a_duplex_92
n33_a_duplex_94
CONJ
n33_a_duplex_93->n33_a_duplex_94
n33_a_duplex_96
NLYR
n33_a_duplex_93->n33_a_duplex_96
n33_a_duplex_94->n33_a_duplex_95
n33_a_duplex_97
ADJP
n33_a_duplex_96->n33_a_duplex_97
n33_a_duplex_98
ADJR
n33_a_duplex_97->n33_a_duplex_98
n33_a_duplex_98->n33_a_duplex_99
n33_a_duplex_100->n33_a_duplex_101
( (IP-MAT (PP-NIM (P-ROLE For;{for})
(NP (NP-GEN;{DAVE} (PRO;_genm_ my;{my}))
(N turn;{turn})))
(PUNC ,)
(PP-SCON (P-CONN when;{when})
(IP-ADV (NP-SBJ;{ROBOT_CALLER} (NPR Duplex;{Duplex}))
(VBD;_Dn.t_ asked;{ask})
(NP-OB2;{DAVE} (PRO me;{I}))
(IP-INF-OB1 (TO to;{to})
(VB;_Tn_ make;{make})
(NP-OB1 (D a;{a})
(N reservation;{reservation})
(PP (P-ROLE for;{for})
(NP (D a;{a})
(N group;{group})
(PP (P-ROLE of;{of})
(NP (NUM three;{three})))))))))
(PUNC ,)
(NP-SBJ;{DAVE} (PRO I;{I}))
(ADVP-NIM (ADV curtly;{curtly}))
(VBD;_Dn.t_ told;{tell})
(NP-OB2;{ROBOT_CALLER} (PRO it;{it}))
(IP-INF-OB1 (TO to;{to})
(VB;_Ip_ go;{go[away]})
(ADVP-CLR (ADV away;{away})))
(PP-SCON (P-CONN as;{as})
(IP-ADV (NP-SBJ;{DAVE_RESTAURANT} (PRO we;{we}))
(ADVP-NIM (ADV only;{only}))
(VBP;_Tn_ make;{make})
(NP-OB1 (NS bookings;{booking})
(PP (P-ROLE for;{for})
(NP (NLYR (NLYR (NUM four;{four}))
(CONJP (CONJ or;{or})
(NLYR (ADJP (ADJR more;{more}))))))))))
(PUNC .))
(ID 33_a_duplex))