NyOn: A Multilingual Legal Ontology for Globalized Judicial System
type: Ontology
publisher: projects
created: 2020-04-04
creator: Harde, Pooja
creator: Jain, Sarika
creator: Mihindukulasooriya, Nandana
description: An ontology that represents concepts in the legal domain.
license: cc-by4.0
modified: 2020-07-16
preferred namespace prefix: nyon
version info: 1.0

OfDomain
type: ObjectProperty
sub property of: topObjectProperty
domain: CaseType
range: CaseDomain
comment: specifies the law domain (nyon:CaseDomain) the court case (nyon:CourtCase) belongs to

appellantArgument
type: ObjectProperty
sub property of: makeArgument
domain: Argument
range: Appellant
comment: specifies the argument made by the appellant (nyon:Appellant) of nyon:CourtCase

citedBy
type: ObjectProperty
inverse of: cites
type: ReflexiveProperty
domain: CourtCase
range: CourtCase
comment: specifies the nyon:CourtCase being cited by nyon:CourtCase

cites
type: ObjectProperty
type: FunctionalProperty
type: ReflexiveProperty
domain: CourtCase
range: CourtCase
comment: specifies the nyon:CourtCase is citing another nyon:CourtCase

defendantArgument
type: ObjectProperty
sub property of: makeArgument
domain: Argument
range: Defendant
comment: specifies the argument made by the defendant (nyon:Defendant) of nyon:CourtCase

hasAuthor
type: ObjectProperty
domain: CourtCase
range: Author
comment: specifies an author (nyon:Author) (any judge (nyon:Judge) from the bench) of the nyon:CourtCase

hasBench
type: ObjectProperty
sub property of: topObjectProperty
domain: CourtCase
range: Bench
comment: specifies the bench associated with nyon:Bench of the nyon:CourtCase

hasCourtLoc
type: ObjectProperty
sub property of: topObjectProperty
domain: Court
range: Location
comment: specifies the location of the nyon:Court

hasCourtOfficial
type: ObjectProperty
sub property of: topObjectProperty
domain: CourtCase
range: CourtOfficial
comment: specifies the court official represented with nyon:CourtOfficial connected to the nyon:CourtCase

hasDateOfJudgment
type: ObjectProperty
sub property of: topObjectProperty
domain: Court
range: DateofJudgment
comment: specifies the date of the judgment of the nyon:CourtCase

hasEvidence
type: ObjectProperty
sub property of: topObjectProperty
domain: CourtCase
range: Evidence
comment: specifies the evidence associated with the nyon:Evidence instance for the nyon:CourtCase

hasEvidenceLoc
type: ObjectProperty
sub property of: topObjectProperty
domain: Evidence
range: Location
comment: specifies the evidence location associated with the nyon:Evidence instance for the nyon:CourtCase

hasFact
type: ObjectProperty
sub property of: topObjectProperty
domain: CourtCase
range: Fact
comment: specifies the fact associated with nyon:Fact belonging to a specific nyon:CourtCase

hasFinalDecision
type: ObjectProperty
sub property of: topObjectProperty
domain: CourtCase
range: CourtDecision
comment: specifies the final verdict associated with the nyon:CourtCase

hasIssue
type: ObjectProperty
type: FunctionalProperty
domain: CourtCase
range: Issue
comment: specifies the issue associated with the nyon:Issue instance mentioned in the nyon:CourtCase

hasJudge
type: ObjectProperty
domain: CourtCase
range: Judge
comment: specifies the judicial body (nyon:Judge) of nyon:CourtCase

hasJudgmentType
type: ObjectProperty
sub property of: topObjectProperty
domain: CourtCase
range: CaseType
comment: specifies the type of judgment (nyon:CaseType) for nyon:CourtCase

hasJurisdiction
type: ObjectProperty
sub property of: topObjectProperty
domain: Court
range: Jurisdiction
comment: specifies the jurisdiction (nyon:Jurisdiction) for nyon:Court

hasObiterDictum
type: ObjectProperty
sub property of: topObjectProperty
domain: CourtCase
range: Obiter Dictum
comment: specifies the obiter dicta associated with nyon:ObiterDictum mentioned in nyon:CourtCase

hasParty
type: ObjectProperty
sub property of: topObjectProperty
domain: CourtCase
range: Party
comment: specifies the party (nyon:Party) associated with nyon:CourtCase

hasPartyType
type: ObjectProperty
sub property of: topObjectProperty
domain: Party
range: Party Type
comment: specifies the type of party (nyon:PartyType) involved in nyon:CourtCase

hasPolicePersonnel
type: ObjectProperty
domain: CourtCase
range: PolicePersonnel
comment: specifies the police officer (nyon:PolicePersonnel) doing mentioned in nyon:CourtCase

hasPrecedent
type: ObjectProperty
sub property of: topObjectProperty
type: ReflexiveProperty
domain: CourtCase
range: CourtCase
comment: represents past cases referred by the judge in the judgment
comment: specifies the previous cases of type nyon:CourtCase

hasProvision
type: ObjectProperty
domain: CourtCase
range: Provision
comment: specifies a clause or norm (nyon:Provision) in a legal instrument or a law

hasRatioDecidendi
type: ObjectProperty
sub property of: topObjectProperty
domain: CourtCase
range: RatioDecidendi
comment: specifies the judges ratio of decision (nyon:RatioDecidendi) for nyon:CourtCase

hasRulingOf
type: ObjectProperty
sub property of: topObjectProperty
type: FunctionalProperty
domain: CourtCase
range: Court
comment: specifies the ruling (previous judgments nyon:CourtCase) of the lower court (nyon:Court)

hasStatue
type: ObjectProperty
sub property of: topObjectProperty
domain: CourtCase
range: Statue
comment: specifies the statute (nyon:Statute) mentioned in nyon:CourtCase

hasWitness
type: ObjectProperty
sub property of: topObjectProperty
domain: CourtCase
range: Witness
comment: specifies the witness (nyon:Witness) mentioned in nyon:CourtCase

hasWordPhrase
type: ObjectProperty
sub property of: topObjectProperty
domain: CourtCase
range: WordsAndPhrases
comment: specifies the phrases and words (specially nyon:Issue) mentioned in nyon:CourtCase

hasWords
type: ObjectProperty
domain: CourtCase
range: Catchword
comment: signifies the domain words, facts and issue related words in the case

makeArgument
type: ObjectProperty
sub property of: topObjectProperty
domain: Party
range: Argument
comment: specifies the arguments done in nyon:CourtCase by some party (nyon:Party)

petitionerArgument
type: ObjectProperty
sub property of: makeArgument
domain: Argument
range: Petitioner
comment: specifies the argument made by the Petitioner (nyon:Petitioner) of nyon:CourtCase

plaintiffArgument
type: ObjectProperty
sub property of: makeArgument
domain: Argument
range: Plaintiff
comment: specifies the argument made by the plaintiff (nyon:Plaintiff) of nyon:CourtCase

precedentOverruled
type: ObjectProperty
sub property of: hasPrecedent
domain: CourtCase
range: CourtCase
comment: specifies the past cases (nyon:CourtCase) overruled by the judge in the current case

precedentReliedUpon
type: ObjectProperty
sub property of: hasPrecedent
domain: CourtCase
range: CourtCase
comment: specifies the past cases (nyon:CourtCase) referred by the judge on which the current judgment relies on

precedentNotReliedUpon
type: ObjectProperty
sub property of: hasPrecedent
domain: CourtCase
range: CourtCase
comment: specifies the previous cases (nyon:CourtCase) referred by the judge on which the case decision does not rely on

respondentArgument
type: ObjectProperty
sub property of: makeArgument
domain: Argument
range: Respondent
comment: specifies the argument made by the respondent (nyon:Respondent) of nyon:CourtCase

withConcurrence
type: ObjectProperty
sub property of: withOpinion
domain: Judge
range: Concurrence
comment: specifies the judge (nyon:Judge) gives the opinion in concurrence (nyon:Concurrence) of the court

withDissent
type: ObjectProperty
sub property of: withOpinion
domain: Judge
range: Dissent
comment: specifies the judge (nyon:Judge) gives the opinion in dissent (nyon:Dissent) of the court

withMajority
type: ObjectProperty
sub property of: withOpinion
domain: Judge
range: Majority
comment: specifies the judge (nyon:Judge) gives the opinion in majority (nyon:Majority) of the court

withOpinion
type: ObjectProperty
domain: Judge
range: Opinion
comment: represnts the judge opinion on the case either with majority, dissent or concurrence

worksIn
type: ObjectProperty
sub property of: topObjectProperty
domain: CourtOfficial
range: Court
comment: specifies the judge (nyon:Judge) working in court (nyon:Court)

COFirstName
type: DatatypeProperty
sub property of: courtOffName
domain: CourtOfficial
range: string

COLastName
type: DatatypeProperty
sub property of: courtOffName
domain: CourtOfficial
range: string

argumentSequenceNum
type: DatatypeProperty
sub property of: topDataProperty
domain: Argument
range: int

argumentValue
type: DatatypeProperty
sub property of: topDataProperty
domain: Argument
range: string

catchwordValue
type: DatatypeProperty
sub property of: topDataProperty
domain: Catchword
range: string

courtName
type: DatatypeProperty
sub property of: topDataProperty
domain: Court
range: string

courtOffName
type: DatatypeProperty
sub property of: topDataProperty

dateOfJudgment
type: DatatypeProperty
sub property of: topDataProperty
domain: Class
  union of: Argument
  union of: DateofJudgment
range: string

equivalentCitation
type: DatatypeProperty
sub property of: topDataProperty
domain: CourtCase
range: string
property disjoint with: neutralCitations
comment: equivalent citations provided by the various law reporters.

evidenceLocation
type: DatatypeProperty
sub property of: topDataProperty
domain: Evidence
range: string

factSequenceNum
type: DatatypeProperty
sub property of: topDataProperty
domain: Fact
range: int

factValue
type: DatatypeProperty
sub property of: topDataProperty
domain: Fact
range: string

finalDecisionValue
type: DatatypeProperty
sub property of: topDataProperty
domain: CourtDecision
range: string

firstName
type: DatatypeProperty
sub property of: partyName
domain: Party
range: string
property disjoint with: lastName

caseID
type: DatatypeProperty
domain: CourtCase
range: string
comment: Case has a unique ID

caseName
type: DatatypeProperty
domain: CourtCase
range: string
comment: represents the name of a case usually contains the name of both the parties

hasDate
type: DatatypeProperty
sub property of: dateOfJudgment
domain: DateofJudgment
range: int

hasDesignation
type: DatatypeProperty
domain: PolicePersonnel
range: string

hasMonth
type: DatatypeProperty
sub property of: dateOfJudgment
domain: DateofJudgment
range: string

hasPolicePersonnelName
type: DatatypeProperty
domain: PolicePersonnel
range: string
comment: represents the name of the police personnel involved in the case

hasYear
type: DatatypeProperty
sub property of: dateOfJudgment
domain: DateofJudgment
range: int

issueSequenceNum
type: DatatypeProperty
sub property of: topDataProperty
domain: Issue
range: int

issueValue
type: DatatypeProperty
sub property of: topDataProperty
domain: Issue
range: string

lastName
type: DatatypeProperty
sub property of: partyName
domain: Party
range: string

locationName
type: DatatypeProperty
sub property of: topDataProperty
domain: Location
range: string

neutralCitations
type: DatatypeProperty
sub property of: topDataProperty
domain: CourtCase
range: string
comment: represents neutral citations given by the court itself

obiterDictumSequenceNum
type: DatatypeProperty
sub property of: topDataProperty
domain: Obiter Dictum
range: int

obiterDictumValue
type: DatatypeProperty
sub property of: topDataProperty
domain: Obiter Dictum
range: string

partyName
type: DatatypeProperty
sub property of: topDataProperty

ratioDecidendiSequenceNum
type: DatatypeProperty
sub property of: topDataProperty
domain: RatioDecidendi
range: int

ratioDecidendiValue
type: DatatypeProperty
sub property of: topDataProperty
domain: RatioDecidendi
range: string

wFirstName
type: DatatypeProperty
sub property of: witnessName
domain: Witness
range: string
property disjoint with: wLastName

wLastName
type: DatatypeProperty
sub property of: witnessName
domain: Witness
range: string

witnessName
type: DatatypeProperty
sub property of: topDataProperty

witnessStatement
type: DatatypeProperty
sub property of: topDataProperty
domain: Witness
range: string

wordPhraseValue
type: DatatypeProperty
sub property of: topDataProperty
domain: WordsAndPhrases
range: string

Person
type: Class
equivalent class: Individual
comment: A person

Government
type: Class
subclass of: Party Type
comment: party involved (either on both sides or any one) is the government in the case

Organization
type: Class
subclass of: Party Type
comment: organization(s) involved as the participant in the case

Place
type: Class
equivalent class: Class
  complement of: Location
subclass of: Location
comment: location name or place name

Accused
type: Class
subclass of: Party
subclass of: Class
  intersection of: Respondent
  intersection of: Restriction
    on property: OfDomain
    all values from: Criminal
subclass of: Class
  intersection of: Restriction
    on property: hasParty
    some values from: Respondent
  intersection of: Restriction
    on property: OfDomain
    all values from: Criminal
comment: person against whom an allegation has been made that he has committed an offence, or who is charge with an offence

Advisory Jurisdiction
type: Class
subclass of: Jurisdiction
comment: jurisdiction type is a advisory jurisdiction

Appellant
type: Class
subclass of: Party
comment: party who makes an appeal

Appellant Jurisdiction
type: Class
subclass of: Jurisdiction
comment: jurisdiction type is a appellant jurisdiction

Argument
type: Class
comment: Argument made by any of the party

Author
type: Class
equivalent class: Restriction
  on property: hasAuthor
  qualified cardinality: 1
  on class: Judge
comment: Author (Judge) who is responsible for a creation of case document

Bench
type: Class
comment: Defines the bench of the case.

CaseDomain
type: Class
comment: case belongs to specific proceeding like civil or criminal

CaseType
type: Class
comment: classification of types of cases

Catchword
type: Class
subclass of: Class
  intersection of: Thing
  intersection of: CaseDomain
subclass of: Class
  intersection of: Restriction
    on property: hasWords
    some values from: CaseDomain
  intersection of: Restriction
    on property: hasWords
    some values from: Issue
comment: Descriptive words or phrases used to categorise the subject matter of a case along with some keywords representing the issues in the case

Chief Meterpolitan Court
type: Class
subclass of: Criminal Court
comment: lower court at metropolitan level after Sessions Court for criminal cases

City Civil Court
type: Class
subclass of: Civil Court
comment: lower court at metropolitan level after High Courts for civil cases

Civil
type: Class
subclass of: CaseDomain
disjoint with: Criminal
comment: case is a civil case

Concurrence
type: Class
subclass of: Opinion
comment: decisions result when a judge agrees with the ultimate conclusion made by the majority of the court but disagrees on how they reached that decision

Country
type: Class
subclass of: Location
comment: A country

Court
type: Class
comment: courts in the judicial system

CourtCase
type: Class
comment: represents the court judgment given by a court of law

CourtDecision
type: Class

CourtOfficial
type: Class
comment: legal system related people involved in a case

Civil Court
type: Class
subclass of: CaseDomain
comment: court for civil cases

Criminal Court
type: Class
subclass of: CaseDomain
comment: courts for crimnial cases

Court of Smaller Cause
type: Class
subclass of: Civil Court
comment: lowest court after City Civil Courts at metropolitan level for civil cases

Criminal
type: Class
subclass of: CaseDomain
comment: case is a criminal case

DateofJudgment
type: Class
comment: signifies the final date on which the judgment is given by the court of law

Decree
type: Class
equivalent class: Restriction
  on property: OfDomain
  all values from: Civil
subclass of: CourtDecision
comment: formal order issued by the judges

Defendant
type: Class
subclass of: Party
comment: a person sued in the court of law

Dissent
type: Class
subclass of: Opinion
comment: judges who do not agree with the majority of the Court

District
type: Class
subclass of: Location
comment: represents district name/location

District Court
type: Class
subclass of: Court
subclass of: Civil Court
comment: a term in judicial system in India in which a case is heard and judged by at least 2 judges

Division Bench
type: Class
subclass of: Bench
comment: a term in judicial system in India in which a case is heard and judged by at least 2 judges

Evidence
type: Class
comment: evidences presented in front of the court in the case

Fact
type: Class
comment: represents factual statements in the case law

Group
type: Class
subclass of: Party Type
comment: party of the case are the group of people on one side against another group of people or individual or state

High Court
type: Class
subclass of: Court
comment: court at the state level

Individual
type: Class
subclass of: Party Type
comment: participants of the case are the individual persons

PolicePersonnel
type: Class
comment: A police officer is a warranted law employee of a police force

Issue
type: Class
comment: issues in the case arised by the party

Judge
type: Class
subclass of: CourtOfficial
comment: represents the judge of the case

Judgement
type: Class
equivalent class: Class
  complement of: Opinion
subclass of: CourtDecision
comment: Judgement given by the judge

Jurisdiction
type: Class
comment: the extent to which a court of law can exercise its authority over any cases filed across a region

Larger Bench
type: Class
subclass of: Bench
comment: a term in judicial system in India in which a case is heard and judged by three or five judges

Lawyer
type: Class
subclass of: CourtOfficial
comment: Lawyer is a term of reference to the attroneys and advocates collectively in litigation

LearnedCounsel
type: Class
subclass of: CourtOfficial
comment: Learned counsel is a term of reference to the lawyers and advocates collectively in litigation

Location
type: Class
equivalent class: Class
  complement of: Place
comment: represents the location of the courts, etc and also used for evidence locations

Majority
type: Class
subclass of: Opinion
comment: Majority decisions are the ones where a majority of the judges agree

Metropolitan Magistrate Court
type: Class
subclass of: Criminal Court
comment: lowest court after Chief Metropolitan Court at metropolitan level for criminal cases

Metropolitan Court
type: Class
subclass of: Court
comment: court for population more than 10 lakh city

Munsif Court
type: Class
subclass of: Civil Court
comment: lowest court in heirarchy for civil ases at district level after Principal Junior Civil Court

Obiter Dictum
type: Class
comment: additional obersvations, remarks, and opinions made by the judge that are not the part of the reason for the decision

Opinion
type: Class
equivalent class: Class
  complement of: Judgement
comment: judge opinion with respect to case or judgment

Order
type: Class
subclass of: CourtDecision
subclass of: Restriction
  on property: OfDomain
  some values from: CaseDomain
comment: order given by the court

Original Jurisdiction
type: Class
subclass of: Jurisdiction
comment: jurisdiction type is a original jurisdiction

Party
type: Class
comment: party or people involved in the case

Party Type
type: Class
comment: represents the types of party involved in the case viz. individual, organization, govt. etc.

Petitioner
type: Class
subclass of: Party
comment: one who makes the petition

Plaintiff
type: Class
subclass of: Party
comment: party who brings the suit in the court of law

Precedent
type: Class
subclass of: Class
  union of: District Court
  union of: Class
    intersection of: Restriction
      on property: hasPrecedent
      some values from: CourtCase
    intersection of: Restriction
      on property: hasRulingOf
      some values from: High Court
comment: all the past cases referred in the current judgment b ythe judge

Principal Junior Civil Court
type: Class
subclass of: Civil Court
comment: third lower court in hierarchy at district level for civil cases

Provision
type: Class
comment: clause or section number or article number applied/used in the case law

RatioDecidendi
type: Class
comment: the rationale for the decision

Respondent
type: Class
subclass of: Party
comment: party called upon to respond or answer a petition, a cliam or a appeal

Review Jurisdiction
type: Class
subclass of: Jurisdiction
comment: jurisdiction type is a review jurisdiction

Sessions Court
type: Class
subclass of: Criminal Court
comment: lower court at both distrcit and metropolitan level after High Courts specific for criminal cases

Single Judge
type: Class
equivalent class: Class
  intersection of: Restriction
    on property: hasBench
    some values from: Judge
  intersection of: Restriction
    on property: hasJudge
    max qualified cardinality: 1
    on class: Judge
equivalent class: Class
  complement of: Judge
equivalent class: Class
  complement of: Class
    intersection of: Restriction
      on property: hasCourtOfficial
      some values from: Judge
    intersection of: Restriction
      on property: hasJudge
      some values from: Judge
subclass of: Bench
comment: a case heard and judged by a single judge

Solicitor
type: Class
subclass of: CourtOfficial
comment: represents solicitor, learned counsel or laywer of the case

Special Bench
type: Class
subclass of: Bench
comment: means the Bench constituted by or under the orders of the Chief Justice to hear a case or particular class of cases

State
type: Class
subclass of: Location
subclass of: Party Type
comment: represents state name/location

Statue
type: Class
comment: includes the acts and norms of the law

Sub Court
type: Class
equivalent class: Class
  complement of: Tribunal
subclass of: Civil Court
comment: second lower court in hierarchy at District level for civil cases

Supreme Court of India
type: Class
subclass of: Court
comment: highest court in the judicial system

Taluka
type: Class
subclass of: Location
comment: represents taluka name/location

Tribunal
type: Class
subclass of: Court
comment: institutions established for discharging judicial or quasi-judicial duties under the Government of India

Tribunal Bench
type: Class
subclass of: Bench
comment: Bench deals with tribunals cases

Witness
type: Class
comment: witness involved/presented in the case

WordsAndPhrases
type: Class
comment: words or phrases exctracted from the case to make the search better for the cases or find relevent cases or judgment

Writ Jurisdiction
type: Class
subclass of: Jurisdiction
comment: jurisdiction type is a writ jurisdiction

Judicial Magistrate Court (First Class)
type: Class
subclass of: Criminal Court
comment: second lower court at distrcit level after districit level Session Court for criminal cases

Judicial Magistrate Court (Second Class)
type: Class
subclass of: Criminal Court
comment: lowest court after Judicial Magistrate Court (First Class) at distrcit level for criminal cases

S5
is rule enabled: true
type: Imp
body: ClassAtom
  class predicate: CourtCase
  argument1: cj
body: ClassAtom
  class predicate: Petitioner
  argument1: https://w3id.org/def/NyOn#p
body: IndividualPropertyAtom
  property predicate: makeArgument
  argument1: https://w3id.org/def/NyOn#p
  argument2: https://w3id.org/def/NyOn#a
body: ClassAtom
  class predicate: Argument
  argument1: https://w3id.org/def/NyOn#a
body: IndividualPropertyAtom
  property predicate: hasParty
  argument1: cj
  argument2: https://w3id.org/def/NyOn#p
head: IndividualPropertyAtom
  property predicate: petitionerArgument
  argument1: cj
  argument2: https://w3id.org/def/NyOn#a

S6
is rule enabled: true
type: Imp
body: IndividualPropertyAtom
  property predicate: makeArgument
  argument1: https://w3id.org/def/NyOn#p
  argument2: https://w3id.org/def/NyOn#a
body: ClassAtom
  class predicate: Respondent
  argument1: https://w3id.org/def/NyOn#r
body: IndividualPropertyAtom
  property predicate: hasParty
  argument1: cj
  argument2: https://w3id.org/def/NyOn#r
head: IndividualPropertyAtom
  property predicate: respondentArgument
  argument1: https://w3id.org/def/NyOn#r
  argument2: https://w3id.org/def/NyOn#a

S4
is rule enabled: true
type: Imp
body: IndividualPropertyAtom
  property predicate: hasJudge
  argument1: https://w3id.org/def/NyOn#x
  argument2: https://w3id.org/def/NyOn#j
body: ClassAtom
  class predicate: Concurrence
  argument1: https://w3id.org/def/NyOn#c
body: IndividualPropertyAtom
  property predicate: withConcurrence
  argument1: https://w3id.org/def/NyOn#j
  argument2: https://w3id.org/def/NyOn#c
head: IndividualPropertyAtom
  property predicate: withOpinion
  argument1: https://w3id.org/def/NyOn#j
  argument2: https://w3id.org/def/NyOn#c

S3
is rule enabled: true
type: Imp
body: IndividualPropertyAtom
  property predicate: hasJudge
  argument1: https://w3id.org/def/NyOn#x
  argument2: https://w3id.org/def/NyOn#j
body: ClassAtom
  class predicate: Dissent
  argument1: https://w3id.org/def/NyOn#d
body: IndividualPropertyAtom
  property predicate: withDissent
  argument1: https://w3id.org/def/NyOn#j
  argument2: https://w3id.org/def/NyOn#d
head: IndividualPropertyAtom
  property predicate: withOpinion
  argument1: https://w3id.org/def/NyOn#j
  argument2: https://w3id.org/def/NyOn#d

S2
is rule enabled: true
type: Imp
body: IndividualPropertyAtom
  property predicate: hasJudge
  argument1: https://w3id.org/def/NyOn#x
  argument2: https://w3id.org/def/NyOn#j
body: ClassAtom
  class predicate: Majority
  argument1: https://w3id.org/def/NyOn#m
body: IndividualPropertyAtom
  property predicate: withMajority
  argument1: https://w3id.org/def/NyOn#j
  argument2: https://w3id.org/def/NyOn#m
head: IndividualPropertyAtom
  property predicate: withOpinion
  argument1: https://w3id.org/def/NyOn#j
  argument2: https://w3id.org/def/NyOn#m

S1
is rule enabled: true
type: Imp
body: IndividualPropertyAtom
  property predicate: hasFinalDecision
  argument1: https://w3id.org/def/NyOn#x
  argument2: https://w3id.org/def/NyOn#y
body: ClassAtom
  class predicate: Judge
  argument1: https://w3id.org/def/NyOn#j
body: IndividualPropertyAtom
  property predicate: hasCourtOfficial
  argument1: https://w3id.org/def/NyOn#y
  argument2: https://w3id.org/def/NyOn#j
head: IndividualPropertyAtom
  property predicate: hasJudge
  argument1: https://w3id.org/def/NyOn#x
  argument2: https://w3id.org/def/NyOn#j