આ પ્રવૃત્તિ પરિણામે કહેવાતા "અધિકાર લખાણો" તેમને ભાષણ એકમો અને ગૌણ સામાન્ય કાયદા ગાણિતિક અભિવ્યક્તિઓ મદદથી વર્ણવી શકાય કે ક્રમ રજૂ મેળવી શકાય છે.