Describir: The Design and Implementation of a Non - Axiomatic Reasoning System