Causes recursion on its factor.
For example
Recurse Members A
will cause the nodes connected to A through a MEMBERS operator to be found, then the nodes connected to those nodes through further MEMBERS operators, and so on, until the set no longer increases in size (meaning it has reached leaf nodes on all paths).
As an example, if the (true) statement appears in the model text
MEMBERS(Abc, {Def, Hij})
COMPONENTS(Hij, {Pqr, Lmn})
then RECURSE ELEMENTS of the variable Abc would return
Def
Hij
Pqr
Lmn
in the outgoing set.
IF provides an example of finding the leaf nodes after a recursive search.
The RECURSE directive only operates on those terms which have a set as input, MEMBERS and MEMBER_OF, for example.