Index: examples/alumni_rt1_typed/Bob_ID.pem
===================================================================
--- examples/alumni_rt1_typed/Bob_ID.pem	(revision 10e1588c3bda3e12f9242c694c22b504101bae67)
+++ examples/alumni_rt1_typed/Bob_ID.pem	(revision 10e1588c3bda3e12f9242c694c22b504101bae67)
@@ -0,0 +1,19 @@
+-----BEGIN CERTIFICATE-----
+MIIDAjCCAeqgAwIBAgIJAJE8JvkQ6YSLMA0GCSqGSIb3DQEBBQUAMA4xDDAKBgNV
+BAMTA0JvYjAeFw0xMjAyMDgwNTA4NDJaFw0xNTAxMjMwNTA4NDJaMA4xDDAKBgNV
+BAMTA0JvYjCCASIwDQYJKoZIhvcNAQEBBQADggEPADCCAQoCggEBALtAr0TV3yWB
+amIUvfelpPEzzqvGtMDmClkOlo/RregScbftt/ciPdnGoV1WvW4zDp88kfTn0MG1
+g3viTd4ofjS0RspoJABSCUDzr0kXU0tsfdt9Mb6S8SLwMNI/XTvc9ZdSVOCxCWij
+sUastFMnAJpR6SIQe6Sh1zecdaXIjUamUxP6/Vp7U961OGblI0ve+jLtlkJ7AXTt
+7fCojA+5rByS+siPyPAOOlVDfxCqztBqlAzeezH/lGhJ5K8Uim+PqTxgVwsQiceg
+bQRzmoWRKHqMK1sKo9GmIlkSxkZhRMIi2md8+QWUKG2huXAretTtVayrnNzJ+KKH
+Z0u+hraZZKMCAwEAAaNjMGEwDwYDVR0TAQH/BAUwAwEB/zAOBgNVHQ8BAf8EBAMC
+AQYwHQYDVR0OBBYEFOPe1fOLYCWhjt0uW3J64tgf+12JMB8GA1UdIwQYMBaAFOPe
+1fOLYCWhjt0uW3J64tgf+12JMA0GCSqGSIb3DQEBBQUAA4IBAQCus0f5QdUbA4BI
+rWE1nXlilQ/TpvFPOXvR++1eGf6Bpk1+PdR2rUGw4LtR+D0IChhKE/6DUjAM2w7V
+kzohy6OQLXqlPjmwla9F+PK66bseXULX1iJCzh82ybAqgBbsHpzwI8lV1TZklKqU
+l4xh2zypAYa++RhY736CJdZC9TroDHxzdqgS/KgOF9YKYt4d1gMhqxz2EQT1TNFN
+L0eqPxaVIGkaj5kekPtIRF3xkR10XRWrR+AfnCVpijLYp2Rjz+03wekMtszLiW/O
+WnBkvdcKHy9fvG8et8RbA/k17Rz4fScnELKCnjCbsbRK7mAdIncADnFGElbaU28m
+JdfGWHmE
+-----END CERTIFICATE-----
Index: examples/alumni_rt1_typed/Bob_private.pem
===================================================================
--- examples/alumni_rt1_typed/Bob_private.pem	(revision 10e1588c3bda3e12f9242c694c22b504101bae67)
+++ examples/alumni_rt1_typed/Bob_private.pem	(revision 10e1588c3bda3e12f9242c694c22b504101bae67)
@@ -0,0 +1,27 @@
+-----BEGIN RSA PRIVATE KEY-----
+MIIEowIBAAKCAQEAu0CvRNXfJYFqYhS996Wk8TPOq8a0wOYKWQ6Wj9Gt6BJxt+23
+9yI92cahXVa9bjMOnzyR9OfQwbWDe+JN3ih+NLRGymgkAFIJQPOvSRdTS2x9230x
+vpLxIvAw0j9dO9z1l1JU4LEJaKOxRqy0UycAmlHpIhB7pKHXN5x1pciNRqZTE/r9
+WntT3rU4ZuUjS976Mu2WQnsBdO3t8KiMD7msHJL6yI/I8A46VUN/EKrO0GqUDN57
+Mf+UaEnkrxSKb4+pPGBXCxCJx6BtBHOahZEoeowrWwqj0aYiWRLGRmFEwiLaZ3z5
+BZQobaG5cCt61O1VrKuc3Mn4oodnS76GtplkowIDAQABAoIBAEGQdY4RoK9+L+Sl
+xJpIqoc2D6A/1BxSr77dB8TVsyG2C5FOMALdP3DYRrnq3CsQv4br62MoJAUfbCld
+ZMxruzzy/nJyomBmWQ0gBfj+rNCU7UCEBn3m732/QijrvNZwGKHiVwvRkSzNXA4V
+/JG8704ZbhraUKCldjjnlJ32qdjZXHW9kAUyeffIORyf0ms2C4vhfFtPQmBo2YxY
+Zh4zGqBXKeS2BdaFvzQNrRu4fIhuN0Jl5gYaqjsd89J07ldlOPDPEsHQ4Kbe7pmI
+ZhhhkYywboz5WZ2teTIJJxFuz4TgqcC5zJvrhTlk+vYd4NmyPp1br/fNpfo6aOy/
+NcQrh3kCgYEA5OZrKaFd+ooPeuC1krDoQLlgXMDWa3b1gB0wqrzswPhcAXfVJxqh
+ki1Y8CEVsTXKO1ULbVlPkcYJG+UedOD2t0RBndyF/8kaw01pJck3Cns3BjaXjM6L
+O7mSGJpDPakfRgg4eaIX4JxqhUHyQeJ4pLphZUMwvM0TPM2HLvp5uo0CgYEA0WwA
+o//zWvqXyQFq02hus0uN9VKGDhd1rfMKbukX8g2l8QFjMgJ0jBySYN4jiDlkaHa0
+Srm4uDD4t2F5wFIJHdAAm0u1GDF3OL4i289PX+TTaFqGRZmRJXAHhYPM479T5ZLH
+zTpoOF3v2zhsCf7h+SoiWkdqYWAnXYqyynXb5+8CgYEA0/pfO4ppEeBRPaZkAJk8
+PNRv3PXonFTqPd7KdxPG3V4jNmjXSQNspYbBWoAJKrd5tUCo+HdBLOqM/PxOHEdJ
+s6bObXcP0TVYR42k1o1lH5vD9UkRSCDu6DyOg6I4qx24DI8IXfwyyJuSOh48T69/
+sm24TKLQu8ffDOv5SRRFLvECgYAQnP/EAtb8XarS4FDoKn21rYW6c2x9C7FjNkea
+mtUyd5C1eMW0vusd/lpCYvzwnpTvkJMm5mrX+dKRQaNV9WwRuGGD8FKSc8Igdzzu
+sRh74/w9aAkE1nTkQmnmVplXa+Ms8CL3je2cox8XBffUJysoCAanoMi4ptcYnZsn
+YogqcwKBgAC4BS4dPJiT01e7tBHV8QSfM76bogcqO6rEIgYuFETZtqjLOMLDBCbd
+nvLSIG5lvvplPeJ8WX114aG22/cv39hs/ToTu8vK+PvmWSjrXqYvmBK2HqBymXK+
+61c0aaxf9GtVzo9Bsfv+zfAhi6o1btKcz49BbIJ3gQ4/N/oShW4y
+-----END RSA PRIVATE KEY-----
Index: examples/alumni_rt1_typed/Joe_ID.pem
===================================================================
--- examples/alumni_rt1_typed/Joe_ID.pem	(revision 10e1588c3bda3e12f9242c694c22b504101bae67)
+++ examples/alumni_rt1_typed/Joe_ID.pem	(revision 10e1588c3bda3e12f9242c694c22b504101bae67)
@@ -0,0 +1,19 @@
+-----BEGIN CERTIFICATE-----
+MIIDATCCAemgAwIBAgIIENTiHs5Tk18wDQYJKoZIhvcNAQEFBQAwDjEMMAoGA1UE
+AxMDSm9lMB4XDTEyMDIwODA1MDg0N1oXDTE1MDEyMzA1MDg0N1owDjEMMAoGA1UE
+AxMDSm9lMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEAwDwqkzCdxpbN
+pbkRPCPFiNN0y/xbFhukPovDD0NhZQbDZ4Qr6TPLrVO6PKWweXGxOQjm9ydexckg
+ZIc+l7cvnEgPa4OvwytEhSKSs8xUxCYb/pN2pz5lRKdgeV7jNBLKvASvszTWeEim
+iOR7kDRAD+VwICI7VD1+vaTr9p9n5hS6R5tQhBoUQcsmsGu1z1GA3bBbi86Z6hdF
+IAvJODu74YrmxcX8WttprHalY5N54aBV8GWtugHp7+IEJhOgRny1y2+PdkmHORqz
+saHPDTQfXag3rOn4aPD8gG73k75USCA2jg/iI5ocuTZF1lP6nBk3V/Pul1yt6SM5
+Aq5s980pZQIDAQABo2MwYTAPBgNVHRMBAf8EBTADAQH/MA4GA1UdDwEB/wQEAwIB
+BjAdBgNVHQ4EFgQUWjnE4P3CQgi2uv7y39o4RZtnCUwwHwYDVR0jBBgwFoAUWjnE
+4P3CQgi2uv7y39o4RZtnCUwwDQYJKoZIhvcNAQEFBQADggEBACShK2+2d1Qh7xUt
+O0AjlQdQUFcA0ObUIgv/IPsZGnep2lmORwrFsy3nzybHCKodKFEJSWioBgnPIAW0
+QrIFrj6fruTqZEwNz3/YUzfO4xMoKtOfYgeC9Vj3Wn/OYJbMDmAn2aq6WSIAqOOX
+1yL4VoU1CoQDOUQLOaObgyBLy41XQYd5bZYgCLK1tbXMm+c4ThCcK3agxFPwItFe
+ijAV3NBc1Zbwc4Fk14YP6lRs/jbgcXV7rpQaV9yDcDKoFj8NYpZPqon9qtVX5uhc
+Ks7c8zv7N8QcrPE+Z/y+6kFS6U40l3gxWxrPdHeCINuWH1ZuqNO1RH18bTgk3dB2
+j2QpUoU=
+-----END CERTIFICATE-----
Index: examples/alumni_rt1_typed/Joe_private.pem
===================================================================
--- examples/alumni_rt1_typed/Joe_private.pem	(revision 10e1588c3bda3e12f9242c694c22b504101bae67)
+++ examples/alumni_rt1_typed/Joe_private.pem	(revision 10e1588c3bda3e12f9242c694c22b504101bae67)
@@ -0,0 +1,27 @@
+-----BEGIN RSA PRIVATE KEY-----
+MIIEogIBAAKCAQEAwDwqkzCdxpbNpbkRPCPFiNN0y/xbFhukPovDD0NhZQbDZ4Qr
+6TPLrVO6PKWweXGxOQjm9ydexckgZIc+l7cvnEgPa4OvwytEhSKSs8xUxCYb/pN2
+pz5lRKdgeV7jNBLKvASvszTWeEimiOR7kDRAD+VwICI7VD1+vaTr9p9n5hS6R5tQ
+hBoUQcsmsGu1z1GA3bBbi86Z6hdFIAvJODu74YrmxcX8WttprHalY5N54aBV8GWt
+ugHp7+IEJhOgRny1y2+PdkmHORqzsaHPDTQfXag3rOn4aPD8gG73k75USCA2jg/i
+I5ocuTZF1lP6nBk3V/Pul1yt6SM5Aq5s980pZQIDAQABAoIBAClGwf2I2tfhWZbT
+/hdjtu6COPnz3bsJhGLJr8B/P1Jp+VsoziTssjctWzfae+IXv233s2AuW/MsFICB
+abc55kcwUd9MD1lg2P2dRtLEdQ8I/8nR8BBJHYV4SwbEkRSFVHK6rt9T4RlCwD90
+j/OOxJKlOUYtE4ArFCO0XdY+tBh6y2vLzeQcKpgCXkCe8m9IkPlMzFXP6Ib0eDiC
+ljgk8jiZr7rJF3gToJ6WRuIW16PJYOFGuC5v9/pMs3ershTnBZ9v9YbRLV7xvqmJ
+26UaEyPPuihui7hIzWhxkwHsbdC6JK/8TKpxWXdj06OYW0GMZyTWvT252qHbzBlP
+OYA2AgECgYEA7OZzaAcdE0OZpGLWnaxuCaUczXYwINdIbjAl/VVIyIV27ON+2XLZ
+BeVxt48Y1ZoyJsRM4mZ/gwXZk7cbqVZkroEaQVR9a53eFpbi6L0gv8fYlvVbvX5p
+iwrukspg3q7yegaDBJCwbElYzfMwG+NWJllIJXcJNe8qJ9Ts+wJwcLECgYEAz7vW
+9XFO0cNOW2Pmih/HFM3K5vXQkWYcIoafhmpi+KTGi1b72kMPLzK8pJ48LL7AnnW+
++KPX3HeOOoFST7RnTOKb8iy8dYvTbw4TEkix2+mWnTiiYmDEwaCZXQJtCV7RqI1a
+khAcaRw6/l/K97gvn+PJADQitQjYpkLxkR0aUPUCgYApLPj8KNhd488NqnxBFZpe
+pMs3zwYYfzLArC++M5ed+syr6fK/Wt3rz3CPhhi777wtzsrKQySAooCp0xbEvRZs
+2lW06zmNfff/FyTDbTQHAXZc7rKOYi14FGNZMkHaErBkk0MshPWVLL55tX40KrRr
+n/MRR/pa3IIIQFMcYdUnUQKBgGBpzQXTlgJzRB3Uiv5Wa16zeNWjBy9ElhBMLSQE
+onTGfUPUlkWh1B1Szg0VR9Z4ngutmHnsCVbQwllTBjHqB/u+PSS0MK/ZusMTZDSb
+OrlXe8jyrSM9yHQZprRtWM/9iw9Qs9WQ1q7OJG9FZH1+pdPus659hBJDzdG0xktU
+l481AoGAeWWY74TnlSb0b35LLkV2TvGWFUgrd+RlkA9VJYD5yFF6J9v5NZLNpE+b
+aphA2/aCy1QArs2cRiN/y4nu5ztwl649n5c6VJr4TSL45JhkXwJpXM34YjrsOuJb
+XogCAZFjTCu2V3hPdHsEEmrFWGtKlWf99iXAS86x4OxNzIhA9Y0=
+-----END RSA PRIVATE KEY-----
Index: examples/alumni_rt1_typed/Maryann_ID.pem
===================================================================
--- examples/alumni_rt1_typed/Maryann_ID.pem	(revision 10e1588c3bda3e12f9242c694c22b504101bae67)
+++ examples/alumni_rt1_typed/Maryann_ID.pem	(revision 10e1588c3bda3e12f9242c694c22b504101bae67)
@@ -0,0 +1,19 @@
+-----BEGIN CERTIFICATE-----
+MIIDCTCCAfGgAwIBAgIIAd9YH+tERIMwDQYJKoZIhvcNAQEFBQAwEjEQMA4GA1UE
+AxMHTWFyeWFubjAeFw0xMjAyMDgwNTA4NDVaFw0xNTAxMjMwNTA4NDVaMBIxEDAO
+BgNVBAMTB01hcnlhbm4wggEiMA0GCSqGSIb3DQEBAQUAA4IBDwAwggEKAoIBAQDQ
+HzgL/5cnHCl6w23HlBXxkZWtxOJ0goFgemTjzGl5yojz17Sxa23pejAr07c+k7/o
+ATyIA/ipHBjLJ/Q1ogz45/z4E03ymN+ZUviyMJFj4e2IORSC5mCYkj25M4nlOGyH
+UW/boaFVn1Fo2Wxui5fqQYS4EBsSGbFjq9euZxDUDnPOGeAVlHDuV5lvh0mJ85MF
+mM6Bv07/ZrNhKXHWKPzdhxmZagtZvObW6/j/NcMskf+Jfod+aj7rf3Fz9jTbfPoM
+geTEjFj6vDGkmRwJ4P7NroPwKCbCJSEnRrTvkrifaO+LzvcJmdQYgFj0mEORWmXT
+VfxNQuT0sk0uiI7BjdELAgMBAAGjYzBhMA8GA1UdEwEB/wQFMAMBAf8wDgYDVR0P
+AQH/BAQDAgEGMB0GA1UdDgQWBBROyoNFFGmCkIjIE+uLYXZcY8PS0zAfBgNVHSME
+GDAWgBROyoNFFGmCkIjIE+uLYXZcY8PS0zANBgkqhkiG9w0BAQUFAAOCAQEAGzUb
+Am1LwjRVaFM83lebheGbaeKfp+noI+8kGU36Tx14OcHQh+XI8emV9F+Zr42C5lC7
+I5G19mgfKtPsO7kDYadrPGdrVpGwGV6sktn+5FHpNhjALzduVQcgdKCpzJGLXQYw
+XznXDTxQy2itFD5F6D8n39e8zUYTLHfIv4CB8v207GAvTU/KBq/4MJdmiNoEmh/q
+Rj+e1kkfSnBuJjROUp4RzEfHgtiFof/4ELbyfd5iSs70ADjh1hiKN1AhkePzQLBt
+96cBvCLC3IVEx3LZ24OPZesDnwyBj7qt6ImciI8TBQBFo/Oc3UcrReeYkZtoRODY
+JU+TNuctTa+yxgCi0w==
+-----END CERTIFICATE-----
Index: examples/alumni_rt1_typed/Maryann_private.pem
===================================================================
--- examples/alumni_rt1_typed/Maryann_private.pem	(revision 10e1588c3bda3e12f9242c694c22b504101bae67)
+++ examples/alumni_rt1_typed/Maryann_private.pem	(revision 10e1588c3bda3e12f9242c694c22b504101bae67)
@@ -0,0 +1,27 @@
+-----BEGIN RSA PRIVATE KEY-----
+MIIEpQIBAAKCAQEA0B84C/+XJxwpesNtx5QV8ZGVrcTidIKBYHpk48xpecqI89e0
+sWtt6XowK9O3PpO/6AE8iAP4qRwYyyf0NaIM+Of8+BNN8pjfmVL4sjCRY+HtiDkU
+guZgmJI9uTOJ5Thsh1Fv26GhVZ9RaNlsbouX6kGEuBAbEhmxY6vXrmcQ1A5zzhng
+FZRw7leZb4dJifOTBZjOgb9O/2azYSlx1ij83YcZmWoLWbzm1uv4/zXDLJH/iX6H
+fmo+639xc/Y023z6DIHkxIxY+rwxpJkcCeD+za6D8CgmwiUhJ0a075K4n2jvi873
+CZnUGIBY9JhDkVpl01X8TULk9LJNLoiOwY3RCwIDAQABAoIBAQC4EqSTmB+sK7BU
+L/0sg8FUwxrLclOIENU064vIHsc7PPMcGDBsq0OvOK7aVIrCAhO9szpCYqDPkVYs
+eM35kbY/f4+yKgDLDILXLRdhIqu01+IqlbGahP/ycYW+A+N2pQz4MgLpEm+LNznd
+rk/FBhn6yrADy9rli2vlZ9t/GRE9O2KVg9ZrALGToOVmancEOP0CN+aO26ytHOv0
+CNTBx6AidHmdNpmDKqUZMGXfFmAatRh6MmFesvPFBytdbjzEpCy14FAVgOVJTePF
+mhiGJZaFbdDE2VGeihZjbof+eN2fCeIqYxEo8hBRfDxrfAZNFjKfWk0CoB5WTzJO
+smB+nvPBAoGBAO5ODYIBoOG5fKCpJyvPdOh5CMdhA1J6/rmu82wJggw50cmuhxt2
+EqDgB6hoS/RbD5x5h583ohiPSElEUtaOim9bXemIGhvhBsSpvTJRq+vFjjUUWriY
+szRVRKZ/FwSiTVMy1Y7FvTIVlbQUxGyL2L1k6Vc8OWkoDrOIMDVwXd+TAoGBAN+T
+atimlZKvbgUpcp+4w3Pkv3nE18b8PwVDY0wm8Somt7bnVaql3kf/K7CtiuQsBnrz
+OgpikbosQa8rnvEuijMYHKixIHMmKr3koHT/kbZuIQXMH5Wp/DGfjKreXOAQ7nNl
+cOuzetzlBeT8aMr8Z/2FtEwK9HTmG1sxDn2HP4OpAoGAYmcMoOB3RH5JfjYbHLYf
+ulcwTtQ6gPaU9KvPjI8oik/d1wAgfjB1ZMTdpKbcplxrx9tPK2nXn3ibCtYRttNJ
+Ss5ZqzMuRNDY8KB+paaf7U24eSach5lWdoe3P2E/agRzFaXqFXiFtYbAOIpSyde9
+egePaxxNQKTv3SahcY+i080CgYEAjx3u54C7foqOAv/lQBkmBKoJaAl5lwch0Fyy
+06yZ9EGUmKC9Vd+Xyr6tWQu+PRFxlILeRIeUgXiTE27476q7DLoCnnnEK/HiqmwP
+ytVOkVkuCmgAT+3gYmOfyEFPcp9kBLqK7laV75ErlMl+y3GHn+JW59abZblnCZj9
+jZ1mKwECgYEA6z9gdG2XxVb2acf5JRSMBKE5Ly8GNjXGoLzV/xUoVo9NGkG6hhXy
+r+RRt6wpIcM4gFiVYd45NUuoHl1K/kL35gT5FxlhUyP3afPuiGa75wmiS5WP8ovy
+ht+wxmZOkstC63jw+qGm5LvAtjAMPfrPk/Z9EUNUaXseflOsTaN930E=
+-----END RSA PRIVATE KEY-----
Index: examples/alumni_rt1_typed/README
===================================================================
--- examples/alumni_rt1_typed/README	(revision 10e1588c3bda3e12f9242c694c22b504101bae67)
+++ examples/alumni_rt1_typed/README	(revision 10e1588c3bda3e12f9242c694c22b504101bae67)
@@ -0,0 +1,69 @@
+#!/bin/sh
+
+rm -rf *.der *.pem
+# [keyid:stateU].role:foundingAlumni <-?- [keyid:Bob] (yes)
+# [keyid:stateU].role:foundingAlumni <-?- [keyid:Maryann] (yes)
+
+creddy --generate --cn StateU
+creddy --generate --cn Bob
+creddy --generate --cn Maryann
+creddy --generate --cn Joe
+
+stateU_keyid=`creddy --keyid --cert StateU_ID.pem`
+bob_keyid=`creddy --keyid --cert Bob_ID.pem`
+maryann_keyid=`creddy --keyid --cert Maryann_ID.pem`
+joe_keyid=`creddy --keyid --cert Joe_ID.pem`
+
+diploma_q_qY="diploma(?, [integer:?Year[1955..1958])"
+
+diploma_m="diploma([string:'mathmatics'],[integer:1960])"
+diploma_z="diploma([string:'zoology'],[integer:1955])"
+diploma_p="diploma([string:'psychology'],[integer:1956])"
+
+# [keyid:stateU].role:foundingAlumni 
+#                   <- [keyid:stateU].role:diploma(?, [integer:?Year[1955..1958])
+creddy --attribute \
+       --issuer StateU_ID.pem --key StateU_private.pem --role "foundingAlumni" \
+       --subject-cert StateU_ID.pem --subject-role "$diploma_q_qY" \
+       --out StateU_foundingAlumni__stateU_diploma_q_qY_attr.der
+
+# [keyid:stateU].role:diploma([string:'mathmatics'],[integer:1960]) <- [keyid:bob]
+creddy --attribute \
+        --issuer StateU_ID.pem --key StateU_private.pem --role "$diploma_m" \
+        --subject-cert Bob_ID.pem \
+        --out StateU_diploma_m__Bob_attr.der
+
+# [keyid:stateU].role:diploma([string:'zoology'],[integer:1955]) <- [keyid:joe]
+creddy --attribute \
+        --issuer StateU_ID.pem --key StateU_private.pem --role "$diploma_z" \
+        --subject-cert Joe_ID.pem \
+        --out StateU_diploma_m__Joe_attr.der
+
+# [keyid:stateU].role:diploma([string:'psychology'],[integer:1956]) <- [keyid:maryann]
+creddy --attribute \
+        --issuer StateU_ID.pem --key StateU_private.pem --role "$diploma_p" \
+        --subject-cert Maryann_ID.pem \
+        --out StateU_diploma_m__Maryann_attr.der
+
+
+#####################################################################
+# stateU.foundingAlumni <- stateU.diploma(?, ?Year:[1955..1958])
+# [keyid:stateU].role:foundingAlumni 
+#                   <- [keyid:stateU].role:diploma(?, [integer:?Year:[1955..1958])
+# 
+# stateU.diploma(mathmatics,1960)<-bob
+# [keyid:stateU].role:diploma([string:'mathmatics'],[integer:1960]) <- [keyid:bob]
+# 
+# stateU.diploma(zoology,1955)<-joe
+# [keyid:stateU].role:diploma([string:'zoology'],[integer:1955]) <- [keyid:joe]
+#
+# stateU.diploma(psychology,1956)<-maryann
+# [keyid:stateU].role:diploma([string:'psychology'],[integer:1956]) <- [keyid:maryann]
+#
+# query,
+# stateU.foundingAlumni<-?-bob  bad
+# [keyid:stateU].role:foundingAlumni <- [keyid:bob]
+# 
+# stateU.foundingAlumni<-?-maryann  good
+# [keyid:stateU].role:foundingAlumni <- [keyid:maryann]
+#
Index: examples/alumni_rt1_typed/StateU_ID.pem
===================================================================
--- examples/alumni_rt1_typed/StateU_ID.pem	(revision 10e1588c3bda3e12f9242c694c22b504101bae67)
+++ examples/alumni_rt1_typed/StateU_ID.pem	(revision 10e1588c3bda3e12f9242c694c22b504101bae67)
@@ -0,0 +1,19 @@
+-----BEGIN CERTIFICATE-----
+MIIDCDCCAfCgAwIBAgIJAKo1FA/FDmq9MA0GCSqGSIb3DQEBBQUAMBExDzANBgNV
+BAMTBlN0YXRlVTAeFw0xMjAyMDgwNTA4MzhaFw0xNTAxMjMwNTA4MzhaMBExDzAN
+BgNVBAMTBlN0YXRlVTCCASIwDQYJKoZIhvcNAQEBBQADggEPADCCAQoCggEBANx5
+JJ/uzEGsaarFFxe91UMBgAd/kO6bjhSoMvy3Wh3T3lXGKW12Qb12i9BR1nqnFz8A
+1S6KKs6cW51xohTFqHtprMKTIm0EbJq4X4BHGOvZmLnyzkPTbfayId9gg1/JC7Mh
+e7FRL25C5sCHytceORO9zmUdiO0CHDabvV3KISFziruIoLKme7WieEoWX7sQJ/jJ
+Pgvbog+nPuaPSHSULGsW30mPJ+CX8nOKJXqo5eLNMVeI2vM9L5pSLxHJlC234NBk
+8Pta66bxWcLl1IYIdnxHEsnUaRmWj0kYSh1NmZ1LKC7Zla0pDiY3hJPN3rrDIaVj
+bnxahkZyut17P9xwjnECAwEAAaNjMGEwDwYDVR0TAQH/BAUwAwEB/zAOBgNVHQ8B
+Af8EBAMCAQYwHQYDVR0OBBYEFOkmSknJuEAMyLvwstHV2fuJNaYkMB8GA1UdIwQY
+MBaAFOkmSknJuEAMyLvwstHV2fuJNaYkMA0GCSqGSIb3DQEBBQUAA4IBAQBKeiSO
+GXL1gUy4O22+tOzXAEHpHUY+SWTmQI5v3t7LKklsEiE4NdBVFEDEGKx2G6kDqush
+nZVfXnvePKC4n37jW+OCbVsRlunsewulnFh8PDfeeKxTU/hDtwoMg3M+HHB1Z9Ii
+tIvJPQ5b2HwscOyDNnMBtsHw3X+Y0RdvoeGCwehEJea2ayRb3JKWyLmu05XghsxM
+KC5y5PZARr01UGZoAJi+kRUhKemOk97f+h6fm7lFTAR0A/pxgi+Mmb0N4SYHJR4V
+/dMUG18qPpUTxRZif0pVtGfdj0ncSnRElIVW5gEiPYdDWAzJKP82jOREfxVsLUPH
+kB+z5nJvYyFYhQsG
+-----END CERTIFICATE-----
Index: examples/alumni_rt1_typed/StateU_private.pem
===================================================================
--- examples/alumni_rt1_typed/StateU_private.pem	(revision 10e1588c3bda3e12f9242c694c22b504101bae67)
+++ examples/alumni_rt1_typed/StateU_private.pem	(revision 10e1588c3bda3e12f9242c694c22b504101bae67)
@@ -0,0 +1,27 @@
+-----BEGIN RSA PRIVATE KEY-----
+MIIEpAIBAAKCAQEA3Hkkn+7MQaxpqsUXF73VQwGAB3+Q7puOFKgy/LdaHdPeVcYp
+bXZBvXaL0FHWeqcXPwDVLooqzpxbnXGiFMWoe2mswpMibQRsmrhfgEcY69mYufLO
+Q9Nt9rIh32CDX8kLsyF7sVEvbkLmwIfK1x45E73OZR2I7QIcNpu9XcohIXOKu4ig
+sqZ7taJ4ShZfuxAn+Mk+C9uiD6c+5o9IdJQsaxbfSY8n4Jfyc4oleqjl4s0xV4ja
+8z0vmlIvEcmULbfg0GTw+1rrpvFZwuXUhgh2fEcSydRpGZaPSRhKHU2ZnUsoLtmV
+rSkOJjeEk83eusMhpWNufFqGRnK63Xs/3HCOcQIDAQABAoIBAQChevVRUrU2MNLg
+KiUE1ZyazEF6vHtp2HNTO/LEWILfr+t7xX1YWDJEU8yJ0zcVdMa49aIuyTIbTDhp
+8+2z6yXA5qCLjvq7AG+PTxVbvjdJn4GWSHm9AeHbu5LFqknu4TD5jb+sGvtzdfrO
+72ao8tD5XZ8LPnuopFAHy0ACruZfOYXPv+Lc72v/BCRe5dRTJLKat6XN6Knby4Vg
+lVivRYi06PRW0bOk8I/jqINJ7Mv67ngJGvKghmkFmimfeS/Oh7sPeyCqEXcN57dV
+ViTRZtqPl3J3NnTyUW/Hlo8AYIJr3tLfeR35gJDFIvSvrwKsOiCby4gJeuGvcDif
+SYroFOnxAoGBAPrL7EtiHMaLtVgpJ/ZmAgMKfj3M8p/I7SBvqTW6yZbAarI3dd4D
+yw5Vq25no3IpD9aA8SlJzgHX4E6MUt58L+k2tvtVl/bKQsJSoDan+tJAKoyitxZM
+C4bC3ZOPBwCfyiC36LapaGEerVehVa299lHI/lrheq8DRPvHPHM89EIFAoGBAOEM
+KTkaUaETlwo21s+N5Cr14tncDRQmml6RuJGUFvIhuPl2Wjvppv5+Xf4l138F04vq
+taWUX4nwW4jzp4itYQaz7xlIdiLX1dfBxut5OaKvkKIgmmRZtBaCBmQcHYyDiYl5
+8C+k86TgZTZCyLtV2ZSgDzD23LsQX/rPmb7nEap9AoGALG3XzHrzEhFJ7PZNiA8G
+KDfBqX0XNktIBskBNu2CLNylijDdBpmxbTasCgD+KYkwrxVko6XZguYVbJTbUWK6
+shvpSpkdNLEcJoSwsT4M5xZK82MYADE0kYkP68YYvXmROz6ZUVKtlRb0KmQAY6kV
+a+Ope7waGcsAe4IOKXQQ6WkCgYEAwhPAwTQHTYgda3ubiObu7HWcqxDwXn5kBkZZ
+C4LQvwOCB/CfJKf9kd/coz5zN2II69L/z8nDEqwr5FFsG5yZ3jPycLVi2+2Sxzyf
+lZa3s6sAajD/tKb/faGobVEp0nHlfJ+iGRSB4aB66G5zucrxlxDpyOo7tT8L5rp9
+9npDa+kCgYBkegM6rDcvArBbvxVnrDhX5HN5No67OlQ6YHmb1TGnmRWqer0n1hK3
+kqRBhnP4Iie68ou6ctNo4+OBsyL5BqGG0rVU7aj4XXWnhM8G3bzTYigisKOsRf/2
+OV5GheiD5yDrcksvjSycJozNZJnEFmYhECoYjhFizy+94FpbEGexAw==
+-----END RSA PRIVATE KEY-----
Index: examples/alumni_rt1_typed/rr
===================================================================
--- examples/alumni_rt1_typed/rr	(revision 10e1588c3bda3e12f9242c694c22b504101bae67)
+++ examples/alumni_rt1_typed/rr	(revision 10e1588c3bda3e12f9242c694c22b504101bae67)
@@ -0,0 +1,30 @@
+rm -rf creds_dump
+
+eloc=/home/mei/Deter/abac/libabac
+keyloc=/home/mei/Deter/abac/examples/alumni_rt1_typed
+
+stateU=`creddy --keyid --cert $keyloc/StateU_ID.pem`
+bob=`creddy --keyid --cert $keyloc/Bob_ID.pem`
+maryann=`creddy --keyid --cert $keyloc/Maryann_ID.pem`
+joe=`creddy --keyid --cert $keyloc/Joe_ID.pem`
+
+stateU_foundingAlumni="[keyid:$stateU].role:FoundingAlumni"
+bob_prin="[keyid:$bob]"
+maryann_prin="[keyid:$maryann]"
+joe_prin="[keyid:$joe]"
+
+# [keyid:stateU].role:foundingAlumni <-?- [keyid:Bob] (no)
+# [keyid:stateU].role:foundingAlumni <-?- [keyid:Maryann] (yes)
+
+## dump all credentials
+$eloc/abac_prover_yap  --keystore $keyloc --dump creds_dump
+
+# [keyid:stateU].role:foundingAlumni <-?- [keyid:Bob] (yes)
+echo "===bad============ stateU.foundingAlumni <- Bob yap "
+$eloc/abac_prover_yap  --keystore $keyloc --role "$stateU_foundingAlumni" --principal "$bob_prin"
+
+# [keyid:stateU].role:foundingAlumni <-?- [keyid:Maryann] (yes)
+echo "===good============ stateU.foundingAlumni <- Maryann yap "
+$eloc/abac_prover_yap  --keystore $keyloc --role "$stateU_foundingAlumni" --principal "$maryann_prin"
+
+
