31_a_fce_0100_2000_12
%3
r_0031_0002__pen_r_0031_0003__friend
pen friend
r_0031_0001__Your
Your
r_0031_0002__pen_r_0031_0003__friend->r_0031_0001__Your
[gen]
r_0031_0004__has
has
r_0031_0005__written
written
r_0031_0004__has->r_0031_0005__written
[scope]
r_0031_0005__written->r_0031_0002__pen_r_0031_0003__friend
[arg0]
r_0031_0006__to_r_0031_0007__ask
to ask
r_0031_0006__to_r_0031_0007__ask->r_0031_0002__pen_r_0031_0003__friend
[arg0]
r_0031_0006__to_r_0031_0007__ask->r_0031_0001__Your
[arg2]
r_0031_0009__whether_r_0031_0015__would
whether would
r_0031_0006__to_r_0031_0007__ask->r_0031_0009__whether_r_0031_0015__would
[arg1]
r_0031_0016__be
be
r_0031_0009__whether_r_0031_0015__would->r_0031_0016__be
[scope]
r_0031_0010__the_r_0031_0011__book
the book
r_0031_0016__be->r_0031_0010__the_r_0031_0011__book
[arg0]
r_0031_0017__a_r_0031_0019__present
a present
r_0031_0016__be->r_0031_0017__a_r_0031_0019__present
[prd]
r_0031_0013__have
have
r_0031_0014__read
read
r_0031_0013__have->r_0031_0014__read
[scope]
r_0031_0014__read->r_0031_0001__Your
[arg0]
r_0031_0014__read->r_0031_0010__the_r_0031_0011__book
[arg1]
r_0031_0018__suitable
suitable
r_0031_0017__a_r_0031_0019__present->r_0031_0018__suitable
[attrib]
r_0031_0025__birthday
birthday
r_0031_0017__a_r_0031_0019__present->r_0031_0025__birthday
for
r_0031_0022__cousin_r_0031_0023___apos_s
cousin 's
r_0031_0025__birthday->r_0031_0022__cousin_r_0031_0023___apos_s
[gen]
r_0031_0024__fifteenth
fifteenth
r_0031_0025__birthday->r_0031_0024__fifteenth
[attrib]
r_0031_0022__cousin_r_0031_0023___apos_s->r_0031_0002__pen_r_0031_0003__friend
[gen]
z_000_31_a_fce_0100_2000_12_15
z_000_31_a_fce_0100_2000_12_15->r_0031_0004__has
[scope]
z_000_31_a_fce_0100_2000_12_15->r_0031_0006__to_r_0031_0007__ask
[restriction]
arc(r_0031_0002__pen_r_0031_0003__friend, r_0031_0001__Your, gen).
arc(r_0031_0004__has, r_0031_0005__written, scope).
arc(r_0031_0005__written, r_0031_0002__pen_r_0031_0003__friend, arg0).
arc(r_0031_0006__to_r_0031_0007__ask, r_0031_0001__Your, arg2).
arc(r_0031_0006__to_r_0031_0007__ask, r_0031_0002__pen_r_0031_0003__friend, arg0).
arc(r_0031_0006__to_r_0031_0007__ask, r_0031_0009__whether_r_0031_0015__would, arg1).
arc(r_0031_0009__whether_r_0031_0015__would, r_0031_0016__be, scope).
arc(r_0031_0013__have, r_0031_0014__read, scope).
arc(r_0031_0014__read, r_0031_0001__Your, arg0).
arc(r_0031_0014__read, r_0031_0010__the_r_0031_0011__book, arg1).
arc(r_0031_0016__be, r_0031_0010__the_r_0031_0011__book, arg0).
arc(r_0031_0016__be, r_0031_0017__a_r_0031_0019__present, prd).
arc(r_0031_0017__a_r_0031_0019__present, r_0031_0018__suitable, attrib52).
arc(r_0031_0017__a_r_0031_0019__present, r_0031_0025__birthday, r_0031_0020__for).
arc(r_0031_0022__cousin_r_0031_0023___apos_s, r_0031_0002__pen_r_0031_0003__friend, gen).
arc(r_0031_0025__birthday, r_0031_0022__cousin_r_0031_0023___apos_s, gen).
arc(r_0031_0025__birthday, r_0031_0024__fifteenth, attrib69).
arc(z_000_31_a_fce_0100_2000_12_15, r_0031_0004__has, scope).
arc(z_000_31_a_fce_0100_2000_12_15, r_0031_0006__to_r_0031_0007__ask, restriction).
%3
r_0031_0002__pen_r_0031_0003__friend
pen friend
r_0031_0001__Your
Your
r_0031_0002__pen_r_0031_0003__friend->r_0031_0001__Your
[gen]
r_0031_0004__has_r_0031_0005__written
has written
r_0031_0004__has_r_0031_0005__written->r_0031_0002__pen_r_0031_0003__friend
[arg0]
r_0031_0006__to_r_0031_0007__ask
to ask
r_0031_0006__to_r_0031_0007__ask->r_0031_0002__pen_r_0031_0003__friend
[arg0]
r_0031_0006__to_r_0031_0007__ask->r_0031_0001__Your
[arg2]
r_0031_0009__whether_r_0031_0015__would_r_0031_0016__be
whether would be
r_0031_0006__to_r_0031_0007__ask->r_0031_0009__whether_r_0031_0015__would_r_0031_0016__be
[arg1]
r_0031_0010__the_r_0031_0011__book
the book
r_0031_0009__whether_r_0031_0015__would_r_0031_0016__be->r_0031_0010__the_r_0031_0011__book
[arg0]
r_0031_0017__a_r_0031_0019__present
a present
r_0031_0009__whether_r_0031_0015__would_r_0031_0016__be->r_0031_0017__a_r_0031_0019__present
[prd]
r_0031_0018__suitable
suitable
r_0031_0017__a_r_0031_0019__present->r_0031_0018__suitable
[attrib]
r_0031_0025__birthday
birthday
r_0031_0017__a_r_0031_0019__present->r_0031_0025__birthday
for
r_0031_0013__have_r_0031_0014__read
have read
r_0031_0013__have_r_0031_0014__read->r_0031_0001__Your
[arg0]
r_0031_0013__have_r_0031_0014__read->r_0031_0010__the_r_0031_0011__book
[arg1]
r_0031_0022__cousin_r_0031_0023___apos_s
cousin 's
r_0031_0025__birthday->r_0031_0022__cousin_r_0031_0023___apos_s
[gen]
r_0031_0024__fifteenth
fifteenth
r_0031_0025__birthday->r_0031_0024__fifteenth
[attrib]
r_0031_0022__cousin_r_0031_0023___apos_s->r_0031_0002__pen_r_0031_0003__friend
[gen]
z_000_31_a_fce_0100_2000_12_15
z_000_31_a_fce_0100_2000_12_15->r_0031_0004__has_r_0031_0005__written
[conj2]
z_000_31_a_fce_0100_2000_12_15->r_0031_0006__to_r_0031_0007__ask
[conj1]
fof(formula,axiom,
? [R_31_13_HAVE_READ,Z_31_A_FCE_100_2000_12_15,R_31_6_TO_ASK,R_31_9_WHETHER_WOULD_BE,R_31_10_THE_BOOK,R_31_17_A_PRESENT,R_31_18_SUITABLE,R_31_25_BIRTHDAY,R_31_24_FIFTEENTH,R_31_22_COUSIN_APOS_S,R_31_4_HAS_WRITTEN,R_31_2_PEN_FRIEND,R_31_1_YOUR] :
( the_book(R_31_10_THE_BOOK)
& suitable(R_31_18_SUITABLE)
& fifteenth(R_31_24_FIFTEENTH)
& your(R_31_1_YOUR)
& have_read(R_31_13_HAVE_READ,R_31_1_YOUR,R_31_10_THE_BOOK)
& z_31_a_fce_100_2000_12_15(Z_31_A_FCE_100_2000_12_15)
& conj1(Z_31_A_FCE_100_2000_12_15,R_31_6_TO_ASK)
& to_ask(R_31_6_TO_ASK,R_31_2_PEN_FRIEND,R_31_9_WHETHER_WOULD_BE,R_31_1_YOUR)
& pen_friend(R_31_2_PEN_FRIEND)
& gen(R_31_2_PEN_FRIEND,R_31_1_YOUR)
& whether_would_be(R_31_9_WHETHER_WOULD_BE,R_31_10_THE_BOOK,R_31_17_A_PRESENT)
& a_present(R_31_17_A_PRESENT)
& attrib52(R_31_17_A_PRESENT,R_31_18_SUITABLE)
& for(R_31_17_A_PRESENT,R_31_25_BIRTHDAY)
& birthday(R_31_25_BIRTHDAY)
& attrib69(R_31_25_BIRTHDAY,R_31_24_FIFTEENTH)
& gen(R_31_25_BIRTHDAY,R_31_22_COUSIN_APOS_S)
& cousin_apos_s(R_31_22_COUSIN_APOS_S)
& gen(R_31_22_COUSIN_APOS_S,R_31_2_PEN_FRIEND)
& conj2(Z_31_A_FCE_100_2000_12_15,R_31_4_HAS_WRITTEN)
& has_written(R_31_4_HAS_WRITTEN,R_31_2_PEN_FRIEND) ) ).
n31_a_fce_0100_2000_12
n31_a_fce_0100_2000_12_5
Your
n31_a_fce_0100_2000_12_7
pen
n31_a_fce_0100_2000_12_9
friend
n31_a_fce_0100_2000_12_11
has
n31_a_fce_0100_2000_12_14
written
n31_a_fce_0100_2000_12_18
to
n31_a_fce_0100_2000_12_20
ask
n31_a_fce_0100_2000_12_23
you
n31_a_fce_0100_2000_12_27
whether
n31_a_fce_0100_2000_12_30
the
n31_a_fce_0100_2000_12_32
book
n31_a_fce_0100_2000_12_36
you
n31_a_fce_0100_2000_12_38
have
n31_a_fce_0100_2000_12_41
*T*
n31_a_fce_0100_2000_12_43
read
n31_a_fce_0100_2000_12_45
would
n31_a_fce_0100_2000_12_48
be
n31_a_fce_0100_2000_12_51
a
n31_a_fce_0100_2000_12_54
suitable
n31_a_fce_0100_2000_12_56
present
n31_a_fce_0100_2000_12_59
for
n31_a_fce_0100_2000_12_64
her
n31_a_fce_0100_2000_12_66
cousin
n31_a_fce_0100_2000_12_68
's
n31_a_fce_0100_2000_12_71
fifteenth
n31_a_fce_0100_2000_12_73
birthday
n31_a_fce_0100_2000_12_75
.
n31_a_fce_0100_2000_12_1
IP-MAT
n31_a_fce_0100_2000_12_2
NP-SBJ
n31_a_fce_0100_2000_12_1->n31_a_fce_0100_2000_12_2
n31_a_fce_0100_2000_12_10
HVP;_cat_Ve_
n31_a_fce_0100_2000_12_1->n31_a_fce_0100_2000_12_10
n31_a_fce_0100_2000_12_12
IP-PPL-CAT
n31_a_fce_0100_2000_12_1->n31_a_fce_0100_2000_12_12
n31_a_fce_0100_2000_12_15
PP-SCON
n31_a_fce_0100_2000_12_1->n31_a_fce_0100_2000_12_15
n31_a_fce_0100_2000_12_74
PUNC
n31_a_fce_0100_2000_12_1->n31_a_fce_0100_2000_12_74
n31_a_fce_0100_2000_12_3
NP-GEN
n31_a_fce_0100_2000_12_2->n31_a_fce_0100_2000_12_3
n31_a_fce_0100_2000_12_6
N
n31_a_fce_0100_2000_12_2->n31_a_fce_0100_2000_12_6
n31_a_fce_0100_2000_12_8
N
n31_a_fce_0100_2000_12_2->n31_a_fce_0100_2000_12_8
n31_a_fce_0100_2000_12_4
PRO;_genm_
n31_a_fce_0100_2000_12_3->n31_a_fce_0100_2000_12_4
n31_a_fce_0100_2000_12_4->n31_a_fce_0100_2000_12_5
n31_a_fce_0100_2000_12_6->n31_a_fce_0100_2000_12_7
n31_a_fce_0100_2000_12_8->n31_a_fce_0100_2000_12_9
n31_a_fce_0100_2000_12_10->n31_a_fce_0100_2000_12_11
n31_a_fce_0100_2000_12_13
VVN;_I_
n31_a_fce_0100_2000_12_12->n31_a_fce_0100_2000_12_13
n31_a_fce_0100_2000_12_13->n31_a_fce_0100_2000_12_14
n31_a_fce_0100_2000_12_16
IP-INF
n31_a_fce_0100_2000_12_15->n31_a_fce_0100_2000_12_16
n31_a_fce_0100_2000_12_17
TO
n31_a_fce_0100_2000_12_16->n31_a_fce_0100_2000_12_17
n31_a_fce_0100_2000_12_19
VB;_Dn.w_
n31_a_fce_0100_2000_12_16->n31_a_fce_0100_2000_12_19
n31_a_fce_0100_2000_12_21
NP-OB2
n31_a_fce_0100_2000_12_16->n31_a_fce_0100_2000_12_21
n31_a_fce_0100_2000_12_24
CP-QUE-OB1
n31_a_fce_0100_2000_12_16->n31_a_fce_0100_2000_12_24
n31_a_fce_0100_2000_12_17->n31_a_fce_0100_2000_12_18
n31_a_fce_0100_2000_12_19->n31_a_fce_0100_2000_12_20
n31_a_fce_0100_2000_12_22
PRO
n31_a_fce_0100_2000_12_21->n31_a_fce_0100_2000_12_22
n31_a_fce_0100_2000_12_22->n31_a_fce_0100_2000_12_23
n31_a_fce_0100_2000_12_25
IP-SUB
n31_a_fce_0100_2000_12_24->n31_a_fce_0100_2000_12_25
n31_a_fce_0100_2000_12_26
WQ
n31_a_fce_0100_2000_12_25->n31_a_fce_0100_2000_12_26
n31_a_fce_0100_2000_12_28
NP-SBJ
n31_a_fce_0100_2000_12_25->n31_a_fce_0100_2000_12_28
n31_a_fce_0100_2000_12_44
MD;_cat_Vi_
n31_a_fce_0100_2000_12_25->n31_a_fce_0100_2000_12_44
n31_a_fce_0100_2000_12_46
IP-INF-CAT
n31_a_fce_0100_2000_12_25->n31_a_fce_0100_2000_12_46
n31_a_fce_0100_2000_12_26->n31_a_fce_0100_2000_12_27
n31_a_fce_0100_2000_12_29
D
n31_a_fce_0100_2000_12_28->n31_a_fce_0100_2000_12_29
n31_a_fce_0100_2000_12_31
N
n31_a_fce_0100_2000_12_28->n31_a_fce_0100_2000_12_31
n31_a_fce_0100_2000_12_33
IP-REL
n31_a_fce_0100_2000_12_28->n31_a_fce_0100_2000_12_33
n31_a_fce_0100_2000_12_29->n31_a_fce_0100_2000_12_30
n31_a_fce_0100_2000_12_31->n31_a_fce_0100_2000_12_32
n31_a_fce_0100_2000_12_34
NP-SBJ
n31_a_fce_0100_2000_12_33->n31_a_fce_0100_2000_12_34
n31_a_fce_0100_2000_12_37
HVP;_cat_Ve_
n31_a_fce_0100_2000_12_33->n31_a_fce_0100_2000_12_37
n31_a_fce_0100_2000_12_39
IP-PPL-CAT
n31_a_fce_0100_2000_12_33->n31_a_fce_0100_2000_12_39
n31_a_fce_0100_2000_12_35
PRO
n31_a_fce_0100_2000_12_34->n31_a_fce_0100_2000_12_35
n31_a_fce_0100_2000_12_35->n31_a_fce_0100_2000_12_36
n31_a_fce_0100_2000_12_37->n31_a_fce_0100_2000_12_38
n31_a_fce_0100_2000_12_40
NP-OB1
n31_a_fce_0100_2000_12_39->n31_a_fce_0100_2000_12_40
n31_a_fce_0100_2000_12_42
VVN;_Tn_
n31_a_fce_0100_2000_12_39->n31_a_fce_0100_2000_12_42
n31_a_fce_0100_2000_12_40->n31_a_fce_0100_2000_12_41
n31_a_fce_0100_2000_12_42->n31_a_fce_0100_2000_12_43
n31_a_fce_0100_2000_12_44->n31_a_fce_0100_2000_12_45
n31_a_fce_0100_2000_12_47
BE;_Ln_
n31_a_fce_0100_2000_12_46->n31_a_fce_0100_2000_12_47
n31_a_fce_0100_2000_12_49
NP-PRD
n31_a_fce_0100_2000_12_46->n31_a_fce_0100_2000_12_49
n31_a_fce_0100_2000_12_47->n31_a_fce_0100_2000_12_48
n31_a_fce_0100_2000_12_50
D
n31_a_fce_0100_2000_12_49->n31_a_fce_0100_2000_12_50
n31_a_fce_0100_2000_12_52
ADJP
n31_a_fce_0100_2000_12_49->n31_a_fce_0100_2000_12_52
n31_a_fce_0100_2000_12_55
N
n31_a_fce_0100_2000_12_49->n31_a_fce_0100_2000_12_55
n31_a_fce_0100_2000_12_57
PP
n31_a_fce_0100_2000_12_49->n31_a_fce_0100_2000_12_57
n31_a_fce_0100_2000_12_50->n31_a_fce_0100_2000_12_51
n31_a_fce_0100_2000_12_53
ADJ
n31_a_fce_0100_2000_12_52->n31_a_fce_0100_2000_12_53
n31_a_fce_0100_2000_12_53->n31_a_fce_0100_2000_12_54
n31_a_fce_0100_2000_12_55->n31_a_fce_0100_2000_12_56
n31_a_fce_0100_2000_12_58
P-ROLE
n31_a_fce_0100_2000_12_57->n31_a_fce_0100_2000_12_58
n31_a_fce_0100_2000_12_60
NP
n31_a_fce_0100_2000_12_57->n31_a_fce_0100_2000_12_60
n31_a_fce_0100_2000_12_58->n31_a_fce_0100_2000_12_59
n31_a_fce_0100_2000_12_61
NP-GEN
n31_a_fce_0100_2000_12_60->n31_a_fce_0100_2000_12_61
n31_a_fce_0100_2000_12_69
ADJP
n31_a_fce_0100_2000_12_60->n31_a_fce_0100_2000_12_69
n31_a_fce_0100_2000_12_72
N
n31_a_fce_0100_2000_12_60->n31_a_fce_0100_2000_12_72
n31_a_fce_0100_2000_12_62
NP-GEN
n31_a_fce_0100_2000_12_61->n31_a_fce_0100_2000_12_62
n31_a_fce_0100_2000_12_65
N
n31_a_fce_0100_2000_12_61->n31_a_fce_0100_2000_12_65
n31_a_fce_0100_2000_12_67
GENM
n31_a_fce_0100_2000_12_61->n31_a_fce_0100_2000_12_67
n31_a_fce_0100_2000_12_63
PRO;_genm_
n31_a_fce_0100_2000_12_62->n31_a_fce_0100_2000_12_63
n31_a_fce_0100_2000_12_63->n31_a_fce_0100_2000_12_64
n31_a_fce_0100_2000_12_65->n31_a_fce_0100_2000_12_66
n31_a_fce_0100_2000_12_67->n31_a_fce_0100_2000_12_68
n31_a_fce_0100_2000_12_70
ADJ
n31_a_fce_0100_2000_12_69->n31_a_fce_0100_2000_12_70
n31_a_fce_0100_2000_12_70->n31_a_fce_0100_2000_12_71
n31_a_fce_0100_2000_12_72->n31_a_fce_0100_2000_12_73
n31_a_fce_0100_2000_12_74->n31_a_fce_0100_2000_12_75
( (IP-MAT (NP-SBJ;{FRIEND} (NP-GEN (PRO;_genm_ Your;{your}))
(N pen;{pen})
(N friend;{friend}))
(HVP;_cat_Ve_ has;{have})
(IP-PPL-CAT (VVN;_I_ written;{write}))
(PP-SCON (IP-INF (TO to;{to})
(VB;_Dn.w_ ask;{ask})
(NP-OB2 (PRO you;{you}))
(CP-QUE-OB1 (IP-SUB (WQ whether;{whether})
(NP-SBJ;{BOOK} (D the;{the})
(N book;{book})
(IP-REL (NP-SBJ (PRO you;{you}))
(HVP;_cat_Ve_ have;{have})
(IP-PPL-CAT (NP-OB1 *T*)
(VVN;_Tn_ read;{read}))))
(MD;_cat_Vi_ would;{will})
(IP-INF-CAT (BE;_Ln_ be;{be})
(NP-PRD (D a;{a})
(ADJP (ADJ suitable;{suitable}))
(N present;{present})
(PP (P-ROLE for;{for})
(NP (NP-GEN (NP-GEN;{FRIEND} (PRO;_genm_ her;{her}))
(N cousin;{cousin})
(GENM <apos>s))
(ADJP (ADJ fifteenth;{fifteenth}))
(N birthday;{birthday})))))))))
(PUNC .))
(ID 31_a_fce_0100_2000_12))