Command, Example, and Inference