89_a_alresford
masses of butterflies on Abbotstone Down,
arc(r_0089_0001__masses, r_0089_0003__butterflies, r_0089_0002__of).
arc(z_000_89_a_alresford_1, r_0089_0001__masses, arg0).
arc(z_000_89_a_alresford_1, r_0089_0005__Abbotstone_r_0089_0006__Down, r_0089_0004__on_clr14).
fof(formula,axiom,
? [Z_89_A_ALRESFORD_1,R_89_1_MASSES,R_89_3_BUTTERFLIES,R_89_5_ABBOTSTONE_DOWN] :
( butterflies(R_89_3_BUTTERFLIES)
& abbotstone_Down(R_89_5_ABBOTSTONE_DOWN)
& z_89_a_alresford_1(Z_89_A_ALRESFORD_1,R_89_1_MASSES)
& masses(R_89_1_MASSES)
& of(R_89_1_MASSES,R_89_3_BUTTERFLIES)
& on_clr14(Z_89_A_ALRESFORD_1,R_89_5_ABBOTSTONE_DOWN) ) ).
( (FRAG (NP-SBJ (NS masses;{mass})
(PP (P-ROLE of;{of})
(NP (NS butterflies;{butterfly}))))
(PP-CLR (P-ROLE on;{on})
(NP (NPR Abbotstone;{Abbotstone})
(NPR Down;{Down})))
(PUNC ,))
(ID 89_a_alresford))