information about Stable model semantics field