Witness Finder

Build a tiny world with a relation R and a property P. Pick a sentence and the checker highlights a witness or a counterexample.