Reason maintenance

approach to efficient handling of inferred information that is explicitly stored