Added fact assertion and fact list commands.