concl,M,N:Formula List, f2:Formula. |= < M @ N,f2.concl > |= < M @ (f2.N),concl >

1	1. concl: Formula List 2. M: Formula List 3. N: Formula List 4. f2: Formula 5. |= < M @ N,f2.concl > |= < M @ (f2.N),concl >

About: