the basic terms of the Schank and NSM systems) must be included in the defining set, and to these we must add at least one vertex from every directed cycle.
the problem of finding a defining set is equivalent to finding a feedback vertex set, (FVS) a problem already proven NP-complete in Karp (1972).