#include<bits/stdc++.h>
#define fir first
#define sec second
#define mkp make_pair
using namespace std;
typedef pair<int,int> PII;
const int maxn=1000025;
int n,m,i,j,t,k,s,tot,lim,nrt,ch[maxn<<1][2],val[maxn<<1];
int stk[maxn<<1],tp;
PII zer[maxn<<1],one[maxn<<1],qj[maxn<<1];
char str[maxn*7];

int a[maxn];
inline void add(int l,int r){a[l]++;a[r+1]--;}

void dfs1(int x)
{
	if (val[x]==-1)
	{
		zer[x]=mkp(0,0);
		one[x]=mkp(1,1);
		return;
	}
	int ls=ch[x][0],rs=ch[x][1];
	//printf("%d sons:%d %d\n",x,ls,rs);
	dfs1(ls);dfs1(rs);
	if (val[x]==0)//&
	{
		zer[x]=mkp(0,max(zer[ls].sec+one[rs].sec,zer[rs].sec+one[ls].sec));
		one[x]=mkp(one[ls].fir+one[rs].fir,one[ls].sec+one[rs].sec);
	}
	else
	{
		zer[x]=mkp(0,zer[ls].sec+zer[rs].sec);
		one[x]=mkp(min(one[ls].fir,one[rs].fir),one[ls].sec+one[rs].sec);
	}
}
void dfs2(int x)
{
	if (val[x]==-1)
	 {add(qj[x].fir+1,qj[x].sec+1);return;}
	int ls=ch[x][0],rs=ch[x][1];
	if (val[x]==0)//&
	{
		qj[ls]=mkp(qj[x].fir+one[rs].fir,qj[x].sec+one[rs].sec);
		qj[rs]=mkp(qj[x].fir+one[ls].fir,qj[x].sec+one[ls].sec);
	}
	else
	{
		qj[ls]=mkp(qj[x].fir+zer[rs].fir,qj[x].sec+zer[rs].sec);
		qj[rs]=mkp(qj[x].fir+zer[ls].fir,qj[x].sec+zer[ls].sec);
	}
	dfs2(ls);dfs2(rs);
}

int main()
{
	scanf("%s",str+1);m=strlen(str+1);
	for (i=1;i<=m;++i)
	{
		if (str[i]=='m')
		{
			//min(
			stk[++tp]=++tot;
			if (str[i+1]=='i') val[tot]=1;//|
			else val[tot]=0;//&
			if (tp>1)
			{
				t=(ch[stk[tp-1]][0]>0);
				ch[stk[tp-1]][t]=tot;
				//printf("sd %d %d\n",stk[tp-1],tot);
			}
			i+=3;
		}
		else if (str[i]=='?')
		{
			++lim;val[++tot]=-1;
			t=(ch[stk[tp]][0]>0);
			ch[stk[tp]][t]=tot;
			//printf("sds %d %d\n",stk[tp],tot);
		}
		else if (str[i]==',')
		{
		}
		else if (str[i]==')')
		{
			nrt=stk[tp];--tp;
		}
	}
	dfs1(nrt);
	qj[nrt]=mkp(0,0);
	dfs2(nrt);
	s=0;int ans=0;
	for (i=1;i<=lim;++i)
	{
		s+=a[i];
		if (s>0) ++ans;
	}
	printf("%d\n",ans);
	return 0;
}