Logical form: answer(A,(job(A),language(A,'java'),¬company(A,'IBM'))) The JOBS data set comes with a database, which we can use as the world w. When the logical forms are evaluated on this database, however, close to half of the answers are empty (no jobs match the requested criteria).
we consider any a i that occurs in column 1 of the arrays of this base denotation ([a i ] ∈ σ i .b.A[1]).