Added parser for inference rules.