questions about Alloy coding and instances

1

questions about Alloy coding and instances

module ORparticipant

abstract sig participant {}
lone sig participant1 extends participant {verb1: lone event1, verb2: lone event2}
{(#verb1=1 or #verb2=1)}

lone sig participant2 extends participant {verb3: lone event1, verb4: lone event2}
{(#verb3=1 or #verb4=1)} 

-------------------------------------------------------------------------------------------------------
abstract  sig event {}
one sig event1 extends event{}

one sig event2 extends event{}

pred showORparticipant{}
run showORparticipant{}

Above is the coding that I have applied. My question is, why there is instance such as (participant 1 verb 1 event 1 and participant 2 verb event1 and event2 (they shown together in one instance))

I would like to have instance only:
participant 1 verb event 1
participant 1 verb event 2
participant 1 verb event 1 and event 2
participant 2 verb event 1
participant 2 verb event 2
participant 2 verb event 1 and event 2
participant 1 and participant 2 verb event 1
participant 1 and participant 2 verb event 2
participant 1 and participant 2 verb event 1 and event 2

there will be only 9 instances (possibility) since I would like to run an alternative choice (inclusive choice, OR)

EDIT by @grayswandyr: please use 3-backtick delimiters for code

2

I’m not sure to understand. Are you asking why you’re getting and instance such that this run holds:

run {
some participant1
some participant2
some verb1
some verb2
}

?

#verb1=1 should rather be written one verb1 (or some verb1 if you already know that cerb1 has been declared as lone).

Did you rather mean one (verb1 + verb2) perhaps?