Samples to be discussed in this evening TC meeting

Dear LegalRuleMLs,

I have formalized other selected examples from the smoking corpus. Please find them in attachment. The attached file includes both the new examples (to be validated) and the old ones (that we have validated last week).

In the middle of the file you find a string “” to distinguish the new part from the old one.

And these are my comments and questions, i.e., the object of the tonight discussion. It would be nice if you can have a read and already think a bit about them prior the meeting.

See you tonight!

Livio

========================================================================================================

COMMENT #1:

As agreed last time, I've added a constitutive rule modeling https://www.legislation.gov.uk/asp/2016/3/enacted/data.akn#schedule-paragraph-4-1: "The fixed penalty for an offence under section 1 is £100.":

<ruleml:if>

<ruleml:Atom>

<ruleml:Rel>Pay</ruleml:Rel>

<ruleml:Var keyRef="#adult"/>

<ruleml:Ind>£100</ruleml:Ind>

</ruleml:Atom>

</ruleml:if>

<ruleml:then>

<ruleml:Atom>

<ruleml:Rel>Pay</ruleml:Rel>

<ruleml:Var keyRef="#adult"/>

<ruleml:Var keyRef="#fixedpenalty"/>

</ruleml:Atom>

</ruleml:then>

========================================================================================================

COMMENT #2:

In schedule_paragraph_6_1_Statements, I introduced two individuals of the class Notice:

<ruleml:Atom>

<ruleml:Rel>Notice</ruleml:Rel>

<ruleml:Var key=":fpNotice">fpNotice</ruleml:Var>

</ruleml:Atom>

and

<ruleml:Atom>

<ruleml:Rel>Notice</ruleml:Rel>

<ruleml:Var key=":rhNotice">rhNotice</ruleml:Var>

</ruleml:Atom>

The first is "fixed penalty notice" while the second one is "request hearing notice"

========================================================================================================

QUESTION #1:

The following: "For the purposes of this paragraph and unless the contrary is proved, the sending of a notice by post is deemed to have been effected at the time

at which the notice would be delivered in the ordinary course of post." has been formalized as:

<lrml:ConstitutiveStatement key="schedule_paragraph_6_3_ConstitutiveStatement1">

<ruleml:Rule>

<ruleml:if>

<ruleml:Atom>

<ruleml:Rel>EstimatedTimeOfOrdinaryPostDelivery</ruleml:Rel>

<ruleml:Var key=":time">time</ruleml:Var>

</ruleml:Atom>

</ruleml:if>

<ruleml:then>

<ruleml:Atom>

<ruleml:Rel>IsTimeOf</ruleml:Rel>

<ruleml:Var keyRef="#time"/>

<ruleml:Var keyRef="#rhNotice"/>

</ruleml:Atom>

</ruleml:then>

</ruleml:Rule>

</lrml:ConstitutiveStatement>

But two meetings ago you told me I should add this:

<lrml:Context key="ruleInfo2">

<lrml:appliesStrength iri="lmrlmm:defeasible"/>

<lrml:inScopekey ref="#schedule_paragraph_6_3_ConstitutiveStatement1"/>

</lrml:Context>

I don't remember why... because there is written "unless the contrary is proved"?

Anyway, you also told me that "lmrlmm" is the prefix of the LegalRuleML meta-model. In the core specifications I found:

"xmlns:lmrlmm for http://docs.oasis-open.org/legalruleml/ns/mm/v1.0/". So, should I write this somewhere?

========================================================================================================

QUESTION #2:

In schedule-paragraph-6-4-b, there is written "the person authorised for the purpose by the local authority of the area in which the offence was committed

must notify the procurator fiscal of the request"

=> I don't understand much this norm, not even the English... what is a "person authorised for the purpose"? Adam?

=> I formalized this (note that "procuratorFiscal" is a constant, not a variable):

<ruleml:Atom>

<ruleml:Rel>Notify</ruleml:Rel>

<ruleml:Var key=":personResponsibleOfTheArea">personResponsibleOfTheArea</ruleml:Var>

<ruleml:Ind>procuratorFiscal</ruleml:Ind>

</ruleml:Atom>

<ruleml:Atom>

<ruleml:Rel>AuthorizedBy</ruleml:Rel>

<ruleml:Var keyRef="#personResponsibleOfTheArea"/>

<ruleml:Var keyRef="#localauthority"/>

</ruleml:Atom>

=> Then there is written "the period for payment of the fixed penalty must be calculated so that the period beginning with the giving of the notice

under this paragraph and ending with the receipt by the person who gave that notice of the decision reached at the hearing is left out of account."

But who must calculate this period? I.e., who is the bearer of this obligation? I put the local authority:

<ruleml:Atom>

<ruleml:Rel>Calculate</ruleml:Rel>

<ruleml:Var keyRef="#localauthority"/>

<ruleml:Var key=":periodOfPayment">periodOfPayment</ruleml:Var>

</ruleml:Atom>

=> Then, as we agreed last time, I added a constitutive rule defining the period of payment.

Note that I added:

<ruleml:Atom>

<ruleml:Rel>HearingDecision</ruleml:Rel>

<ruleml:Var keyRef="#hearingDecision"/>

</ruleml:Atom>

which is the "twin" of this predicate, used in a previous formula:

<ruleml:Atom>

<ruleml:Rel>HearingRequest</ruleml:Rel>

<ruleml:Var keyRef="#hearingRequest"/>

</ruleml:Atom>

Also the other predicates ("Notice", "IsAbout", "HearingDecision", etc.") are build specularly to the ones used in the previous formula.

=> On the other hand, I have troubles in understanding the English of "the person who gave that notice of the decision reached at the hearing is left out of account."

What does "is left out of account" exactly mean? Adam?

========================================================================================================

legalruleml message