(prove '((sentence (john put his car in the garage))))