148_a_joyce_1914
“Ah, there's no friends like the old friends,” she said, “when all is said and done, no friends that a body can trust.”
arc(r_0148_0002__Ah_r_0148_0004__there_r_0148_0005___apos_s, r_0148_0007__friends, arg0).
arc(r_0148_0002__Ah_r_0148_0004__there_r_0148_0005___apos_s, r_0148_0009__the_r_0148_0011__friends, r_0148_0008__like_clr20).
arc(r_0148_0006__no_quant, r_0148_0007__friends, restriction).
arc(r_0148_0006__no_quant, r_0148_0018__when, scope).
arc(r_0148_0009__the_r_0148_0011__friends, r_0148_0010__old, attrib23).
arc(r_0148_0018__when, r_0148_0002__Ah_r_0148_0004__there_r_0148_0005___apos_s, scope).
arc(r_0148_0018__when, r_0148_0019__all_quant, restriction).
arc(r_0148_0019__all_quant, r_0148_0020__is, scope).
arc(r_0148_0019__all_quant, z_000_148_a_joyce_1914_49, restriction).
arc(r_0148_0020__is, r_0148_0022__and, scope).
arc(r_0148_0021__said, z_000_148_a_joyce_1914_49, arg1).
arc(r_0148_0021__said, z_000_148_a_joyce_1914_57, arg0).
arc(r_0148_0022__and, r_0148_0021__said, conj1).
arc(r_0148_0022__and, r_0148_0023__done, conj2).
arc(r_0148_0023__done, z_000_148_a_joyce_1914_49, arg1).
arc(r_0148_0023__done, z_000_148_a_joyce_1914_65, arg0).
arc(r_0148_0025__no_quant, r_0148_0026__friends, restriction).
arc(r_0148_0025__no_quant, z_000_148_a_joyce_1914_71, scope).
arc(r_0148_0027__that_r_0148_0030__can, r_0148_0031__trust, scope).
arc(r_0148_0031__trust, r_0148_0026__friends, arg1).
arc(r_0148_0031__trust, r_0148_0028__a_r_0148_0029__body, arg0).
arc(z_000_148_a_joyce_1914_71, r_0148_0009__the_r_0148_0011__friends, arg0).
arc(z_000_148_a_joyce_1914_71, r_0148_0026__friends, prd).
fof(formula,axiom,
( ! [R_148_7_FRIENDS] :
( friends(R_148_7_FRIENDS)
=> ( ! [Z_148_A_JOYCE_1914_49] :
( true
=> ~ ? [R_148_22_AND,R_148_21_SAID,Z_148_A_JOYCE_1914_57,R_148_23_DONE,Z_148_A_JOYCE_1914_65] :
( and(R_148_22_AND)
& conj1(R_148_22_AND,R_148_21_SAID)
& said(R_148_21_SAID,Z_148_A_JOYCE_1914_57,Z_148_A_JOYCE_1914_49)
& conj2(R_148_22_AND,R_148_23_DONE)
& done(R_148_23_DONE,Z_148_A_JOYCE_1914_65,Z_148_A_JOYCE_1914_49) ) )
=> ? [R_148_2_AH_THERE_APOS_S,R_148_9_THE_FRIENDS,R_148_10_OLD] :
( old(R_148_10_OLD)
& ah_there_apos_s(R_148_2_AH_THERE_APOS_S,R_148_7_FRIENDS)
& like_clr20(R_148_2_AH_THERE_APOS_S,R_148_9_THE_FRIENDS)
& the_friends(R_148_9_THE_FRIENDS)
& attrib23(R_148_9_THE_FRIENDS,R_148_10_OLD) ) ) )
& ! [R_148_27_THAT_CAN_TRUST,R_148_28_A_BODY,R_148_26_FRIENDS] :
( ( a_body(R_148_28_A_BODY)
& friends(R_148_26_FRIENDS)
& that_can_trust(R_148_27_THAT_CAN_TRUST,R_148_28_A_BODY,R_148_26_FRIENDS) )
=> ? [Z_148_A_JOYCE_1914_71,R_148_9_THE_FRIENDS,R_148_10_OLD] :
( old(R_148_10_OLD)
& z_148_a_joyce_1914_71(Z_148_A_JOYCE_1914_71,R_148_9_THE_FRIENDS,R_148_26_FRIENDS)
& the_friends(R_148_9_THE_FRIENDS)
& attrib23(R_148_9_THE_FRIENDS,R_148_10_OLD) ) ) ) ).
( (IP-MAT (PULQ <ldquo>)
(INTJ Ah)
(PUNC ,)
(EX there;{there})
(BEP;_ex_Vpr_ <apos>s;{be})
(NP-ESBJ (Q no;{no})
(NS friends;{friend}))
(PP-CLR (P-ROLE like;{like})
(NP (D the;{the})
(ADJP (ADJ old;{old}))
(NS friends;{friend})
(IP-PPL *ICH*-182)))
(PUNC ,)
(PURQ <rdquo>)
(PRN (IP-MAT (NP-SBJ;{ELIZA} (PRO she;{she}))
(VBD;_Tf_ said;{say})))
(PUNC ,)
(PULQ <ldquo>)
(PP-SCON (P-CONN when;{when})
(IP-ADV (NP-SBJ (Q;_nphd_ all;{all}))
(BEP;_cat_VePASS_ is;{be})
(IP-PPL-CAT (ILYR (ILYR (NP-LGS *)
(VVN;_Tn_ said;{say}))
(CONJP (CONJ and;{and})
(ILYR (NP-LGS *)
(DON;_Tn_ done;{do})))))))
(PUNC ,)
(IP-PPL-EPD-182 (NP-PRD;{PERSONS} (Q no;{no})
(NS friends;{friend})
(IP-REL (C that;{that})
(NP-SBJ (D a;{a})
(N body;{body}))
(MD;_cat_Vi_ can;{can})
(IP-INF-CAT (NP-OB1 *T*)
(VB;_Tn_ trust;{trust})))))
(PUNC .)
(PURQ <rdquo>))
(ID 148_a_joyce_1914))