To affirm; to declare with assurance, or plainly and strongly; to state positively; to aver; to asseverate.
KQML-like performative acting as a wrapper specifying that its content (optionally surrounded by a formula role) is asserted, making an 'implicit And' assumption. This allows the separation of declarative content from such procedural performatives. Assert corresponds to a Rulebase in RuleML 0.87 (and earlier). Attributes: @mapDirection, @mapClosure(See: performative module and FOL RuleML)
A signal is asserted by driving it to a logical true state. For positive-true signals this state is high logic voltage, and for negative-true signals this state is the low logic voltage.