" વિશેષણો: સિન્ટેક્સ એન્ડ સિમેન્ટિક્સમાં ઔપચારિક એનાલિસીઝ, એડ.