As mentioned in the introduction SCL is a minimal language. It consists of seven statements.
The SCG is a labelled graph G = (S, E), whereas
ABO example: