Active Construction Of A Grammar Theory