How to do crosswords?

[progval]

How can I encode questions like “Who is president and name match Oba*a?” ?

Should it be (?, office held, president) ∩ (?, name match, Oba*a)?
If yes, I think we should define a format for these patterns? (globs? regexps?)
If no, how do it? (add a predicate, a node type, …)

[Majboor]

use regular expressions or globs. For example, you could use the following format:

For the first pattern: (?, office held, president)
For the second pattern: (?, name match, Oba[a-z])
In this format, the question mark (?) represents a wildcard that can match any entity or relation. The "office held" and "name" relations are specified explicitly, while the "president" and "Obaa" entities are specified using regular expressions or globs.