Member predicate AV Rule 79::Resource::acquisitionWithRequiredRelease

predicate acquisitionWithRequiredRelease(Assignment acquireAssign, string kind)