l4-jerseyCharities/live.l4 at main · legalese/l4-jerseyCharities · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37

// livecoding session putting things in approximately propositional style.


@ref url https://www.jerseylaw.je/laws/current/l_41_2014
// (2) The Commissioner may do anything
//        (other than acting as a governor of a charity
//                                      or of an entity with charitable purposes)
//     that    is calculated to facilitate,
//          or is conducive or incidental to,
//          the performance of any of his or her functions.

§ `4 General functions of Commissioner`
§§ `4.2`

DECLARE Actors IS ONE OF Commissioner
DECLARE Action
   HAS `calculated to facilitate`                                    IS A BOOLEAN
       `conducive`                                                   ^  ^ ^
       `incidental`                                                  ^  ^ ^
       `to the performance of any of his or her functions`           ^  ^ ^
       `acting as a governor of a charity`                           ^  ^ ^
       `acting as a governor of an entity with charitable purposes`  ^  ^ ^

rule2 MEANS
 PARTY Commissioner
  MUST action
   PROVIDED `is allowed` action

GIVEN action IS AN Action
`is allowed` action MEANS
                     action's `calculated to facilitate`
            OR       ^     ^     `conducive`
                  OR ^     ^     `incidental`
                AND  ^     ^  `to the performance of any of his or her functions`
       AND NOT      action's `acting as a governor of a charity`
               OR   action's `acting as a governor of an entity with charitable purposes`