06. Constraints using first-order logic

Pasted image 20251008133052.png Pasted image 20251008133113.png