Of course, it's still awkward that the query (loves ?X TestPerson1234) doesn't find...
Oh, that's what I was missing! I just tested it out, and a query like this works...
When I write a formula involving thereExists, Skolemization appears to happen. For...
When I write a formula involving thereExists, Skolemization appears to happen. For...