This command is not yet implemented and there is no plan to implement it.
Adds an assumption-based fact so that an assumption-based truth management system (ATMS)
can correctly retract the fact under non-monotonic reasoning.
Algernon Documentation Central
Algernon home page