we need BoolStruct of Regulative Rules

[mengwong]

what if

PARTY Doggo
      MUST Forever     Be a Good Boy
  AND MAY  today       Beg for food
  AND MUST for 1 week  Come when called

our underlying logic allows subcontracts to be connected via AND and OR. How do we express this at the top level?

[mengwong]

have made some progress toward this, we have a boolstruct of paramtext so you can say MUST (do x AND do y)
but we do not have a full boolstruct of (MUST and MAY) yet.

[mengwong]

i suppose a boolstruct of deontic would be relatively straightforward, but we would need to think about the semantics. How would this turn into a petri net, process algebra, etc.