New example: section 29

[monica.palmirani <monica.palmirani@unibo.it>]

Dear all,

Guido and I have made the example "Section 29" with the deontic 
operators (penalty, reparation) that you can see in attachment for the 
discussion of today.

Yours,
Monica

--
===================================
Associate professor of Legal Informatics
School of Law
Alma Mater Studiorum Università di Bologna
C.I.R.S.F.I.D. http://www.cirsfid.unibo.it/
Palazzo Dal Monte Gaudenzi - Via Galliera, 3
I - 40121 BOLOGNA (ITALY)
Tel +39 051 277217
Fax +39 051 260782
E-mail  monica.palmirani@unibo.it
====================================

<?xml version="1.0"?>
<!DOCTYPE RDF [
	<!ENTITY base "http://docs.oasis-open.org/legalruleml/examples/approved/ex2.1.8-defeasible";>
	<!ENTITY lrml "http://docs.oasis-open.org/legalruleml/ns/v1.0";>
	<!ENTITY lrmlv "http://docs.oasis-open.org/legalruleml/ns/v1.0/vocab";>
	<!ENTITY rulemlmm "http://ruleml.org/1.0/metamodel";>
	<!ENTITY ruleml "http://ruleml.org/spec";>
	<!ENTITY xs "http://www.w3.org/2001/XMLSchema";>
	<!ENTITY deontic-ontology "http://example.org/deontic/vocab";>
]>
<?xml-model href="../../schemas/relaxng/lrml-ordered-all.rnc" type="application/relax-ng-compact-syntax"?>
<lrml:LegalRuleML xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"; xsi:schemaLocation="&lrml;/ ../../schemas/rsd/lrml4xsd.xsd" xmlns="&base;#" xmlns:lrml="&lrml;/" xmlns:ruleml="&ruleml;" xmlns:rulemlmm="&rulemlmm;#" xml:base="&base;">
	<lrml:LegalSources>
		<lrml:LegalSource key="ls1" sameAs="http://www.comlaw.gov.au/Details/C2009A00134/Html/Text#param43"/>
	</lrml:LegalSources>
	<!--                    This Division applies on or after 1 July 2011, or a later day prescribed by the regulations.

-->
	<lrml:Context key="psInfo1">
		<lrml:appliesAssociation>
			<lrml:Association>
				<lrml:appliesSource keyref="#ls1"/>
				<lrml:toTarget keyref=":atom1"/>
				<lrml:toTarget keyref=":atom2"/>
				<lrml:toTarget keyref=":atom3"/>
			</lrml:Association>
			<lrml:Association>
				<lrml:appliesModality iri="&deontic-ontology;#ob1"/>
				<lrml:toTarget keyref="#oblig1"/>
			</lrml:Association>
			<lrml:Association>
			<lrml:appliesStrength iri="&defeasible-ontology;#defeasible"/>
			<lrml:toStatement keyref="#ps1"/>
			</lrml:Association>
		</lrml:appliesAssociation>
		<lrml:toStatement keyref="#ps1"/>
	</lrml:Context>
	<lrml:hasStatements>
		<!--       (1)  A person must not engage in a credit activity if the person does not hold a licence authorising the person to engage in the credit activity.
-->
		<lrml:Statements key="textblock1">
		<lrml:hasQualification>
				<lrml:Overrides over="#ps2" under="#ps1"/>
			</lrml:hasQualification>
			<lrml:hasStatement>
				<!--     rule1   It is forbidden to engage credit activity  -->
				<lrml:PrescriptiveStatement key="ps1">
					<lrml:hasTemplate>
						<ruleml:Rule key=":rule1" closure="universal" strenght="defeasible">
							<ruleml:if>
								<ruleml:Atom>
									<ruleml:Rel iri="#person"/>
									<ruleml:Var>X</ruleml:Var>
								</ruleml:Atom>
							</ruleml:if>
							<ruleml:then>
								<lrml:Suborder>
									<lrml:Prohibition>
										<ruleml:Atom>
											<ruleml:Rel iri="#engageCreditActivity"/>
											<ruleml:Var>X</ruleml:Var>
										</ruleml:Atom>
									</lrml:Prohibition>
								</lrml:Suborder>
							</ruleml:then>
						</ruleml:Rule>
					</lrml:hasTemplate>
				</lrml:PrescriptiveStatement>
			</lrml:hasStatement>
			<lrml:hasStatement>
				<!--       rule2     A person can engage in a credit activity if the person hold a licence -->
				<lrml:PrescriptiveStatement key="ps2">
					<lrml:hasTemplate>
						<ruleml:Rule key=":rule2" closure="universal" strenght="defeasible">
							<ruleml:if>
								<ruleml:Atom>
									<ruleml:Rel iri="#hasLicence"/>
									<ruleml:Var>X</ruleml:Var>
								</ruleml:Atom>
							</ruleml:if>
							<ruleml:then>
								<lrml:Suborder>
									<lrml:Permission>
										<ruleml:Atom>
											<ruleml:Rel iri="#engageCreditActivity"/>
											<ruleml:Var>X</ruleml:Var>
										</ruleml:Atom>
									</lrml:Permission>
								</lrml:Suborder>
							</ruleml:then>
						</ruleml:Rule>
					</lrml:hasTemplate>
				</lrml:PrescriptiveStatement>
			</lrml:hasStatement>
			<!-- Penalty block LRML-Normlized Version -->
			<lrml:Penalty key="pen1">
				<lrml:Suborder>
					<lrml:Obligation>
						<ruleml:Rel iri="#payCivilUnits"/>
						<ruleml:Var>X</ruleml:Var>
						<ruleml:Ind>2000</ruleml:Ind>
					</lrml:Obligation>
				</lrml:Suborder>
			</lrml:Penalty>
			<lrml:Penalty key="pen2">
				<lrml:Suborder>
					<lrml:Obligation>
						<ruleml:Rel iri="#payPenalUnits"/>
						<ruleml:Var>X</ruleml:Var>
						<ruleml:Ind>200</ruleml:Ind>
					</lrml:Obligation>
					<lrml:Obligation>
						<ruleml:Rel iri="#imprisonment"/>
						<ruleml:Var>X</ruleml:Var>
						<ruleml:Ind>2 months</ruleml:Ind>
					</lrml:Obligation>
					<lrml:Obligation>
						<ruleml:Rel iri="#payPebnalUnitPlusImprisonment"/>
						<ruleml:Var>X</ruleml:Var>
						<ruleml:Ind>200</ruleml:Ind>
						<ruleml:Ind>2 months</ruleml:Ind>
					</lrml:Obligation>
				</lrml:Suborder>
			</lrml:Penalty>
			<!-- Reparation block LRML-Normlized Version -->
			<lrml:hasStatement>
				<lrml:Reparation key="rep1">
					<lrml:appliesAssociation>
						<lrml:Association key="assoc1">
							<lrml:appliesPenalty keyref="#pen1"/>
							<lrml:toTarget keyref="#ps1"/>
						</lrml:Association>
					</lrml:appliesAssociation>
				</lrml:Reparation>
			</lrml:hasStatement>
			<lrml:hasStatement>
				<lrml:Reparation key="rep2">
					<lrml:appliesAssociation>
						<lrml:Association key="assoc1">
							<lrml:appliesPenalty keyref="#pen2"/>
							<lrml:toTarget keyref="#ps1"/>
						</lrml:Association>
					</lrml:appliesAssociation>
				</lrml:Reparation>
			</lrml:hasStatement>
		</lrml:Statements>
	</lrml:hasStatements>
</lrml:LegalRuleML>