99_a_alresford
Some of the shops I used to frequent are gone, others are still staffed by familiar faces.
arc(r_0099_0001__Some, r_0099_0003__the_r_0099_0004__shops, r_0099_0002__of).
arc(r_0099_0006__used, r_0099_0007__to_r_0099_0008__frequent, scope).
arc(r_0099_0007__to_r_0099_0008__frequent, r_0099_0003__the_r_0099_0004__shops, arg1).
arc(r_0099_0007__to_r_0099_0008__frequent, r_0099_0005__I, arg0).
arc(r_0099_0009__are, r_0099_0001__Some, arg0).
arc(r_0099_0009__are, r_0099_0010__gone, prd).
arc(r_0099_0013__are, r_0099_0015__staffed, scope).
arc(r_0099_0015__staffed, r_0099_0012__others, arg1).
arc(r_0099_0015__staffed, r_0099_0014__still, nim43).
arc(r_0099_0015__staffed, r_0099_0018__faces, arg0).
arc(r_0099_0018__faces, r_0099_0017__familiar, attrib52).
arc(z_000_99_a_alresford_2, r_0099_0009__are, conj1).
arc(z_000_99_a_alresford_2, r_0099_0013__are, conj2).
fof(formula,axiom,
? [R_99_6_USED_TO_FREQUENT,R_99_5_I,Z_99_A_ALRESFORD_2,R_99_9_ARE,R_99_1_SOME,R_99_3_THE_SHOPS,R_99_10_GONE,R_99_13_ARE_STAFFED,R_99_18_FACES,R_99_17_FAMILIAR,R_99_12_OTHERS,R_99_14_STILL] :
( i(R_99_5_I)
& the_shops(R_99_3_THE_SHOPS)
& gone(R_99_10_GONE)
& familiar(R_99_17_FAMILIAR)
& others(R_99_12_OTHERS)
& still(R_99_14_STILL)
& used_to_frequent(R_99_6_USED_TO_FREQUENT,R_99_5_I,R_99_3_THE_SHOPS)
& z_99_a_alresford_2(Z_99_A_ALRESFORD_2)
& conj1(Z_99_A_ALRESFORD_2,R_99_9_ARE)
& are(R_99_9_ARE,R_99_1_SOME,R_99_10_GONE)
& some(R_99_1_SOME)
& of(R_99_1_SOME,R_99_3_THE_SHOPS)
& conj2(Z_99_A_ALRESFORD_2,R_99_13_ARE_STAFFED)
& are_staffed(R_99_13_ARE_STAFFED,R_99_18_FACES,R_99_12_OTHERS)
& faces(R_99_18_FACES)
& attrib52(R_99_18_FACES,R_99_17_FAMILIAR)
& nim43(R_99_13_ARE_STAFFED,R_99_14_STILL) ) ).
( (IP-MAT (ILYR (ILYR (NP-SBJ (D;_nphd_ Some;{some})
(PP (P-ROLE of;{of})
(NP (D the;{the})
(NS shops;{shop})
(IP-REL (NP-SBJ (PRO I;{I}))
(MD;_cat_Vt_ used;{used})
(IP-INF-CAT (NP-OB1 *T*)
(TO to;{to})
(VB;_Tn_ frequent;{frequent}))))))
(BEP;_La_ are;{be})
(ADJP-PRD (ADJ gone;{gone})))
(PUNC ,)
(CONJP (ILYR (NP-SBJ (NS others;{other}))
(BEP;_cat_VePASS_ are;{be})
(IP-PPL-CAT (ADVP-NIM (ADV still;{still}))
(VVN;_Tn_ staffed;{staff})
(PP-LGS (P-ROLE;_lgs_ by;{by})
(NP (ADJP (ADJ familiar;{familiar}))
(NS faces;{face})))))))
(PUNC .))
(ID 99_a_alresford))