Introduction to Tactical Generation with HPSG