OntoGSN
type: Ontology
license: https://creativecommons.org/licenses/by/4.0/
contributor: Barbara Gallina, Dian Balta, Ingmar Kessler
creator: Standard: The Assurance Case Working Group (ACWG)
creator: Tomas Bueno Momčilović
description: OntoGSN is an ontology for managing assurance cases in the Goal Structuring Notation (GSN). The goal of the ontology is to help users in linking the elements of their cases - claims and evidence - with the internationalized resource identifiers (IRIs) of represented concepts, events and data, and in evaluating the validity of their argument.
issued: 2025-02-24
modified: 2025-06-19T00:00:00Z
publisher: https://www.fortiss.org/
source: The Assurance Case Working Group (ACWG). (2021 May). Goal Structuring Notation Community Standard Version 3. URL: http://scsc.uk/SCSC-141C
bibliographic citation: Bueno Momcilovic, T., Kessler, I., Gallina, B., & Balta, D. (2025). OntoGSN: An Ontology for Dynamic Management of Assurance Cases.
created: 20th February 2025
preferred namespace prefix: gsn
disclaimer: [Disclaimer from the GSN Community Standard v3.0]: While the authors and the publishers have used reasonable endeavours to ensure that the information and guidance given in this work is correct, all parties must rely on their own skill and judgement when making use of this work and obtain professional or specialist advice before taking, or refraining from, any action on the basis of the content of this work. Neither the authors nor the publishers make any representations or warranties of any kind, express or implied, about the completeness, accuracy, reliability, suitability or availability with respect to such information and guidance for any purpose, and they will not be liable for any loss or damage including without limitation, indirect or consequential loss or damage, or any loss or damage whatsoever (including as a result of negligence) arising out of, or in connection with, the use of this work. The views and opinions expressed in this publication are those of the authors and do not necessarily reflect those of their employers, the SCSC1 or other organisations.
version: 3.0
version info: 1.2
definition: GSN is a graphical argument notation which can be used to document explicitly the elements and structure of an argument and the argument’s relationship to evidence.

applicability
type: AnnotationProperty
definition: The applicability section should state under what circumstances the pattern can be applied, making clear the assumptions and principles underlying the pattern to avoid inappropriate application in a mismatched context. This section should record what contextual information is required in order to apply the pattern.
core or extension: Argument Pattern Extension
domain: Pattern

collaboration
type: AnnotationProperty
definition: The collaboration section should describe how elements of the pattern work together to achieve the desired effect, particularly where there are links that are not readily apparent from the argument structure.
core or extension: Argument Pattern Extension
domain: Pattern

consequences
type: AnnotationProperty
definition: The consequences section should make clear what work remains after the pattern has been applied. This should highlight where further support to the argument is required, and assumptions that need to be discharged.
core or extension: Argument Pattern Extension
domain: Pattern

core or extension
type: AnnotationProperty
definition: Indicator of the sourcing section in the GSN Community Standard v3.

examples
type: AnnotationProperty
definition: It may be useful to provide example illustrations of the application of the pattern, particularly for more abstract patterns. Illustrations should include a typical case and can be supplemented with atypical cases where more than one example is provided.
core or extension: Argument Pattern Extension
domain: Pattern

implementation
type: AnnotationProperty
definition: The implementation section should communicate how the application of the pattern is carried out e.g. the order in which elements should be developed; communicate hints or techniques that may ease successful application; highlight common or recognised pitfalls with the application of the pattern; and record potential misinterpretation of the terms or concepts in the pattern.
core or extension: Argument Pattern Extension
domain: Pattern

intent
type: AnnotationProperty
definition: The intent statement should state clearly what the pattern aims to achieve.
core or extension: Argument Pattern Extension
domain: Pattern

known uses
type: AnnotationProperty
definition: It may be useful to provide references to known applications of the pattern. These can serve as additional examples.
core or extension: Argument Pattern Extension
domain: Pattern

motivation
type: AnnotationProperty
definition: The motivation statement can be used to state why the pattern was created. It could be expressed in terms of previous experiences e.g. as the abstraction of a successfully presented argument, or challenges addressed e.g. argument topics that are often incompletely or poorly addressed.
core or extension: Argument Pattern Extension
domain: Pattern

participants
type: AnnotationProperty
definition: The participants section augments the structure by providing a description of each element. This can provide more complete descriptions, clarify the role of the element in the overall argument and emphasise the aspects that require development or instantiation.
core or extension: Argument Pattern Extension
domain: Pattern

rendered as
type: AnnotationProperty
core or extension: Core GSN

structure
type: AnnotationProperty
definition: The structure uses the structural and element abstraction notations to present the pattern, clearly indicating where the argument needs to be further developed or populated with details to instantiate the pattern for a specific case.
core or extension: Argument Pattern Extension
domain: Pattern

associated with
type: ObjectProperty
domain: Class
  union of: Artefact Reference
  union of: Relationship with Confidence
range: Argument
core or extension: Confidence Argument Extension

attached to
type: ObjectProperty
domain: Instantiation Data Reference
range: Template
core or extension: Argument Pattern Extension
rendered as: dotted line

challenges
type: ObjectProperty
domain: Class
  union of: Goal
  union of: Solution
range: GSN Element
definition: Allows a Challenge to any GSN entity to be documented. A goal, (core element) can be used in a dialectic context to assert a challenge to part of the argument. A solution, (core element) can be used to present a reference to an evidence item that asserts a challenge to part of the argument.
note: A challenge must be levied against the appropriate aspect of the goal structure.
core or extension: Dialectic Extension
rendered as: dashed line with an open arrowhead

consistent with
type: ObjectProperty
type: SymmetricProperty
domain: Class
  union of: Assumption
  union of: Context
range: Class
  union of: Assumption
  union of: Context
definition: By making the relationship to the away goal the author is asserting not only the inference of support for the parent goal, but also that the context in which the away goal is declared is consistent with the context and assumptions in scope for the parent goal.
core or extension: Modular Extension

contains
type: ObjectProperty
domain: Class
  union of: Argument
  union of: Assurance Case
  union of: Module
range: Class
  union of: Argument
  union of: Artefact
  union of: Module
core or extension: Core GSN

in context of
type: ObjectProperty
type: AsymmetricProperty
type: IrreflexiveProperty
domain: Class
  union of: Goal
  union of: Strategy
range: Class
  union of: Assumption
  union of: Context
  union of: Justification
  union of: Module
definition: InContextOf, rendered as a line with a hollow arrowhead, declares a contextual relationship.
core or extension: Core GSN
rendered as: line with a hollow arrowhead

instantiation of
type: ObjectProperty
domain: Class
  union of: Argument
  union of: GSN Element
range: Pattern
core or extension: Argument Pattern Extension

refers to
type: ObjectProperty
domain: Artefact Reference
range: Artefact
core or extension: Core GSN

related to
type: ObjectProperty
domain: Pattern
range: Pattern
definition: This section can be used to reference patterns that are related e.g. addressing the same intent in a different context.
core or extension: Argument Pattern Extension

substituted by
type: ObjectProperty
domain: Justification
range: Class
  intersection of: Goal
  intersection of: Restriction
    on property: away
    has value: true
definition: There may be occasions when a goal or strategy requires fuller justification than can be provided within the confines of a GSN justification element. In such cases, an away goal can be substituted for the justification.
core or extension: Modular Extension

supported by
type: ObjectProperty
type: AsymmetricProperty
type: IrreflexiveProperty
domain: Class
  union of: Goal
  union of: Strategy
range: Class
  union of: Goal
  union of: Module
  union of: Solution
  union of: Strategy
definition: SupportedBy, rendered as a line with a solid arrowhead, allows support relationships between elements to be documented.
core or extension: Core GSN
rendered as: line with a solid arrowhead

argument type
type: DatatypeProperty
domain: Argument
range: Datatype
  one of: confidence
  one of: dialectic
  one of: risk
core or extension: Confidence Argument Extension

assurance claim point
type: DatatypeProperty
domain: Class
  union of: Artefact Reference
  union of: Relationship with Confidence
range: boolean
definition: An Assurance Claim Point (ACP) can be used in GSN to indicate that a confidence argument is associated with an assertion in a risk argument.
core or extension: Confidence Argument Extension
rendered as: solid square

away
type: DatatypeProperty
domain: Class
  union of: Assumption
  union of: Context
  union of: Goal
  union of: Justification
  union of: Solution
range: boolean
description: An away assumption repeats an assumption presented in another argument module and is typically used only in Contract Modules. An away context repeats a reference to context presented in another argument module. An away goal reference repeats a claim presented in another argument module. An away justification repeats a justification presented in another argument module and is typically used only in Contract Modules. An away solution repeats a reference to evidence items presented in another argument module.
definition: An away element reference repeats a claim or evidence presented in another argument module.
core or extension: Modular Extension
rendered as: bisecting line in the lower half

choice
type: DatatypeProperty
domain: Relationship
range: boolean
definition: A GSN choice can be used to denote possible alternatives in satisfying a relationship.
core or extension: Argument Pattern Extension
rendered as: solid diamond

contract
type: DatatypeProperty
domain: Module
range: boolean
property disjoint with: undeveloped
definition: A contract module is a special type of module that controls the relationship between argument module interfaces using arguments to define how a goal in one module is supported by one or more goals in one or more other modules.
note: A contract may be described in textual form (e.g. as a table) or for more complex relationships may be described within a contract module using GSN.
note: Contract modules can be used in the support relationship between modules to aid decoupling. The de-coupling by use of a contract permits argument module construction in cases where the eventual source of support for an argument is unknown at the time of authoring or can be changed for example through re-use or planned product improvement or reconfiguration.
core or extension: Modular Extension
rendered as: a rectangle with two smaller rectangles (of equal size to each other) adjoining at the top left and bottom right

defeated
type: DatatypeProperty
domain: Class
  union of: GSN Element
  union of: Relationship
range: boolean
description: Defeated Relationship indicates that the relationship is defeated. The Defeated decorator can be applied to any of the GSN relationships.
definition: This decorator symbol indicates that the element is defeated. The Defeated decorator can be applied to any of the GSN elements.
core or extension: Dialectic Extension
rendered as: cross (‘X’) superimposed on a GSN element or relationship

final
type: DatatypeProperty
domain: Argument
range: boolean
core or extension: Argument Pattern Extension

in doubt
type: DatatypeProperty
domain: Class
  union of: Assurance Case
  union of: GSN Element
  union of: Relationship
range: boolean
definition: The dialectic challenge within this structure asserts that if the claim presented in Goal CG1 is true then this is sufficient to establish that the claim in Goal G1 in the original structure is in doubt.
core or extension: Dialectic Extension

maximum cardinality
type: DatatypeProperty
domain: Relationship
range: nonNegativeInteger
core or extension: Argument Pattern Extension
rendered as: text

minimum cardinality
type: DatatypeProperty
domain: Relationship
range: nonNegativeInteger
core or extension: Argument Pattern Extension
rendered as: text

multiple
type: DatatypeProperty
domain: Relationship
range: boolean
core or extension: Argument Pattern Extension
rendered as: solid ball

off-diagram
type: DatatypeProperty
domain: GSN Element
range: boolean
core or extension: Core GSN

optional
type: DatatypeProperty
domain: Relationship
range: boolean
definition: Optional instantiation means that the relationship and the argument below may or may not be instantiated.
core or extension: Argument Pattern Extension
rendered as: hollow ball

public
type: DatatypeProperty
domain: Class
  union of: Assumption
  union of: Context
  union of: Goal
  union of: Justification
  union of: Solution
range: boolean
definition: This indicates that the element is publicly visible in one or more interfaces of the module and can be referenced as an away element.
core or extension: Modular Extension
rendered as: miniature module symbol superimposed on an element at the top right

published
type: DatatypeProperty
domain: Argument
range: boolean
core or extension: Argument Pattern Extension

relationship type
type: DatatypeProperty
domain: Relationship
range: Datatype
  one of: contextual
  one of: evidential
  one of: inferential
definition: An evidential relationship is a declared relationship between a claim and an evidence item by which the claim is substantiated. An inferential relationship is a declared inference between claims in the argument. A contextual relationship draws attention to explanatory contextual information.
definition: SupportedBy relationships – represented by lines with solid arrowheads – indicate inferential or evidential relationships between elements. InContextOf relationships – represented as lines with hollow arrowheads – declare contextual relationships.
core or extension: Core GSN

statement
type: DatatypeProperty
domain: Class
  union of: Argument
  union of: GSN Element
range: string
core or extension: Core GSN

structured
type: DatatypeProperty
domain: Argument
range: boolean
definition: A particular kind of argument where the relationships between the asserted claims, and from the evidence to the claims, are explicitly represented.
core or extension: Core GSN

to be supported by contract
type: DatatypeProperty
domain: Goal
range: boolean
property disjoint with: undeveloped
core or extension: Modular Extension
rendered as: attached centrally immediately below the goal to which it relates

top (goal)
type: DatatypeProperty
domain: Goal
range: boolean
definition: A GSN Goal that presents the pinnacle claim in an argument. It is ‘top’ in terms of the argument hierarchy, rather than necessarily its physical layout. There may be more than one top goal in a GSN structure.
definition: The top goal presents the overall claim asserted by the author and it is up to the reader to determine their belief that it is adequately supported.
core or extension: Core GSN

true
type: DatatypeProperty
domain: GSN Element
range: boolean
core or extension: Core GSN

undeveloped
type: DatatypeProperty
domain: Class
  union of: Goal
  union of: Strategy
range: boolean
definition: Undeveloped element decorator, rendered as a hollow diamond applied to the bottom centre of an element, indicates that a line of argument has not been developed.
core or extension: Argument Pattern Extension
rendered as: hollow diamond

uninstantiated
type: DatatypeProperty
domain: GSN Element
range: boolean
core or extension: Argument Pattern Extension
rendered as: hollow triangle

valid
type: DatatypeProperty
domain: GSN Element
range: boolean
core or extension: Core GSN

view type
type: DatatypeProperty
domain: View
range: Datatype
  one of: architecture
  one of: argument
core or extension: Modular Extension

Argument
type: Class
subclass of: Class
subclass of: Restriction
  on property: contains
  all values from: GSN Element
subclass of: Restriction
  on property: identifier
  some values from: string
subclass of: Restriction
  on property: identifier
  qualified cardinality: 1
  on data range: string
definition: A body of information presented with the intention to establish one or more claims through the presentation of related supporting claims, evidence and contextual information.
definition: A connected series of claims intended to establish an overall claim.
core or extension: Core GSN

Axiom
annotated source: Argument
annotated property: subClassOf
annotated target: Class
definition: The corresponding argument could be located in a paragraph of accompanying text, a goal in the local argument, or a goal in a separate module.
core or extension: Confidence Argument Extension

Artefact
type: Class
alternative label: Evidence
core or extension: Core GSN

Artefact Reference
type: Class
subclass of: GSN Element
core or extension: Core GSN

Assumption
type: Class
subclass of: GSN Element
subclass of: Restriction
definition: An assumption, rendered as an oval with the letter 'A' at the top- or bottom-right, presents an intentionally unsubstantiated statement.
core or extension: Core GSN
rendered as: oval

Axiom
annotated source: Assumption
annotated property: subClassOf
annotated target: Restriction
definition: GSN assumptions provide additional information necessary for the correct understanding of the argument. This information is stated as fully as necessary, using complete sentences in the form noun phrase + verb phrase.

Assurance Case
type: Class
subclass of: Restriction
  on property: contains
  some values from: Argument
subclass of: Restriction
  on property: contains
  some values from: Artefact
subclass of: Restriction
  on property: contains
  all values from: Class
    union of: Argument
    union of: Artefact
definition: A reasoned and compelling argument, supported by a body of evidence, that a system, service or organisation will operate as intended for a defined application in a defined environment.
definition: Arguments and evidence intended to demonstrate that a system meets its assurance requirements.
core or extension: Core GSN

Catalogue
type: Class
subclass of: Restriction
  on property: contains
  all values from: Pattern
definition: A pattern catalogue may be created to collate a series of patterns; where such a catalogue is created the structure and format of the definition should be consistent and each pattern’s definition should have a unique {pattern identifier}.
core or extension: Argument Pattern Extension

Context
type: Class
subclass of: Artefact Reference
subclass of: Restriction
definition: A context, rendered as shown left, presents a contextual artefact. This can be a reference to contextual information, or a statement.
core or extension: Core GSN
rendered as: rounded rectangle

Axiom
annotated source: Context
annotated property: subClassOf
annotated target: Restriction
definition: Two kinds of GSN context statement exist. Where a context statement draws attention to explanatory contextual information (such as the definition of some term), this information shall be stated briefly using complete sentences of a noun-phrase + verb-phrase structure. Where a context statement is a reference to an artefact of some kind, which informs the reasoning step, the context statement shall be expressed as a noun phrase.

Defeater
type: Class
equivalent class: Class
  union of: Goal
  union of: Solution
alternative label: Dialectic Element
definition: The source of challenge being applied; can be directed at any part of an argument. A defeater (goal or solution) can challenge any element in a goal structure, e.g. goal, solution, strategy, context, assumption, justification.
note: Membership of this class is only meant to be inferred, not asserted! Please do not add individuals to this class manually (i.e., assertions).
note: The goal and solution statements should be clearly expressed such that the crux of the challenge is unequivocally communicated. Thus, the link between the part of the argument that is being challenged (target) and the dialectic element (source) is self-evident.
core or extension: Dialectic Extension

GSN Element
type: Class
subclass of: Restriction
  on property: identifier
  some values from: string
subclass of: Restriction
  on property: identifier
  qualified cardinality: 1
  on data range: string
core or extension: Core GSN

Goal
type: Class
subclass of: GSN Element
subclass of: Restriction
  on property: in context of
  some values from: Context
subclass of: Restriction
  on property: challenges
  all values from: Class
    union of: GSN Element
    union of: Relationship
subclass of: Restriction
  on property: in context of
  all values from: Class
    union of: Assumption
    union of: Context
    union of: Justification
    union of: Module
subclass of: Restriction
  on property: supported by
  all values from: Class
    union of: Goal
    union of: Module
    union of: Solution
    union of: Strategy
alternative label: Claim
definition: (Claim is) A proposition being asserted by the author that is a true or false statement.
definition: A goal, rendered as a rectangle, presents a claim forming part of the argument.
core or extension: Core GSN
rendered as: rectangle

Axiom
annotated source: Goal
annotated property: subClassOf
annotated target: Restriction
definition: GSN goals document the claims made in the argument (i.e. premises and conclusions). Each goal shall contain a single goal statement, expressed as a proposition in the form of a noun phrase + verb-phrase sentence.

Instantiation Data Reference
type: Class
definition: This symbol indicates that the GSN argument below the attached element is to be instantiated as a template argument. It provides a reference to the information used to instantiate the template argument.
core or extension: Argument Pattern Extension
rendered as: hollow triangle

Justification
type: Class
subclass of: GSN Element
subclass of: Restriction
definition: A justification, rendered as an oval with the letter 'J' at the top- or bottom-right, presents a statement of rationale.
core or extension: Core GSN
rendered as: oval

Axiom
annotated source: Justification
annotated property: subClassOf
annotated target: Restriction
definition: GSN justifications provide additional information necessary for the correct understanding of the argument. This information is stated as fully as necessary, using complete sentences in the form noun phrase + verb phrase.

Module
type: Class
subclass of: GSN Element
subclass of: Restriction
  on property: contains
  all values from: Class
    union of: Argument
    union of: Module
subclass of: Restriction
  on property: in context of
  all values from: Module
subclass of: Restriction
  on property: supported by
  all values from: Module
subclass of: Restriction
  on property: contains
  min qualified cardinality: 1
  on class: Argument
definition: Goal structures can be partitioned into separate, but interrelated, modules. This can allow the division of an overall goal structure into separate goal structures focusing on particular aspects of the overall argument. A module may contain one or more arguments and may contain other modules.
core or extension: Modular Extension
rendered as: a rectangle with a second smaller rectangle adjoining at the top left

Pattern
type: Class
subclass of: Restriction
  on property: description
  some values from: Literal
core or extension: Argument Pattern Extension

Relationship
type: Class
subclass of: Statement
subclass of: Restriction
  on property: object
  all values from: GSN Element
subclass of: Restriction
  on property: subject
  all values from: Class
    union of: Defeater
    union of: Goal
    union of: Strategy
core or extension: Core GSN

Relationship with Confidence
type: Class
subclass of: Relationship
subclass of: Class
  intersection of: Restriction
    on property: associated with
    some values from: Argument
  intersection of: Restriction
    on property: assurance claim point
    some values from: boolean
subclass of: Restriction
  on property: object
  all values from: Class
    union of: Context
    union of: Solution
    union of: Strategy
subclass of: Restriction
  on property: associated with
  all values from: Class
    intersection of: Argument
    intersection of: Restriction
      on property: argument type
      has value: confidence
subclass of: Restriction
  on property: identifier
  some values from: string
subclass of: Restriction
  on property: identifier
  qualified cardinality: 1
  on data range: string
note: The corresponding argument could be located in a paragraph of accompanying text, a goal in the local argument, or a goal in a separate module.
core or extension: Confidence Argument Extension

Solution
type: Class
subclass of: Artefact Reference
subclass of: Restriction
  on property: challenges
  all values from: Class
    union of: GSN Element
    union of: Relationship
definition: A solution, rendered as a circle, presents a reference to an evidence item.
core or extension: Core GSN
rendered as: circle

Axiom
annotated source: Solution
annotated property: subClassOf
annotated target: Restriction
definition: GSN solutions make no claim, but are simply references to evidence items that provide support for a particular claim. They shall therefore be stated as noun-phrases.

Strategy
type: Class
subclass of: GSN Element
subclass of: Restriction
  on property: in context of
  all values from: Class
    union of: Assumption
    union of: Context
    union of: Justification
    union of: Module
subclass of: Restriction
  on property: supported by
  all values from: Goal
definition: A strategy, rendered as a parallelogram, describes the inference that exists between a goal and its supporting goal(s).
core or extension: Core GSN
rendered as: parallelogram

Axiom
annotated source: Strategy
annotated property: subClassOf
annotated target: Restriction
definition: GSN strategy statements describe the reasoning that connects parent goals and their supporting goals, but the core claims and the structure connecting those claims remain unchanged. Strategy statements contain a brief description of the argument approach.

Template
type: Class
subclass of: Pattern
definition: A template argument is a special case of a pattern argument. It uses the core GSN and argument pattern extension to construct an argument structure which requires no further development.
core or extension: Argument Pattern Extension

View
type: Class
definition: The argument view depicts the argument inside an individual module.
core or extension: Modular Extension

Class
intersection of: Goal
intersection of: Class
  complement of: Restriction
    on property:
      inverse of: supported by
    some values from: Goal
equivalent class: Restriction
  on property: top (goal)
  has value: true

S40
is rule enabled: true
core or extension: Confidence Argument Extension
type: Imp
body: DatavaluedPropertyAtom
  property predicate: assurance claim point
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: true
body: ClassAtom
  class predicate: Artefact Reference
  argument1: https://w3id.org/OntoGSN/ontology#A
body: BuiltinAtom
  builtin: makeOWLThing
  arguments: https://w3id.org/OntoGSN/ontology#A
  arguments: https://w3id.org/OntoGSN/ontology#R
head: ClassAtom
  class predicate: Relationship with Confidence
  argument1: https://w3id.org/OntoGSN/ontology#R
head: IndividualPropertyAtom
  property predicate: subject
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: https://w3id.org/OntoGSN/ontology#A

S16
is rule enabled: true
core or extension: Core GSN
type: Imp
body: ClassAtom
  class predicate: Assumption
  argument1: https://w3id.org/OntoGSN/ontology#A
body: DatavaluedPropertyAtom
  property predicate: true
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: false
body: IndividualPropertyAtom
  property predicate: in context of
  argument1: https://w3id.org/OntoGSN/ontology#B
  argument2: https://w3id.org/OntoGSN/ontology#A
head: DatavaluedPropertyAtom
  property predicate: true
  argument1: https://w3id.org/OntoGSN/ontology#B
  argument2: false

S1
is rule enabled: true
core or extension: Core GSN
type: Imp
body: ClassAtom
  class predicate: Assumption
  argument1: https://w3id.org/OntoGSN/ontology#A
body: DatavaluedPropertyAtom
  property predicate: valid
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: false
body: IndividualPropertyAtom
  property predicate: in context of
  argument1: https://w3id.org/OntoGSN/ontology#B
  argument2: https://w3id.org/OntoGSN/ontology#A
head: DatavaluedPropertyAtom
  property predicate: valid
  argument1: https://w3id.org/OntoGSN/ontology#B
  argument2: false

S17
is rule enabled: true
core or extension: Core GSN
type: Imp
body: IndividualPropertyAtom
  property predicate: supported by
  argument1: B
  argument2: C
body: IndividualPropertyAtom
  property predicate: in context of
  argument1: B
  argument2: A
body: ClassAtom
  class predicate: Assumption
  argument1: A
body: ClassAtom
  class predicate: Goal
  argument1: C
head: IndividualPropertyAtom
  property predicate: in context of
  argument1: C
  argument2: A

S32
is rule enabled: true
core or extension: Modular Extension
type: Imp
body: IndividualPropertyAtom
  property predicate: in context of
  argument1: G1
  argument2: C1
body: IndividualPropertyAtom
  property predicate: in context of
  argument1: G2
  argument2: C2
body: ClassAtom
  class predicate: Goal
  argument1: G1
body: ClassAtom
  class predicate: Goal
  argument1: G2
body: DatavaluedPropertyAtom
  property predicate: away
  argument1: G2
  argument2: true
body: IndividualPropertyAtom
  property predicate: supported by
  argument1: G1
  argument2: G2
body: ClassAtom
  class predicate: Context
  argument1: C2
head: IndividualPropertyAtom
  property predicate: consistent with
  argument1: C1
  argument2: C2

S9
is rule enabled: true
core or extension: Core GSN
type: Imp
body: DatavaluedPropertyAtom
  property predicate: true
  argument1: https://w3id.org/OntoGSN/ontology#C
  argument2: true
body: DatavaluedPropertyAtom
  property predicate: true
  argument1: https://w3id.org/OntoGSN/ontology#B
  argument2: true
body: IndividualPropertyAtom
  property predicate: supported by
  argument1: https://w3id.org/OntoGSN/ontology#C
  argument2: https://w3id.org/OntoGSN/ontology#B
body: DatavaluedPropertyAtom
  property predicate: true
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: true
body: IndividualPropertyAtom
  property predicate: supported by
  argument1: https://w3id.org/OntoGSN/ontology#C
  argument2: https://w3id.org/OntoGSN/ontology#A
body: ClassAtom
  class predicate: Goal
  argument1: https://w3id.org/OntoGSN/ontology#A
body: ClassAtom
  class predicate: Goal
  argument1: https://w3id.org/OntoGSN/ontology#B
head: DatavaluedPropertyAtom
  property predicate: valid
  argument1: https://w3id.org/OntoGSN/ontology#C
  argument2: false

S6
is rule enabled: true
core or extension: Core GSN
type: Imp
body: IndividualPropertyAtom
  property predicate: supported by
  argument1: https://w3id.org/OntoGSN/ontology#X
  argument2: https://w3id.org/OntoGSN/ontology#A
body: IndividualPropertyAtom
  property predicate: supported by
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: https://w3id.org/OntoGSN/ontology#B
body: ClassAtom
  class predicate: Goal
  argument1: https://w3id.org/OntoGSN/ontology#A
head: DatavaluedPropertyAtom
  property predicate: top (goal)
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: false

S8
is rule enabled: true
core or extension: Core GSN
type: Imp
body: DatavaluedPropertyAtom
  property predicate: true
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: false
body: DatavaluedPropertyAtom
  property predicate: true
  argument1: https://w3id.org/OntoGSN/ontology#B
  argument2: true
body: IndividualPropertyAtom
  property predicate: supported by
  argument1: https://w3id.org/OntoGSN/ontology#B
  argument2: https://w3id.org/OntoGSN/ontology#A
body: ClassAtom
  class predicate: Goal
  argument1: https://w3id.org/OntoGSN/ontology#A
head: DatavaluedPropertyAtom
  property predicate: valid
  argument1: https://w3id.org/OntoGSN/ontology#B
  argument2: false

S5
is rule enabled: true
core or extension: Core GSN
type: Imp
body: IndividualPropertyAtom
  property predicate: supported by
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: https://w3id.org/OntoGSN/ontology#B
body: IndividualPropertyAtom
  property predicate: subject
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: https://w3id.org/OntoGSN/ontology#A
body: IndividualPropertyAtom
  property predicate: object
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: https://w3id.org/OntoGSN/ontology#B
body: ClassAtom
  class predicate: Goal
  argument1: https://w3id.org/OntoGSN/ontology#B
head: DatavaluedPropertyAtom
  property predicate: relationship type
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: inferential

S45
is rule enabled: true
core or extension: Confidence Argument Extension
type: Imp
body: IndividualPropertyAtom
  property predicate: supported by
  argument1: https://w3id.org/OntoGSN/ontology#G
  argument2: S2
body: ClassAtom
  class predicate: Goal
  argument1: S1
body: IndividualPropertyAtom
  property predicate: object
  argument1: R1
  argument2: S1
body: ClassAtom
  class predicate: Relationship with Confidence
  argument1: R1
body: BuiltinAtom
  builtin: makeOWLThing
  arguments: S2
  arguments: R2
body: IndividualPropertyAtom
  property predicate: supported by
  argument1: https://w3id.org/OntoGSN/ontology#G
  argument2: S1
body: ClassAtom
  class predicate: Goal
  argument1: S2
body: ClassAtom
  class predicate: Goal
  argument1: https://w3id.org/OntoGSN/ontology#G
body: BuiltinAtom
  builtin: notEqual
  arguments: S1
  arguments: S2
body: IndividualPropertyAtom
  property predicate: associated with
  argument1: R1
  argument2: https://w3id.org/OntoGSN/ontology#A
body: IndividualPropertyAtom
  property predicate: subject
  argument1: R1
  argument2: https://w3id.org/OntoGSN/ontology#G
head: IndividualPropertyAtom
  property predicate: object
  argument1: R2
  argument2: S2
head: ClassAtom
  class predicate: Relationship with Confidence
  argument1: R2
head: IndividualPropertyAtom
  property predicate: subject
  argument1: R2
  argument2: https://w3id.org/OntoGSN/ontology#G
head: IndividualPropertyAtom
  property predicate: associated with
  argument1: R2
  argument2: https://w3id.org/OntoGSN/ontology#A
head: DatavaluedPropertyAtom
  property predicate: assurance claim point
  argument1: R2
  argument2: true

S44
is rule enabled: true
core or extension: Confidence Argument Extension
type: Imp
body: IndividualPropertyAtom
  property predicate: supported by
  argument1: https://w3id.org/OntoGSN/ontology#G
  argument2: S2
body: ClassAtom
  class predicate: Solution
  argument1: S1
body: IndividualPropertyAtom
  property predicate: object
  argument1: R1
  argument2: S1
body: ClassAtom
  class predicate: Relationship with Confidence
  argument1: R1
body: BuiltinAtom
  builtin: makeOWLThing
  arguments: S2
  arguments: R2
body: IndividualPropertyAtom
  property predicate: supported by
  argument1: https://w3id.org/OntoGSN/ontology#G
  argument2: S1
body: ClassAtom
  class predicate: Goal
  argument1: https://w3id.org/OntoGSN/ontology#G
body: BuiltinAtom
  builtin: notEqual
  arguments: S1
  arguments: S2
body: IndividualPropertyAtom
  property predicate: associated with
  argument1: R1
  argument2: https://w3id.org/OntoGSN/ontology#A
body: IndividualPropertyAtom
  property predicate: subject
  argument1: R1
  argument2: https://w3id.org/OntoGSN/ontology#G
body: ClassAtom
  class predicate: Solution
  argument1: S2
head: IndividualPropertyAtom
  property predicate: object
  argument1: R2
  argument2: S2
head: ClassAtom
  class predicate: Relationship with Confidence
  argument1: R2
head: IndividualPropertyAtom
  property predicate: subject
  argument1: R2
  argument2: https://w3id.org/OntoGSN/ontology#G
head: IndividualPropertyAtom
  property predicate: associated with
  argument1: R2
  argument2: https://w3id.org/OntoGSN/ontology#A
head: DatavaluedPropertyAtom
  property predicate: assurance claim point
  argument1: R2
  argument2: true

S49
is rule enabled: true
core or extension: Dialectic Extension
type: Imp
body: DatavaluedPropertyAtom
  property predicate: undeveloped
  argument1: https://w3id.org/OntoGSN/ontology#G
  argument2: false
body: IndividualPropertyAtom
  property predicate: challenges
  argument1: https://w3id.org/OntoGSN/ontology#G
  argument2: https://w3id.org/OntoGSN/ontology#E
body: ClassAtom
  class predicate: Goal
  argument1: https://w3id.org/OntoGSN/ontology#G
body: DatavaluedPropertyAtom
  property predicate: in doubt
  argument1: https://w3id.org/OntoGSN/ontology#E
  argument2: true
head: DatavaluedPropertyAtom
  property predicate: defeated
  argument1: https://w3id.org/OntoGSN/ontology#E
  argument2: true

S48
is rule enabled: true
core or extension: Dialectic Extension
type: Imp
body: IndividualPropertyAtom
  property predicate: challenges
  argument1: https://w3id.org/OntoGSN/ontology#G
  argument2: https://w3id.org/OntoGSN/ontology#E
body: DatavaluedPropertyAtom
  property predicate: true
  argument1: https://w3id.org/OntoGSN/ontology#G
  argument2: true
body: ClassAtom
  class predicate: Goal
  argument1: https://w3id.org/OntoGSN/ontology#G
head: DatavaluedPropertyAtom
  property predicate: in doubt
  argument1: https://w3id.org/OntoGSN/ontology#E
  argument2: true

S38
is rule enabled: true
core or extension: Modular Extension
type: Imp
body: DatavaluedPropertyAtom
  property predicate: public
  argument1: https://w3id.org/OntoGSN/ontology#G
  argument2: true
body: IndividualPropertyAtom
  property predicate: in context of
  argument1: https://w3id.org/OntoGSN/ontology#G
  argument2: https://w3id.org/OntoGSN/ontology#C
body: ClassAtom
  class predicate: Goal
  argument1: https://w3id.org/OntoGSN/ontology#G
head: DatavaluedPropertyAtom
  property predicate: public
  argument1: https://w3id.org/OntoGSN/ontology#C
  argument2: true

S51
is rule enabled: true
core or extension: Dialectic Extension
type: Imp
body: IndividualPropertyAtom
  property predicate: challenges
  argument1: https://w3id.org/OntoGSN/ontology#D
  argument2: https://w3id.org/OntoGSN/ontology#R
body: IndividualPropertyAtom
  property predicate: subject
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: G3
body: IndividualPropertyAtom
  property predicate: object
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: G1
body: ClassAtom
  class predicate: Goal
  argument1: G1
body: ClassAtom
  class predicate: Goal
  argument1: G3
body: BuiltinAtom
  builtin: makeOWLThing
  arguments: G3
  arguments: https://w3id.org/OntoGSN/ontology#S
body: ClassAtom
  class predicate: Goal
  argument1: G2
body: IndividualPropertyAtom
  property predicate: supported by
  argument1: G3
  argument2: G1
body: BuiltinAtom
  builtin: notEqual
  arguments: G1
  arguments: G2
head: IndividualPropertyAtom
  property predicate: supported by
  argument1: https://w3id.org/OntoGSN/ontology#S
  argument2: G2
head: IndividualPropertyAtom
  property predicate: supported by
  argument1: G3
  argument2: https://w3id.org/OntoGSN/ontology#S
head: DatavaluedPropertyAtom
  property predicate: valid
  argument1: https://w3id.org/OntoGSN/ontology#D
  argument2: false
head: IndividualPropertyAtom
  property predicate: supported by
  argument1: https://w3id.org/OntoGSN/ontology#S
  argument2: G1
head: IndividualPropertyAtom
  property predicate: challenges
  argument1: https://w3id.org/OntoGSN/ontology#D
  argument2: https://w3id.org/OntoGSN/ontology#S
head: DatavaluedPropertyAtom
  property predicate: valid
  argument1: https://w3id.org/OntoGSN/ontology#S
  argument2: false
head: DatavaluedPropertyAtom
  property predicate: valid
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: false
head: ClassAtom
  class predicate: Strategy
  argument1: https://w3id.org/OntoGSN/ontology#S

S43
is rule enabled: true
core or extension: Confidence Argument Extension
type: Imp
body: IndividualPropertyAtom
  property predicate: supported by
  argument1: G2
  argument2: https://w3id.org/OntoGSN/ontology#S
body: ClassAtom
  class predicate: Relationship with Confidence
  argument1: R1
body: IndividualPropertyAtom
  property predicate: subject
  argument1: R1
  argument2: https://w3id.org/OntoGSN/ontology#S
body: IndividualPropertyAtom
  property predicate: supported by
  argument1: https://w3id.org/OntoGSN/ontology#S
  argument2: G1
body: BuiltinAtom
  builtin: makeOWLThing
  arguments: G2
  arguments: R2
body: IndividualPropertyAtom
  property predicate: object
  argument1: R1
  argument2: G1
body: ClassAtom
  class predicate: Strategy
  argument1: https://w3id.org/OntoGSN/ontology#S
body: ClassAtom
  class predicate: Goal
  argument1: G1
body: ClassAtom
  class predicate: Goal
  argument1: G2
body: IndividualPropertyAtom
  property predicate: associated with
  argument1: R1
  argument2: https://w3id.org/OntoGSN/ontology#A
head: ClassAtom
  class predicate: Relationship with Confidence
  argument1: R2
head: IndividualPropertyAtom
  property predicate: associated with
  argument1: R2
  argument2: https://w3id.org/OntoGSN/ontology#A
head: DatavaluedPropertyAtom
  property predicate: assurance claim point
  argument1: R2
  argument2: true
head: IndividualPropertyAtom
  property predicate: subject
  argument1: R2
  argument2: G2
head: IndividualPropertyAtom
  property predicate: object
  argument1: R2
  argument2: https://w3id.org/OntoGSN/ontology#S

S42
is rule enabled: true
core or extension: Confidence Argument Extension
type: Imp
body: IndividualPropertyAtom
  property predicate: supported by
  argument1: G1
  argument2: https://w3id.org/OntoGSN/ontology#S
body: IndividualPropertyAtom
  property predicate: supported by
  argument1: https://w3id.org/OntoGSN/ontology#S
  argument2: G2
body: ClassAtom
  class predicate: Relationship with Confidence
  argument1: R1
body: BuiltinAtom
  builtin: makeOWLThing
  arguments: G2
  arguments: R2
body: ClassAtom
  class predicate: Strategy
  argument1: https://w3id.org/OntoGSN/ontology#S
body: ClassAtom
  class predicate: Goal
  argument1: G1
body: ClassAtom
  class predicate: Goal
  argument1: G2
body: IndividualPropertyAtom
  property predicate: object
  argument1: R1
  argument2: https://w3id.org/OntoGSN/ontology#S
body: IndividualPropertyAtom
  property predicate: associated with
  argument1: R1
  argument2: https://w3id.org/OntoGSN/ontology#A
body: IndividualPropertyAtom
  property predicate: subject
  argument1: R1
  argument2: G1
head: IndividualPropertyAtom
  property predicate: subject
  argument1: R2
  argument2: https://w3id.org/OntoGSN/ontology#S
head: ClassAtom
  class predicate: Relationship with Confidence
  argument1: R2
head: IndividualPropertyAtom
  property predicate: object
  argument1: R2
  argument2: G2
head: IndividualPropertyAtom
  property predicate: associated with
  argument1: R2
  argument2: https://w3id.org/OntoGSN/ontology#A
head: DatavaluedPropertyAtom
  property predicate: assurance claim point
  argument1: R2
  argument2: true

S29
is rule enabled: true
core or extension: Modular Extension
type: Imp
body: IndividualPropertyAtom
  property predicate: subject
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: G1
body: ClassAtom
  class predicate: Module
  argument1: M1
body: ClassAtom
  class predicate: Goal
  argument1: G1
body: IndividualPropertyAtom
  property predicate: object
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: G2
body: ClassAtom
  class predicate: Module
  argument1: M2
body: IndividualPropertyAtom
  property predicate: supported by
  argument1: G1
  argument2: G2
body: DatavaluedPropertyAtom
  property predicate: away
  argument1: G1
  argument2: true
body: IndividualPropertyAtom
  property predicate: contains
  argument1: M1
  argument2: G1
body: IndividualPropertyAtom
  property predicate: contains
  argument1: M2
  argument2: G2
head: DatavaluedPropertyAtom
  property predicate: valid
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: false

S33
is rule enabled: true
core or extension: Modular Extension
type: Imp
body: IndividualPropertyAtom
  property predicate: contains
  argument1: M2
  argument2: https://w3id.org/OntoGSN/ontology#G
body: ClassAtom
  class predicate: Module
  argument1: M1
body: ClassAtom
  class predicate: Module
  argument1: M2
body: IndividualPropertyAtom
  property predicate: substituted by
  argument1: https://w3id.org/OntoGSN/ontology#J
  argument2: https://w3id.org/OntoGSN/ontology#G
body: IndividualPropertyAtom
  property predicate: contains
  argument1: M1
  argument2: https://w3id.org/OntoGSN/ontology#J
body: ClassAtom
  class predicate: Justification
  argument1: https://w3id.org/OntoGSN/ontology#J
body: IndividualPropertyAtom
  property predicate: in context of
  argument1: https://w3id.org/OntoGSN/ontology#E
  argument2: https://w3id.org/OntoGSN/ontology#J
body: BuiltinAtom
  builtin: notEqual
  arguments: M1
  arguments: M2
head: DatavaluedPropertyAtom
  property predicate: valid
  argument1: https://w3id.org/OntoGSN/ontology#J
  argument2: false

S24
is rule enabled: true
core or extension: Modular Extension
type: Imp
body: IndividualPropertyAtom
  property predicate: contains
  argument1: https://w3id.org/OntoGSN/ontology#M
  argument2: https://w3id.org/OntoGSN/ontology#A
body: IndividualPropertyAtom
  property predicate: contains
  argument1: https://w3id.org/OntoGSN/ontology#N
  argument2: https://w3id.org/OntoGSN/ontology#B
body: ClassAtom
  class predicate: Module
  argument1: https://w3id.org/OntoGSN/ontology#N
body: IndividualPropertyAtom
  property predicate: in context of
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: https://w3id.org/OntoGSN/ontology#B
body: ClassAtom
  class predicate: Module
  argument1: https://w3id.org/OntoGSN/ontology#M
body: BuiltinAtom
  builtin: notEqual
  arguments: https://w3id.org/OntoGSN/ontology#M
  arguments: https://w3id.org/OntoGSN/ontology#N
head: DatavaluedPropertyAtom
  property predicate: away
  argument1: https://w3id.org/OntoGSN/ontology#B
  argument2: true

S23
is rule enabled: true
core or extension: Modular Extension
type: Imp
body: IndividualPropertyAtom
  property predicate: contains
  argument1: https://w3id.org/OntoGSN/ontology#M
  argument2: https://w3id.org/OntoGSN/ontology#A
body: IndividualPropertyAtom
  property predicate: contains
  argument1: https://w3id.org/OntoGSN/ontology#N
  argument2: https://w3id.org/OntoGSN/ontology#B
body: IndividualPropertyAtom
  property predicate: supported by
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: https://w3id.org/OntoGSN/ontology#B
body: ClassAtom
  class predicate: Module
  argument1: https://w3id.org/OntoGSN/ontology#N
body: ClassAtom
  class predicate: Module
  argument1: https://w3id.org/OntoGSN/ontology#M
body: BuiltinAtom
  builtin: notEqual
  arguments: https://w3id.org/OntoGSN/ontology#M
  arguments: https://w3id.org/OntoGSN/ontology#N
head: DatavaluedPropertyAtom
  property predicate: away
  argument1: https://w3id.org/OntoGSN/ontology#B
  argument2: true

S31
is rule enabled: true
core or extension: Modular Extension
type: Imp
body: IndividualPropertyAtom
  property predicate: contains
  argument1: https://w3id.org/OntoGSN/ontology#M
  argument2: https://w3id.org/OntoGSN/ontology#B
body: IndividualPropertyAtom
  property predicate: contains
  argument1: https://w3id.org/OntoGSN/ontology#M
  argument2: https://w3id.org/OntoGSN/ontology#A
body: DatavaluedPropertyAtom
  property predicate: to be supported by contract
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: true
body: IndividualPropertyAtom
  property predicate: supported by
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: https://w3id.org/OntoGSN/ontology#B
body: IndividualPropertyAtom
  property predicate: subject
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: https://w3id.org/OntoGSN/ontology#A
body: ClassAtom
  class predicate: Module
  argument1: https://w3id.org/OntoGSN/ontology#M
body: IndividualPropertyAtom
  property predicate: object
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: https://w3id.org/OntoGSN/ontology#B
head: DatavaluedPropertyAtom
  property predicate: valid
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: false

S25
is rule enabled: true
core or extension: Modular Extension
type: Imp
body: IndividualPropertyAtom
  property predicate: contains
  argument1: https://w3id.org/OntoGSN/ontology#M
  argument2: https://w3id.org/OntoGSN/ontology#B
body: IndividualPropertyAtom
  property predicate: contains
  argument1: https://w3id.org/OntoGSN/ontology#M
  argument2: https://w3id.org/OntoGSN/ontology#A
body: DatavaluedPropertyAtom
  property predicate: identifier
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: ID
body: ClassAtom
  class predicate: Module
  argument1: https://w3id.org/OntoGSN/ontology#M
body: BuiltinAtom
  builtin: notEqual
  arguments: https://w3id.org/OntoGSN/ontology#A
  arguments: https://w3id.org/OntoGSN/ontology#B
body: DatavaluedPropertyAtom
  property predicate: identifier
  argument1: https://w3id.org/OntoGSN/ontology#B
  argument2: ID
head: DatavaluedPropertyAtom
  property predicate: valid
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: false
head: DatavaluedPropertyAtom
  property predicate: valid
  argument1: https://w3id.org/OntoGSN/ontology#B
  argument2: false

S28
is rule enabled: true
core or extension: Modular Extension
type: Imp
body: IndividualPropertyAtom
  property predicate: contains
  argument1: https://w3id.org/OntoGSN/ontology#M
  argument2: https://w3id.org/OntoGSN/ontology#A
body: DatavaluedPropertyAtom
  property predicate: to be supported by contract
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: true
body: DatavaluedPropertyAtom
  property predicate: contract
  argument1: https://w3id.org/OntoGSN/ontology#M
  argument2: true
body: ClassAtom
  class predicate: Module
  argument1: https://w3id.org/OntoGSN/ontology#M
head: DatavaluedPropertyAtom
  property predicate: valid
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: false

S37
is rule enabled: true
core or extension: Modular Extension
type: Imp
body: ClassAtom
  class predicate: Module
  argument1: M3
body: ClassAtom
  class predicate: Module
  argument1: M1
body: ClassAtom
  class predicate: Module
  argument1: M2
body: BuiltinAtom
  builtin: notEqual
  arguments: M3
  arguments: M1
body: IndividualPropertyAtom
  property predicate: supported by
  argument1: M1
  argument2: M2
body: IndividualPropertyAtom
  property predicate: supported by
  argument1: M2
  argument2: M3
body: BuiltinAtom
  builtin: notEqual
  arguments: M1
  arguments: M2
body: BuiltinAtom
  builtin: notEqual
  arguments: M2
  arguments: M3
body: IndividualPropertyAtom
  property predicate: supported by
  argument1: M3
  argument2: M1
head: DatavaluedPropertyAtom
  property predicate: valid
  argument1: M1
  argument2: false
head: DatavaluedPropertyAtom
  property predicate: valid
  argument1: M3
  argument2: false
head: DatavaluedPropertyAtom
  property predicate: valid
  argument1: M2
  argument2: false

S27
is rule enabled: true
core or extension: Modular Extension
type: Imp
body: IndividualPropertyAtom
  property predicate: in context of
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: M1
body: IndividualPropertyAtom
  property predicate: object
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: M1
body: ClassAtom
  class predicate: Module
  argument1: M1
body: ClassAtom
  class predicate: Module
  argument1: M2
body: IndividualPropertyAtom
  property predicate: contains
  argument1: M2
  argument2: https://w3id.org/OntoGSN/ontology#A
body: IndividualPropertyAtom
  property predicate: subject
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: https://w3id.org/OntoGSN/ontology#A
body: DatavaluedPropertyAtom
  property predicate: contract
  argument1: M2
  argument2: true
head: DatavaluedPropertyAtom
  property predicate: valid
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: false

S26
is rule enabled: true
core or extension: Modular Extension
type: Imp
body: IndividualPropertyAtom
  property predicate: object
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: M1
body: ClassAtom
  class predicate: Module
  argument1: M1
body: ClassAtom
  class predicate: Module
  argument1: M2
body: IndividualPropertyAtom
  property predicate: contains
  argument1: M2
  argument2: https://w3id.org/OntoGSN/ontology#A
body: IndividualPropertyAtom
  property predicate: supported by
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: M1
body: IndividualPropertyAtom
  property predicate: subject
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: https://w3id.org/OntoGSN/ontology#A
body: DatavaluedPropertyAtom
  property predicate: contract
  argument1: M2
  argument2: true
head: DatavaluedPropertyAtom
  property predicate: valid
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: false

S30
is rule enabled: true
core or extension: Modular Extension
type: Imp
body: DatavaluedPropertyAtom
  property predicate: away
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: true
body: DatavaluedPropertyAtom
  property predicate: to be supported by contract
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: true
body: ClassAtom
  class predicate: Module
  argument1: M1
body: ClassAtom
  class predicate: Module
  argument1: M2
body: IndividualPropertyAtom
  property predicate: contains
  argument1: M1
  argument2: https://w3id.org/OntoGSN/ontology#A
body: IndividualPropertyAtom
  property predicate: contains
  argument1: M2
  argument2: https://w3id.org/OntoGSN/ontology#B
body: IndividualPropertyAtom
  property predicate: supported by
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: https://w3id.org/OntoGSN/ontology#B
body: BuiltinAtom
  builtin: notEqual
  arguments: M1
  arguments: M2
head: DatavaluedPropertyAtom
  property predicate: contract
  argument1: M2
  argument2: true

S35
is rule enabled: true
core or extension: Modular Extension
type: Imp
body: ClassAtom
  class predicate: Module
  argument1: M1
body: ClassAtom
  class predicate: Module
  argument1: M2
body: IndividualPropertyAtom
  property predicate: contains
  argument1: M1
  argument2: E1
body: IndividualPropertyAtom
  property predicate: contains
  argument1: M2
  argument2: E2
body: IndividualPropertyAtom
  property predicate: in context of
  argument1: E1
  argument2: E2
body: BuiltinAtom
  builtin: notEqual
  arguments: M1
  arguments: M2
head: IndividualPropertyAtom
  property predicate: in context of
  argument1: M1
  argument2: M2

S34
is rule enabled: true
core or extension: Modular Extension
type: Imp
body: ClassAtom
  class predicate: Module
  argument1: M1
body: ClassAtom
  class predicate: Module
  argument1: M2
body: IndividualPropertyAtom
  property predicate: supported by
  argument1: E1
  argument2: E2
body: IndividualPropertyAtom
  property predicate: contains
  argument1: M1
  argument2: E1
body: IndividualPropertyAtom
  property predicate: contains
  argument1: M2
  argument2: E2
body: BuiltinAtom
  builtin: notEqual
  arguments: M1
  arguments: M2
head: IndividualPropertyAtom
  property predicate: supported by
  argument1: M1
  argument2: M2

S36
is rule enabled: true
core or extension: Modular Extension
type: Imp
body: IndividualPropertyAtom
  property predicate: supported by
  argument1: E1
  argument2: M2
body: ClassAtom
  class predicate: Module
  argument1: M1
body: ClassAtom
  class predicate: Module
  argument1: M2
body: IndividualPropertyAtom
  property predicate: contains
  argument1: M1
  argument2: E1
body: BuiltinAtom
  builtin: notEqual
  arguments: M1
  arguments: M2
head: IndividualPropertyAtom
  property predicate: supported by
  argument1: M1
  argument2: M2

S20
is rule enabled: true
core or extension: Argument Pattern Extension
type: Imp
body: IndividualPropertyAtom
  property predicate: instantiation of
  argument1: https://w3id.org/OntoGSN/ontology#B
  argument2: https://w3id.org/OntoGSN/ontology#C
body: DatavaluedPropertyAtom
  property predicate: final
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: true
body: ClassAtom
  class predicate: Pattern
  argument1: https://w3id.org/OntoGSN/ontology#C
body: IndividualPropertyAtom
  property predicate: contains
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: https://w3id.org/OntoGSN/ontology#B
body: IndividualPropertyAtom
  property predicate: contains
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: https://w3id.org/OntoGSN/ontology#C
head: DatavaluedPropertyAtom
  property predicate: valid
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: false

S14
is rule enabled: true
core or extension: Core GSN
type: Imp
body: DatavaluedPropertyAtom
  property predicate: true
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: false
body: IndividualPropertyAtom
  property predicate: subject
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: https://w3id.org/OntoGSN/ontology#A
body: IndividualPropertyAtom
  property predicate: in context of
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: https://w3id.org/OntoGSN/ontology#B
body: ClassAtom
  class predicate: Relationship
  argument1: https://w3id.org/OntoGSN/ontology#R
body: IndividualPropertyAtom
  property predicate: object
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: https://w3id.org/OntoGSN/ontology#B
head: DatavaluedPropertyAtom
  property predicate: true
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: false

S13
is rule enabled: true
core or extension: Core GSN
type: Imp
body: ClassAtom
  class predicate: Solution
  argument1: https://w3id.org/OntoGSN/ontology#A
body: ClassAtom
  class predicate: Solution
  argument1: https://w3id.org/OntoGSN/ontology#B
body: DatavaluedPropertyAtom
  property predicate: true
  argument1: https://w3id.org/OntoGSN/ontology#B
  argument2: false
body: IndividualPropertyAtom
  property predicate: supported by
  argument1: https://w3id.org/OntoGSN/ontology#C
  argument2: https://w3id.org/OntoGSN/ontology#B
body: DatavaluedPropertyAtom
  property predicate: true
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: true
body: IndividualPropertyAtom
  property predicate: supported by
  argument1: https://w3id.org/OntoGSN/ontology#C
  argument2: https://w3id.org/OntoGSN/ontology#A
head: DatavaluedPropertyAtom
  property predicate: true
  argument1: https://w3id.org/OntoGSN/ontology#C
  argument2: false

S11
is rule enabled: true
core or extension: Core GSN
type: Imp
body: ClassAtom
  class predicate: Solution
  argument1: https://w3id.org/OntoGSN/ontology#A
body: DatavaluedPropertyAtom
  property predicate: true
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: false
body: IndividualPropertyAtom
  property predicate: supported by
  argument1: https://w3id.org/OntoGSN/ontology#B
  argument2: https://w3id.org/OntoGSN/ontology#A
head: DatavaluedPropertyAtom
  property predicate: true
  argument1: https://w3id.org/OntoGSN/ontology#B
  argument2: false

S10
is rule enabled: true
core or extension: Core GSN
type: Imp
body: ClassAtom
  class predicate: Solution
  argument1: https://w3id.org/OntoGSN/ontology#A
body: IndividualPropertyAtom
  property predicate: supported by
  argument1: https://w3id.org/OntoGSN/ontology#B
  argument2: https://w3id.org/OntoGSN/ontology#A
body: DatavaluedPropertyAtom
  property predicate: true
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: true
head: DatavaluedPropertyAtom
  property predicate: true
  argument1: https://w3id.org/OntoGSN/ontology#B
  argument2: true

S3
is rule enabled: true
core or extension: Core GSN
type: Imp
body: ClassAtom
  class predicate: Solution
  argument1: https://w3id.org/OntoGSN/ontology#B
body: IndividualPropertyAtom
  property predicate: supported by
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: https://w3id.org/OntoGSN/ontology#B
body: IndividualPropertyAtom
  property predicate: subject
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: https://w3id.org/OntoGSN/ontology#A
body: IndividualPropertyAtom
  property predicate: object
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: https://w3id.org/OntoGSN/ontology#B
head: DatavaluedPropertyAtom
  property predicate: relationship type
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: evidential

S46
is rule enabled: true
core or extension: Dialectic Extension
type: Imp
body: DatavaluedPropertyAtom
  property predicate: valid
  argument1: https://w3id.org/OntoGSN/ontology#S
  argument2: true
body: IndividualPropertyAtom
  property predicate: challenges
  argument1: https://w3id.org/OntoGSN/ontology#S
  argument2: https://w3id.org/OntoGSN/ontology#E
body: ClassAtom
  class predicate: Solution
  argument1: https://w3id.org/OntoGSN/ontology#S
head: DatavaluedPropertyAtom
  property predicate: defeated
  argument1: https://w3id.org/OntoGSN/ontology#E
  argument2: true

S4
is rule enabled: true
core or extension: Core GSN
type: Imp
body: ClassAtom
  class predicate: Strategy
  argument1: https://w3id.org/OntoGSN/ontology#B
body: IndividualPropertyAtom
  property predicate: supported by
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: https://w3id.org/OntoGSN/ontology#B
body: IndividualPropertyAtom
  property predicate: subject
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: https://w3id.org/OntoGSN/ontology#A
body: IndividualPropertyAtom
  property predicate: object
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: https://w3id.org/OntoGSN/ontology#B
head: DatavaluedPropertyAtom
  property predicate: relationship type
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: inferential

S21
is rule enabled: true
core or extension: Argument Pattern Extension
type: Imp
body: ClassAtom
  class predicate: Template
  argument1: https://w3id.org/OntoGSN/ontology#A
body: DatavaluedPropertyAtom
  property predicate: undeveloped
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: true
body: IndividualPropertyAtom
  property predicate: subject
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: https://w3id.org/OntoGSN/ontology#A
body: DatavaluedPropertyAtom
  property predicate: published
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: true
head: DatavaluedPropertyAtom
  property predicate: valid
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: false
head: DatavaluedPropertyAtom
  property predicate: valid
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: false

S22
is rule enabled: true
core or extension: Argument Pattern Extension
type: Imp
body: ClassAtom
  class predicate: Template
  argument1: https://w3id.org/OntoGSN/ontology#A
body: DatavaluedPropertyAtom
  property predicate: undeveloped
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: true
body: IndividualPropertyAtom
  property predicate: subject
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: https://w3id.org/OntoGSN/ontology#B
body: DatavaluedPropertyAtom
  property predicate: published
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: true
body: IndividualPropertyAtom
  property predicate: contains
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: https://w3id.org/OntoGSN/ontology#B
head: DatavaluedPropertyAtom
  property predicate: valid
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: false
head: DatavaluedPropertyAtom
  property predicate: valid
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: false

S2
is rule enabled: true
core or extension: Core GSN
type: Imp
body: IndividualPropertyAtom
  property predicate: subject
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: https://w3id.org/OntoGSN/ontology#A
body: IndividualPropertyAtom
  property predicate: in context of
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: https://w3id.org/OntoGSN/ontology#B
body: IndividualPropertyAtom
  property predicate: object
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: https://w3id.org/OntoGSN/ontology#B
head: DatavaluedPropertyAtom
  property predicate: relationship type
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: contextual

S7
is rule enabled: true
core or extension: Core GSN
type: Imp
body: IndividualPropertyAtom
  property predicate: object
  argument1: R3
  argument2: https://w3id.org/OntoGSN/ontology#A
body: IndividualPropertyAtom
  property predicate: subject
  argument1: R1
  argument2: https://w3id.org/OntoGSN/ontology#A
body: IndividualPropertyAtom
  property predicate: subject
  argument1: R2
  argument2: https://w3id.org/OntoGSN/ontology#B
body: IndividualPropertyAtom
  property predicate: subject
  argument1: R3
  argument2: https://w3id.org/OntoGSN/ontology#C
body: IndividualPropertyAtom
  property predicate: predicate
  argument1: R3
  argument2: https://w3id.org/OntoGSN/ontology#P
body: IndividualPropertyAtom
  property predicate: predicate
  argument1: R2
  argument2: https://w3id.org/OntoGSN/ontology#P
body: IndividualPropertyAtom
  property predicate: object
  argument1: R1
  argument2: https://w3id.org/OntoGSN/ontology#B
body: IndividualPropertyAtom
  property predicate: object
  argument1: R2
  argument2: https://w3id.org/OntoGSN/ontology#C
body: IndividualPropertyAtom
  property predicate: predicate
  argument1: R1
  argument2: https://w3id.org/OntoGSN/ontology#P
head: DatavaluedPropertyAtom
  property predicate: valid
  argument1: R1
  argument2: false
head: DatavaluedPropertyAtom
  property predicate: valid
  argument1: R2
  argument2: false
head: DatavaluedPropertyAtom
  property predicate: valid
  argument1: R3
  argument2: false

S52
is rule enabled: true
core or extension: Dialectic Extension
type: Imp
body: IndividualPropertyAtom
  property predicate: challenges
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: https://w3id.org/OntoGSN/ontology#B
head: ClassAtom
  class predicate: Defeater
  argument1: https://w3id.org/OntoGSN/ontology#A

S50
is rule enabled: true
core or extension: Dialectic Extension
type: Imp
body: IndividualPropertyAtom
  property predicate: challenges
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: https://w3id.org/OntoGSN/ontology#B
body: BuiltinAtom
  builtin: makeOWLThing
  arguments: https://w3id.org/OntoGSN/ontology#B
  arguments: https://w3id.org/OntoGSN/ontology#R
head: IndividualPropertyAtom
  property predicate: subject
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: https://w3id.org/OntoGSN/ontology#A
head: ClassAtom
  class predicate: Relationship
  argument1: https://w3id.org/OntoGSN/ontology#R
head: IndividualPropertyAtom
  property predicate: object
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: https://w3id.org/OntoGSN/ontology#B

S39
is rule enabled: true
core or extension: Modular Extension
type: Imp
body: DatavaluedPropertyAtom
  property predicate: contract
  argument1: https://w3id.org/OntoGSN/ontology#C
  argument2: true
body: DatavaluedPropertyAtom
  property predicate: public
  argument1: https://w3id.org/OntoGSN/ontology#E
  argument2: true
body: IndividualPropertyAtom
  property predicate: contains
  argument1: https://w3id.org/OntoGSN/ontology#C
  argument2: https://w3id.org/OntoGSN/ontology#E
head: DatavaluedPropertyAtom
  property predicate: valid
  argument1: https://w3id.org/OntoGSN/ontology#E
  argument2: false

S19
is rule enabled: true
core or extension: Core GSN
type: Imp
body: IndividualPropertyAtom
  property predicate: in context of
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: https://w3id.org/OntoGSN/ontology#B
body: BuiltinAtom
  builtin: makeOWLThing
  arguments: https://w3id.org/OntoGSN/ontology#B
  arguments: https://w3id.org/OntoGSN/ontology#R
head: IndividualPropertyAtom
  property predicate: subject
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: https://w3id.org/OntoGSN/ontology#A
head: ClassAtom
  class predicate: Relationship
  argument1: https://w3id.org/OntoGSN/ontology#R
head: IndividualPropertyAtom
  property predicate: object
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: https://w3id.org/OntoGSN/ontology#B

S18
is rule enabled: true
core or extension: Core GSN
type: Imp
body: IndividualPropertyAtom
  property predicate: supported by
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: https://w3id.org/OntoGSN/ontology#B
body: BuiltinAtom
  builtin: makeOWLThing
  arguments: https://w3id.org/OntoGSN/ontology#B
  arguments: https://w3id.org/OntoGSN/ontology#R
head: IndividualPropertyAtom
  property predicate: subject
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: https://w3id.org/OntoGSN/ontology#A
head: ClassAtom
  class predicate: Relationship
  argument1: https://w3id.org/OntoGSN/ontology#R
head: IndividualPropertyAtom
  property predicate: object
  argument1: https://w3id.org/OntoGSN/ontology#R
  argument2: https://w3id.org/OntoGSN/ontology#B

S12
is rule enabled: true
core or extension: Core GSN
type: Imp
body: DatavaluedPropertyAtom
  property predicate: valid
  argument1: https://w3id.org/OntoGSN/ontology#B
  argument2: false
body: DatavaluedPropertyAtom
  property predicate: valid
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: true
body: IndividualPropertyAtom
  property predicate: supported by
  argument1: https://w3id.org/OntoGSN/ontology#C
  argument2: https://w3id.org/OntoGSN/ontology#B
body: IndividualPropertyAtom
  property predicate: supported by
  argument1: https://w3id.org/OntoGSN/ontology#C
  argument2: https://w3id.org/OntoGSN/ontology#A
head: DatavaluedPropertyAtom
  property predicate: valid
  argument1: https://w3id.org/OntoGSN/ontology#C
  argument2: false

S41
is rule enabled: true
core or extension: Confidence Argument Extension
type: Imp
body: DatavaluedPropertyAtom
  property predicate: identifier
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: https://w3id.org/OntoGSN/ontology#N
body: DatavaluedPropertyAtom
  property predicate: identifier
  argument1: https://w3id.org/OntoGSN/ontology#B
  argument2: https://w3id.org/OntoGSN/ontology#M
body: BuiltinAtom
  builtin: notEqual
  arguments: https://w3id.org/OntoGSN/ontology#A
  arguments: https://w3id.org/OntoGSN/ontology#B
body: BuiltinAtom
  builtin: equal
  arguments: https://w3id.org/OntoGSN/ontology#N
  arguments: https://w3id.org/OntoGSN/ontology#M
head: DatavaluedPropertyAtom
  property predicate: valid
  argument1: https://w3id.org/OntoGSN/ontology#A
  argument2: false
head: DatavaluedPropertyAtom
  property predicate: valid
  argument1: https://w3id.org/OntoGSN/ontology#B
  argument2: false

S47
is rule enabled: true
core or extension: Dialectic Extension
type: Imp
body: DatavaluedPropertyAtom
  property predicate: defeated
  argument1: https://w3id.org/OntoGSN/ontology#E
  argument2: true
head: DatavaluedPropertyAtom
  property predicate: valid
  argument1: https://w3id.org/OntoGSN/ontology#E
  argument2: false