結果 : types of logical framework