Using designations
It’s important to give enough definition to make sure all agree on the meaning
- This takes some leap of faith, especially in domains in which people have little shared experience
Allows refutable statements to be made about the requirements
- " x,y · ((Human(x) Ù Mother(x,y)) Þ (Female(x) Ù Human(y)))