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,
? [R_0089_0003__BUTTERFLIES,R_0089_0001__MASSES,R_0089_0005__ABBOTSTONE_R_0089_0006__DOWN,Z_000_89_A_ALRESFORD_1] :
( r_0089_0003__butterflies(R_0089_0003__BUTTERFLIES)
& r_0089_0005__Abbotstone_r_0089_0006__Down(R_0089_0005__ABBOTSTONE_R_0089_0006__DOWN)
& z_000_89_a_alresford_1(Z_000_89_A_ALRESFORD_1)
& has_r_0089_0004__on_clr14(Z_000_89_A_ALRESFORD_1,R_0089_0005__ABBOTSTONE_R_0089_0006__DOWN)
& has_arg0(Z_000_89_A_ALRESFORD_1,R_0089_0001__MASSES)
& r_0089_0001__masses(R_0089_0001__MASSES)
& has_r_0089_0002__of(R_0089_0001__MASSES,R_0089_0003__BUTTERFLIES) ) ).
( (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))