Unsatisfiability
[计] 不可满足性
🗣️ 情景例句
This afternoon we're going to visit a friend in the hospital.
今天下午我们将去探望一位住院的朋友。
The fox that had lost its tail would persuade others out of theirs.
一条狐狸丢尾巴，就劝旁的也丢它。
He gets into the lift. It takes him down to the first floor.
他进入电梯。他乘电梯下到1楼。