127_a_lob_a01
Of the doubled prescription charge his argument was:
arc(r_0127_0002__the_r_0127_0004__prescription_r_0127_0005__charge, r_0127_0003__doubled, attrib8).
arc(r_0127_0007__argument, r_0127_0006__his, gen).
arc(r_0127_0008__was, r_0127_0002__the_r_0127_0004__prescription_r_0127_0005__charge, r_0127_0001__Of_nim5).
arc(r_0127_0008__was, r_0127_0007__argument, arg0).
fof(formula,axiom,
? [R_127_8_WAS,R_127_7_ARGUMENT,R_127_6_HIS,R_127_2_THE_PRESCRIPTION_CHARGE,R_127_3_DOUBLED] :
( his(R_127_6_HIS)
& doubled(R_127_3_DOUBLED)
& was(R_127_8_WAS,R_127_7_ARGUMENT)
& argument(R_127_7_ARGUMENT)
& gen(R_127_7_ARGUMENT,R_127_6_HIS)
& of_nim5(R_127_8_WAS,R_127_2_THE_PRESCRIPTION_CHARGE)
& the_prescription_charge(R_127_2_THE_PRESCRIPTION_CHARGE)
& attrib8(R_127_2_THE_PRESCRIPTION_CHARGE,R_127_3_DOUBLED) ) ).
( (IP-MAT (PP-NIM (P-ROLE Of;{of})
(NP (D the;{the})
(ADJP (ADJ doubled;{doubled}))
(N prescription;{prescription})
(N charge;{charge})))
(NP-SBJ (NP-GEN;{POWELL} (PRO;_genm_ his;{his}))
(N argument;{argument}))
(BED;__ was;{be})
(PUNC :))
(ID 127_a_lob_a01))