A bunch of process, grouped by "domain" --- see the knowledge machine framework A knowledge machine, or a simple wrapper component Links an argument to a node, which may represent a variable (predicate not instanciated) or an object (predicate is instanciated) one solution more than one solution zero or more solutions no solutions or one solution involving a random process, no ways to get two times the same solution