policy.sh is the main policy file. It contains the RT policy
  rules Ted translated from Jeff's initial GENI authorization
  writeup.  There are 6 scenario setups and related query tests.

scenario_s1.sh, a simple user and project example
  s1_query.py and s1_run_query are 2 sets of query calls where
  the first is in python and 2nd uses the prover bundled with 
  libabac

scenario_s2.sh, various member, member_(delegated) and 
  delegate_member_ relations between different users are setup to 
  show different possible access policy proof solutions 
  s2_query.py and s2_run_query are the query calls  

scenario_s3.sh, various memberQ, memberQ_(delegated) and 
  delegate_memberQ_ relations between users are setup similar to 
  scenario_s2.sh but with the role qualified.
  s3_query.py and s3_run_query are the query scripts

scenario_s4.sh, various controls, controls_(delegated) and 
  delegate_controls_ relations between slices and users are setup 
  to show access permission to slices.
  s4_query.py and s4_run_query are the query scripts.

scenario_s5.sh, various controlsQ, controlsQ_(delegated) and
  delegate_controlsQ_ relations between slices and users are setup
  similar to scenario_s4 but with qualifed role.
  s5_query.py and s5_run_query are the query scripts

scenario_s6.sh, setup relations to test createSlice and speaksFor
  s6_query.py and s5_run_query are the query scripts

  Note:   delegate_member_ 
          delegate_memberQ_
          delegate_controls_
          delegate_controlsQ_
  are needed to avoid the recursing in the original policy rule
  PA.member_(?P:PA.standard) <- (PA.member_(?P)).member_

run_test, is the main test control script


resulting files after ./run_test call,
    yap_clauses, is the prolog clauses that libabac generated for policy.sh
    main_yap_clauses, is the prolog clauses in more user friendly form
    s#_yap_clauses, contains the prolog clauses libabac generated for each
          of scenario setup
    my_s#_yap_clauses, is the more user friendly form of s#_yap_clauses
    s#_result.cn, is the more user friendly proof result
    s#_result.sha, is the proof result with sha values
    s#_result.save, is the baseline result used for regression test comparison