test DocumentTest {
  relationships {
    document:one viewer user:alice
    document:one editor user:bob
  }
  assertions {
    document:one    view    user:alice     // Positive assertion
    document:one    !edit   user:alice     // Negative assertion
    document:one    edit    user:bob
  }
  expected {
    document:one view (
      user:alice is viewer of document:one
      user:bob is editor of document:one
    )
    document:one edit (
      user:bob is editor of document:one
    )
  }
}