Leda: a semi-intelligent legislative drafting-support system