Compact syntax of the section 29 example

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

Dear all,

please find in attachment the example Section 29 in the compact syntax 
where are eliminated all the edges.
This is a non-normalized format.

Yours,
Monica

<?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";>
	<!ENTITY defeasible-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="http://docs.oasis-open.org/legalruleml/ns/v1.0/ ../../schemas/xsd/lrml4xsd.xsd" xmlns="&base;#" xmlns:lrml="http://docs.oasis-open.org/legalruleml/ns/v1.0/"; xmlns:ruleml="http://ruleml.org/spec"; 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:Associations>
			<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:toTarget keyref="#ps1"/>
			</lrml:Association>
		</lrml:Associations>
		<lrml:toStatement keyref="#ps1"/>
	</lrml:Context>
	<!--       (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:Overrides over="#ps2" under="#ps1"/>
		<!--     rule1   It is forbidden to engage credit activity  -->
		<lrml:PrescriptiveStatement key="ps1">
			<ruleml:Rule key=":rule1" closure="universal" strength="&defeasible-ontology;#defeasible">
				<ruleml:if>
					<ruleml:Atom>
						<ruleml:Rel iri="#person"/>
						<ruleml:Var>X</ruleml:Var>
					</ruleml:Atom>
				</ruleml:if>
				<ruleml:then>
					<lrml:SuborderList>
						<lrml:Prohibition>
							<ruleml:Atom>
								<ruleml:Rel iri="#engageCreditActivity"/>
								<ruleml:Var>X</ruleml:Var>
							</ruleml:Atom>
						</lrml:Prohibition>
					</lrml:SuborderList>
				</ruleml:then>
			</ruleml:Rule>
		</lrml:PrescriptiveStatement>
		<!--       rule2     A person can engage in a credit activity if the person hold a licence -->
		<lrml:PrescriptiveStatement key="ps2">
			<ruleml:Rule key=":rule2" closure="universal">
				<lrml:Defeasible/>
				<ruleml:if>
					<ruleml:Atom>
						<ruleml:Rel iri="#hasLicence"/>
						<ruleml:Var>X</ruleml:Var>
					</ruleml:Atom>
				</ruleml:if>
				<ruleml:then>
					<lrml:SuborderList>
						<lrml:Permission>
							<ruleml:Atom>
								<ruleml:Rel iri="#engageCreditActivity"/>
								<ruleml:Var>X</ruleml:Var>
							</ruleml:Atom>
						</lrml:Permission>
					</lrml:SuborderList>
				</ruleml:then>
			</ruleml:Rule>
		</lrml:PrescriptiveStatement>
		<!-- Penalty block LRML-Normlized Version -->
		<lrml:Penalty key="pen1">
			<lrml:SuborderList>
				<lrml:Obligation>
					<ruleml:Atom>
						<ruleml:Rel iri="#payCivilUnits"/>
						<ruleml:Var>X</ruleml:Var>
						<ruleml:Ind>2000</ruleml:Ind>
					</ruleml:Atom>
				</lrml:Obligation>
			</lrml:SuborderList>
		</lrml:Penalty>
		<lrml:Penalty key="pen2">
			<lrml:SuborderList>
				<lrml:Obligation>
					<ruleml:Atom>
						<ruleml:Rel iri="#payPenalUnits"/>
						<ruleml:Var>X</ruleml:Var>
						<ruleml:Ind>200</ruleml:Ind>
					</ruleml:Atom>
				</lrml:Obligation>
				<lrml:Obligation>
					<ruleml:Atom>
						<ruleml:Rel iri="#imprisonment"/>
						<ruleml:Var>X</ruleml:Var>
						<ruleml:Ind>2 months</ruleml:Ind>
					</ruleml:Atom>
				</lrml:Obligation>
				<lrml:Obligation>
					<ruleml:Atom>
						<ruleml:Rel iri="#payPebnalUnitPlusImprisonment"/>
						<ruleml:Var>X</ruleml:Var>
						<ruleml:Ind>200</ruleml:Ind>
						<ruleml:Ind>2 months</ruleml:Ind>
					</ruleml:Atom>
				</lrml:Obligation>
			</lrml:SuborderList>
		</lrml:Penalty>
		<!-- Reparation block LRML-Normlized Version -->
		<lrml:Reparation key="rep1">
			<lrml:Association key="assoc1">
				<lrml:appliesPenalty keyref="#pen1"/>
				<lrml:toTarget keyref="#ps1"/>
			</lrml:Association>
		</lrml:Reparation>
		<lrml:Reparation key="rep2">
			<lrml:Association keyref="assoc1">
				<lrml:appliesPenalty keyref="#pen2"/>
				<lrml:toTarget keyref="#ps1"/>
			</lrml:Association>
		</lrml:Reparation>
	</lrml:Statements>
</lrml:LegalRuleML>