| Subject | English | Chinese Taiwan |
| 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) |