3 ms·
I assumed it would be something ?x[person(x) & does.physics(x)] where '?' is like the existential operator, but doesn't guarantee existence in the current world
by _emacsomancer_ 8y ago
I assumed it would be something ?x[person(x) & does.physics(x)] where '?' is like the existential operator, but doesn't guarantee existence in the current world of evaluation (but in at least some possible worlds).