The truth maintenance system, and thus logical assertions, are now optional (default is on). This can be configured in the RuleBaseConfiguration. Mark