Update pragmatics, add detail
Merge pull request #43 from tbodt/patch-1

Update pragmatics, add detail.