@prefix : <https://w3id.org/OntoGSN/ontology#> .
@prefix cc: <http://creativecommons.org/ns#> .
@prefix dc: <http://purl.org/dc/elements/1.1/> .
@prefix gsn: <https://w3id.org/OntoGSN/ontology#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix swrl: <http://www.w3.org/2003/11/swrl#> .
@prefix vann: <http://purl.org/vocab/vann/> .
@prefix swrla: <http://swrl.stanford.edu/ontologies/3.3/swrla.owl#> .
@prefix swrlb: <http://www.w3.org/2003/11/swrlb#> .
@prefix terms: <http://purl.org/dc/terms/> .
@prefix schema: <http://schema.org/> .
@base <https://w3id.org/OntoGSN/ontology#> .

<https://w3id.org/OntoGSN/ontology> rdf:type owl:Ontology ;
                                     cc:license "https://creativecommons.org/licenses/by/4.0/" ;
                                     dc:contributor "Barbara Gallina, Dian Balta, Ingmar Kessler"@en ;
                                     dc:creator "Standard: The Assurance Case Working Group (ACWG)"@en ,
                                                "Tomas Bueno Momčilović"@en ;
                                     dc: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."@en ;
                                     dc:identifier "SCSC-141C" ;
                                     dc:issued "2025-02-24"^^xsd:date ;
                                     dc:modified "2025-06-19T00:00:00Z" ;
                                     dc:publisher "https://www.fortiss.org/"@en ;
                                     dc:source "The Assurance Case Working Group (ACWG). (2021 May). Goal Structuring Notation Community Standard Version 3. URL: http://scsc.uk/SCSC-141C"@en ;
                                     dc:title "OntoGSN"@en ;
                                     terms:bibliographicCitation "Bueno Momcilovic, T., Kessler, I., Gallina, B., & Balta, D. (2025). OntoGSN: An Ontology for Dynamic Management of Assurance Cases." ;
                                     terms:created "20th February 2025"@en ;
                                     vann:preferredNamespacePrefix "gsn" ;
                                     schema: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."@en ;
                                     schema:url "https://w3id.org/OntoGSN/"^^xsd:anyURI ;
                                     schema:version 3.0 ;
                                     owl:versionInfo 1.2 ;
                                     skos: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."@en .

#################################################################
#    Annotation properties
#################################################################

###  http://creativecommons.org/ns#license
cc:license rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/elements/1.1/contributor
dc:contributor rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/elements/1.1/created
dc:created rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/elements/1.1/creator
dc:creator rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/elements/1.1/description
dc:description rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/elements/1.1/identifier
dc:identifier rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/elements/1.1/issued
dc:issued rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/elements/1.1/modified
dc:modified rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/elements/1.1/publisher
dc:publisher rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/elements/1.1/source
dc:source rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/elements/1.1/title
dc:title rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/terms/abstract
terms:abstract rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/terms/bibliographicCitation
terms:bibliographicCitation rdf:type owl:AnnotationProperty .


###  http://purl.org/dc/terms/created
terms:created rdf:type owl:AnnotationProperty .


###  http://purl.org/vocab/vann/preferredNamespacePrefix
vann:preferredNamespacePrefix rdf:type owl:AnnotationProperty .


###  http://schema.org/citation
schema:citation rdf:type owl:AnnotationProperty .


###  http://schema.org/description
schema:description rdf:type owl:AnnotationProperty .


###  http://schema.org/disclaimer
schema:disclaimer rdf:type owl:AnnotationProperty .


###  http://schema.org/license
schema:license rdf:type owl:AnnotationProperty .


###  http://schema.org/url
schema:url rdf:type owl:AnnotationProperty .


###  http://schema.org/version
schema:version rdf:type owl:AnnotationProperty .


###  http://swrl.stanford.edu/ontologies/3.3/swrla.owl#isRuleEnabled
swrla:isRuleEnabled rdf:type owl:AnnotationProperty .


###  http://www.w3.org/2004/02/skos/core#altLabel
skos:altLabel rdf:type owl:AnnotationProperty .


###  http://www.w3.org/2004/02/skos/core#definition
skos:definition rdf:type owl:AnnotationProperty .


###  http://www.w3.org/2004/02/skos/core#note
skos:note rdf:type owl:AnnotationProperty .


###  https://w3id.org/OntoGSN/ontology#applicability
gsn:applicability rdf:type owl:AnnotationProperty ;
                  rdfs:label "applicability"@en ;
                  skos: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."@en ;
                  gsn:coreOrExtension "Argument Pattern Extension"@en ;
                  rdfs:domain gsn:Pattern .


###  https://w3id.org/OntoGSN/ontology#collaboration
gsn:collaboration rdf:type owl:AnnotationProperty ;
                  rdfs:label "collaboration"@en ;
                  skos: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."@en ;
                  gsn:coreOrExtension "Argument Pattern Extension"@en ;
                  rdfs:domain gsn:Pattern .


###  https://w3id.org/OntoGSN/ontology#consequences
gsn:consequences rdf:type owl:AnnotationProperty ;
                 rdfs:label "consequences"@en ;
                 skos: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."@en ;
                 gsn:coreOrExtension "Argument Pattern Extension"@en ;
                 rdfs:domain gsn:Pattern .


###  https://w3id.org/OntoGSN/ontology#coreOrExtension
gsn:coreOrExtension rdf:type owl:AnnotationProperty ;
                    rdfs:label "core or extension"@en ;
                    skos:definition "Indicator of the sourcing section in the GSN Community Standard v3."@en .


###  https://w3id.org/OntoGSN/ontology#examples
gsn:examples rdf:type owl:AnnotationProperty ;
             rdfs:label "examples"@en ;
             skos: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."@en ;
             gsn:coreOrExtension "Argument Pattern Extension"@en ;
             rdfs:domain gsn:Pattern .


###  https://w3id.org/OntoGSN/ontology#implementation
gsn:implementation rdf:type owl:AnnotationProperty ;
                   rdfs:label "implementation"@en ;
                   skos: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."@en ;
                   gsn:coreOrExtension "Argument Pattern Extension"@en ;
                   rdfs:domain gsn:Pattern .


###  https://w3id.org/OntoGSN/ontology#intent
gsn:intent rdf:type owl:AnnotationProperty ;
           rdfs:label "intent"@en ;
           skos:definition "The intent statement should state clearly what the pattern aims to achieve."@en ;
           gsn:coreOrExtension "Argument Pattern Extension"@en ;
           rdfs:domain gsn:Pattern .


###  https://w3id.org/OntoGSN/ontology#knownUses
gsn:knownUses rdf:type owl:AnnotationProperty ;
              rdfs:label "known uses"@en ;
              skos:definition "It may be useful to provide references to known applications of the pattern. These can serve as additional examples."@en ;
              gsn:coreOrExtension "Argument Pattern Extension"@en ;
              rdfs:domain gsn:Pattern .


###  https://w3id.org/OntoGSN/ontology#motivation
gsn:motivation rdf:type owl:AnnotationProperty ;
               rdfs:label "motivation"@en ;
               skos: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."@en ;
               gsn:coreOrExtension "Argument Pattern Extension"@en ;
               rdfs:domain gsn:Pattern .


###  https://w3id.org/OntoGSN/ontology#participants
gsn:participants rdf:type owl:AnnotationProperty ;
                 rdfs:label "participants"@en ;
                 skos: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."@en ;
                 gsn:coreOrExtension "Argument Pattern Extension"@en ;
                 rdfs:domain gsn:Pattern .


###  https://w3id.org/OntoGSN/ontology#renderedAs
gsn:renderedAs rdf:type owl:AnnotationProperty ;
               rdfs:label "rendered as"@en ;
               gsn:coreOrExtension "Core GSN"@en .


###  https://w3id.org/OntoGSN/ontology#structure
gsn:structure rdf:type owl:AnnotationProperty ;
              rdfs:label "structure"@en ;
              skos: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."@en ;
              gsn:coreOrExtension "Argument Pattern Extension"@en ;
              rdfs:domain gsn:Pattern .


#################################################################
#    Datatypes
#################################################################

###  http://www.w3.org/2001/XMLSchema#date
xsd:date rdf:type rdfs:Datatype .


#################################################################
#    Object Properties
#################################################################

###  http://www.w3.org/1999/02/22-rdf-syntax-ns#object
rdf:object rdf:type owl:ObjectProperty .


###  http://www.w3.org/1999/02/22-rdf-syntax-ns#predicate
rdf:predicate rdf:type owl:ObjectProperty .


###  http://www.w3.org/1999/02/22-rdf-syntax-ns#subject
rdf:subject rdf:type owl:ObjectProperty .


###  https://w3id.org/OntoGSN/ontology#associatedWith
gsn:associatedWith rdf:type owl:ObjectProperty ;
                   rdfs:domain [ rdf:type owl:Class ;
                                 owl:unionOf ( gsn:ArtefactReference
                                               gsn:RelationshipWithConfidence
                                             )
                               ] ;
                   rdfs:range gsn:Argument ;
                   rdfs:label "associated with"@en ;
                   gsn:coreOrExtension "Confidence Argument Extension"@en .


###  https://w3id.org/OntoGSN/ontology#attachedTo
gsn:attachedTo rdf:type owl:ObjectProperty ;
               rdfs:domain gsn:InstantiationDataReference ;
               rdfs:range gsn:Template ;
               rdfs:label "attached to"@en ;
               gsn:coreOrExtension "Argument Pattern Extension"@en ;
               gsn:renderedAs "dotted line" .


###  https://w3id.org/OntoGSN/ontology#challenges
gsn:challenges rdf:type owl:ObjectProperty ;
               rdfs:domain [ rdf:type owl:Class ;
                             owl:unionOf ( gsn:Goal
                                           gsn:Solution
                                         )
                           ] ;
               rdfs:range gsn:GSNElement ;
               rdfs:label "challenges"@en ;
               skos: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."@en ;
               skos:note "A challenge must be levied against the appropriate aspect of the goal structure."@en ;
               gsn:coreOrExtension "Dialectic Extension"@en ;
               gsn:renderedAs "dashed line with an open arrowhead" .


###  https://w3id.org/OntoGSN/ontology#consistentWith
gsn:consistentWith rdf:type owl:ObjectProperty ,
                            owl:SymmetricProperty ;
                   rdfs:domain [ rdf:type owl:Class ;
                                 owl:unionOf ( gsn:Assumption
                                               gsn:Context
                                             )
                               ] ;
                   rdfs:range [ rdf:type owl:Class ;
                                owl:unionOf ( gsn:Assumption
                                              gsn:Context
                                            )
                              ] ;
                   rdfs:label "consistent with"@en ;
                   skos: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." ;
                   gsn:coreOrExtension "Modular Extension"@en .


###  https://w3id.org/OntoGSN/ontology#contains
gsn:contains rdf:type owl:ObjectProperty ;
             rdfs:domain [ rdf:type owl:Class ;
                           owl:unionOf ( gsn:Argument
                                         gsn:AssuranceCase
                                         gsn:Module
                                       )
                         ] ;
             rdfs:range [ rdf:type owl:Class ;
                          owl:unionOf ( gsn:Argument
                                        gsn:Artefact
                                        gsn:Module
                                      )
                        ] ;
             rdfs:label "contains"@en ;
             gsn:coreOrExtension "Core GSN"@en .


###  https://w3id.org/OntoGSN/ontology#inContextOf
gsn:inContextOf rdf:type owl:ObjectProperty ,
                         owl:AsymmetricProperty ,
                         owl:IrreflexiveProperty ;
                rdfs:domain [ rdf:type owl:Class ;
                              owl:unionOf ( gsn:Goal
                                            gsn:Strategy
                                          )
                            ] ;
                rdfs:range [ rdf:type owl:Class ;
                             owl:unionOf ( gsn:Assumption
                                           gsn:Context
                                           gsn:Justification
                                           gsn:Module
                                         )
                           ] ;
                rdfs:label "in context of"@en ;
                skos:definition "InContextOf, rendered as a line with a hollow arrowhead, declares a contextual relationship."@en ;
                gsn:coreOrExtension "Core GSN"@en ;
                gsn:renderedAs "line with a hollow arrowhead" .


###  https://w3id.org/OntoGSN/ontology#instantiationOf
gsn:instantiationOf rdf:type owl:ObjectProperty ;
                    rdfs:domain [ rdf:type owl:Class ;
                                  owl:unionOf ( gsn:Argument
                                                gsn:GSNElement
                                              )
                                ] ;
                    rdfs:range gsn:Pattern ;
                    rdfs:label "instantiation of"@en ;
                    gsn:coreOrExtension "Argument Pattern Extension"@en .


###  https://w3id.org/OntoGSN/ontology#refersTo
gsn:refersTo rdf:type owl:ObjectProperty ;
             rdfs:domain gsn:ArtefactReference ;
             rdfs:range gsn:Artefact ;
             rdfs:label "refers to"@en ;
             gsn:coreOrExtension "Core GSN"@en .


###  https://w3id.org/OntoGSN/ontology#relatedTo
gsn:relatedTo rdf:type owl:ObjectProperty ;
              rdfs:domain gsn:Pattern ;
              rdfs:range gsn:Pattern ;
              rdfs:label "related to"@en ;
              skos:definition "This section can be used to reference patterns that are related e.g. addressing the same intent in a different context."@en ;
              gsn:coreOrExtension "Argument Pattern Extension"@en .


###  https://w3id.org/OntoGSN/ontology#substitutedBy
gsn:substitutedBy rdf:type owl:ObjectProperty ;
                  rdfs:domain gsn:Justification ;
                  rdfs:range [ owl:intersectionOf ( gsn:Goal
                                                    [ rdf:type owl:Restriction ;
                                                      owl:onProperty gsn:away ;
                                                      owl:hasValue "true"^^xsd:boolean
                                                    ]
                                                  ) ;
                               rdf:type owl:Class
                             ] ;
                  rdfs:label "substituted by"@en ;
                  skos: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."@en ;
                  gsn:coreOrExtension "Modular Extension"@en .


###  https://w3id.org/OntoGSN/ontology#supportedBy
gsn:supportedBy rdf:type owl:ObjectProperty ,
                         owl:AsymmetricProperty ,
                         owl:IrreflexiveProperty ;
                rdfs:domain [ rdf:type owl:Class ;
                              owl:unionOf ( gsn:Goal
                                            gsn:Strategy
                                          )
                            ] ;
                rdfs:range [ rdf:type owl:Class ;
                             owl:unionOf ( gsn:Goal
                                           gsn:Module
                                           gsn:Solution
                                           gsn:Strategy
                                         )
                           ] ;
                rdfs:label "supported by"@en ;
                skos:definition "SupportedBy, rendered as a line with a solid arrowhead, allows support relationships between elements to be documented."@en ;
                gsn:coreOrExtension "Core GSN"@en ;
                gsn:renderedAs "line with a solid arrowhead" .


#################################################################
#    Data properties
#################################################################

###  http://schema.org/description
schema:description rdf:type owl:DatatypeProperty .


###  http://schema.org/identifier
schema:identifier rdf:type owl:DatatypeProperty .


###  https://w3id.org/OntoGSN/ontology#argumentType
gsn:argumentType rdf:type owl:DatatypeProperty ;
                 rdfs:domain gsn:Argument ;
                 rdfs:range [ rdf:type rdfs:Datatype ;
                              owl:oneOf [ rdf:type rdf:List ;
                                          rdf:first "confidence" ;
                                          rdf:rest [ rdf:type rdf:List ;
                                                     rdf:first "dialectic" ;
                                                     rdf:rest [ rdf:type rdf:List ;
                                                                rdf:first "risk" ;
                                                                rdf:rest rdf:nil
                                                              ]
                                                   ]
                                        ]
                            ] ;
                 rdfs:label "argument type"@en ;
                 gsn:coreOrExtension "Confidence Argument Extension"@en .


###  https://w3id.org/OntoGSN/ontology#assuranceClaimPoint
gsn:assuranceClaimPoint rdf:type owl:DatatypeProperty ;
                        rdfs:domain [ rdf:type owl:Class ;
                                      owl:unionOf ( gsn:ArtefactReference
                                                    gsn:RelationshipWithConfidence
                                                  )
                                    ] ;
                        rdfs:range xsd:boolean ;
                        rdfs:label "assurance claim point"@en ;
                        skos: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."@en ;
                        gsn:coreOrExtension "Confidence Argument Extension"@en ;
                        gsn:renderedAs "solid square" .


###  https://w3id.org/OntoGSN/ontology#away
gsn:away rdf:type owl:DatatypeProperty ;
         rdfs:domain [ rdf:type owl:Class ;
                       owl:unionOf ( gsn:Assumption
                                     gsn:Context
                                     gsn:Goal
                                     gsn:Justification
                                     gsn:Solution
                                   )
                     ] ;
         rdfs:range xsd:boolean ;
         schema: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."@en ;
         rdfs:label "away"@en ;
         skos:definition "An away element reference repeats a claim or evidence presented in another argument module."@en ;
         gsn:coreOrExtension "Modular Extension"@en ;
         gsn:renderedAs "bisecting line in the lower half" .


###  https://w3id.org/OntoGSN/ontology#choice
gsn:choice rdf:type owl:DatatypeProperty ;
           rdfs:domain gsn:Relationship ;
           rdfs:range xsd:boolean ;
           rdfs:label "choice"@en ;
           skos:definition "A GSN choice can be used to denote possible alternatives in satisfying a relationship."@en ;
           gsn:coreOrExtension "Argument Pattern Extension"@en ;
           gsn:renderedAs "solid diamond" .


###  https://w3id.org/OntoGSN/ontology#contract
gsn:contract rdf:type owl:DatatypeProperty ;
             rdfs:domain gsn:Module ;
             rdfs:range xsd:boolean ;
             owl:propertyDisjointWith gsn:undeveloped ;
             rdfs:label "contract"@en ;
             skos: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."@en ;
             skos: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."@en ,
                       "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."@en ;
             gsn:coreOrExtension "Modular Extension"@en ;
             gsn:renderedAs "a rectangle with two smaller rectangles (of equal size to each other) adjoining at the top left and bottom right" .


###  https://w3id.org/OntoGSN/ontology#defeated
gsn:defeated rdf:type owl:DatatypeProperty ;
             rdfs:domain [ rdf:type owl:Class ;
                           owl:unionOf ( gsn:GSNElement
                                         gsn:Relationship
                                       )
                         ] ;
             rdfs:range xsd:boolean ;
             schema:description "Defeated Relationship indicates that the relationship is defeated. The Defeated decorator can be applied to any of the GSN relationships."@en ;
             rdfs:label "defeated"@en ;
             skos:definition "This decorator symbol indicates that the element is defeated. The Defeated decorator can be applied to any of the GSN elements."@en ;
             gsn:coreOrExtension "Dialectic Extension"@en ;
             gsn:renderedAs "cross (‘X’) superimposed on a GSN element or relationship" .


###  https://w3id.org/OntoGSN/ontology#final
gsn:final rdf:type owl:DatatypeProperty ;
          rdfs:domain gsn:Argument ;
          rdfs:range xsd:boolean ;
          rdfs:label "final"@en ;
          gsn:coreOrExtension "Argument Pattern Extension"@en .


###  https://w3id.org/OntoGSN/ontology#inDoubt
gsn:inDoubt rdf:type owl:DatatypeProperty ;
            rdfs:domain [ rdf:type owl:Class ;
                          owl:unionOf ( gsn:AssuranceCase
                                        gsn:GSNElement
                                        gsn:Relationship
                                      )
                        ] ;
            rdfs:range xsd:boolean ;
            rdfs:label "in doubt"@en ;
            skos: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."@en ;
            gsn:coreOrExtension "Dialectic Extension"@en .


###  https://w3id.org/OntoGSN/ontology#maxCardinality
gsn:maxCardinality rdf:type owl:DatatypeProperty ;
                   rdfs:domain gsn:Relationship ;
                   rdfs:range xsd:nonNegativeInteger ;
                   rdfs:label "maximum cardinality"@en ;
                   gsn:coreOrExtension "Argument Pattern Extension"@en ;
                   gsn:renderedAs "text" .


###  https://w3id.org/OntoGSN/ontology#minCardinality
gsn:minCardinality rdf:type owl:DatatypeProperty ;
                   rdfs:domain gsn:Relationship ;
                   rdfs:range xsd:nonNegativeInteger ;
                   rdfs:label "minimum cardinality"@en ;
                   gsn:coreOrExtension "Argument Pattern Extension"@en ;
                   gsn:renderedAs "text" .


###  https://w3id.org/OntoGSN/ontology#multiple
gsn:multiple rdf:type owl:DatatypeProperty ;
             rdfs:domain gsn:Relationship ;
             rdfs:range xsd:boolean ;
             rdfs:label "multiple"@en ;
             gsn:coreOrExtension "Argument Pattern Extension"@en ;
             gsn:renderedAs "solid ball" .


###  https://w3id.org/OntoGSN/ontology#offDiagram
gsn:offDiagram rdf:type owl:DatatypeProperty ;
               rdfs:domain gsn:GSNElement ;
               rdfs:range xsd:boolean ;
               rdfs:label "off-diagram"@en ;
               gsn:coreOrExtension "Core GSN"@en .


###  https://w3id.org/OntoGSN/ontology#optional
gsn:optional rdf:type owl:DatatypeProperty ;
             rdfs:domain gsn:Relationship ;
             rdfs:range xsd:boolean ;
             rdfs:label "optional"@en ;
             skos:definition "Optional instantiation means that the relationship and the argument below may or may not be instantiated."@en ;
             gsn:coreOrExtension "Argument Pattern Extension"@en ;
             gsn:renderedAs "hollow ball"@en .


###  https://w3id.org/OntoGSN/ontology#public
gsn:public rdf:type owl:DatatypeProperty ;
           rdfs:domain [ rdf:type owl:Class ;
                         owl:unionOf ( gsn:Assumption
                                       gsn:Context
                                       gsn:Goal
                                       gsn:Justification
                                       gsn:Solution
                                     )
                       ] ;
           rdfs:range xsd:boolean ;
           rdfs:label "public"@en ;
           skos: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."@en ;
           gsn:coreOrExtension "Modular Extension"@en ;
           gsn:renderedAs "miniature module symbol superimposed on an element at the top right" .


###  https://w3id.org/OntoGSN/ontology#published
gsn:published rdf:type owl:DatatypeProperty ;
              rdfs:domain gsn:Argument ;
              rdfs:range xsd:boolean ;
              rdfs:label "published"@en ;
              gsn:coreOrExtension "Argument Pattern Extension"@en .


###  https://w3id.org/OntoGSN/ontology#relationshipType
gsn:relationshipType rdf:type owl:DatatypeProperty ;
                     rdfs:domain gsn:Relationship ;
                     rdfs:range [ rdf:type rdfs:Datatype ;
                                  owl:oneOf [ rdf:type rdf:List ;
                                              rdf:first "contextual" ;
                                              rdf:rest [ rdf:type rdf:List ;
                                                         rdf:first "evidential" ;
                                                         rdf:rest [ rdf:type rdf:List ;
                                                                    rdf:first "inferential" ;
                                                                    rdf:rest rdf:nil
                                                                  ]
                                                       ]
                                            ]
                                ] ;
                     rdfs:label "relationship type"@en ;
                     skos: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."@en ,
                                     "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."@en ;
                     gsn:coreOrExtension "Core GSN"@en .


###  https://w3id.org/OntoGSN/ontology#statement
gsn:statement rdf:type owl:DatatypeProperty ;
              rdfs:domain [ rdf:type owl:Class ;
                            owl:unionOf ( gsn:Argument
                                          gsn:GSNElement
                                        )
                          ] ;
              rdfs:range xsd:string ;
              rdfs:label "statement"@en ;
              gsn:coreOrExtension "Core GSN"@en .


###  https://w3id.org/OntoGSN/ontology#structured
gsn:structured rdf:type owl:DatatypeProperty ;
               rdfs:domain gsn:Argument ;
               rdfs:range xsd:boolean ;
               rdfs:label "structured"@en ;
               skos:definition "A particular kind of argument where the relationships between the asserted claims, and from the evidence to the claims, are explicitly represented."@en ;
               gsn:coreOrExtension "Core GSN"@en .


###  https://w3id.org/OntoGSN/ontology#toBeSupportedByContract
gsn:toBeSupportedByContract rdf:type owl:DatatypeProperty ;
                            rdfs:domain gsn:Goal ;
                            rdfs:range xsd:boolean ;
                            owl:propertyDisjointWith gsn:undeveloped ;
                            rdfs:label "to be supported by contract"@en ;
                            gsn:coreOrExtension "Modular Extension"@en ;
                            gsn:renderedAs "attached centrally immediately below the goal to which it relates" .


###  https://w3id.org/OntoGSN/ontology#top
gsn:top rdf:type owl:DatatypeProperty ;
        rdfs:domain gsn:Goal ;
        rdfs:range xsd:boolean ;
        rdfs:label "top (goal)"@en ;
        skos: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."@en ,
                        "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."@en ;
        gsn:coreOrExtension "Core GSN"@en .


###  https://w3id.org/OntoGSN/ontology#true
gsn:true rdf:type owl:DatatypeProperty ;
         rdfs:domain gsn:GSNElement ;
         rdfs:range xsd:boolean ;
         rdfs:label "true"@en ;
         gsn:coreOrExtension "Core GSN"@en .


###  https://w3id.org/OntoGSN/ontology#undeveloped
gsn:undeveloped rdf:type owl:DatatypeProperty ;
                rdfs:domain [ rdf:type owl:Class ;
                              owl:unionOf ( gsn:Goal
                                            gsn:Strategy
                                          )
                            ] ;
                rdfs:range xsd:boolean ;
                rdfs:label "undeveloped"@en ;
                skos: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."@en ;
                gsn:coreOrExtension "Argument Pattern Extension"@en ;
                gsn:renderedAs "hollow diamond" .


###  https://w3id.org/OntoGSN/ontology#uninstantiated
gsn:uninstantiated rdf:type owl:DatatypeProperty ;
                   rdfs:domain gsn:GSNElement ;
                   rdfs:range xsd:boolean ;
                   rdfs:label "uninstantiated"@en ;
                   gsn:coreOrExtension "Argument Pattern Extension"@en ;
                   gsn:renderedAs "hollow triangle" .


###  https://w3id.org/OntoGSN/ontology#valid
gsn:valid rdf:type owl:DatatypeProperty ;
          rdfs:domain gsn:GSNElement ;
          rdfs:range xsd:boolean ;
          rdfs:label "valid"@en ;
          gsn:coreOrExtension "Core GSN"@en .


###  https://w3id.org/OntoGSN/ontology#viewType
gsn:viewType rdf:type owl:DatatypeProperty ;
             rdfs:domain gsn:View ;
             rdfs:range [ rdf:type rdfs:Datatype ;
                          owl:oneOf [ rdf:type rdf:List ;
                                      rdf:first "architecture" ;
                                      rdf:rest [ rdf:type rdf:List ;
                                                 rdf:first "argument" ;
                                                 rdf:rest rdf:nil
                                               ]
                                    ]
                        ] ;
             rdfs:label "view type"@en ;
             gsn:coreOrExtension "Modular Extension"@en .


#################################################################
#    Classes
#################################################################

###  http://www.w3.org/1999/02/22-rdf-syntax-ns#Statement
rdf:Statement rdf:type owl:Class .


###  https://w3id.org/OntoGSN/ontology#Argument
gsn:Argument rdf:type owl:Class ;
             rdfs:subClassOf _:genid83 ,
                             [ rdf:type owl:Restriction ;
                               owl:onProperty gsn:contains ;
                               owl:allValuesFrom gsn:GSNElement
                             ] ,
                             [ rdf:type owl:Restriction ;
                               owl:onProperty schema:identifier ;
                               owl:someValuesFrom xsd:string
                             ] ,
                             [ rdf:type owl:Restriction ;
                               owl:onProperty schema:identifier ;
                               owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                               owl:onDataRange xsd:string
                             ] ;
             rdfs:label "Argument"@en ;
             skos: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."@en ,
                             "A connected series of claims intended to establish an overall claim."@en ;
             gsn:coreOrExtension "Core GSN"@en .

_:genid83 rdf:type owl:Class ;
           owl:unionOf ( [ owl:intersectionOf ( [ rdf:type owl:Restriction ;
                                                  owl:onProperty gsn:contains ;
                                                  owl:someValuesFrom gsn:ArtefactReference
                                                ]
                                                [ rdf:type owl:Restriction ;
                                                  owl:onProperty gsn:contains ;
                                                  owl:someValuesFrom gsn:Goal
                                                ]
                                              ) ;
                           rdf:type owl:Class
                         ]
                         [ rdf:type owl:Restriction ;
                           owl:onProperty gsn:statement ;
                           owl:someValuesFrom xsd:string
                         ]
                       ) .

[ rdf:type owl:Axiom ;
   owl:annotatedSource gsn:Argument ;
   owl:annotatedProperty rdfs:subClassOf ;
   owl:annotatedTarget _:genid83 ;
   skos: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."@en ;
   gsn:coreOrExtension "Confidence Argument Extension"
 ] .


###  https://w3id.org/OntoGSN/ontology#Artefact
gsn:Artefact rdf:type owl:Class ;
             rdfs:label "Artefact"@en ;
             skos:altLabel "Evidence"@en ;
             gsn:coreOrExtension "Core GSN"@en .


###  https://w3id.org/OntoGSN/ontology#ArtefactReference
gsn:ArtefactReference rdf:type owl:Class ;
                      rdfs:subClassOf gsn:GSNElement ;
                      rdfs:label "Artefact Reference"@en ;
                      gsn:coreOrExtension "Core GSN"@en .


###  https://w3id.org/OntoGSN/ontology#Assumption
gsn:Assumption rdf:type owl:Class ;
               rdfs:subClassOf gsn:GSNElement ,
                               _:genid96 ;
               rdfs:label "Assumption"@en ;
               skos:definition "An assumption, rendered as an oval with the letter 'A' at the top- or bottom-right, presents an intentionally unsubstantiated statement."@en ;
               gsn:coreOrExtension "Core GSN"@en ;
               gsn:renderedAs "oval"@en .

_:genid96 rdf:type owl:Restriction ;
           owl:onProperty gsn:statement ;
           owl:someValuesFrom xsd:string .

[ rdf:type owl:Axiom ;
   owl:annotatedSource gsn:Assumption ;
   owl:annotatedProperty rdfs:subClassOf ;
   owl:annotatedTarget _:genid96 ;
   skos: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."@en
 ] .


###  https://w3id.org/OntoGSN/ontology#AssuranceCase
gsn:AssuranceCase rdf:type owl:Class ;
                  rdfs:subClassOf [ rdf:type owl:Restriction ;
                                    owl:onProperty gsn:contains ;
                                    owl:someValuesFrom gsn:Argument
                                  ] ,
                                  [ rdf:type owl:Restriction ;
                                    owl:onProperty gsn:contains ;
                                    owl:someValuesFrom gsn:Artefact
                                  ] ,
                                  [ rdf:type owl:Restriction ;
                                    owl:onProperty gsn:contains ;
                                    owl:allValuesFrom [ rdf:type owl:Class ;
                                                        owl:unionOf ( gsn:Argument
                                                                      gsn:Artefact
                                                                    )
                                                      ]
                                  ] ;
                  rdfs:label "Assurance Case"@en ;
                  skos: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."@en ,
                                  "Arguments and evidence intended to demonstrate that a system meets its assurance requirements."@en ;
                  gsn:coreOrExtension "Core GSN"@en .


###  https://w3id.org/OntoGSN/ontology#Catalogue
gsn:Catalogue rdf:type owl:Class ;
              rdfs:subClassOf [ rdf:type owl:Restriction ;
                                owl:onProperty gsn:contains ;
                                owl:allValuesFrom gsn:Pattern
                              ] ;
              rdfs:label "Catalogue"@en ;
              skos: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}."@en ;
              gsn:coreOrExtension "Argument Pattern Extension"@en .


###  https://w3id.org/OntoGSN/ontology#Context
gsn:Context rdf:type owl:Class ;
            rdfs:subClassOf gsn:ArtefactReference ,
                            _:genid105 ;
            rdfs:label "Context"@en ;
            skos:definition "A context, rendered as shown left, presents a contextual artefact. This can be a reference to contextual information, or a statement."@en ;
            gsn:coreOrExtension "Core GSN"@en ;
            gsn:renderedAs "rounded rectangle"@en .

_:genid105 rdf:type owl:Restriction ;
            owl:onProperty gsn:statement ;
            owl:someValuesFrom xsd:string .

[ rdf:type owl:Axiom ;
   owl:annotatedSource gsn:Context ;
   owl:annotatedProperty rdfs:subClassOf ;
   owl:annotatedTarget _:genid105 ;
   skos: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."@en
 ] .


###  https://w3id.org/OntoGSN/ontology#Defeater
gsn:Defeater rdf:type owl:Class ;
             owl:equivalentClass [ rdf:type owl:Class ;
                                   owl:unionOf ( gsn:Goal
                                                 gsn:Solution
                                               )
                                 ] ;
             rdfs:label "Defeater"@en ;
             skos:altLabel "Dialectic Element"@en ;
             skos: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." ;
             skos: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)."@en ,
                       "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."@en ;
             gsn:coreOrExtension "Dialectic Extension"@en .


###  https://w3id.org/OntoGSN/ontology#GSNElement
gsn:GSNElement rdf:type owl:Class ;
               rdfs:subClassOf [ rdf:type owl:Restriction ;
                                 owl:onProperty schema:identifier ;
                                 owl:someValuesFrom xsd:string
                               ] ,
                               [ rdf:type owl:Restriction ;
                                 owl:onProperty schema:identifier ;
                                 owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                                 owl:onDataRange xsd:string
                               ] ;
               rdfs:label "GSN Element"@en ;
               gsn:coreOrExtension "Core GSN"@en .


###  https://w3id.org/OntoGSN/ontology#Goal
gsn:Goal rdf:type owl:Class ;
         rdfs:subClassOf gsn:GSNElement ,
                         [ rdf:type owl:Restriction ;
                           owl:onProperty gsn:inContextOf ;
                           owl:someValuesFrom gsn:Context
                         ] ,
                         [ rdf:type owl:Restriction ;
                           owl:onProperty gsn:challenges ;
                           owl:allValuesFrom [ rdf:type owl:Class ;
                                               owl:unionOf ( gsn:GSNElement
                                                             gsn:Relationship
                                                           )
                                             ]
                         ] ,
                         [ rdf:type owl:Restriction ;
                           owl:onProperty gsn:inContextOf ;
                           owl:allValuesFrom [ rdf:type owl:Class ;
                                               owl:unionOf ( gsn:Assumption
                                                             gsn:Context
                                                             gsn:Justification
                                                             gsn:Module
                                                           )
                                             ]
                         ] ,
                         [ rdf:type owl:Restriction ;
                           owl:onProperty gsn:supportedBy ;
                           owl:allValuesFrom [ rdf:type owl:Class ;
                                               owl:unionOf ( gsn:Goal
                                                             gsn:Module
                                                             gsn:Solution
                                                             gsn:Strategy
                                                           )
                                             ]
                         ] ,
                         _:genid129 ;
         rdfs:label "Goal"@en ;
         skos:altLabel "Claim"@en ;
         skos:definition "(Claim is) A proposition being asserted by the author that is a true or false statement."@en ,
                         "A goal, rendered as a rectangle, presents a claim forming part of the argument."@en ;
         gsn:coreOrExtension "Core GSN"@en ;
         gsn:renderedAs "rectangle"@en .

_:genid129 rdf:type owl:Restriction ;
            owl:onProperty gsn:statement ;
            owl:someValuesFrom xsd:string .

[ rdf:type owl:Axiom ;
   owl:annotatedSource gsn:Goal ;
   owl:annotatedProperty rdfs:subClassOf ;
   owl:annotatedTarget _:genid129 ;
   skos: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."@en
 ] .


###  https://w3id.org/OntoGSN/ontology#InstantiationDataReference
gsn:InstantiationDataReference rdf:type owl:Class ;
                               rdfs:label "Instantiation Data Reference"@en ;
                               skos: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." ;
                               gsn:coreOrExtension "Argument Pattern Extension"@en ;
                               gsn:renderedAs "hollow triangle" .


###  https://w3id.org/OntoGSN/ontology#Justification
gsn:Justification rdf:type owl:Class ;
                  rdfs:subClassOf gsn:GSNElement ,
                                  _:genid131 ;
                  rdfs:label "Justification"@en ;
                  skos:definition "A justification, rendered as an oval with the letter 'J' at the top- or bottom-right, presents a statement of rationale."@en ;
                  gsn:coreOrExtension "Core GSN"@en ;
                  gsn:renderedAs "oval"@en .

_:genid131 rdf:type owl:Restriction ;
            owl:onProperty gsn:statement ;
            owl:someValuesFrom xsd:string .

[ rdf:type owl:Axiom ;
   owl:annotatedSource gsn:Justification ;
   owl:annotatedProperty rdfs:subClassOf ;
   owl:annotatedTarget _:genid131 ;
   skos: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."@en
 ] .


###  https://w3id.org/OntoGSN/ontology#Module
gsn:Module rdf:type owl:Class ;
           rdfs:subClassOf gsn:GSNElement ,
                           [ rdf:type owl:Restriction ;
                             owl:onProperty gsn:contains ;
                             owl:allValuesFrom [ rdf:type owl:Class ;
                                                 owl:unionOf ( gsn:Argument
                                                               gsn:Module
                                                             )
                                               ]
                           ] ,
                           [ rdf:type owl:Restriction ;
                             owl:onProperty gsn:inContextOf ;
                             owl:allValuesFrom gsn:Module
                           ] ,
                           [ rdf:type owl:Restriction ;
                             owl:onProperty gsn:supportedBy ;
                             owl:allValuesFrom gsn:Module
                           ] ,
                           [ rdf:type owl:Restriction ;
                             owl:onProperty gsn:contains ;
                             owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                             owl:onClass gsn:Argument
                           ] ;
           rdfs:label "Module"@en ;
           skos: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."@en ;
           gsn:coreOrExtension "Modular Extension"@en ;
           gsn:renderedAs "a rectangle with a second smaller rectangle adjoining at the top left" .


###  https://w3id.org/OntoGSN/ontology#Pattern
gsn:Pattern rdf:type owl:Class ;
            rdfs:subClassOf [ rdf:type owl:Restriction ;
                              owl:onProperty schema:description ;
                              owl:someValuesFrom rdfs:Literal
                            ] ;
            rdfs:label "Pattern"@en ;
            gsn:coreOrExtension "Argument Pattern Extension"@en .


###  https://w3id.org/OntoGSN/ontology#Relationship
gsn:Relationship rdf:type owl:Class ;
                 rdfs:subClassOf rdf:Statement ,
                                 [ rdf:type owl:Restriction ;
                                   owl:onProperty rdf:object ;
                                   owl:allValuesFrom gsn:GSNElement
                                 ] ,
                                 [ rdf:type owl:Restriction ;
                                   owl:onProperty rdf:subject ;
                                   owl:allValuesFrom [ rdf:type owl:Class ;
                                                       owl:unionOf ( gsn:Defeater
                                                                     gsn:Goal
                                                                     gsn:Strategy
                                                                   )
                                                     ]
                                 ] ;
                 rdfs:label "Relationship"@en ;
                 gsn:coreOrExtension "Core GSN"@en .


###  https://w3id.org/OntoGSN/ontology#RelationshipWithConfidence
gsn:RelationshipWithConfidence rdf:type owl:Class ;
                               rdfs:subClassOf gsn:Relationship ,
                                               [ owl:intersectionOf ( [ rdf:type owl:Restriction ;
                                                                        owl:onProperty gsn:associatedWith ;
                                                                        owl:someValuesFrom gsn:Argument
                                                                      ]
                                                                      [ rdf:type owl:Restriction ;
                                                                        owl:onProperty gsn:assuranceClaimPoint ;
                                                                        owl:someValuesFrom xsd:boolean
                                                                      ]
                                                                    ) ;
                                                 rdf:type owl:Class
                                               ] ,
                                               [ rdf:type owl:Restriction ;
                                                 owl:onProperty rdf:object ;
                                                 owl:allValuesFrom [ rdf:type owl:Class ;
                                                                     owl:unionOf ( gsn:Context
                                                                                   gsn:Solution
                                                                                   gsn:Strategy
                                                                                 )
                                                                   ]
                                               ] ,
                                               [ rdf:type owl:Restriction ;
                                                 owl:onProperty gsn:associatedWith ;
                                                 owl:allValuesFrom [ owl:intersectionOf ( gsn:Argument
                                                                                          [ rdf:type owl:Restriction ;
                                                                                            owl:onProperty gsn:argumentType ;
                                                                                            owl:hasValue "confidence"
                                                                                          ]
                                                                                        ) ;
                                                                     rdf:type owl:Class
                                                                   ]
                                               ] ,
                                               [ rdf:type owl:Restriction ;
                                                 owl:onProperty schema:identifier ;
                                                 owl:someValuesFrom xsd:string
                                               ] ,
                                               [ rdf:type owl:Restriction ;
                                                 owl:onProperty schema:identifier ;
                                                 owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ;
                                                 owl:onDataRange xsd:string
                                               ] ;
                               rdfs:label "Relationship with Confidence"@en ;
                               skos: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."@en ;
                               gsn:coreOrExtension "Confidence Argument Extension"@en .


###  https://w3id.org/OntoGSN/ontology#Solution
gsn:Solution rdf:type owl:Class ;
             rdfs:subClassOf gsn:ArtefactReference ,
                             [ rdf:type owl:Restriction ;
                               owl:onProperty gsn:challenges ;
                               owl:allValuesFrom [ rdf:type owl:Class ;
                                                   owl:unionOf ( gsn:GSNElement
                                                                 gsn:Relationship
                                                               )
                                                 ]
                             ] ,
                             _:genid168 ;
             rdfs:label "Solution"@en ;
             skos:definition "A solution, rendered as a circle, presents a reference to an evidence item."@en ;
             gsn:coreOrExtension "Core GSN"@en ;
             gsn:renderedAs "circle"@en .

_:genid168 rdf:type owl:Restriction ;
            owl:onProperty gsn:statement ;
            owl:someValuesFrom xsd:string .

[ rdf:type owl:Axiom ;
   owl:annotatedSource gsn:Solution ;
   owl:annotatedProperty rdfs:subClassOf ;
   owl:annotatedTarget _:genid168 ;
   skos: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."@en
 ] .


###  https://w3id.org/OntoGSN/ontology#Strategy
gsn:Strategy rdf:type owl:Class ;
             rdfs:subClassOf gsn:GSNElement ,
                             [ rdf:type owl:Restriction ;
                               owl:onProperty gsn:inContextOf ;
                               owl:allValuesFrom [ rdf:type owl:Class ;
                                                   owl:unionOf ( gsn:Assumption
                                                                 gsn:Context
                                                                 gsn:Justification
                                                                 gsn:Module
                                                               )
                                                 ]
                             ] ,
                             [ rdf:type owl:Restriction ;
                               owl:onProperty gsn:supportedBy ;
                               owl:allValuesFrom gsn:Goal
                             ] ,
                             _:genid177 ;
             rdfs:label "Strategy"@en ;
             skos:definition "A strategy, rendered as a parallelogram, describes the inference that exists between a goal and its supporting goal(s)."@en ;
             gsn:coreOrExtension "Core GSN"@en ;
             gsn:renderedAs "parallelogram"@en .

_:genid177 rdf:type owl:Restriction ;
            owl:onProperty gsn:statement ;
            owl:someValuesFrom xsd:string .

[ rdf:type owl:Axiom ;
   owl:annotatedSource gsn:Strategy ;
   owl:annotatedProperty rdfs:subClassOf ;
   owl:annotatedTarget _:genid177 ;
   skos: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."@en
 ] .


###  https://w3id.org/OntoGSN/ontology#Template
gsn:Template rdf:type owl:Class ;
             rdfs:subClassOf gsn:Pattern ;
             rdfs:label "Template"@en ;
             skos: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."@en ;
             gsn:coreOrExtension "Argument Pattern Extension"@en .


###  https://w3id.org/OntoGSN/ontology#View
gsn:View rdf:type owl:Class ;
         rdfs:label "View"@en ;
         skos:definition "The argument view depicts the argument inside an individual module."@en ;
         gsn:coreOrExtension "Modular Extension"@en .


#################################################################
#    General axioms
#################################################################

[ owl:intersectionOf ( gsn:Goal
                       [ rdf:type owl:Class ;
                         owl:complementOf [ rdf:type owl:Restriction ;
                                            owl:onProperty [ owl:inverseOf gsn:supportedBy
                                                           ] ;
                                            owl:someValuesFrom gsn:Goal
                                          ]
                       ]
                     ) ;
  rdf:type owl:Class ;
  owl:equivalentClass [ rdf:type owl:Restriction ;
                        owl:onProperty gsn:top ;
                        owl:hasValue "true"^^xsd:boolean
                      ]
] .


#################################################################
#    Rules
#################################################################

gsn:A rdf:type swrl:Variable .

gsn:R rdf:type swrl:Variable .

gsn:B rdf:type swrl:Variable .

<urn:swrl:var#B> rdf:type swrl:Variable .

<urn:swrl:var#C> rdf:type swrl:Variable .

<urn:swrl:var#A> rdf:type swrl:Variable .

gsn:G1 rdf:type swrl:Variable .

gsn:C1 rdf:type swrl:Variable .

gsn:G2 rdf:type swrl:Variable .

gsn:C2 rdf:type swrl:Variable .

gsn:C rdf:type swrl:Variable .

gsn:X rdf:type swrl:Variable .

gsn:G rdf:type swrl:Variable .

gsn:S2 rdf:type swrl:Variable .

gsn:S1 rdf:type swrl:Variable .

gsn:R1 rdf:type swrl:Variable .

gsn:R2 rdf:type swrl:Variable .

gsn:E rdf:type swrl:Variable .

gsn:D rdf:type swrl:Variable .

gsn:G3 rdf:type swrl:Variable .

gsn:S rdf:type swrl:Variable .

gsn:M1 rdf:type swrl:Variable .

gsn:M2 rdf:type swrl:Variable .

gsn:J rdf:type swrl:Variable .

gsn:M rdf:type swrl:Variable .

gsn:N rdf:type swrl:Variable .

gsn:ID rdf:type swrl:Variable .

gsn:M3 rdf:type swrl:Variable .

gsn:E1 rdf:type swrl:Variable .

gsn:E2 rdf:type swrl:Variable .

gsn:R3 rdf:type swrl:Variable .

gsn:P rdf:type swrl:Variable .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Confidence Argument Extension" ;
   rdfs:label "S40" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:assuranceClaimPoint ;
                           swrl:argument1 gsn:A ;
                           swrl:argument2 "true"^^xsd:boolean
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:ClassAtom ;
                                      swrl:classPredicate gsn:ArtefactReference ;
                                      swrl:argument1 gsn:A
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:BuiltinAtom ;
                                                 swrl:builtin <http://swrl.stanford.edu/ontologies/built-ins/3.3/swrlx.owl#makeOWLThing> ;
                                                 swrl:arguments ( gsn:A
                                                                  gsn:R
                                                                )
                                               ] ;
                                     rdf:rest rdf:nil
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:ClassAtom ;
                           swrl:classPredicate gsn:RelationshipWithConfidence ;
                           swrl:argument1 gsn:R
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                      swrl:propertyPredicate rdf:subject ;
                                      swrl:argument1 gsn:R ;
                                      swrl:argument2 gsn:A
                                    ] ;
                          rdf:rest rdf:nil
                        ]
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Core GSN" ;
   rdfs:label "S16" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:ClassAtom ;
                           swrl:classPredicate gsn:Assumption ;
                           swrl:argument1 gsn:A
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                      swrl:propertyPredicate gsn:true ;
                                      swrl:argument1 gsn:A ;
                                      swrl:argument2 "false"^^xsd:boolean
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                 swrl:propertyPredicate gsn:inContextOf ;
                                                 swrl:argument1 gsn:B ;
                                                 swrl:argument2 gsn:A
                                               ] ;
                                     rdf:rest rdf:nil
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:true ;
                           swrl:argument1 gsn:B ;
                           swrl:argument2 "false"^^xsd:boolean
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Core GSN" ;
   rdfs:label "S1" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:ClassAtom ;
                           swrl:classPredicate gsn:Assumption ;
                           swrl:argument1 gsn:A
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                      swrl:propertyPredicate gsn:valid ;
                                      swrl:argument1 gsn:A ;
                                      swrl:argument2 "false"^^xsd:boolean
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                 swrl:propertyPredicate gsn:inContextOf ;
                                                 swrl:argument1 gsn:B ;
                                                 swrl:argument2 gsn:A
                                               ] ;
                                     rdf:rest rdf:nil
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:valid ;
                           swrl:argument1 gsn:B ;
                           swrl:argument2 "false"^^xsd:boolean
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Core GSN" ;
   rdfs:label "S17" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate gsn:supportedBy ;
                           swrl:argument1 <urn:swrl:var#B> ;
                           swrl:argument2 <urn:swrl:var#C>
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                      swrl:propertyPredicate gsn:inContextOf ;
                                      swrl:argument1 <urn:swrl:var#B> ;
                                      swrl:argument2 <urn:swrl:var#A>
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:ClassAtom ;
                                                 swrl:classPredicate gsn:Assumption ;
                                                 swrl:argument1 <urn:swrl:var#A>
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:ClassAtom ;
                                                            swrl:classPredicate gsn:Goal ;
                                                            swrl:argument1 <urn:swrl:var#C>
                                                          ] ;
                                                rdf:rest rdf:nil
                                              ]
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate gsn:inContextOf ;
                           swrl:argument1 <urn:swrl:var#C> ;
                           swrl:argument2 <urn:swrl:var#A>
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Modular Extension" ;
   rdfs:label "S32" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate gsn:inContextOf ;
                           swrl:argument1 gsn:G1 ;
                           swrl:argument2 gsn:C1
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                      swrl:propertyPredicate gsn:inContextOf ;
                                      swrl:argument1 gsn:G2 ;
                                      swrl:argument2 gsn:C2
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:ClassAtom ;
                                                 swrl:classPredicate gsn:Goal ;
                                                 swrl:argument1 gsn:G1
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:ClassAtom ;
                                                            swrl:classPredicate gsn:Goal ;
                                                            swrl:argument1 gsn:G2
                                                          ] ;
                                                rdf:rest [ rdf:type swrl:AtomList ;
                                                           rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                                                       swrl:propertyPredicate gsn:away ;
                                                                       swrl:argument1 gsn:G2 ;
                                                                       swrl:argument2 "true"^^xsd:boolean
                                                                     ] ;
                                                           rdf:rest [ rdf:type swrl:AtomList ;
                                                                      rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                                  swrl:propertyPredicate gsn:supportedBy ;
                                                                                  swrl:argument1 gsn:G1 ;
                                                                                  swrl:argument2 gsn:G2
                                                                                ] ;
                                                                      rdf:rest [ rdf:type swrl:AtomList ;
                                                                                 rdf:first [ rdf:type swrl:ClassAtom ;
                                                                                             swrl:classPredicate gsn:Context ;
                                                                                             swrl:argument1 gsn:C2
                                                                                           ] ;
                                                                                 rdf:rest rdf:nil
                                                                               ]
                                                                    ]
                                                         ]
                                              ]
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate gsn:consistentWith ;
                           swrl:argument1 gsn:C1 ;
                           swrl:argument2 gsn:C2
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Core GSN" ;
   rdfs:label "S9" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:true ;
                           swrl:argument1 gsn:C ;
                           swrl:argument2 "true"^^xsd:boolean
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                      swrl:propertyPredicate gsn:true ;
                                      swrl:argument1 gsn:B ;
                                      swrl:argument2 "true"^^xsd:boolean
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                 swrl:propertyPredicate gsn:supportedBy ;
                                                 swrl:argument1 gsn:C ;
                                                 swrl:argument2 gsn:B
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                                            swrl:propertyPredicate gsn:true ;
                                                            swrl:argument1 gsn:A ;
                                                            swrl:argument2 "true"^^xsd:boolean
                                                          ] ;
                                                rdf:rest [ rdf:type swrl:AtomList ;
                                                           rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                       swrl:propertyPredicate gsn:supportedBy ;
                                                                       swrl:argument1 gsn:C ;
                                                                       swrl:argument2 gsn:A
                                                                     ] ;
                                                           rdf:rest [ rdf:type swrl:AtomList ;
                                                                      rdf:first [ rdf:type swrl:ClassAtom ;
                                                                                  swrl:classPredicate gsn:Goal ;
                                                                                  swrl:argument1 gsn:A
                                                                                ] ;
                                                                      rdf:rest [ rdf:type swrl:AtomList ;
                                                                                 rdf:first [ rdf:type swrl:ClassAtom ;
                                                                                             swrl:classPredicate gsn:Goal ;
                                                                                             swrl:argument1 gsn:B
                                                                                           ] ;
                                                                                 rdf:rest rdf:nil
                                                                               ]
                                                                    ]
                                                         ]
                                              ]
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:valid ;
                           swrl:argument1 gsn:C ;
                           swrl:argument2 "false"^^xsd:boolean
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Core GSN" ;
   rdfs:label "S6" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate gsn:supportedBy ;
                           swrl:argument1 gsn:X ;
                           swrl:argument2 gsn:A
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                      swrl:propertyPredicate gsn:supportedBy ;
                                      swrl:argument1 gsn:A ;
                                      swrl:argument2 gsn:B
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:ClassAtom ;
                                                 swrl:classPredicate gsn:Goal ;
                                                 swrl:argument1 gsn:A
                                               ] ;
                                     rdf:rest rdf:nil
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:top ;
                           swrl:argument1 gsn:A ;
                           swrl:argument2 "false"^^xsd:boolean
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Core GSN" ;
   rdfs:label "S8" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:true ;
                           swrl:argument1 gsn:A ;
                           swrl:argument2 "false"^^xsd:boolean
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                      swrl:propertyPredicate gsn:true ;
                                      swrl:argument1 gsn:B ;
                                      swrl:argument2 "true"^^xsd:boolean
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                 swrl:propertyPredicate gsn:supportedBy ;
                                                 swrl:argument1 gsn:B ;
                                                 swrl:argument2 gsn:A
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:ClassAtom ;
                                                            swrl:classPredicate gsn:Goal ;
                                                            swrl:argument1 gsn:A
                                                          ] ;
                                                rdf:rest rdf:nil
                                              ]
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:valid ;
                           swrl:argument1 gsn:B ;
                           swrl:argument2 "false"^^xsd:boolean
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Core GSN" ;
   rdfs:label "S5" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate gsn:supportedBy ;
                           swrl:argument1 gsn:A ;
                           swrl:argument2 gsn:B
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                      swrl:propertyPredicate rdf:subject ;
                                      swrl:argument1 gsn:R ;
                                      swrl:argument2 gsn:A
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                 swrl:propertyPredicate rdf:object ;
                                                 swrl:argument1 gsn:R ;
                                                 swrl:argument2 gsn:B
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:ClassAtom ;
                                                            swrl:classPredicate gsn:Goal ;
                                                            swrl:argument1 gsn:B
                                                          ] ;
                                                rdf:rest rdf:nil
                                              ]
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:relationshipType ;
                           swrl:argument1 gsn:R ;
                           swrl:argument2 "inferential"
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Confidence Argument Extension" ;
   rdfs:label "S45" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate gsn:supportedBy ;
                           swrl:argument1 gsn:G ;
                           swrl:argument2 gsn:S2
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:ClassAtom ;
                                      swrl:classPredicate gsn:Goal ;
                                      swrl:argument1 gsn:S1
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                 swrl:propertyPredicate rdf:object ;
                                                 swrl:argument1 gsn:R1 ;
                                                 swrl:argument2 gsn:S1
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:ClassAtom ;
                                                            swrl:classPredicate gsn:RelationshipWithConfidence ;
                                                            swrl:argument1 gsn:R1
                                                          ] ;
                                                rdf:rest [ rdf:type swrl:AtomList ;
                                                           rdf:first [ rdf:type swrl:BuiltinAtom ;
                                                                       swrl:builtin <http://swrl.stanford.edu/ontologies/built-ins/3.3/swrlx.owl#makeOWLThing> ;
                                                                       swrl:arguments ( gsn:S2
                                                                                        gsn:R2
                                                                                      )
                                                                     ] ;
                                                           rdf:rest [ rdf:type swrl:AtomList ;
                                                                      rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                                  swrl:propertyPredicate gsn:supportedBy ;
                                                                                  swrl:argument1 gsn:G ;
                                                                                  swrl:argument2 gsn:S1
                                                                                ] ;
                                                                      rdf:rest [ rdf:type swrl:AtomList ;
                                                                                 rdf:first [ rdf:type swrl:ClassAtom ;
                                                                                             swrl:classPredicate gsn:Goal ;
                                                                                             swrl:argument1 gsn:S2
                                                                                           ] ;
                                                                                 rdf:rest [ rdf:type swrl:AtomList ;
                                                                                            rdf:first [ rdf:type swrl:ClassAtom ;
                                                                                                        swrl:classPredicate gsn:Goal ;
                                                                                                        swrl:argument1 gsn:G
                                                                                                      ] ;
                                                                                            rdf:rest [ rdf:type swrl:AtomList ;
                                                                                                       rdf:first [ rdf:type swrl:BuiltinAtom ;
                                                                                                                   swrl:builtin swrlb:notEqual ;
                                                                                                                   swrl:arguments ( gsn:S1
                                                                                                                                    gsn:S2
                                                                                                                                  )
                                                                                                                 ] ;
                                                                                                       rdf:rest [ rdf:type swrl:AtomList ;
                                                                                                                  rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                                                                              swrl:propertyPredicate gsn:associatedWith ;
                                                                                                                              swrl:argument1 gsn:R1 ;
                                                                                                                              swrl:argument2 gsn:A
                                                                                                                            ] ;
                                                                                                                  rdf:rest [ rdf:type swrl:AtomList ;
                                                                                                                             rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                                                                                         swrl:propertyPredicate rdf:subject ;
                                                                                                                                         swrl:argument1 gsn:R1 ;
                                                                                                                                         swrl:argument2 gsn:G
                                                                                                                                       ] ;
                                                                                                                             rdf:rest rdf:nil
                                                                                                                           ]
                                                                                                                ]
                                                                                                     ]
                                                                                          ]
                                                                               ]
                                                                    ]
                                                         ]
                                              ]
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate rdf:object ;
                           swrl:argument1 gsn:R2 ;
                           swrl:argument2 gsn:S2
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:ClassAtom ;
                                      swrl:classPredicate gsn:RelationshipWithConfidence ;
                                      swrl:argument1 gsn:R2
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                 swrl:propertyPredicate rdf:subject ;
                                                 swrl:argument1 gsn:R2 ;
                                                 swrl:argument2 gsn:G
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                            swrl:propertyPredicate gsn:associatedWith ;
                                                            swrl:argument1 gsn:R2 ;
                                                            swrl:argument2 gsn:A
                                                          ] ;
                                                rdf:rest [ rdf:type swrl:AtomList ;
                                                           rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                                                       swrl:propertyPredicate gsn:assuranceClaimPoint ;
                                                                       swrl:argument1 gsn:R2 ;
                                                                       swrl:argument2 "true"^^xsd:boolean
                                                                     ] ;
                                                           rdf:rest rdf:nil
                                                         ]
                                              ]
                                   ]
                        ]
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Confidence Argument Extension" ;
   rdfs:label "S44" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate gsn:supportedBy ;
                           swrl:argument1 gsn:G ;
                           swrl:argument2 gsn:S2
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:ClassAtom ;
                                      swrl:classPredicate gsn:Solution ;
                                      swrl:argument1 gsn:S1
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                 swrl:propertyPredicate rdf:object ;
                                                 swrl:argument1 gsn:R1 ;
                                                 swrl:argument2 gsn:S1
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:ClassAtom ;
                                                            swrl:classPredicate gsn:RelationshipWithConfidence ;
                                                            swrl:argument1 gsn:R1
                                                          ] ;
                                                rdf:rest [ rdf:type swrl:AtomList ;
                                                           rdf:first [ rdf:type swrl:BuiltinAtom ;
                                                                       swrl:builtin <http://swrl.stanford.edu/ontologies/built-ins/3.3/swrlx.owl#makeOWLThing> ;
                                                                       swrl:arguments ( gsn:S2
                                                                                        gsn:R2
                                                                                      )
                                                                     ] ;
                                                           rdf:rest [ rdf:type swrl:AtomList ;
                                                                      rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                                  swrl:propertyPredicate gsn:supportedBy ;
                                                                                  swrl:argument1 gsn:G ;
                                                                                  swrl:argument2 gsn:S1
                                                                                ] ;
                                                                      rdf:rest [ rdf:type swrl:AtomList ;
                                                                                 rdf:first [ rdf:type swrl:ClassAtom ;
                                                                                             swrl:classPredicate gsn:Goal ;
                                                                                             swrl:argument1 gsn:G
                                                                                           ] ;
                                                                                 rdf:rest [ rdf:type swrl:AtomList ;
                                                                                            rdf:first [ rdf:type swrl:BuiltinAtom ;
                                                                                                        swrl:builtin swrlb:notEqual ;
                                                                                                        swrl:arguments ( gsn:S1
                                                                                                                         gsn:S2
                                                                                                                       )
                                                                                                      ] ;
                                                                                            rdf:rest [ rdf:type swrl:AtomList ;
                                                                                                       rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                                                                   swrl:propertyPredicate gsn:associatedWith ;
                                                                                                                   swrl:argument1 gsn:R1 ;
                                                                                                                   swrl:argument2 gsn:A
                                                                                                                 ] ;
                                                                                                       rdf:rest [ rdf:type swrl:AtomList ;
                                                                                                                  rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                                                                              swrl:propertyPredicate rdf:subject ;
                                                                                                                              swrl:argument1 gsn:R1 ;
                                                                                                                              swrl:argument2 gsn:G
                                                                                                                            ] ;
                                                                                                                  rdf:rest [ rdf:type swrl:AtomList ;
                                                                                                                             rdf:first [ rdf:type swrl:ClassAtom ;
                                                                                                                                         swrl:classPredicate gsn:Solution ;
                                                                                                                                         swrl:argument1 gsn:S2
                                                                                                                                       ] ;
                                                                                                                             rdf:rest rdf:nil
                                                                                                                           ]
                                                                                                                ]
                                                                                                     ]
                                                                                          ]
                                                                               ]
                                                                    ]
                                                         ]
                                              ]
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate rdf:object ;
                           swrl:argument1 gsn:R2 ;
                           swrl:argument2 gsn:S2
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:ClassAtom ;
                                      swrl:classPredicate gsn:RelationshipWithConfidence ;
                                      swrl:argument1 gsn:R2
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                 swrl:propertyPredicate rdf:subject ;
                                                 swrl:argument1 gsn:R2 ;
                                                 swrl:argument2 gsn:G
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                            swrl:propertyPredicate gsn:associatedWith ;
                                                            swrl:argument1 gsn:R2 ;
                                                            swrl:argument2 gsn:A
                                                          ] ;
                                                rdf:rest [ rdf:type swrl:AtomList ;
                                                           rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                                                       swrl:propertyPredicate gsn:assuranceClaimPoint ;
                                                                       swrl:argument1 gsn:R2 ;
                                                                       swrl:argument2 "true"^^xsd:boolean
                                                                     ] ;
                                                           rdf:rest rdf:nil
                                                         ]
                                              ]
                                   ]
                        ]
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Dialectic Extension" ;
   rdfs:label "S49" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:undeveloped ;
                           swrl:argument1 gsn:G ;
                           swrl:argument2 "false"^^xsd:boolean
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                      swrl:propertyPredicate gsn:challenges ;
                                      swrl:argument1 gsn:G ;
                                      swrl:argument2 gsn:E
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:ClassAtom ;
                                                 swrl:classPredicate gsn:Goal ;
                                                 swrl:argument1 gsn:G
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                                            swrl:propertyPredicate gsn:inDoubt ;
                                                            swrl:argument1 gsn:E ;
                                                            swrl:argument2 "true"^^xsd:boolean
                                                          ] ;
                                                rdf:rest rdf:nil
                                              ]
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:defeated ;
                           swrl:argument1 gsn:E ;
                           swrl:argument2 "true"^^xsd:boolean
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Dialectic Extension" ;
   rdfs:label "S48" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate gsn:challenges ;
                           swrl:argument1 gsn:G ;
                           swrl:argument2 gsn:E
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                      swrl:propertyPredicate gsn:true ;
                                      swrl:argument1 gsn:G ;
                                      swrl:argument2 "true"^^xsd:boolean
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:ClassAtom ;
                                                 swrl:classPredicate gsn:Goal ;
                                                 swrl:argument1 gsn:G
                                               ] ;
                                     rdf:rest rdf:nil
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:inDoubt ;
                           swrl:argument1 gsn:E ;
                           swrl:argument2 "true"^^xsd:boolean
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Modular Extension" ;
   rdfs:label "S38" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:public ;
                           swrl:argument1 gsn:G ;
                           swrl:argument2 "true"^^xsd:boolean
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                      swrl:propertyPredicate gsn:inContextOf ;
                                      swrl:argument1 gsn:G ;
                                      swrl:argument2 gsn:C
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:ClassAtom ;
                                                 swrl:classPredicate gsn:Goal ;
                                                 swrl:argument1 gsn:G
                                               ] ;
                                     rdf:rest rdf:nil
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:public ;
                           swrl:argument1 gsn:C ;
                           swrl:argument2 "true"^^xsd:boolean
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Dialectic Extension" ;
   rdfs:label "S51" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate gsn:challenges ;
                           swrl:argument1 gsn:D ;
                           swrl:argument2 gsn:R
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                      swrl:propertyPredicate rdf:subject ;
                                      swrl:argument1 gsn:R ;
                                      swrl:argument2 gsn:G3
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                 swrl:propertyPredicate rdf:object ;
                                                 swrl:argument1 gsn:R ;
                                                 swrl:argument2 gsn:G1
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:ClassAtom ;
                                                            swrl:classPredicate gsn:Goal ;
                                                            swrl:argument1 gsn:G1
                                                          ] ;
                                                rdf:rest [ rdf:type swrl:AtomList ;
                                                           rdf:first [ rdf:type swrl:ClassAtom ;
                                                                       swrl:classPredicate gsn:Goal ;
                                                                       swrl:argument1 gsn:G3
                                                                     ] ;
                                                           rdf:rest [ rdf:type swrl:AtomList ;
                                                                      rdf:first [ rdf:type swrl:BuiltinAtom ;
                                                                                  swrl:builtin <http://swrl.stanford.edu/ontologies/built-ins/3.3/swrlx.owl#makeOWLThing> ;
                                                                                  swrl:arguments ( gsn:G3
                                                                                                   gsn:S
                                                                                                 )
                                                                                ] ;
                                                                      rdf:rest [ rdf:type swrl:AtomList ;
                                                                                 rdf:first [ rdf:type swrl:ClassAtom ;
                                                                                             swrl:classPredicate gsn:Goal ;
                                                                                             swrl:argument1 gsn:G2
                                                                                           ] ;
                                                                                 rdf:rest [ rdf:type swrl:AtomList ;
                                                                                            rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                                                        swrl:propertyPredicate gsn:supportedBy ;
                                                                                                        swrl:argument1 gsn:G3 ;
                                                                                                        swrl:argument2 gsn:G1
                                                                                                      ] ;
                                                                                            rdf:rest [ rdf:type swrl:AtomList ;
                                                                                                       rdf:first [ rdf:type swrl:BuiltinAtom ;
                                                                                                                   swrl:builtin swrlb:notEqual ;
                                                                                                                   swrl:arguments ( gsn:G1
                                                                                                                                    gsn:G2
                                                                                                                                  )
                                                                                                                 ] ;
                                                                                                       rdf:rest rdf:nil
                                                                                                     ]
                                                                                          ]
                                                                               ]
                                                                    ]
                                                         ]
                                              ]
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate gsn:supportedBy ;
                           swrl:argument1 gsn:S ;
                           swrl:argument2 gsn:G2
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                      swrl:propertyPredicate gsn:supportedBy ;
                                      swrl:argument1 gsn:G3 ;
                                      swrl:argument2 gsn:S
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                                 swrl:propertyPredicate gsn:valid ;
                                                 swrl:argument1 gsn:D ;
                                                 swrl:argument2 "false"^^xsd:boolean
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                            swrl:propertyPredicate gsn:supportedBy ;
                                                            swrl:argument1 gsn:S ;
                                                            swrl:argument2 gsn:G1
                                                          ] ;
                                                rdf:rest [ rdf:type swrl:AtomList ;
                                                           rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                       swrl:propertyPredicate gsn:challenges ;
                                                                       swrl:argument1 gsn:D ;
                                                                       swrl:argument2 gsn:S
                                                                     ] ;
                                                           rdf:rest [ rdf:type swrl:AtomList ;
                                                                      rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                                                                  swrl:propertyPredicate gsn:valid ;
                                                                                  swrl:argument1 gsn:S ;
                                                                                  swrl:argument2 "false"^^xsd:boolean
                                                                                ] ;
                                                                      rdf:rest [ rdf:type swrl:AtomList ;
                                                                                 rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                                                                             swrl:propertyPredicate gsn:valid ;
                                                                                             swrl:argument1 gsn:R ;
                                                                                             swrl:argument2 "false"^^xsd:boolean
                                                                                           ] ;
                                                                                 rdf:rest [ rdf:type swrl:AtomList ;
                                                                                            rdf:first [ rdf:type swrl:ClassAtom ;
                                                                                                        swrl:classPredicate gsn:Strategy ;
                                                                                                        swrl:argument1 gsn:S
                                                                                                      ] ;
                                                                                            rdf:rest rdf:nil
                                                                                          ]
                                                                               ]
                                                                    ]
                                                         ]
                                              ]
                                   ]
                        ]
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Confidence Argument Extension" ;
   rdfs:label "S43" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate gsn:supportedBy ;
                           swrl:argument1 gsn:G2 ;
                           swrl:argument2 gsn:S
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:ClassAtom ;
                                      swrl:classPredicate gsn:RelationshipWithConfidence ;
                                      swrl:argument1 gsn:R1
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                 swrl:propertyPredicate rdf:subject ;
                                                 swrl:argument1 gsn:R1 ;
                                                 swrl:argument2 gsn:S
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                            swrl:propertyPredicate gsn:supportedBy ;
                                                            swrl:argument1 gsn:S ;
                                                            swrl:argument2 gsn:G1
                                                          ] ;
                                                rdf:rest [ rdf:type swrl:AtomList ;
                                                           rdf:first [ rdf:type swrl:BuiltinAtom ;
                                                                       swrl:builtin <http://swrl.stanford.edu/ontologies/built-ins/3.3/swrlx.owl#makeOWLThing> ;
                                                                       swrl:arguments ( gsn:G2
                                                                                        gsn:R2
                                                                                      )
                                                                     ] ;
                                                           rdf:rest [ rdf:type swrl:AtomList ;
                                                                      rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                                  swrl:propertyPredicate rdf:object ;
                                                                                  swrl:argument1 gsn:R1 ;
                                                                                  swrl:argument2 gsn:G1
                                                                                ] ;
                                                                      rdf:rest [ rdf:type swrl:AtomList ;
                                                                                 rdf:first [ rdf:type swrl:ClassAtom ;
                                                                                             swrl:classPredicate gsn:Strategy ;
                                                                                             swrl:argument1 gsn:S
                                                                                           ] ;
                                                                                 rdf:rest [ rdf:type swrl:AtomList ;
                                                                                            rdf:first [ rdf:type swrl:ClassAtom ;
                                                                                                        swrl:classPredicate gsn:Goal ;
                                                                                                        swrl:argument1 gsn:G1
                                                                                                      ] ;
                                                                                            rdf:rest [ rdf:type swrl:AtomList ;
                                                                                                       rdf:first [ rdf:type swrl:ClassAtom ;
                                                                                                                   swrl:classPredicate gsn:Goal ;
                                                                                                                   swrl:argument1 gsn:G2
                                                                                                                 ] ;
                                                                                                       rdf:rest [ rdf:type swrl:AtomList ;
                                                                                                                  rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                                                                              swrl:propertyPredicate gsn:associatedWith ;
                                                                                                                              swrl:argument1 gsn:R1 ;
                                                                                                                              swrl:argument2 gsn:A
                                                                                                                            ] ;
                                                                                                                  rdf:rest rdf:nil
                                                                                                                ]
                                                                                                     ]
                                                                                          ]
                                                                               ]
                                                                    ]
                                                         ]
                                              ]
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:ClassAtom ;
                           swrl:classPredicate gsn:RelationshipWithConfidence ;
                           swrl:argument1 gsn:R2
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                      swrl:propertyPredicate gsn:associatedWith ;
                                      swrl:argument1 gsn:R2 ;
                                      swrl:argument2 gsn:A
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                                 swrl:propertyPredicate gsn:assuranceClaimPoint ;
                                                 swrl:argument1 gsn:R2 ;
                                                 swrl:argument2 "true"^^xsd:boolean
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                            swrl:propertyPredicate rdf:subject ;
                                                            swrl:argument1 gsn:R2 ;
                                                            swrl:argument2 gsn:G2
                                                          ] ;
                                                rdf:rest [ rdf:type swrl:AtomList ;
                                                           rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                       swrl:propertyPredicate rdf:object ;
                                                                       swrl:argument1 gsn:R2 ;
                                                                       swrl:argument2 gsn:S
                                                                     ] ;
                                                           rdf:rest rdf:nil
                                                         ]
                                              ]
                                   ]
                        ]
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Confidence Argument Extension" ;
   rdfs:label "S42" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate gsn:supportedBy ;
                           swrl:argument1 gsn:G1 ;
                           swrl:argument2 gsn:S
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                      swrl:propertyPredicate gsn:supportedBy ;
                                      swrl:argument1 gsn:S ;
                                      swrl:argument2 gsn:G2
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:ClassAtom ;
                                                 swrl:classPredicate gsn:RelationshipWithConfidence ;
                                                 swrl:argument1 gsn:R1
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:BuiltinAtom ;
                                                            swrl:builtin <http://swrl.stanford.edu/ontologies/built-ins/3.3/swrlx.owl#makeOWLThing> ;
                                                            swrl:arguments ( gsn:G2
                                                                             gsn:R2
                                                                           )
                                                          ] ;
                                                rdf:rest [ rdf:type swrl:AtomList ;
                                                           rdf:first [ rdf:type swrl:ClassAtom ;
                                                                       swrl:classPredicate gsn:Strategy ;
                                                                       swrl:argument1 gsn:S
                                                                     ] ;
                                                           rdf:rest [ rdf:type swrl:AtomList ;
                                                                      rdf:first [ rdf:type swrl:ClassAtom ;
                                                                                  swrl:classPredicate gsn:Goal ;
                                                                                  swrl:argument1 gsn:G1
                                                                                ] ;
                                                                      rdf:rest [ rdf:type swrl:AtomList ;
                                                                                 rdf:first [ rdf:type swrl:ClassAtom ;
                                                                                             swrl:classPredicate gsn:Goal ;
                                                                                             swrl:argument1 gsn:G2
                                                                                           ] ;
                                                                                 rdf:rest [ rdf:type swrl:AtomList ;
                                                                                            rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                                                        swrl:propertyPredicate rdf:object ;
                                                                                                        swrl:argument1 gsn:R1 ;
                                                                                                        swrl:argument2 gsn:S
                                                                                                      ] ;
                                                                                            rdf:rest [ rdf:type swrl:AtomList ;
                                                                                                       rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                                                                   swrl:propertyPredicate gsn:associatedWith ;
                                                                                                                   swrl:argument1 gsn:R1 ;
                                                                                                                   swrl:argument2 gsn:A
                                                                                                                 ] ;
                                                                                                       rdf:rest [ rdf:type swrl:AtomList ;
                                                                                                                  rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                                                                              swrl:propertyPredicate rdf:subject ;
                                                                                                                              swrl:argument1 gsn:R1 ;
                                                                                                                              swrl:argument2 gsn:G1
                                                                                                                            ] ;
                                                                                                                  rdf:rest rdf:nil
                                                                                                                ]
                                                                                                     ]
                                                                                          ]
                                                                               ]
                                                                    ]
                                                         ]
                                              ]
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate rdf:subject ;
                           swrl:argument1 gsn:R2 ;
                           swrl:argument2 gsn:S
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:ClassAtom ;
                                      swrl:classPredicate gsn:RelationshipWithConfidence ;
                                      swrl:argument1 gsn:R2
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                 swrl:propertyPredicate rdf:object ;
                                                 swrl:argument1 gsn:R2 ;
                                                 swrl:argument2 gsn:G2
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                            swrl:propertyPredicate gsn:associatedWith ;
                                                            swrl:argument1 gsn:R2 ;
                                                            swrl:argument2 gsn:A
                                                          ] ;
                                                rdf:rest [ rdf:type swrl:AtomList ;
                                                           rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                                                       swrl:propertyPredicate gsn:assuranceClaimPoint ;
                                                                       swrl:argument1 gsn:R2 ;
                                                                       swrl:argument2 "true"^^xsd:boolean
                                                                     ] ;
                                                           rdf:rest rdf:nil
                                                         ]
                                              ]
                                   ]
                        ]
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Modular Extension" ;
   rdfs:label "S29" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate rdf:subject ;
                           swrl:argument1 gsn:R ;
                           swrl:argument2 gsn:G1
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:ClassAtom ;
                                      swrl:classPredicate gsn:Module ;
                                      swrl:argument1 gsn:M1
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:ClassAtom ;
                                                 swrl:classPredicate gsn:Goal ;
                                                 swrl:argument1 gsn:G1
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                            swrl:propertyPredicate rdf:object ;
                                                            swrl:argument1 gsn:R ;
                                                            swrl:argument2 gsn:G2
                                                          ] ;
                                                rdf:rest [ rdf:type swrl:AtomList ;
                                                           rdf:first [ rdf:type swrl:ClassAtom ;
                                                                       swrl:classPredicate gsn:Module ;
                                                                       swrl:argument1 gsn:M2
                                                                     ] ;
                                                           rdf:rest [ rdf:type swrl:AtomList ;
                                                                      rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                                  swrl:propertyPredicate gsn:supportedBy ;
                                                                                  swrl:argument1 gsn:G1 ;
                                                                                  swrl:argument2 gsn:G2
                                                                                ] ;
                                                                      rdf:rest [ rdf:type swrl:AtomList ;
                                                                                 rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                                                                             swrl:propertyPredicate gsn:away ;
                                                                                             swrl:argument1 gsn:G1 ;
                                                                                             swrl:argument2 "true"^^xsd:boolean
                                                                                           ] ;
                                                                                 rdf:rest [ rdf:type swrl:AtomList ;
                                                                                            rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                                                        swrl:propertyPredicate gsn:contains ;
                                                                                                        swrl:argument1 gsn:M1 ;
                                                                                                        swrl:argument2 gsn:G1
                                                                                                      ] ;
                                                                                            rdf:rest [ rdf:type swrl:AtomList ;
                                                                                                       rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                                                                   swrl:propertyPredicate gsn:contains ;
                                                                                                                   swrl:argument1 gsn:M2 ;
                                                                                                                   swrl:argument2 gsn:G2
                                                                                                                 ] ;
                                                                                                       rdf:rest rdf:nil
                                                                                                     ]
                                                                                          ]
                                                                               ]
                                                                    ]
                                                         ]
                                              ]
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:valid ;
                           swrl:argument1 gsn:R ;
                           swrl:argument2 "false"^^xsd:boolean
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Modular Extension" ;
   rdfs:label "S33" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate gsn:contains ;
                           swrl:argument1 gsn:M2 ;
                           swrl:argument2 gsn:G
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:ClassAtom ;
                                      swrl:classPredicate gsn:Module ;
                                      swrl:argument1 gsn:M1
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:ClassAtom ;
                                                 swrl:classPredicate gsn:Module ;
                                                 swrl:argument1 gsn:M2
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                            swrl:propertyPredicate gsn:substitutedBy ;
                                                            swrl:argument1 gsn:J ;
                                                            swrl:argument2 gsn:G
                                                          ] ;
                                                rdf:rest [ rdf:type swrl:AtomList ;
                                                           rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                       swrl:propertyPredicate gsn:contains ;
                                                                       swrl:argument1 gsn:M1 ;
                                                                       swrl:argument2 gsn:J
                                                                     ] ;
                                                           rdf:rest [ rdf:type swrl:AtomList ;
                                                                      rdf:first [ rdf:type swrl:ClassAtom ;
                                                                                  swrl:classPredicate gsn:Justification ;
                                                                                  swrl:argument1 gsn:J
                                                                                ] ;
                                                                      rdf:rest [ rdf:type swrl:AtomList ;
                                                                                 rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                                             swrl:propertyPredicate gsn:inContextOf ;
                                                                                             swrl:argument1 gsn:E ;
                                                                                             swrl:argument2 gsn:J
                                                                                           ] ;
                                                                                 rdf:rest [ rdf:type swrl:AtomList ;
                                                                                            rdf:first [ rdf:type swrl:BuiltinAtom ;
                                                                                                        swrl:builtin swrlb:notEqual ;
                                                                                                        swrl:arguments ( gsn:M1
                                                                                                                         gsn:M2
                                                                                                                       )
                                                                                                      ] ;
                                                                                            rdf:rest rdf:nil
                                                                                          ]
                                                                               ]
                                                                    ]
                                                         ]
                                              ]
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:valid ;
                           swrl:argument1 gsn:J ;
                           swrl:argument2 "false"^^xsd:boolean
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Modular Extension" ;
   rdfs:label "S24" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate gsn:contains ;
                           swrl:argument1 gsn:M ;
                           swrl:argument2 gsn:A
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                      swrl:propertyPredicate gsn:contains ;
                                      swrl:argument1 gsn:N ;
                                      swrl:argument2 gsn:B
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:ClassAtom ;
                                                 swrl:classPredicate gsn:Module ;
                                                 swrl:argument1 gsn:N
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                            swrl:propertyPredicate gsn:inContextOf ;
                                                            swrl:argument1 gsn:A ;
                                                            swrl:argument2 gsn:B
                                                          ] ;
                                                rdf:rest [ rdf:type swrl:AtomList ;
                                                           rdf:first [ rdf:type swrl:ClassAtom ;
                                                                       swrl:classPredicate gsn:Module ;
                                                                       swrl:argument1 gsn:M
                                                                     ] ;
                                                           rdf:rest [ rdf:type swrl:AtomList ;
                                                                      rdf:first [ rdf:type swrl:BuiltinAtom ;
                                                                                  swrl:builtin swrlb:notEqual ;
                                                                                  swrl:arguments ( gsn:M
                                                                                                   gsn:N
                                                                                                 )
                                                                                ] ;
                                                                      rdf:rest rdf:nil
                                                                    ]
                                                         ]
                                              ]
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:away ;
                           swrl:argument1 gsn:B ;
                           swrl:argument2 "true"^^xsd:boolean
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Modular Extension" ;
   rdfs:label "S23" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate gsn:contains ;
                           swrl:argument1 gsn:M ;
                           swrl:argument2 gsn:A
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                      swrl:propertyPredicate gsn:contains ;
                                      swrl:argument1 gsn:N ;
                                      swrl:argument2 gsn:B
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                 swrl:propertyPredicate gsn:supportedBy ;
                                                 swrl:argument1 gsn:A ;
                                                 swrl:argument2 gsn:B
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:ClassAtom ;
                                                            swrl:classPredicate gsn:Module ;
                                                            swrl:argument1 gsn:N
                                                          ] ;
                                                rdf:rest [ rdf:type swrl:AtomList ;
                                                           rdf:first [ rdf:type swrl:ClassAtom ;
                                                                       swrl:classPredicate gsn:Module ;
                                                                       swrl:argument1 gsn:M
                                                                     ] ;
                                                           rdf:rest [ rdf:type swrl:AtomList ;
                                                                      rdf:first [ rdf:type swrl:BuiltinAtom ;
                                                                                  swrl:builtin swrlb:notEqual ;
                                                                                  swrl:arguments ( gsn:M
                                                                                                   gsn:N
                                                                                                 )
                                                                                ] ;
                                                                      rdf:rest rdf:nil
                                                                    ]
                                                         ]
                                              ]
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:away ;
                           swrl:argument1 gsn:B ;
                           swrl:argument2 "true"^^xsd:boolean
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Modular Extension" ;
   rdfs:label "S31" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate gsn:contains ;
                           swrl:argument1 gsn:M ;
                           swrl:argument2 gsn:B
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                      swrl:propertyPredicate gsn:contains ;
                                      swrl:argument1 gsn:M ;
                                      swrl:argument2 gsn:A
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                                 swrl:propertyPredicate gsn:toBeSupportedByContract ;
                                                 swrl:argument1 gsn:A ;
                                                 swrl:argument2 "true"^^xsd:boolean
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                            swrl:propertyPredicate gsn:supportedBy ;
                                                            swrl:argument1 gsn:A ;
                                                            swrl:argument2 gsn:B
                                                          ] ;
                                                rdf:rest [ rdf:type swrl:AtomList ;
                                                           rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                       swrl:propertyPredicate rdf:subject ;
                                                                       swrl:argument1 gsn:R ;
                                                                       swrl:argument2 gsn:A
                                                                     ] ;
                                                           rdf:rest [ rdf:type swrl:AtomList ;
                                                                      rdf:first [ rdf:type swrl:ClassAtom ;
                                                                                  swrl:classPredicate gsn:Module ;
                                                                                  swrl:argument1 gsn:M
                                                                                ] ;
                                                                      rdf:rest [ rdf:type swrl:AtomList ;
                                                                                 rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                                             swrl:propertyPredicate rdf:object ;
                                                                                             swrl:argument1 gsn:R ;
                                                                                             swrl:argument2 gsn:B
                                                                                           ] ;
                                                                                 rdf:rest rdf:nil
                                                                               ]
                                                                    ]
                                                         ]
                                              ]
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:valid ;
                           swrl:argument1 gsn:R ;
                           swrl:argument2 "false"^^xsd:boolean
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Modular Extension" ;
   rdfs:label "S25" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate gsn:contains ;
                           swrl:argument1 gsn:M ;
                           swrl:argument2 gsn:B
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                      swrl:propertyPredicate gsn:contains ;
                                      swrl:argument1 gsn:M ;
                                      swrl:argument2 gsn:A
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                                 swrl:propertyPredicate schema:identifier ;
                                                 swrl:argument1 gsn:A ;
                                                 swrl:argument2 gsn:ID
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:ClassAtom ;
                                                            swrl:classPredicate gsn:Module ;
                                                            swrl:argument1 gsn:M
                                                          ] ;
                                                rdf:rest [ rdf:type swrl:AtomList ;
                                                           rdf:first [ rdf:type swrl:BuiltinAtom ;
                                                                       swrl:builtin swrlb:notEqual ;
                                                                       swrl:arguments ( gsn:A
                                                                                        gsn:B
                                                                                      )
                                                                     ] ;
                                                           rdf:rest [ rdf:type swrl:AtomList ;
                                                                      rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                                                                  swrl:propertyPredicate schema:identifier ;
                                                                                  swrl:argument1 gsn:B ;
                                                                                  swrl:argument2 gsn:ID
                                                                                ] ;
                                                                      rdf:rest rdf:nil
                                                                    ]
                                                         ]
                                              ]
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:valid ;
                           swrl:argument1 gsn:A ;
                           swrl:argument2 "false"^^xsd:boolean
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                      swrl:propertyPredicate gsn:valid ;
                                      swrl:argument1 gsn:B ;
                                      swrl:argument2 "false"^^xsd:boolean
                                    ] ;
                          rdf:rest rdf:nil
                        ]
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Modular Extension" ;
   rdfs:label "S28" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate gsn:contains ;
                           swrl:argument1 gsn:M ;
                           swrl:argument2 gsn:A
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                      swrl:propertyPredicate gsn:toBeSupportedByContract ;
                                      swrl:argument1 gsn:A ;
                                      swrl:argument2 "true"^^xsd:boolean
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                                 swrl:propertyPredicate gsn:contract ;
                                                 swrl:argument1 gsn:M ;
                                                 swrl:argument2 "true"^^xsd:boolean
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:ClassAtom ;
                                                            swrl:classPredicate gsn:Module ;
                                                            swrl:argument1 gsn:M
                                                          ] ;
                                                rdf:rest rdf:nil
                                              ]
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:valid ;
                           swrl:argument1 gsn:A ;
                           swrl:argument2 "false"^^xsd:boolean
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Modular Extension" ;
   rdfs:label "S37" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:ClassAtom ;
                           swrl:classPredicate gsn:Module ;
                           swrl:argument1 gsn:M3
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:ClassAtom ;
                                      swrl:classPredicate gsn:Module ;
                                      swrl:argument1 gsn:M1
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:ClassAtom ;
                                                 swrl:classPredicate gsn:Module ;
                                                 swrl:argument1 gsn:M2
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:BuiltinAtom ;
                                                            swrl:builtin swrlb:notEqual ;
                                                            swrl:arguments ( gsn:M3
                                                                             gsn:M1
                                                                           )
                                                          ] ;
                                                rdf:rest [ rdf:type swrl:AtomList ;
                                                           rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                       swrl:propertyPredicate gsn:supportedBy ;
                                                                       swrl:argument1 gsn:M1 ;
                                                                       swrl:argument2 gsn:M2
                                                                     ] ;
                                                           rdf:rest [ rdf:type swrl:AtomList ;
                                                                      rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                                  swrl:propertyPredicate gsn:supportedBy ;
                                                                                  swrl:argument1 gsn:M2 ;
                                                                                  swrl:argument2 gsn:M3
                                                                                ] ;
                                                                      rdf:rest [ rdf:type swrl:AtomList ;
                                                                                 rdf:first [ rdf:type swrl:BuiltinAtom ;
                                                                                             swrl:builtin swrlb:notEqual ;
                                                                                             swrl:arguments ( gsn:M1
                                                                                                              gsn:M2
                                                                                                            )
                                                                                           ] ;
                                                                                 rdf:rest [ rdf:type swrl:AtomList ;
                                                                                            rdf:first [ rdf:type swrl:BuiltinAtom ;
                                                                                                        swrl:builtin swrlb:notEqual ;
                                                                                                        swrl:arguments ( gsn:M2
                                                                                                                         gsn:M3
                                                                                                                       )
                                                                                                      ] ;
                                                                                            rdf:rest [ rdf:type swrl:AtomList ;
                                                                                                       rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                                                                   swrl:propertyPredicate gsn:supportedBy ;
                                                                                                                   swrl:argument1 gsn:M3 ;
                                                                                                                   swrl:argument2 gsn:M1
                                                                                                                 ] ;
                                                                                                       rdf:rest rdf:nil
                                                                                                     ]
                                                                                          ]
                                                                               ]
                                                                    ]
                                                         ]
                                              ]
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:valid ;
                           swrl:argument1 gsn:M1 ;
                           swrl:argument2 "false"^^xsd:boolean
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                      swrl:propertyPredicate gsn:valid ;
                                      swrl:argument1 gsn:M3 ;
                                      swrl:argument2 "false"^^xsd:boolean
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                                 swrl:propertyPredicate gsn:valid ;
                                                 swrl:argument1 gsn:M2 ;
                                                 swrl:argument2 "false"^^xsd:boolean
                                               ] ;
                                     rdf:rest rdf:nil
                                   ]
                        ]
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Modular Extension" ;
   rdfs:label "S27" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate gsn:inContextOf ;
                           swrl:argument1 gsn:A ;
                           swrl:argument2 gsn:M1
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                      swrl:propertyPredicate rdf:object ;
                                      swrl:argument1 gsn:R ;
                                      swrl:argument2 gsn:M1
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:ClassAtom ;
                                                 swrl:classPredicate gsn:Module ;
                                                 swrl:argument1 gsn:M1
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:ClassAtom ;
                                                            swrl:classPredicate gsn:Module ;
                                                            swrl:argument1 gsn:M2
                                                          ] ;
                                                rdf:rest [ rdf:type swrl:AtomList ;
                                                           rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                       swrl:propertyPredicate gsn:contains ;
                                                                       swrl:argument1 gsn:M2 ;
                                                                       swrl:argument2 gsn:A
                                                                     ] ;
                                                           rdf:rest [ rdf:type swrl:AtomList ;
                                                                      rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                                  swrl:propertyPredicate rdf:subject ;
                                                                                  swrl:argument1 gsn:R ;
                                                                                  swrl:argument2 gsn:A
                                                                                ] ;
                                                                      rdf:rest [ rdf:type swrl:AtomList ;
                                                                                 rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                                                                             swrl:propertyPredicate gsn:contract ;
                                                                                             swrl:argument1 gsn:M2 ;
                                                                                             swrl:argument2 "true"^^xsd:boolean
                                                                                           ] ;
                                                                                 rdf:rest rdf:nil
                                                                               ]
                                                                    ]
                                                         ]
                                              ]
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:valid ;
                           swrl:argument1 gsn:R ;
                           swrl:argument2 "false"^^xsd:boolean
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Modular Extension" ;
   rdfs:label "S26" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate rdf:object ;
                           swrl:argument1 gsn:R ;
                           swrl:argument2 gsn:M1
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:ClassAtom ;
                                      swrl:classPredicate gsn:Module ;
                                      swrl:argument1 gsn:M1
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:ClassAtom ;
                                                 swrl:classPredicate gsn:Module ;
                                                 swrl:argument1 gsn:M2
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                            swrl:propertyPredicate gsn:contains ;
                                                            swrl:argument1 gsn:M2 ;
                                                            swrl:argument2 gsn:A
                                                          ] ;
                                                rdf:rest [ rdf:type swrl:AtomList ;
                                                           rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                       swrl:propertyPredicate gsn:supportedBy ;
                                                                       swrl:argument1 gsn:A ;
                                                                       swrl:argument2 gsn:M1
                                                                     ] ;
                                                           rdf:rest [ rdf:type swrl:AtomList ;
                                                                      rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                                  swrl:propertyPredicate rdf:subject ;
                                                                                  swrl:argument1 gsn:R ;
                                                                                  swrl:argument2 gsn:A
                                                                                ] ;
                                                                      rdf:rest [ rdf:type swrl:AtomList ;
                                                                                 rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                                                                             swrl:propertyPredicate gsn:contract ;
                                                                                             swrl:argument1 gsn:M2 ;
                                                                                             swrl:argument2 "true"^^xsd:boolean
                                                                                           ] ;
                                                                                 rdf:rest rdf:nil
                                                                               ]
                                                                    ]
                                                         ]
                                              ]
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:valid ;
                           swrl:argument1 gsn:R ;
                           swrl:argument2 "false"^^xsd:boolean
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Modular Extension" ;
   rdfs:label "S30" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:away ;
                           swrl:argument1 gsn:A ;
                           swrl:argument2 "true"^^xsd:boolean
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                      swrl:propertyPredicate gsn:toBeSupportedByContract ;
                                      swrl:argument1 gsn:A ;
                                      swrl:argument2 "true"^^xsd:boolean
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:ClassAtom ;
                                                 swrl:classPredicate gsn:Module ;
                                                 swrl:argument1 gsn:M1
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:ClassAtom ;
                                                            swrl:classPredicate gsn:Module ;
                                                            swrl:argument1 gsn:M2
                                                          ] ;
                                                rdf:rest [ rdf:type swrl:AtomList ;
                                                           rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                       swrl:propertyPredicate gsn:contains ;
                                                                       swrl:argument1 gsn:M1 ;
                                                                       swrl:argument2 gsn:A
                                                                     ] ;
                                                           rdf:rest [ rdf:type swrl:AtomList ;
                                                                      rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                                  swrl:propertyPredicate gsn:contains ;
                                                                                  swrl:argument1 gsn:M2 ;
                                                                                  swrl:argument2 gsn:B
                                                                                ] ;
                                                                      rdf:rest [ rdf:type swrl:AtomList ;
                                                                                 rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                                             swrl:propertyPredicate gsn:supportedBy ;
                                                                                             swrl:argument1 gsn:A ;
                                                                                             swrl:argument2 gsn:B
                                                                                           ] ;
                                                                                 rdf:rest [ rdf:type swrl:AtomList ;
                                                                                            rdf:first [ rdf:type swrl:BuiltinAtom ;
                                                                                                        swrl:builtin swrlb:notEqual ;
                                                                                                        swrl:arguments ( gsn:M1
                                                                                                                         gsn:M2
                                                                                                                       )
                                                                                                      ] ;
                                                                                            rdf:rest rdf:nil
                                                                                          ]
                                                                               ]
                                                                    ]
                                                         ]
                                              ]
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:contract ;
                           swrl:argument1 gsn:M2 ;
                           swrl:argument2 "true"^^xsd:boolean
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Modular Extension" ;
   rdfs:label "S35" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:ClassAtom ;
                           swrl:classPredicate gsn:Module ;
                           swrl:argument1 gsn:M1
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:ClassAtom ;
                                      swrl:classPredicate gsn:Module ;
                                      swrl:argument1 gsn:M2
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                 swrl:propertyPredicate gsn:contains ;
                                                 swrl:argument1 gsn:M1 ;
                                                 swrl:argument2 gsn:E1
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                            swrl:propertyPredicate gsn:contains ;
                                                            swrl:argument1 gsn:M2 ;
                                                            swrl:argument2 gsn:E2
                                                          ] ;
                                                rdf:rest [ rdf:type swrl:AtomList ;
                                                           rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                       swrl:propertyPredicate gsn:inContextOf ;
                                                                       swrl:argument1 gsn:E1 ;
                                                                       swrl:argument2 gsn:E2
                                                                     ] ;
                                                           rdf:rest [ rdf:type swrl:AtomList ;
                                                                      rdf:first [ rdf:type swrl:BuiltinAtom ;
                                                                                  swrl:builtin swrlb:notEqual ;
                                                                                  swrl:arguments ( gsn:M1
                                                                                                   gsn:M2
                                                                                                 )
                                                                                ] ;
                                                                      rdf:rest rdf:nil
                                                                    ]
                                                         ]
                                              ]
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate gsn:inContextOf ;
                           swrl:argument1 gsn:M1 ;
                           swrl:argument2 gsn:M2
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Modular Extension" ;
   rdfs:label "S34" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:ClassAtom ;
                           swrl:classPredicate gsn:Module ;
                           swrl:argument1 gsn:M1
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:ClassAtom ;
                                      swrl:classPredicate gsn:Module ;
                                      swrl:argument1 gsn:M2
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                 swrl:propertyPredicate gsn:supportedBy ;
                                                 swrl:argument1 gsn:E1 ;
                                                 swrl:argument2 gsn:E2
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                            swrl:propertyPredicate gsn:contains ;
                                                            swrl:argument1 gsn:M1 ;
                                                            swrl:argument2 gsn:E1
                                                          ] ;
                                                rdf:rest [ rdf:type swrl:AtomList ;
                                                           rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                       swrl:propertyPredicate gsn:contains ;
                                                                       swrl:argument1 gsn:M2 ;
                                                                       swrl:argument2 gsn:E2
                                                                     ] ;
                                                           rdf:rest [ rdf:type swrl:AtomList ;
                                                                      rdf:first [ rdf:type swrl:BuiltinAtom ;
                                                                                  swrl:builtin swrlb:notEqual ;
                                                                                  swrl:arguments ( gsn:M1
                                                                                                   gsn:M2
                                                                                                 )
                                                                                ] ;
                                                                      rdf:rest rdf:nil
                                                                    ]
                                                         ]
                                              ]
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate gsn:supportedBy ;
                           swrl:argument1 gsn:M1 ;
                           swrl:argument2 gsn:M2
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Modular Extension" ;
   rdfs:label "S36" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate gsn:supportedBy ;
                           swrl:argument1 gsn:E1 ;
                           swrl:argument2 gsn:M2
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:ClassAtom ;
                                      swrl:classPredicate gsn:Module ;
                                      swrl:argument1 gsn:M1
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:ClassAtom ;
                                                 swrl:classPredicate gsn:Module ;
                                                 swrl:argument1 gsn:M2
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                            swrl:propertyPredicate gsn:contains ;
                                                            swrl:argument1 gsn:M1 ;
                                                            swrl:argument2 gsn:E1
                                                          ] ;
                                                rdf:rest [ rdf:type swrl:AtomList ;
                                                           rdf:first [ rdf:type swrl:BuiltinAtom ;
                                                                       swrl:builtin swrlb:notEqual ;
                                                                       swrl:arguments ( gsn:M1
                                                                                        gsn:M2
                                                                                      )
                                                                     ] ;
                                                           rdf:rest rdf:nil
                                                         ]
                                              ]
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate gsn:supportedBy ;
                           swrl:argument1 gsn:M1 ;
                           swrl:argument2 gsn:M2
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Argument Pattern Extension" ;
   rdfs:label "S20" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate gsn:instantiationOf ;
                           swrl:argument1 gsn:B ;
                           swrl:argument2 gsn:C
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                      swrl:propertyPredicate gsn:final ;
                                      swrl:argument1 gsn:A ;
                                      swrl:argument2 "true"^^xsd:boolean
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:ClassAtom ;
                                                 swrl:classPredicate gsn:Pattern ;
                                                 swrl:argument1 gsn:C
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                            swrl:propertyPredicate gsn:contains ;
                                                            swrl:argument1 gsn:A ;
                                                            swrl:argument2 gsn:B
                                                          ] ;
                                                rdf:rest [ rdf:type swrl:AtomList ;
                                                           rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                       swrl:propertyPredicate gsn:contains ;
                                                                       swrl:argument1 gsn:A ;
                                                                       swrl:argument2 gsn:C
                                                                     ] ;
                                                           rdf:rest rdf:nil
                                                         ]
                                              ]
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:valid ;
                           swrl:argument1 gsn:A ;
                           swrl:argument2 "false"^^xsd:boolean
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Core GSN" ;
   rdfs:label "S14" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:true ;
                           swrl:argument1 gsn:R ;
                           swrl:argument2 "false"^^xsd:boolean
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                      swrl:propertyPredicate rdf:subject ;
                                      swrl:argument1 gsn:R ;
                                      swrl:argument2 gsn:A
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                 swrl:propertyPredicate gsn:inContextOf ;
                                                 swrl:argument1 gsn:A ;
                                                 swrl:argument2 gsn:B
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:ClassAtom ;
                                                            swrl:classPredicate gsn:Relationship ;
                                                            swrl:argument1 gsn:R
                                                          ] ;
                                                rdf:rest [ rdf:type swrl:AtomList ;
                                                           rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                       swrl:propertyPredicate rdf:object ;
                                                                       swrl:argument1 gsn:R ;
                                                                       swrl:argument2 gsn:B
                                                                     ] ;
                                                           rdf:rest rdf:nil
                                                         ]
                                              ]
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:true ;
                           swrl:argument1 gsn:A ;
                           swrl:argument2 "false"^^xsd:boolean
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Core GSN" ;
   rdfs:label "S13" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:ClassAtom ;
                           swrl:classPredicate gsn:Solution ;
                           swrl:argument1 gsn:A
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:ClassAtom ;
                                      swrl:classPredicate gsn:Solution ;
                                      swrl:argument1 gsn:B
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                                 swrl:propertyPredicate gsn:true ;
                                                 swrl:argument1 gsn:B ;
                                                 swrl:argument2 "false"^^xsd:boolean
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                            swrl:propertyPredicate gsn:supportedBy ;
                                                            swrl:argument1 gsn:C ;
                                                            swrl:argument2 gsn:B
                                                          ] ;
                                                rdf:rest [ rdf:type swrl:AtomList ;
                                                           rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                                                       swrl:propertyPredicate gsn:true ;
                                                                       swrl:argument1 gsn:A ;
                                                                       swrl:argument2 "true"^^xsd:boolean
                                                                     ] ;
                                                           rdf:rest [ rdf:type swrl:AtomList ;
                                                                      rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                                  swrl:propertyPredicate gsn:supportedBy ;
                                                                                  swrl:argument1 gsn:C ;
                                                                                  swrl:argument2 gsn:A
                                                                                ] ;
                                                                      rdf:rest rdf:nil
                                                                    ]
                                                         ]
                                              ]
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:true ;
                           swrl:argument1 gsn:C ;
                           swrl:argument2 "false"^^xsd:boolean
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Core GSN" ;
   rdfs:label "S11" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:ClassAtom ;
                           swrl:classPredicate gsn:Solution ;
                           swrl:argument1 gsn:A
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                      swrl:propertyPredicate gsn:true ;
                                      swrl:argument1 gsn:A ;
                                      swrl:argument2 "false"^^xsd:boolean
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                 swrl:propertyPredicate gsn:supportedBy ;
                                                 swrl:argument1 gsn:B ;
                                                 swrl:argument2 gsn:A
                                               ] ;
                                     rdf:rest rdf:nil
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:true ;
                           swrl:argument1 gsn:B ;
                           swrl:argument2 "false"^^xsd:boolean
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Core GSN" ;
   rdfs:label "S10" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:ClassAtom ;
                           swrl:classPredicate gsn:Solution ;
                           swrl:argument1 gsn:A
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                      swrl:propertyPredicate gsn:supportedBy ;
                                      swrl:argument1 gsn:B ;
                                      swrl:argument2 gsn:A
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                                 swrl:propertyPredicate gsn:true ;
                                                 swrl:argument1 gsn:A ;
                                                 swrl:argument2 "true"^^xsd:boolean
                                               ] ;
                                     rdf:rest rdf:nil
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:true ;
                           swrl:argument1 gsn:B ;
                           swrl:argument2 "true"^^xsd:boolean
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Core GSN" ;
   rdfs:label "S3" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:ClassAtom ;
                           swrl:classPredicate gsn:Solution ;
                           swrl:argument1 gsn:B
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                      swrl:propertyPredicate gsn:supportedBy ;
                                      swrl:argument1 gsn:A ;
                                      swrl:argument2 gsn:B
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                 swrl:propertyPredicate rdf:subject ;
                                                 swrl:argument1 gsn:R ;
                                                 swrl:argument2 gsn:A
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                            swrl:propertyPredicate rdf:object ;
                                                            swrl:argument1 gsn:R ;
                                                            swrl:argument2 gsn:B
                                                          ] ;
                                                rdf:rest rdf:nil
                                              ]
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:relationshipType ;
                           swrl:argument1 gsn:R ;
                           swrl:argument2 "evidential"
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Dialectic Extension" ;
   rdfs:label "S46" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:valid ;
                           swrl:argument1 gsn:S ;
                           swrl:argument2 "true"^^xsd:boolean
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                      swrl:propertyPredicate gsn:challenges ;
                                      swrl:argument1 gsn:S ;
                                      swrl:argument2 gsn:E
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:ClassAtom ;
                                                 swrl:classPredicate gsn:Solution ;
                                                 swrl:argument1 gsn:S
                                               ] ;
                                     rdf:rest rdf:nil
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:defeated ;
                           swrl:argument1 gsn:E ;
                           swrl:argument2 "true"^^xsd:boolean
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Core GSN" ;
   rdfs:label "S4" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:ClassAtom ;
                           swrl:classPredicate gsn:Strategy ;
                           swrl:argument1 gsn:B
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                      swrl:propertyPredicate gsn:supportedBy ;
                                      swrl:argument1 gsn:A ;
                                      swrl:argument2 gsn:B
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                 swrl:propertyPredicate rdf:subject ;
                                                 swrl:argument1 gsn:R ;
                                                 swrl:argument2 gsn:A
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                            swrl:propertyPredicate rdf:object ;
                                                            swrl:argument1 gsn:R ;
                                                            swrl:argument2 gsn:B
                                                          ] ;
                                                rdf:rest rdf:nil
                                              ]
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:relationshipType ;
                           swrl:argument1 gsn:R ;
                           swrl:argument2 "inferential"
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Argument Pattern Extension" ;
   rdfs:label "S21" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:ClassAtom ;
                           swrl:classPredicate gsn:Template ;
                           swrl:argument1 gsn:A
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                      swrl:propertyPredicate gsn:undeveloped ;
                                      swrl:argument1 gsn:R ;
                                      swrl:argument2 "true"^^xsd:boolean
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                 swrl:propertyPredicate rdf:subject ;
                                                 swrl:argument1 gsn:R ;
                                                 swrl:argument2 gsn:A
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                                            swrl:propertyPredicate gsn:published ;
                                                            swrl:argument1 gsn:A ;
                                                            swrl:argument2 "true"^^xsd:boolean
                                                          ] ;
                                                rdf:rest rdf:nil
                                              ]
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:valid ;
                           swrl:argument1 gsn:A ;
                           swrl:argument2 "false"^^xsd:boolean
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                      swrl:propertyPredicate gsn:valid ;
                                      swrl:argument1 gsn:R ;
                                      swrl:argument2 "false"^^xsd:boolean
                                    ] ;
                          rdf:rest rdf:nil
                        ]
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Argument Pattern Extension" ;
   rdfs:label "S22" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:ClassAtom ;
                           swrl:classPredicate gsn:Template ;
                           swrl:argument1 gsn:A
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                      swrl:propertyPredicate gsn:undeveloped ;
                                      swrl:argument1 gsn:R ;
                                      swrl:argument2 "true"^^xsd:boolean
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                 swrl:propertyPredicate rdf:subject ;
                                                 swrl:argument1 gsn:R ;
                                                 swrl:argument2 gsn:B
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                                            swrl:propertyPredicate gsn:published ;
                                                            swrl:argument1 gsn:A ;
                                                            swrl:argument2 "true"^^xsd:boolean
                                                          ] ;
                                                rdf:rest [ rdf:type swrl:AtomList ;
                                                           rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                       swrl:propertyPredicate gsn:contains ;
                                                                       swrl:argument1 gsn:A ;
                                                                       swrl:argument2 gsn:B
                                                                     ] ;
                                                           rdf:rest rdf:nil
                                                         ]
                                              ]
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:valid ;
                           swrl:argument1 gsn:A ;
                           swrl:argument2 "false"^^xsd:boolean
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                      swrl:propertyPredicate gsn:valid ;
                                      swrl:argument1 gsn:R ;
                                      swrl:argument2 "false"^^xsd:boolean
                                    ] ;
                          rdf:rest rdf:nil
                        ]
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Core GSN" ;
   rdfs:label "S2" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate rdf:subject ;
                           swrl:argument1 gsn:R ;
                           swrl:argument2 gsn:A
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                      swrl:propertyPredicate gsn:inContextOf ;
                                      swrl:argument1 gsn:A ;
                                      swrl:argument2 gsn:B
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                 swrl:propertyPredicate rdf:object ;
                                                 swrl:argument1 gsn:R ;
                                                 swrl:argument2 gsn:B
                                               ] ;
                                     rdf:rest rdf:nil
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:relationshipType ;
                           swrl:argument1 gsn:R ;
                           swrl:argument2 "contextual"
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Core GSN" ;
   rdfs:label "S7" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate rdf:object ;
                           swrl:argument1 gsn:R3 ;
                           swrl:argument2 gsn:A
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                      swrl:propertyPredicate rdf:subject ;
                                      swrl:argument1 gsn:R1 ;
                                      swrl:argument2 gsn:A
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                 swrl:propertyPredicate rdf:subject ;
                                                 swrl:argument1 gsn:R2 ;
                                                 swrl:argument2 gsn:B
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                            swrl:propertyPredicate rdf:subject ;
                                                            swrl:argument1 gsn:R3 ;
                                                            swrl:argument2 gsn:C
                                                          ] ;
                                                rdf:rest [ rdf:type swrl:AtomList ;
                                                           rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                       swrl:propertyPredicate rdf:predicate ;
                                                                       swrl:argument1 gsn:R3 ;
                                                                       swrl:argument2 gsn:P
                                                                     ] ;
                                                           rdf:rest [ rdf:type swrl:AtomList ;
                                                                      rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                                  swrl:propertyPredicate rdf:predicate ;
                                                                                  swrl:argument1 gsn:R2 ;
                                                                                  swrl:argument2 gsn:P
                                                                                ] ;
                                                                      rdf:rest [ rdf:type swrl:AtomList ;
                                                                                 rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                                             swrl:propertyPredicate rdf:object ;
                                                                                             swrl:argument1 gsn:R1 ;
                                                                                             swrl:argument2 gsn:B
                                                                                           ] ;
                                                                                 rdf:rest [ rdf:type swrl:AtomList ;
                                                                                            rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                                                        swrl:propertyPredicate rdf:object ;
                                                                                                        swrl:argument1 gsn:R2 ;
                                                                                                        swrl:argument2 gsn:C
                                                                                                      ] ;
                                                                                            rdf:rest [ rdf:type swrl:AtomList ;
                                                                                                       rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                                                                                   swrl:propertyPredicate rdf:predicate ;
                                                                                                                   swrl:argument1 gsn:R1 ;
                                                                                                                   swrl:argument2 gsn:P
                                                                                                                 ] ;
                                                                                                       rdf:rest rdf:nil
                                                                                                     ]
                                                                                          ]
                                                                               ]
                                                                    ]
                                                         ]
                                              ]
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:valid ;
                           swrl:argument1 gsn:R1 ;
                           swrl:argument2 "false"^^xsd:boolean
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                      swrl:propertyPredicate gsn:valid ;
                                      swrl:argument1 gsn:R2 ;
                                      swrl:argument2 "false"^^xsd:boolean
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                                 swrl:propertyPredicate gsn:valid ;
                                                 swrl:argument1 gsn:R3 ;
                                                 swrl:argument2 "false"^^xsd:boolean
                                               ] ;
                                     rdf:rest rdf:nil
                                   ]
                        ]
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Dialectic Extension" ;
   rdfs:label "S52" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate gsn:challenges ;
                           swrl:argument1 gsn:A ;
                           swrl:argument2 gsn:B
                         ] ;
               rdf:rest rdf:nil
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:ClassAtom ;
                           swrl:classPredicate gsn:Defeater ;
                           swrl:argument1 gsn:A
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Dialectic Extension" ;
   rdfs:label "S50" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate gsn:challenges ;
                           swrl:argument1 gsn:A ;
                           swrl:argument2 gsn:B
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:BuiltinAtom ;
                                      swrl:builtin <http://swrl.stanford.edu/ontologies/built-ins/3.3/swrlx.owl#makeOWLThing> ;
                                      swrl:arguments ( gsn:B
                                                       gsn:R
                                                     )
                                    ] ;
                          rdf:rest rdf:nil
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate rdf:subject ;
                           swrl:argument1 gsn:R ;
                           swrl:argument2 gsn:A
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:ClassAtom ;
                                      swrl:classPredicate gsn:Relationship ;
                                      swrl:argument1 gsn:R
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                 swrl:propertyPredicate rdf:object ;
                                                 swrl:argument1 gsn:R ;
                                                 swrl:argument2 gsn:B
                                               ] ;
                                     rdf:rest rdf:nil
                                   ]
                        ]
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Modular Extension" ;
   rdfs:label "S39" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:contract ;
                           swrl:argument1 gsn:C ;
                           swrl:argument2 "true"^^xsd:boolean
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                      swrl:propertyPredicate gsn:public ;
                                      swrl:argument1 gsn:E ;
                                      swrl:argument2 "true"^^xsd:boolean
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                 swrl:propertyPredicate gsn:contains ;
                                                 swrl:argument1 gsn:C ;
                                                 swrl:argument2 gsn:E
                                               ] ;
                                     rdf:rest rdf:nil
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:valid ;
                           swrl:argument1 gsn:E ;
                           swrl:argument2 "false"^^xsd:boolean
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Core GSN" ;
   rdfs:label "S19" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate gsn:inContextOf ;
                           swrl:argument1 gsn:A ;
                           swrl:argument2 gsn:B
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:BuiltinAtom ;
                                      swrl:builtin <http://swrl.stanford.edu/ontologies/built-ins/3.3/swrlx.owl#makeOWLThing> ;
                                      swrl:arguments ( gsn:B
                                                       gsn:R
                                                     )
                                    ] ;
                          rdf:rest rdf:nil
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate rdf:subject ;
                           swrl:argument1 gsn:R ;
                           swrl:argument2 gsn:A
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:ClassAtom ;
                                      swrl:classPredicate gsn:Relationship ;
                                      swrl:argument1 gsn:R
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                 swrl:propertyPredicate rdf:object ;
                                                 swrl:argument1 gsn:R ;
                                                 swrl:argument2 gsn:B
                                               ] ;
                                     rdf:rest rdf:nil
                                   ]
                        ]
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Core GSN" ;
   rdfs:label "S18" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate gsn:supportedBy ;
                           swrl:argument1 gsn:A ;
                           swrl:argument2 gsn:B
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:BuiltinAtom ;
                                      swrl:builtin <http://swrl.stanford.edu/ontologies/built-ins/3.3/swrlx.owl#makeOWLThing> ;
                                      swrl:arguments ( gsn:B
                                                       gsn:R
                                                     )
                                    ] ;
                          rdf:rest rdf:nil
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                           swrl:propertyPredicate rdf:subject ;
                           swrl:argument1 gsn:R ;
                           swrl:argument2 gsn:A
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:ClassAtom ;
                                      swrl:classPredicate gsn:Relationship ;
                                      swrl:argument1 gsn:R
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                 swrl:propertyPredicate rdf:object ;
                                                 swrl:argument1 gsn:R ;
                                                 swrl:argument2 gsn:B
                                               ] ;
                                     rdf:rest rdf:nil
                                   ]
                        ]
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Core GSN" ;
   rdfs:label "S12" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:valid ;
                           swrl:argument1 gsn:B ;
                           swrl:argument2 "false"^^xsd:boolean
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                      swrl:propertyPredicate gsn:valid ;
                                      swrl:argument1 gsn:A ;
                                      swrl:argument2 "true"^^xsd:boolean
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                 swrl:propertyPredicate gsn:supportedBy ;
                                                 swrl:argument1 gsn:C ;
                                                 swrl:argument2 gsn:B
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:IndividualPropertyAtom ;
                                                            swrl:propertyPredicate gsn:supportedBy ;
                                                            swrl:argument1 gsn:C ;
                                                            swrl:argument2 gsn:A
                                                          ] ;
                                                rdf:rest rdf:nil
                                              ]
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:valid ;
                           swrl:argument1 gsn:C ;
                           swrl:argument2 "false"^^xsd:boolean
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Confidence Argument Extension" ;
   rdfs:label "S41" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate schema:identifier ;
                           swrl:argument1 gsn:A ;
                           swrl:argument2 gsn:N
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                      swrl:propertyPredicate schema:identifier ;
                                      swrl:argument1 gsn:B ;
                                      swrl:argument2 gsn:M
                                    ] ;
                          rdf:rest [ rdf:type swrl:AtomList ;
                                     rdf:first [ rdf:type swrl:BuiltinAtom ;
                                                 swrl:builtin swrlb:notEqual ;
                                                 swrl:arguments ( gsn:A
                                                                  gsn:B
                                                                )
                                               ] ;
                                     rdf:rest [ rdf:type swrl:AtomList ;
                                                rdf:first [ rdf:type swrl:BuiltinAtom ;
                                                            swrl:builtin swrlb:equal ;
                                                            swrl:arguments ( gsn:N
                                                                             gsn:M
                                                                           )
                                                          ] ;
                                                rdf:rest rdf:nil
                                              ]
                                   ]
                        ]
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:valid ;
                           swrl:argument1 gsn:A ;
                           swrl:argument2 "false"^^xsd:boolean
                         ] ;
               rdf:rest [ rdf:type swrl:AtomList ;
                          rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                                      swrl:propertyPredicate gsn:valid ;
                                      swrl:argument1 gsn:B ;
                                      swrl:argument2 "false"^^xsd:boolean
                                    ] ;
                          rdf:rest rdf:nil
                        ]
             ]
 ] .

[ swrla:isRuleEnabled "true"^^xsd:boolean ;
   rdfs:comment "" ;
   gsn:coreOrExtension "Dialectic Extension" ;
   rdfs:label "S47" ;
   rdf:type swrl:Imp ;
   swrl:body [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:defeated ;
                           swrl:argument1 gsn:E ;
                           swrl:argument2 "true"^^xsd:boolean
                         ] ;
               rdf:rest rdf:nil
             ] ;
   swrl:head [ rdf:type swrl:AtomList ;
               rdf:first [ rdf:type swrl:DatavaluedPropertyAtom ;
                           swrl:propertyPredicate gsn:valid ;
                           swrl:argument1 gsn:E ;
                           swrl:argument2 "false"^^xsd:boolean
                         ] ;
               rdf:rest rdf:nil
             ]
 ] .

###  Generated by the OWL API (version 4.5.26.2023-07-17T20:34:13Z) https://github.com/owlcs/owlapi