where resource_specification is specified in the following form:
resource (resource-1 <…resource-m>) <=(capacity)>
The RESOURCE statement specifies the names and capacities of all resources that are available to be assigned to any defined activities. For example, the following statement specifies that there are two units of the resource R1 and one unit of the resource R2.
resource R1=(2) R2;
The capacity of a resource can take nonnegative integer values. The default capacity is 1, which corresponds to a unary resource.