How to read notation from DOT-calculus description?

Question

Scala

I tried to understand the formal definition of DOT-calculus according to this document
lampwww.epfl.ch/~amin/dot/fool.pdf
But I don't understand how to read the descriptions given there, such as those in part 2 in the table (reduction, type assignment, declaration assignment)

Is there any article describing how to read this kind of notation? And the simpler and more detailed, the better.

Answer 1

I found a good article about this, which basically explains what is happening here
siek.blogspot.ru/2012/07/crash-course-on-notation-...