Definition of a domain-specific language for Korean building act sentences as an explicit computable form.