Setiap ''tangki vat'' memiliki satu benang perlaksanaan, rangka susunan, dan satu barisan peristiwa.
Setiap ' ' tangki vat ' ' memiliki satu benang perlaksanaan , rangka susunan , dan satu barisan peristiwa .