ثم العام نوعان.
The general expression has two types.
1. An unqualified general expression: no instances have been removed from its scope by specification.
2. A specified general expression: some instances or types have been removed from its scope by valid evidence.
Both expressions are initially general in form. The crucial difference is whether specification has occurred, because the methodological ruling on the remaining scope differs.