أرسل هذا في رسالة قصيرة: An Investigation of the Methods of Logicalizing the Code-Checking System for Architectural Design Review in New Taipei City