#!/bin/bash

NETWORK="'../../examples/city'"
SHORTNAME="city"
QUERY="is_joe_guilty(X)"