Multiple/combined Assertions in a check

I have the following module, ignore the semantics, the question is at
the end.
//===============
module test

abstract sig role{}{}

one sig person extends role{
     acts: some role
      }
assert Provision1{
 some person.~acts
}

assert Provision2{
 some person
}

check Provision1
check Provision2
//======================================
This module compiles as is.  
What I want to do is have an aggregate assertion.
ie. check Provision1 & Provision2
I know it doesnt compile, is there a way of doing so.
thanks
Will