@prefix : <https://eyereasoner.github.io/ns#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

{
    :s1 :p1 :o1.
} log:isPermittedIn :w1.
{
    :s2 :p2 :o2.
} log:isPermittedIn :w1.
{
    {
        :s3 :p3 :o3.
    } => false.
} log:isPermittedIn :w1.
{
    {
        :s1 :p1 :o1.
    } => {
        :s4 :p4 :o4.
    }.
} log:isPermittedIn :w1.
{
    :s1 :p1 :o1.
} log:isPermittedIn :w2.
{
    :s2 :p2 :o2.
} log:isPermittedIn :w2.
{
    {
        :s3 :p3 :o3.
    } => false.
} log:isPermittedIn :w2.
{
    :s1 :p1 :o1.
} log:isObligatoryIn :w1.
{
    :s2 :p2 :o2.
} log:isObligatoryIn :w1.
{
    :s1 :p1 :o1.
} log:isObligatoryIn :w2.
{
    :s2 :p2 :o2.
} log:isObligatoryIn :w2.
{
    {
        :s3 :p3 :o3.
    } => false.
} log:isObligatoryIn :w2.
{
    :s4 :p4 :o4.
} log:isObligatoryIn :w2.
{
    :s3 :p3 :o3.
} log:isForbiddenIn :w2.
