full example started, added trfrac for inference rules