Assumption

[Base] tab

  • Namespace

    • Display the namespace (module hierarchy) to which the Assumption belongs.

  • ID

    • It is the unique identifier in the name space to which the Assumption belongs and can be changed.

  • Statement

    • Description of the Assumption