The VAL Language: Description and Analysis | Synapse