F.6:7.2 - Two Review Commissions

ProjectReviewAppointmentAssignment is a declared species. It declares three participant positions: HolderSystemSlot, local assigned kind, and ReviewCommissionSlot. ReviewAssignment-A and ReviewAssignment-B are two occurrences with Alice and ReviewerSystemRole in common but different commissions, and both cover the same interval. The case says that Alice performed ReviewWork-A under assignment A and ReviewWork-B under assignment B; it does not establish either crossed pairing. If the facts say only that Alice performed review Work while both appointments covered the interval, leave the attribution unresolved. The readable projection “Alice is reviewer” selects neither assignment and creates no generic assignment.