| changeset 65 | 8d3c4efb91b3 |
| parent 62 | e8071a3f13b2 |
| child 127 | 56cf3a9a2693 |
| 64:d53d7d61f37b | 65:8d3c4efb91b3 |
|---|---|
113 val Policy_Lib = And(Chr_Staff, AtLib) -> Email |
113 val Policy_Lib = And(Chr_Staff, AtLib) -> Email |
114 val HoD_says = Says(HoD, Chr_Staff) |
114 val HoD_says = Says(HoD, Chr_Staff) |
115 |
115 |
116 run (Judgement (List(AtLib, Policy_HoD, Policy_Lib, HoD_says), Email)) |
116 run (Judgement (List(AtLib, Policy_HoD, Policy_Lib, HoD_says), Email)) |
117 |
117 |
118 // consider the cases for true and false |
118 |