Implemented specification based smart construction property extraction.