| Subject | English | Korean |
| comp., MS | Constraint Service | 제약 조건 서비스 (A service responsible for answering HWS constraints-related querying by evaluating constraint clauses that are based on facts provided by the fact store manager and the relevant fact retrievers) |