Aggregation specification

[larswik]

Trying to specify something like this:

• IfcElementAssembly/PDT_A
  • IfcPlate (may occur)
  • IfcMember (may occur)
• IfcElementAssembly/PDT_B
  • IfcPlate (may occur)
  • IfcMember (may occur)

Aggregations are specified "upwards" and the ids:partOf element can occur many times with cardinality set to either required or prohibited. Is there an implicit AND or OR between many ids:partOf?
Can I specify that IfcPlate and IfcMember, if they exist in the dataset, may only occur as components of either IfcElementAssembly/PDT_A OR IfcElementAssembly/PDT_B OR both?

Seems to be related to #379

[atomczak]

Is there an implicit AND or OR between many ids:partOf?

between separate partOf facets is AND, but within one partOf facet is OR.

Can I specify that IfcPlate and IfcMember, if they exist in the dataset, may only occur as components of either IfcElementAssembly/PDT_A OR IfcElementAssembly/PDT_B OR both?

You can specify:

    applicability: entity: IfcPlate, IfcMember
    requirement: partOf: IfcElementAssembly

at the moment (IDS1.0) PartOf doesn't support checking information about the parent objects, but it was proposed for 1.1.

[larswik]

Ok, understood. Thanks!