Which IFC class would you use for a jumpform?
IfcBuildingSystem of IfcMembers?
Unfortunately I think an IfcBuildingSystem is not too appropriate, since an IfcProduct or IfcTypeProduct is required as an output of IfcRelAssignsToProduct to describe the construction of the jumpform in 4D.