A translation from sentences to terms
Each sentence translates to a term by changing its initial uppercase to a lowercase.
Is_thief(mary) translates to the term is_thief(mary).
Is_guilty(mary) ? ?Punish(mary) translates to the term is_guilty(mary) ? ?punish(mary).