Discussion: Generic Answers
descriptions may go beyond individual properties
- What store items are valuable?
- Items in a locked cabinet whose key is held by senior managers are valuable
[(item(x) ? cabinet(y) ? lock(l) ? locks(l,y) ?
key(k) ? and unlocks (k,l) ? and senior_manager(z) ?
held_by(k,z) ? in(x,y)) => valuable(x)]