There must be constraint num:d instance(s) of .entity.

The Given step_impl in combination with ‘at least 1’ is the equivalent of ‘Given an IfcEntity’, but without setting new applicable instances.

For example:

Given an IfcWall -> insts = [IfcWall, IfcWall]

Given an IfcRoof -> inst = [IfcRoof, IfcRoof]

However,

Given an IfcWall -> insts = [IfcWall, IfcWall]

Given there must be at least 1 instance(s) of IfcRoof -> inst = [IfcWall, IfcWall]

Usages:

• Then There must be at least 1 instance(s) of .IfcProjectedCRS.

  GRF003 CRS presence with spatial entities - v1:15

• Then There must be at least 1 instance(s) of .IfcCoordinateReferenceSystem.

  GRF003 CRS presence with spatial entities - v1:22

• Then There must be exactly 1 instance(s) of .IfcProject.

  PJS101 Project presence - v1:12

• Then There must be at most 1 instance(s) of .IfcSite.

  SPS001 Basic spatial structure for buildings - v2:14

• Then There must be at least 1 instance(s) of .IfcBuilding.

  SPS001 Basic spatial structure for buildings - v2:18