5_a_joyce_1914
%3
r_0005_0001__If
If
r_0005_0003__was
was
r_0005_0001__If->r_0005_0003__was
[restriction]
r_0005_0007__thought
thought
r_0005_0001__If->r_0005_0007__thought
[scope]
r_0005_0002__he
he
r_0005_0003__was->r_0005_0002__he
[arg0]
r_0005_0004__dead
dead
r_0005_0003__was->r_0005_0004__dead
[prd]
r_0005_0006__I
I
r_0005_0007__thought->r_0005_0006__I
[arg0]
r_0005_0009__would
would
r_0005_0007__thought->r_0005_0009__would
[arg1]
r_0005_0010__see
see
r_0005_0009__would->r_0005_0010__see
[scope]
r_0005_0010__see->r_0005_0006__I
[arg0]
r_0005_0011__the_r_0005_0012__reflection
the reflection
r_0005_0010__see->r_0005_0011__the_r_0005_0012__reflection
[arg1]
r_0005_0014__candles
candles
r_0005_0011__the_r_0005_0012__reflection->r_0005_0014__candles
of
r_0005_0016__the_r_0005_0018__blind
the blind
r_0005_0014__candles->r_0005_0016__the_r_0005_0018__blind
on
r_0005_0017__darkened
darkened
r_0005_0016__the_r_0005_0018__blind->r_0005_0017__darkened
[attrib]
r_0005_0019__for
for
r_0005_0019__for->r_0005_0001__If
[scope]
r_0005_0021__knew
knew
r_0005_0019__for->r_0005_0021__knew
[restriction]
r_0005_0021__knew->r_0005_0006__I
[arg0]
r_0005_0022__that_r_0005_0025__must
that must
r_0005_0021__knew->r_0005_0022__that_r_0005_0025__must
[arg1]
r_0005_0026__be
be
r_0005_0022__that_r_0005_0025__must->r_0005_0026__be
[scope]
r_0005_0027__set
set
r_0005_0026__be->r_0005_0027__set
[scope]
r_0005_0023__two_r_0005_0024__candles
two candles
r_0005_0027__set->r_0005_0023__two_r_0005_0024__candles
[arg1]
r_0005_0029__the_r_0005_0030__head
the head
r_0005_0027__set->r_0005_0029__the_r_0005_0030__head
at [nim]
z_000_5_a_joyce_1914_78
r_0005_0027__set->z_000_5_a_joyce_1914_78
[arg0]
r_0005_0032__a_r_0005_0033__corpse
a corpse
r_0005_0029__the_r_0005_0030__head->r_0005_0032__a_r_0005_0033__corpse
of
arc(r_0005_0001__If, r_0005_0003__was, restriction).
arc(r_0005_0001__If, r_0005_0007__thought, scope).
arc(r_0005_0003__was, r_0005_0002__he, arg0).
arc(r_0005_0003__was, r_0005_0004__dead, prd).
arc(r_0005_0007__thought, r_0005_0006__I, arg0).
arc(r_0005_0007__thought, r_0005_0009__would, arg1).
arc(r_0005_0009__would, r_0005_0010__see, scope).
arc(r_0005_0010__see, r_0005_0006__I, arg0).
arc(r_0005_0010__see, r_0005_0011__the_r_0005_0012__reflection, arg1).
arc(r_0005_0011__the_r_0005_0012__reflection, r_0005_0014__candles, r_0005_0013__of).
arc(r_0005_0014__candles, r_0005_0016__the_r_0005_0018__blind, r_0005_0015__on).
arc(r_0005_0016__the_r_0005_0018__blind, r_0005_0017__darkened, attrib49).
arc(r_0005_0019__for, r_0005_0001__If, scope).
arc(r_0005_0019__for, r_0005_0021__knew, restriction).
arc(r_0005_0021__knew, r_0005_0006__I, arg0).
arc(r_0005_0021__knew, r_0005_0022__that_r_0005_0025__must, arg1).
arc(r_0005_0022__that_r_0005_0025__must, r_0005_0026__be, scope).
arc(r_0005_0026__be, r_0005_0027__set, scope).
arc(r_0005_0027__set, r_0005_0023__two_r_0005_0024__candles, arg1).
arc(r_0005_0027__set, r_0005_0029__the_r_0005_0030__head, r_0005_0028__at_nim85).
arc(r_0005_0027__set, z_000_5_a_joyce_1914_78, arg0).
arc(r_0005_0029__the_r_0005_0030__head, r_0005_0032__a_r_0005_0033__corpse, r_0005_0031__of).
%3
r_0005_0001__If
If
r_0005_0003__was
was
r_0005_0001__If->r_0005_0003__was
[restriction]
r_0005_0007__thought
thought
r_0005_0001__If->r_0005_0007__thought
[scope]
r_0005_0002__he
he
r_0005_0003__was->r_0005_0002__he
[arg0]
r_0005_0004__dead
dead
r_0005_0003__was->r_0005_0004__dead
[prd]
r_0005_0006__I
I
r_0005_0007__thought->r_0005_0006__I
[arg0]
r_0005_0009__would_r_0005_0010__see
would see
r_0005_0007__thought->r_0005_0009__would_r_0005_0010__see
[arg1]
r_0005_0009__would_r_0005_0010__see->r_0005_0006__I
[arg0]
r_0005_0011__the_r_0005_0012__reflection
the reflection
r_0005_0009__would_r_0005_0010__see->r_0005_0011__the_r_0005_0012__reflection
[arg1]
r_0005_0014__candles
candles
r_0005_0011__the_r_0005_0012__reflection->r_0005_0014__candles
of
r_0005_0016__the_r_0005_0018__blind
the blind
r_0005_0014__candles->r_0005_0016__the_r_0005_0018__blind
on
r_0005_0017__darkened
darkened
r_0005_0016__the_r_0005_0018__blind->r_0005_0017__darkened
[attrib]
r_0005_0019__for
for
r_0005_0019__for->r_0005_0001__If
[conj2]
r_0005_0021__knew
knew
r_0005_0019__for->r_0005_0021__knew
[conj1]
r_0005_0021__knew->r_0005_0006__I
[arg0]
r_0005_0022__that_r_0005_0025__must_r_0005_0026__be_r_0005_0027__set
that must be set
r_0005_0021__knew->r_0005_0022__that_r_0005_0025__must_r_0005_0026__be_r_0005_0027__set
[arg1]
r_0005_0023__two_r_0005_0024__candles
two candles
r_0005_0022__that_r_0005_0025__must_r_0005_0026__be_r_0005_0027__set->r_0005_0023__two_r_0005_0024__candles
[arg1]
r_0005_0029__the_r_0005_0030__head
the head
r_0005_0022__that_r_0005_0025__must_r_0005_0026__be_r_0005_0027__set->r_0005_0029__the_r_0005_0030__head
at [nim]
z_000_5_a_joyce_1914_78
r_0005_0022__that_r_0005_0025__must_r_0005_0026__be_r_0005_0027__set->z_000_5_a_joyce_1914_78
[arg0]
r_0005_0032__a_r_0005_0033__corpse
a corpse
r_0005_0029__the_r_0005_0030__head->r_0005_0032__a_r_0005_0033__corpse
of
fof(formula,axiom,
? [R_5_19_FOR,R_5_21_KNEW,R_5_6_I,R_5_22_THAT_MUST_BE_SET,Z_5_A_JOYCE_1914_78,R_5_23_TWO_CANDLES,R_5_29_THE_HEAD,R_5_32_A_CORPSE] :
( i(R_5_6_I)
& two_candles(R_5_23_TWO_CANDLES)
& a_corpse(R_5_32_A_CORPSE)
& ! [R_5_3_WAS,R_5_2_HE,R_5_4_DEAD] :
( ( he(R_5_2_HE)
& dead(R_5_4_DEAD)
& was(R_5_3_WAS,R_5_2_HE,R_5_4_DEAD) )
=> ? [R_5_7_THOUGHT,R_5_9_WOULD_SEE,R_5_11_THE_REFLECTION,R_5_14_CANDLES,R_5_16_THE_BLIND,R_5_17_DARKENED] :
( darkened(R_5_17_DARKENED)
& thought(R_5_7_THOUGHT,R_5_6_I,R_5_9_WOULD_SEE)
& would_see(R_5_9_WOULD_SEE,R_5_6_I,R_5_11_THE_REFLECTION)
& the_reflection(R_5_11_THE_REFLECTION)
& of(R_5_11_THE_REFLECTION,R_5_14_CANDLES)
& candles(R_5_14_CANDLES)
& on(R_5_14_CANDLES,R_5_16_THE_BLIND)
& the_blind(R_5_16_THE_BLIND)
& attrib49(R_5_16_THE_BLIND,R_5_17_DARKENED) ) )
& conj2(CONJ2)
& for(R_5_19_FOR)
& conj1(R_5_19_FOR,R_5_21_KNEW)
& knew(R_5_21_KNEW,R_5_6_I,R_5_22_THAT_MUST_BE_SET)
& that_must_be_set(R_5_22_THAT_MUST_BE_SET,Z_5_A_JOYCE_1914_78,R_5_23_TWO_CANDLES)
& at_nim85(R_5_22_THAT_MUST_BE_SET,R_5_29_THE_HEAD)
& the_head(R_5_29_THE_HEAD)
& of(R_5_29_THE_HEAD,R_5_32_A_CORPSE) ) ).
n5_a_joyce_1914
n5_a_joyce_1914_5
If
n5_a_joyce_1914_9
he
n5_a_joyce_1914_11
was
n5_a_joyce_1914_14
dead
n5_a_joyce_1914_16
,
n5_a_joyce_1914_19
I
n5_a_joyce_1914_21
thought
n5_a_joyce_1914_26
I
n5_a_joyce_1914_28
would
n5_a_joyce_1914_31
see
n5_a_joyce_1914_34
the
n5_a_joyce_1914_36
reflection
n5_a_joyce_1914_39
of
n5_a_joyce_1914_42
candles
n5_a_joyce_1914_45
on
n5_a_joyce_1914_48
the
n5_a_joyce_1914_51
darkened
n5_a_joyce_1914_53
blind
n5_a_joyce_1914_56
for
n5_a_joyce_1914_60
I
n5_a_joyce_1914_62
knew
n5_a_joyce_1914_66
that
n5_a_joyce_1914_69
two
n5_a_joyce_1914_71
candles
n5_a_joyce_1914_73
must
n5_a_joyce_1914_76
be
n5_a_joyce_1914_79
*
n5_a_joyce_1914_81
set
n5_a_joyce_1914_84
at
n5_a_joyce_1914_87
the
n5_a_joyce_1914_89
head
n5_a_joyce_1914_92
of
n5_a_joyce_1914_95
a
n5_a_joyce_1914_97
corpse
n5_a_joyce_1914_99
.
n5_a_joyce_1914_1
IP-MAT
n5_a_joyce_1914_2
ILYR
n5_a_joyce_1914_1->n5_a_joyce_1914_2
n5_a_joyce_1914_54
PP-SCON
n5_a_joyce_1914_1->n5_a_joyce_1914_54
n5_a_joyce_1914_98
PUNC
n5_a_joyce_1914_1->n5_a_joyce_1914_98
n5_a_joyce_1914_3
PP-SCON
n5_a_joyce_1914_2->n5_a_joyce_1914_3
n5_a_joyce_1914_15
PUNC
n5_a_joyce_1914_2->n5_a_joyce_1914_15
n5_a_joyce_1914_17
NP-SBJ
n5_a_joyce_1914_2->n5_a_joyce_1914_17
n5_a_joyce_1914_20
VBD;_Tf_
n5_a_joyce_1914_2->n5_a_joyce_1914_20
n5_a_joyce_1914_22
CP-THT-OB1
n5_a_joyce_1914_2->n5_a_joyce_1914_22
n5_a_joyce_1914_4
P-CONN
n5_a_joyce_1914_3->n5_a_joyce_1914_4
n5_a_joyce_1914_6
IP-ADV
n5_a_joyce_1914_3->n5_a_joyce_1914_6
n5_a_joyce_1914_4->n5_a_joyce_1914_5
n5_a_joyce_1914_7
NP-SBJ
n5_a_joyce_1914_6->n5_a_joyce_1914_7
n5_a_joyce_1914_10
BED;_La_
n5_a_joyce_1914_6->n5_a_joyce_1914_10
n5_a_joyce_1914_12
ADJP-PRD
n5_a_joyce_1914_6->n5_a_joyce_1914_12
n5_a_joyce_1914_8
PRO
n5_a_joyce_1914_7->n5_a_joyce_1914_8
n5_a_joyce_1914_8->n5_a_joyce_1914_9
n5_a_joyce_1914_10->n5_a_joyce_1914_11
n5_a_joyce_1914_13
ADJ
n5_a_joyce_1914_12->n5_a_joyce_1914_13
n5_a_joyce_1914_13->n5_a_joyce_1914_14
n5_a_joyce_1914_15->n5_a_joyce_1914_16
n5_a_joyce_1914_18
PRO
n5_a_joyce_1914_17->n5_a_joyce_1914_18
n5_a_joyce_1914_18->n5_a_joyce_1914_19
n5_a_joyce_1914_20->n5_a_joyce_1914_21
n5_a_joyce_1914_23
IP-SUB
n5_a_joyce_1914_22->n5_a_joyce_1914_23
n5_a_joyce_1914_24
NP-SBJ
n5_a_joyce_1914_23->n5_a_joyce_1914_24
n5_a_joyce_1914_27
MD;_cat_Vi_
n5_a_joyce_1914_23->n5_a_joyce_1914_27
n5_a_joyce_1914_29
IP-INF-CAT
n5_a_joyce_1914_23->n5_a_joyce_1914_29
n5_a_joyce_1914_25
PRO
n5_a_joyce_1914_24->n5_a_joyce_1914_25
n5_a_joyce_1914_25->n5_a_joyce_1914_26
n5_a_joyce_1914_27->n5_a_joyce_1914_28
n5_a_joyce_1914_30
VB;_Tn_
n5_a_joyce_1914_29->n5_a_joyce_1914_30
n5_a_joyce_1914_32
NP-OB1
n5_a_joyce_1914_29->n5_a_joyce_1914_32
n5_a_joyce_1914_30->n5_a_joyce_1914_31
n5_a_joyce_1914_33
D
n5_a_joyce_1914_32->n5_a_joyce_1914_33
n5_a_joyce_1914_35
N
n5_a_joyce_1914_32->n5_a_joyce_1914_35
n5_a_joyce_1914_37
PP
n5_a_joyce_1914_32->n5_a_joyce_1914_37
n5_a_joyce_1914_33->n5_a_joyce_1914_34
n5_a_joyce_1914_35->n5_a_joyce_1914_36
n5_a_joyce_1914_38
P-ROLE
n5_a_joyce_1914_37->n5_a_joyce_1914_38
n5_a_joyce_1914_40
NP
n5_a_joyce_1914_37->n5_a_joyce_1914_40
n5_a_joyce_1914_38->n5_a_joyce_1914_39
n5_a_joyce_1914_41
NS
n5_a_joyce_1914_40->n5_a_joyce_1914_41
n5_a_joyce_1914_43
PP
n5_a_joyce_1914_40->n5_a_joyce_1914_43
n5_a_joyce_1914_41->n5_a_joyce_1914_42
n5_a_joyce_1914_44
P-ROLE
n5_a_joyce_1914_43->n5_a_joyce_1914_44
n5_a_joyce_1914_46
NP
n5_a_joyce_1914_43->n5_a_joyce_1914_46
n5_a_joyce_1914_44->n5_a_joyce_1914_45
n5_a_joyce_1914_47
D
n5_a_joyce_1914_46->n5_a_joyce_1914_47
n5_a_joyce_1914_49
ADJP
n5_a_joyce_1914_46->n5_a_joyce_1914_49
n5_a_joyce_1914_52
N
n5_a_joyce_1914_46->n5_a_joyce_1914_52
n5_a_joyce_1914_47->n5_a_joyce_1914_48
n5_a_joyce_1914_50
ADJ
n5_a_joyce_1914_49->n5_a_joyce_1914_50
n5_a_joyce_1914_50->n5_a_joyce_1914_51
n5_a_joyce_1914_52->n5_a_joyce_1914_53
n5_a_joyce_1914_55
P-CONN
n5_a_joyce_1914_54->n5_a_joyce_1914_55
n5_a_joyce_1914_57
IP-ADV
n5_a_joyce_1914_54->n5_a_joyce_1914_57
n5_a_joyce_1914_55->n5_a_joyce_1914_56
n5_a_joyce_1914_58
NP-SBJ
n5_a_joyce_1914_57->n5_a_joyce_1914_58
n5_a_joyce_1914_61
VBD;_Tf_
n5_a_joyce_1914_57->n5_a_joyce_1914_61
n5_a_joyce_1914_63
CP-THT-OB1
n5_a_joyce_1914_57->n5_a_joyce_1914_63
n5_a_joyce_1914_59
PRO
n5_a_joyce_1914_58->n5_a_joyce_1914_59
n5_a_joyce_1914_59->n5_a_joyce_1914_60
n5_a_joyce_1914_61->n5_a_joyce_1914_62
n5_a_joyce_1914_64
IP-SUB
n5_a_joyce_1914_63->n5_a_joyce_1914_64
n5_a_joyce_1914_65
C
n5_a_joyce_1914_64->n5_a_joyce_1914_65
n5_a_joyce_1914_67
NP-SBJ
n5_a_joyce_1914_64->n5_a_joyce_1914_67
n5_a_joyce_1914_72
MD;_cat_Vi_
n5_a_joyce_1914_64->n5_a_joyce_1914_72
n5_a_joyce_1914_74
IP-INF-CAT
n5_a_joyce_1914_64->n5_a_joyce_1914_74
n5_a_joyce_1914_65->n5_a_joyce_1914_66
n5_a_joyce_1914_68
NUM
n5_a_joyce_1914_67->n5_a_joyce_1914_68
n5_a_joyce_1914_70
NS
n5_a_joyce_1914_67->n5_a_joyce_1914_70
n5_a_joyce_1914_68->n5_a_joyce_1914_69
n5_a_joyce_1914_70->n5_a_joyce_1914_71
n5_a_joyce_1914_72->n5_a_joyce_1914_73
n5_a_joyce_1914_75
BE;_cat_VePASS_
n5_a_joyce_1914_74->n5_a_joyce_1914_75
n5_a_joyce_1914_77
IP-PPL-CAT
n5_a_joyce_1914_74->n5_a_joyce_1914_77
n5_a_joyce_1914_75->n5_a_joyce_1914_76
n5_a_joyce_1914_78
NP-LGS
n5_a_joyce_1914_77->n5_a_joyce_1914_78
n5_a_joyce_1914_80
VVN;_Tn.pr_
n5_a_joyce_1914_77->n5_a_joyce_1914_80
n5_a_joyce_1914_82
PP-NIM
n5_a_joyce_1914_77->n5_a_joyce_1914_82
n5_a_joyce_1914_78->n5_a_joyce_1914_79
n5_a_joyce_1914_80->n5_a_joyce_1914_81
n5_a_joyce_1914_83
P-ROLE
n5_a_joyce_1914_82->n5_a_joyce_1914_83
n5_a_joyce_1914_85
NP
n5_a_joyce_1914_82->n5_a_joyce_1914_85
n5_a_joyce_1914_83->n5_a_joyce_1914_84
n5_a_joyce_1914_86
D
n5_a_joyce_1914_85->n5_a_joyce_1914_86
n5_a_joyce_1914_88
N
n5_a_joyce_1914_85->n5_a_joyce_1914_88
n5_a_joyce_1914_90
PP
n5_a_joyce_1914_85->n5_a_joyce_1914_90
n5_a_joyce_1914_86->n5_a_joyce_1914_87
n5_a_joyce_1914_88->n5_a_joyce_1914_89
n5_a_joyce_1914_91
P-ROLE
n5_a_joyce_1914_90->n5_a_joyce_1914_91
n5_a_joyce_1914_93
NP
n5_a_joyce_1914_90->n5_a_joyce_1914_93
n5_a_joyce_1914_91->n5_a_joyce_1914_92
n5_a_joyce_1914_94
D
n5_a_joyce_1914_93->n5_a_joyce_1914_94
n5_a_joyce_1914_96
N
n5_a_joyce_1914_93->n5_a_joyce_1914_96
n5_a_joyce_1914_94->n5_a_joyce_1914_95
n5_a_joyce_1914_96->n5_a_joyce_1914_97
n5_a_joyce_1914_98->n5_a_joyce_1914_99
( (IP-MAT (ILYR (PP-SCON (P-CONN If;{if})
(IP-ADV (NP-SBJ;{PRIEST} (PRO he;{he}))
(BED;_La_ was;{be})
(ADJP-PRD (ADJ dead;{dead}))))
(PUNC ,)
(NP-SBJ (PRO I;{I}))
(VBD;_Tf_ thought;{think})
(CP-THT-OB1 (IP-SUB (NP-SBJ (PRO I;{I}))
(MD;_cat_Vi_ would;{will})
(IP-INF-CAT (VB;_Tn_ see;{see})
(NP-OB1 (D the;{the})
(N reflection;{reflection})
(PP (P-ROLE of;{of})
(NP (NS candles;{candle})
(PP (P-ROLE on;{on})
(NP (D the;{the})
(ADJP (ADJ darkened;{darkened}))
(N blind;{blind}))))))))))
(PP-SCON (P-CONN for;{for})
(IP-ADV (NP-SBJ (PRO I;{I}))
(VBD;_Tf_ knew;{know})
(CP-THT-OB1 (IP-SUB (C that;{that})
(NP-SBJ (NUM two;{two})
(NS candles;{candle}))
(MD;_cat_Vi_ must;{must})
(IP-INF-CAT (BE;_cat_VePASS_ be;{be})
(IP-PPL-CAT (NP-LGS *)
(VVN;_Tn.pr_ set;{set})
(PP-NIM (P-ROLE at;{at})
(NP (D the;{the})
(N head;{head})
(PP (P-ROLE of;{of})
(NP (D a;{a})
(N corpse;{corpse})))))))))))
(PUNC .))
(ID 5_a_joyce_1914))