Theory grammar