31_a_joyce_1914
“God have mercy on his soul,” said my aunt piously.
( (IP-MAT (PULQ <ldquo>)
(utterance-OB1 (IP-IMP (NP-VOC (NPR God;{God}))
(HV;_Tn_ have;{have})
(NP-OB1 (N mercy;{mercy})
(PP (P-ROLE on;{on})
(NP (NP-GEN;{PRIEST} (PRO;_genm_ his;{his}))
(N soul;{soul}))))))
(PUNC ,)
(PURQ <rdquo>)
(VBD;_Tr_ said;{say})
(NP-SBJ;{AUNT} (NP-GEN (PRO;_genm_ my;{my}))
(N aunt;{aunt}))
(ADVP-NIM (ADV piously;{piously}))
(PUNC .))
(ID 31_a_joyce_1914))
arc(r_0031_0003__have,r_0031_0002__God,voc).
arc(r_0031_0003__have,r_0031_0004__mercy,arg1).
arc(r_0031_0003__have,z_0031_5004,arg0).
arc(r_0031_0004__mercy,r_0031_0007__soul,r_0031_0005__on).
arc(r_0031_0007__soul,r_0031_0006__his,gen).
arc(r_0031_0010__said,r_0031_0012__aunt,arg0).
arc(r_0031_0010__said,r_0031_0013__piously,nim).
arc(r_0031_0010__said,z_0031_5002__utterance,arg1).
arc(r_0031_0012__aunt,r_0031_0011__my,gen).
arc(z_0031_5002__utterance,r_0031_0003__have,part1).
fof(formula,axiom,
? [R_0031_0011__MY,R_0031_0012__AUNT,R_0031_0013__PIOUSLY,R_0031_0002__GOD,R_0031_0006__HIS,R_0031_0007__SOUL,R_0031_0004__MERCY,Z_0031_5004,R_0031_0003__HAVE,Z_0031_5002__UTTERANCE,R_0031_0010__SAID] :
( r_0031_0002__God(R_0031_0002__GOD)
& r_0031_0006__his(R_0031_0006__HIS)
& r_0031_0011__my(R_0031_0011__MY)
& r_0031_0013__piously(R_0031_0013__PIOUSLY)
& z_0031_5004(Z_0031_5004)
& r_0031_0010__said(R_0031_0010__SAID)
& has_arg1(R_0031_0010__SAID,Z_0031_5002__UTTERANCE)
& z_0031_5002__utterance(Z_0031_5002__UTTERANCE)
& has_part1(Z_0031_5002__UTTERANCE,R_0031_0003__HAVE)
& r_0031_0003__have(R_0031_0003__HAVE)
& has_arg0(R_0031_0003__HAVE,Z_0031_5004)
& has_arg1(R_0031_0003__HAVE,R_0031_0004__MERCY)
& r_0031_0004__mercy(R_0031_0004__MERCY)
& has_r_0031_0005__on(R_0031_0004__MERCY,R_0031_0007__SOUL)
& r_0031_0007__soul(R_0031_0007__SOUL)
& has_gen(R_0031_0007__SOUL,R_0031_0006__HIS)
& has_voc(R_0031_0003__HAVE,R_0031_0002__GOD)
& has_nim(R_0031_0010__SAID,R_0031_0013__PIOUSLY)
& has_arg0(R_0031_0010__SAID,R_0031_0012__AUNT)
& r_0031_0012__aunt(R_0031_0012__AUNT)
& has_gen(R_0031_0012__AUNT,R_0031_0011__MY) ) ).