Support for inference (generating new statements based on existing one).