Text this: Conditional inference and logic for intelligent systems :