制约逻辑

entailment logic

пословный:

制约	逻辑
zhìyuē ограничивать, сдерживать, обусловливать	luóji логика; логический; логичный