97_a_joyce_1914
Nannie received us in the hall; and, as it would have been unseemly to have shouted at her, my aunt shook hands with her for all.
arc(r_0097_0002__received, r_0097_0001__Nannie, arg0).
arc(r_0097_0002__received, r_0097_0003__us, arg1).
arc(r_0097_0002__received, r_0097_0005__the_r_0097_0006__hall, r_0097_0004__in_nim15).
arc(r_0097_0008__and, r_0097_0002__received, conj1).
arc(r_0097_0008__and, r_0097_0010__as, conj2).
arc(r_0097_0010__as, r_0097_0012__would, restriction).
arc(r_0097_0010__as, r_0097_0029__all_quant, scope).
arc(r_0097_0012__would, r_0097_0013__have, scope).
arc(r_0097_0013__have, r_0097_0014__been, scope).
arc(r_0097_0014__been, r_0097_0015__unseemly, prd).
arc(r_0097_0014__been, r_0097_0016__to_r_0097_0017__have, arg0).
arc(r_0097_0016__to_r_0097_0017__have, r_0097_0018__shouted, scope).
arc(r_0097_0018__shouted, r_0097_0001__Nannie, r_0097_0019__at_clr57).
arc(r_0097_0018__shouted, z_000_97_a_joyce_1914_32, arg0).
arc(r_0097_0023__aunt, r_0097_0022__my, gen).
arc(r_0097_0024__shook, r_0097_0001__Nannie, r_0097_0026__with_nim76).
arc(r_0097_0024__shook, r_0097_0023__aunt, arg0).
arc(r_0097_0024__shook, r_0097_0025__hands, arg1).
arc(r_0097_0024__shook, z_000_97_a_joyce_1914_82, r_0097_0028__for_nim82).
arc(r_0097_0029__all_quant, r_0097_0024__shook, scope).
arc(r_0097_0029__all_quant, z_000_97_a_joyce_1914_82, restriction).
fof(formula,axiom,
? [R_97_8_AND,R_97_2_RECEIVED,R_97_3_US,R_97_5_THE_HALL,R_97_10_AS,R_97_12_WOULD_HAVE_BEEN,R_97_16_TO_HAVE_SHOUTED,Z_97_A_JOYCE_1914_32,R_97_1_NANNIE,R_97_15_UNSEEMLY] :
( us(R_97_3_US)
& the_hall(R_97_5_THE_HALL)
& nannie(R_97_1_NANNIE)
& unseemly(R_97_15_UNSEEMLY)
& and(R_97_8_AND)
& conj1(R_97_8_AND,R_97_2_RECEIVED)
& received(R_97_2_RECEIVED,R_97_1_NANNIE,R_97_3_US)
& in_nim15(R_97_2_RECEIVED,R_97_5_THE_HALL)
& conj2(R_97_8_AND,R_97_10_AS)
& ! [Z_97_A_JOYCE_1914_82] :
( true
=> ? [R_97_24_SHOOK,R_97_23_AUNT,R_97_22_MY,R_97_25_HANDS] :
( my(R_97_22_MY)
& hands(R_97_25_HANDS)
& shook(R_97_24_SHOOK,R_97_23_AUNT,R_97_25_HANDS)
& aunt(R_97_23_AUNT)
& gen(R_97_23_AUNT,R_97_22_MY)
& with_nim76(R_97_24_SHOOK,R_97_1_NANNIE)
& for_nim82(R_97_24_SHOOK,Z_97_A_JOYCE_1914_82) ) )
& conj2(CONJ2)
& as(R_97_10_AS)
& conj1(R_97_10_AS,R_97_12_WOULD_HAVE_BEEN)
& would_have_been(R_97_12_WOULD_HAVE_BEEN,R_97_16_TO_HAVE_SHOUTED,R_97_15_UNSEEMLY)
& to_have_shouted(R_97_16_TO_HAVE_SHOUTED,Z_97_A_JOYCE_1914_32)
& at_clr57(R_97_16_TO_HAVE_SHOUTED,R_97_1_NANNIE) ) ).
( (IP-MAT (ILYR (ILYR (NP-SBJ;{NANNIE} (NPR Nannie;{Nannie}))
(VBD;_Tn_ received;{receive})
(NP-OB1;{SPEAKER_AUNT} (PRO us;{we}))
(PP-NIM (P-ROLE in;{in})
(NP (D the;{the})
(N hall;{hall}))))
(PUNC ;)
(CONJP (CONJ and;{and})
(PUNC ,)
(ILYR (PP-SCON (P-CONN as;{as})
(IP-ADV (NP-SBJ (PRO;_provisional_ it;{it}))
(MD;_cat_Vi_ would;{will})
(IP-INF-CAT (HV;_cat_Ve_ have;{have})
(IP-PPL-CAT (BEN;_La_ been;{be})
(ADJP-PRD (ADJ unseemly;{unseemly}))
(IP-INF-NSBJ (TO to;{to})
(HV;_cat_Ve_ have;{have})
(IP-PPL-CAT (VVN;_Ipr_ shouted;{shout[at]})
(PP-CLR (P-ROLE at;{at})
(NP;{NANNIE} (PRO her;{her})))))))))
(PUNC ,)
(NP-SBJ;{AUNT} (NP-GEN (PRO;_genm_ my;{my}))
(N aunt;{aunt}))
(VBD;_Tn_ shook;{shake})
(NP-OB1 (NS hands;{hand}))
(PP-NIM (P-ROLE with;{with})
(NP;{NANNIE} (PRO her;{her})))
(PP-NIM (P-ROLE for;{for})
(NP (Q;_nphd_ all;{all}))))))
(PUNC .))
(ID 97_a_joyce_1914))