State Attribute: XXX

Problem space: YYY

This attribute does X.

Substructure of the attribute:

(<state> ^XXX <id>)
  (<id> )
Implementation of input function: zzz.c

Implementation of output function: zzz.c