sentence1: monadic second order , or mso , sentences are built of the above symbols of the first order language , as well as the variables x , y , x 1 , .
sentence2: monadic second order , or mso , formulae are built of the above symbols of the first order language , as well as the variables x , y , x 1 , .