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

cc:license a owl:AnnotationProperty .

dc:contributor a owl:AnnotationProperty .

dc:creator a owl:AnnotationProperty .

dc:description a owl:AnnotationProperty .

dc:publisher a owl:AnnotationProperty .

dc:source a owl:AnnotationProperty .

dc:title a owl:AnnotationProperty .

terms:abstract a owl:AnnotationProperty .

terms:bibliographicCitation a owl:AnnotationProperty .

terms:created a owl:AnnotationProperty .

terms:issued a owl:AnnotationProperty .

terms:modified a owl:AnnotationProperty .

bibo:doi a owl:AnnotationProperty .

bibo:status a owl:AnnotationProperty .

vann:preferredNamespacePrefix a owl:AnnotationProperty .

vann:preferredNamespaceUri a owl:AnnotationProperty .

schema:citation a owl:AnnotationProperty .

schema:disclaimer a owl:AnnotationProperty .

schema:includedInDataCatalog a owl:AnnotationProperty .

schema:license a owl:AnnotationProperty .

schema:logo a owl:AnnotationProperty .

schema:name a owl:AnnotationProperty .

schema:url a owl:AnnotationProperty .

swrla:isRuleEnabled a owl:AnnotationProperty .

rdf:predicate a owl:ObjectProperty .

xsd:date a rdfs:Datatype .

skos:altLabel a owl:AnnotationProperty .

skos:definition a owl:AnnotationProperty .

skos:note a owl:AnnotationProperty .

skos:scopeNote a owl:AnnotationProperty .

<https://w3id.org/OntoGSN/ontology> a owl:Ontology ;
    cc:license <https://creativecommons.org/licenses/by/4.0/> ;
    dc:contributor "Barbara Gallina"@en,
        "Dian Balta"@en,
        "Ingmar Kessler"@en,
        "Jule Hendricks"@en ;
    dc:creator "Tomas Bueno Momčilović"@en ;
    dc:description "The complete ontology of OntoGSN. Generated from ontogsn.ttl by development/dev_tools/build_separated.py. Includes the SWRL rules and every annotation."@en ;
    dc:publisher [ schema:name "fortiss GmbH" ;
            schema:url <https://www.fortiss.org/> ] ;
    dc:source "https://w3id.org/OntoGSN/ontology" ;
    dc:title "OntoGSN"@en ;
    terms:bibliographicCitation "Bueno Momčilović, T. (2026). OntoGSN (Version 1.3.0) [Ontology]. https://doi.org/10.5281/zenodo.17808330" ;
    terms:created "2025-02-20"^^xsd:date ;
    terms:issued "2026-11-05"^^xsd:date ;
    terms:modified "2026-11-05"^^xsd:date ;
    bibo:doi "10.5281/zenodo.17808330" ;
    bibo:status <http://purl.org/ontology/bibo/status/published> ;
    vann:preferredNamespacePrefix "gsn" ;
    vann:preferredNamespaceUri "https://w3id.org/OntoGSN/ontology#" ;
    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:includedInDataCatalog <https://zenodo.org/> ;
    schema:logo <https://fortiss.github.io/OntoGSN/assets/images/ontogsn-banner.png> ;
    schema:url "https://w3id.org/OntoGSN/"^^xsd:anyURI ;
    rdfs:seeAlso <https://doi.org/10.48550/arXiv.2506.11023>,
        <https://w3id.org/OntoGSN/ontology/confidence>,
        <https://w3id.org/OntoGSN/ontology/core>,
        <https://w3id.org/OntoGSN/ontology/dialectic>,
        <https://w3id.org/OntoGSN/ontology/modular>,
        <https://w3id.org/OntoGSN/ontology/pattern> ;
    owl:priorVersion <https://w3id.org/OntoGSN/ontology/1.2.3> ;
    owl:versionIRI <https://w3id.org/OntoGSN/ontology/1.3.0> ;
    owl:versionInfo "1.3.0" ;
    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 ;
    skos:scopeNote "A definition prefixed [OntoGSN] is this ontology’s wording, not the GSN Community Standard’s. Every definition, tagged or not, has a record in the design record under development/design/ naming the passage it rests on, or stating that it rests on none."@en .

gsn:applicability a owl:AnnotationProperty ;
    rdfs:label "applicability"@en ;
    rdfs:domain gsn:Pattern ;
    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 .

gsn:attachedTo a owl:ObjectProperty ;
    rdfs:label "attached to"@en ;
    rdfs:domain gsn:InstantiationDataReference ;
    rdfs:range [ a owl:Class ;
            owl:unionOf ( gsn:GSNElement gsn:Template ) ] ;
    skos:definition "[OntoGSN] Links an instantiation data reference to the element or template argument it annotates."@en ;
    gsn:coreOrExtension "Argument Pattern Extension"@en ;
    gsn:renderedAs "dotted line" .

gsn:choice a owl:DatatypeProperty ;
    rdfs:label "choice"@en ;
    rdfs:domain gsn:Relationship ;
    rdfs:range xsd:boolean ;
    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" .

gsn:collaboration a owl:AnnotationProperty ;
    rdfs:label "collaboration"@en ;
    rdfs:domain gsn:Pattern ;
    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 .

gsn:consequences a owl:AnnotationProperty ;
    rdfs:label "consequences"@en ;
    rdfs:domain gsn:Pattern ;
    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 .

gsn:coreOrExtension a owl:AnnotationProperty ;
    rdfs:label "core or extension"@en ;
    skos:definition "Indicator of the sourcing section in the GSN Community Standard v3."@en .

gsn:depicts a owl:ObjectProperty ;
    rdfs:label "depicts"@en ;
    rdfs:domain gsn:View ;
    rdfs:range gsn:Module ;
    skos:definition "The argument view depicts the argument inside an individual module."@en ;
    gsn:coreOrExtension "Modular Extension"@en .

gsn:examples a owl:AnnotationProperty ;
    rdfs:label "examples"@en ;
    rdfs:domain gsn:Pattern ;
    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 .

gsn:implementation a owl:AnnotationProperty ;
    rdfs:label "implementation"@en ;
    rdfs:domain gsn:Pattern ;
    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 .

gsn:inferredOnly a owl:AnnotationProperty ;
    rdfs:label "inferred only"@en ;
    skos:definition "[OntoGSN] Marks a property that a rule derives and that a case never asserts."@en ;
    gsn:coreOrExtension "Core GSN"@en .

gsn:intent a owl:AnnotationProperty ;
    rdfs:label "intent"@en ;
    rdfs:domain gsn:Pattern ;
    skos:definition "The intent statement should state clearly what the pattern aims to achieve."@en ;
    gsn:coreOrExtension "Argument Pattern Extension"@en .

gsn:knownUses a owl:AnnotationProperty ;
    rdfs:label "known uses"@en ;
    rdfs:domain gsn:Pattern ;
    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 .

gsn:maxCardinality a owl:DatatypeProperty ;
    rdfs:label "maximum cardinality"@en ;
    rdfs:domain gsn:Relationship ;
    rdfs:range xsd:nonNegativeInteger ;
    skos:definition "[OntoGSN] The upper bound on how many instances of the related element this relationship stands for."@en ;
    gsn:coreOrExtension "Argument Pattern Extension"@en ;
    gsn:renderedAs "text" .

gsn:minCardinality a owl:DatatypeProperty ;
    rdfs:label "minimum cardinality"@en ;
    rdfs:domain gsn:Relationship ;
    rdfs:range xsd:nonNegativeInteger ;
    skos:definition "[OntoGSN] The lower bound on how many instances of the related element this relationship stands for."@en ;
    gsn:coreOrExtension "Argument Pattern Extension"@en ;
    gsn:renderedAs "text" .

gsn:motivation a owl:AnnotationProperty ;
    rdfs:label "motivation"@en ;
    rdfs:domain gsn:Pattern ;
    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 .

gsn:multiple a owl:DatatypeProperty ;
    rdfs:label "multiple"@en ;
    rdfs:domain gsn:Relationship ;
    rdfs:range xsd:boolean ;
    skos:definition "[OntoGSN] Determines whether the relationship stands for multiple instantiations rather than a single one."@en ;
    gsn:coreOrExtension "Argument Pattern Extension"@en ;
    gsn:renderedAs "solid ball" .

gsn:offDiagram a owl:DatatypeProperty ;
    rdfs:label "off-diagram"@en ;
    rdfs:domain gsn:GSNElement ;
    rdfs:range xsd:boolean ;
    skos:definition "[OntoGSN] Determines whether the argument at this element continues in, or is a continuation from, a separate diagram."@en ;
    gsn:coreOrExtension "Core GSN"@en .

gsn:optional a owl:DatatypeProperty ;
    rdfs:label "optional"@en ;
    rdfs:domain gsn:Relationship ;
    rdfs:range xsd:boolean ;
    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 .

gsn:participants a owl:AnnotationProperty ;
    rdfs:label "participants"@en ;
    rdfs:domain gsn:Pattern ;
    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 .

gsn:refersTo a owl:ObjectProperty ;
    rdfs:label "refers to"@en ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:ArtefactReference gsn:InstantiationDataReference ) ] ;
    rdfs:range gsn:Artefact ;
    skos:definition "[OntoGSN] Relates an artefact reference or an instantiation data reference to the artefact it points at."@en ;
    gsn:coreOrExtension "Core GSN"@en .

gsn:relatedTo a owl:ObjectProperty ;
    rdfs:label "related to"@en ;
    rdfs:domain gsn:Pattern ;
    rdfs:range gsn:Pattern ;
    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 .

gsn:renderedAs a owl:AnnotationProperty ;
    rdfs:label "rendered as"@en ;
    gsn:coreOrExtension "Core GSN"@en .

gsn:structure a owl:AnnotationProperty ;
    rdfs:label "structure"@en ;
    rdfs:domain gsn:Pattern ;
    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 .

gsn:structured a owl:DatatypeProperty ;
    rdfs:label "structured"@en ;
    rdfs:domain gsn:Argument ;
    rdfs:range xsd:boolean ;
    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 .

gsn:uninstantiated a owl:DatatypeProperty ;
    rdfs:label "uninstantiated"@en ;
    rdfs:domain gsn:GSNElement ;
    rdfs:range xsd:boolean ;
    skos:definition "The attached element remains to be instantiated: at some later stage the abstract element needs to be replaced with a more concrete instance."@en ;
    gsn:coreOrExtension "Argument Pattern Extension"@en ;
    gsn:renderedAs "hollow triangle" .

gsn:viewType a owl:DatatypeProperty ;
    rdfs:label "view type"@en ;
    rdfs:domain gsn:View ;
    rdfs:range [ a rdfs:Datatype ;
            owl:oneOf [ a rdf:List ;
                    rdf:first "architecture" ;
                    rdf:rest [ a rdf:List ;
                            rdf:first "argument" ;
                            rdf:rest () ] ] ] ;
    skos:definition "[OntoGSN] Determines whether the view shows the argument or the module architecture."@en ;
    gsn:coreOrExtension "Modular Extension"@en .

gsnswrl:M3 a swrl:Variable .

gsnswrl:P a swrl:Variable .

gsnswrl:R3 a swrl:Variable .

schema:description a owl:AnnotationProperty,
        owl:DatatypeProperty .

rdf:Statement a owl:Class .

gsn:Catalogue a owl:Class ;
    rdfs:label "Catalogue"@en ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:allValuesFrom gsn:Pattern ;
            owl:onProperty gsn:contains ] ;
    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 .

gsn:argumentType a owl:DatatypeProperty ;
    rdfs:label "argument type"@en ;
    rdfs:domain gsn:Argument ;
    rdfs:range [ a rdfs:Datatype ;
            owl:oneOf [ a rdf:List ;
                    rdf:first "confidence" ;
                    rdf:rest [ a rdf:List ;
                            rdf:first "dialectic" ;
                            rdf:rest [ a rdf:List ;
                                    rdf:first "risk" ;
                                    rdf:rest () ] ] ] ] ;
    skos:definition "[OntoGSN] Defines the kind of argument this is: a risk argument (i.e., the main content of assurance), a confidence argument for an assurance claim point, a compliance argument (undefined in the normative standard), or a dialectic argument."@en ;
    gsn:coreOrExtension "Confidence Argument Extension"@en .

gsn:consistentWith a owl:ObjectProperty,
        owl:SymmetricProperty ;
    rdfs:label "consistent with"@en ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:Assumption gsn:Context ) ] ;
    rdfs:range [ a owl:Class ;
            owl:unionOf ( gsn:Assumption gsn:Context ) ] ;
    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 .

gsn:final a owl:DatatypeProperty ;
    rdfs:label "final"@en ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:Argument gsn:Pattern ) ] ;
    rdfs:range xsd:boolean ;
    skos:definition "[OntoGSN] Determines whether this is the delivered version of the argument or pattern, in which no element remains uninstantiated or undeveloped."@en ;
    gsn:coreOrExtension "Argument Pattern Extension"@en .

gsn:instantiationOf a owl:ObjectProperty ;
    rdfs:label "instantiation of"@en ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:Argument gsn:GSNElement ) ] ;
    rdfs:range gsn:Pattern ;
    skos:definition "[OntoGSN] Relates an argument or element to the pattern it was instantiated from."@en ;
    gsn:coreOrExtension "Argument Pattern Extension"@en .

gsn:substitutedBy a owl:ObjectProperty ;
    rdfs:label "substituted by"@en ;
    rdfs:domain gsn:Justification ;
    rdfs:range [ a owl:Class ;
            owl:intersectionOf ( gsn:Goal [ a owl:Restriction ;
                        owl:hasValue true ;
                        owl:onProperty gsn:away ] ) ] ;
    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 .

gsnswrl:X a swrl:Variable .

gsn:Defeater a owl:Class ;
    rdfs:label "Defeater"@en ;
    rdfs:subClassOf [ a owl:Class ;
            owl:unionOf ( gsn:Goal gsn:Solution ) ] ;
    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 .

gsn:InstantiationDataReference a 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" .

gsn:View a owl:Class ;
    rdfs:label "View"@en ;
    skos:definition "The argument view depicts the argument inside an individual module."@en ;
    gsn:coreOrExtension "Modular Extension"@en .

gsn:inDoubt a owl:DatatypeProperty ;
    rdfs:label "in doubt"@en ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:AssuranceCase gsn:GSNElement gsn:Relationship ) ] ;
    rdfs:range xsd:boolean ;
    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 .

gsn:published a owl:DatatypeProperty ;
    rdfs:label "published"@en ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:Argument gsn:Pattern ) ] ;
    rdfs:range xsd:boolean ;
    skos:definition "[OntoGSN] Determines whether the argument or pattern is in its published form, in which the undeveloped decorator is not permitted."@en ;
    gsn:coreOrExtension "Argument Pattern Extension"@en .

gsn:top a owl:DatatypeProperty ;
    rdfs:label "top (goal)"@en ;
    rdfs:domain gsn:Goal ;
    rdfs:range xsd:boolean ;
    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 .

gsnswrl:C1 a swrl:Variable .

gsnswrl:ID a swrl:Variable .

gsn:AssuranceCase a owl:Class ;
    rdfs:label "Assurance Case"@en ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:allValuesFrom [ a owl:Class ;
                    owl:unionOf ( gsn:Argument gsn:Artefact ) ] ;
            owl:onProperty gsn:contains ],
        [ a owl:Restriction ;
            owl:onProperty gsn:contains ;
            owl:someValuesFrom gsn:Artefact ],
        [ a owl:Restriction ;
            owl:onProperty gsn:contains ;
            owl:someValuesFrom gsn:Argument ] ;
    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 .

gsn:Template a owl:Class ;
    rdfs:label "Template"@en ;
    rdfs:subClassOf gsn:Pattern ;
    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 .

gsn:defeated a owl:DatatypeProperty ;
    rdfs:label "defeated"@en ;
    schema:description "Defeated Relationship indicates that the relationship is defeated. The Defeated decorator can be applied to any of the GSN relationships."@en ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:GSNElement gsn:Relationship ) ] ;
    rdfs:range xsd:boolean ;
    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" .

gsn:public a owl:DatatypeProperty ;
    rdfs:label "public"@en ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:Assumption gsn:Context gsn:Goal gsn:Justification gsn:Solution ) ] ;
    rdfs:range xsd:boolean ;
    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" .

gsn:toBeSupportedByContract a owl:DatatypeProperty ;
    rdfs:label "to be supported by contract"@en ;
    rdfs:domain gsn:Goal ;
    rdfs:range xsd:boolean ;
    owl:propertyDisjointWith gsn:undeveloped ;
    skos:definition "Support for the claim presented by the attached goal is intended to be provided from an argument in another module linked by an as-yet-undisclosed contract."@en ;
    gsn:coreOrExtension "Modular Extension"@en ;
    gsn:renderedAs "attached centrally immediately below the goal to which it relates" .

gsn:transitivelyChallenges a owl:ObjectProperty,
        owl:TransitiveProperty ;
    rdfs:label "transitively challenges"@en ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:GSNElement gsn:Relationship ) ] ;
    rdfs:range [ a owl:Class ;
            owl:unionOf ( gsn:GSNElement gsn:Relationship ) ] ;
    skos:definition "[OntoGSN] Relates an element to every element that it reaches through a chain of one or more challenges."@en ;
    skos:note "Inferred, never authored. It is derived by the Challenge Closure rule, and the Challenge Cycle rules read it."@en ;
    gsn:coreOrExtension "Dialectic Extension"@en ;
    gsn:inferredOnly true .

gsn:transitivelyInContextOf a owl:ObjectProperty,
        owl:TransitiveProperty ;
    rdfs:label "transitively in context of"@en ;
    rdfs:domain gsn:Module ;
    rdfs:range gsn:Module ;
    skos:definition "[OntoGSN] Relates a module to every module that it reaches through a chain of one or more in-context-of links between modules."@en ;
    skos:note "Inferred, never authored. It is derived by the Module Context Closure rule, and the Module Context Cycle rules read it."@en ;
    gsn:coreOrExtension "Modular Extension"@en ;
    gsn:inferredOnly true .

gsn:transitivelySupportedBy a owl:ObjectProperty,
        owl:TransitiveProperty ;
    rdfs:label "transitively supported by"@en ;
    rdfs:domain gsn:GSNElement ;
    rdfs:range gsn:GSNElement ;
    skos:definition "[OntoGSN] Relates an element to every element that it reaches through a chain of one or more supported-by links."@en ;
    skos:note "Inferred, never authored. It is derived by the Support Closure rule, and the Support Cycle rules read it."@en ;
    gsn:coreOrExtension "Core GSN"@en ;
    gsn:inferredOnly true .

gsnswrl:Arg a swrl:Variable .

gsnswrl:C2 a swrl:Variable .

gsnswrl:D a swrl:Variable .

gsn:Artefact a owl:Class ;
    rdfs:label "Artefact"@en ;
    skos:altLabel "Evidence"@en ;
    skos:definition "[OntoGSN] Information or objective artefacts (e.g., files) being offered in support or context of one or more claims."@en ;
    gsn:coreOrExtension "Core GSN"@en .

gsnswrl:E2 a swrl:Variable .

gsn:contract a owl:DatatypeProperty ;
    rdfs:label "contract"@en ;
    rdfs:domain gsn:Module ;
    rdfs:range xsd:boolean ;
    owl:propertyDisjointWith gsn:undeveloped ;
    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" .

gsn:relationshipType a owl:DatatypeProperty ;
    rdfs:label "relationship type"@en ;
    rdfs:domain gsn:Relationship ;
    rdfs:range [ a rdfs:Datatype ;
            owl:oneOf [ a rdf:List ;
                    rdf:first "contextual" ;
                    rdf:rest [ a rdf:List ;
                            rdf:first "dialectic" ;
                            rdf:rest [ a rdf:List ;
                                    rdf:first "evidential" ;
                                    rdf:rest [ a rdf:List ;
                                            rdf:first "inferential" ;
                                            rdf:rest () ] ] ] ] ] ;
    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 .

gsn:undeveloped a owl:DatatypeProperty ;
    rdfs:label "undeveloped"@en ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:Goal gsn:Relationship gsn:Strategy ) ] ;
    rdfs:range xsd:boolean ;
    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" .

gsnswrl:J a swrl:Variable .

gsn:away a owl:DatatypeProperty ;
    rdfs:label "away"@en ;
    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:domain [ a owl:Class ;
            owl:unionOf ( gsn:Assumption gsn:Context gsn:Goal gsn:Justification gsn:Solution ) ] ;
    rdfs:range xsd:boolean ;
    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" .

gsnswrl:E1 a swrl:Variable .

gsnswrl:G3 a swrl:Variable .

gsn:ArtefactReference a owl:Class ;
    rdfs:label "Artefact Reference"@en ;
    rdfs:subClassOf gsn:GSNElement ;
    skos:definition "[OntoGSN] An element that makes no claim of its own and instead points at an artefact, such as a solution or a context expressed as a noun phrase."@en ;
    gsn:coreOrExtension "Core GSN"@en .

gsn:Justification a owl:Class ;
    rdfs:label "Justification"@en ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty gsn:statement ;
            owl:someValuesFrom xsd:string ],
        gsn:GSNElement ;
    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 .

gsn:statement a owl:DatatypeProperty ;
    rdfs:label "statement"@en ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:Argument gsn:AssuranceCase gsn:GSNElement ) ] ;
    rdfs:range xsd:string ;
    skos:definition "[OntoGSN] The text the element asserts, written to the grammatical rules the standard sets for GSN statements."@en ;
    gsn:coreOrExtension "Core GSN"@en .

gsnswrl:S1 a swrl:Variable .

gsn:assuranceClaimPoint a owl:DatatypeProperty ;
    rdfs:label "assurance claim point"@en ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:ArtefactReference gsn:RelationshipWithConfidence ) ] ;
    rdfs:range xsd:boolean ;
    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" .

schema:identifier a owl:DatatypeProperty .

gsn:Assumption a owl:Class ;
    rdfs:label "Assumption"@en ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty gsn:statement ;
            owl:someValuesFrom xsd:string ],
        gsn:GSNElement ;
    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 .

gsn:Context a owl:Class ;
    rdfs:label "Context"@en ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty gsn:statement ;
            owl:someValuesFrom xsd:string ],
        gsn:ArtefactReference ;
    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 .

gsn:associatedWith a owl:ObjectProperty ;
    rdfs:label "associated with"@en ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:ArtefactReference gsn:RelationshipWithConfidence ) ] ;
    rdfs:range gsn:Argument ;
    skos:definition "[OntoGSN] Links a relationship or an artefact reference to the confidence argument provided for it."@en ;
    gsn:coreOrExtension "Confidence Argument Extension"@en .

gsnswrl:S2 a swrl:Variable .

gsn:RelationshipWithConfidence a owl:Class ;
    rdfs:label "Relationship with Confidence"@en ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:allValuesFrom [ a owl:Class ;
                    owl:intersectionOf ( gsn:Argument [ a owl:Restriction ;
                                owl:hasValue "confidence" ;
                                owl:onProperty gsn:argumentType ] ) ] ;
            owl:onProperty gsn:associatedWith ],
        [ a owl:Restriction ;
            owl:allValuesFrom [ a owl:Class ;
                    owl:unionOf ( gsn:Context gsn:Goal gsn:Solution gsn:Strategy ) ] ;
            owl:onProperty rdf:object ],
        [ a owl:Class ;
            owl:intersectionOf ( [ a owl:Restriction ;
                        owl:onProperty gsn:associatedWith ;
                        owl:someValuesFrom gsn:Argument ] [ a owl:Restriction ;
                        owl:onProperty gsn:assuranceClaimPoint ;
                        owl:someValuesFrom xsd:boolean ] ) ],
        [ a owl:Restriction ;
            owl:onDataRange xsd:string ;
            owl:onProperty schema:identifier ;
            owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ],
        [ a owl:Restriction ;
            owl:onProperty schema:identifier ;
            owl:someValuesFrom xsd:string ],
        gsn:Relationship ;
    skos:definition "[OntoGSN] A relationship carrying an assurance claim point, whose associated confidence argument documents the reasons for having confidence in the relationship between two elements."@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 .

gsn:true a owl:DatatypeProperty ;
    rdfs:label "true"@en ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:GSNElement gsn:Relationship ) ] ;
    rdfs:range xsd:boolean ;
    skos:definition "[OntoGSN] Marks whether the claim in the element or relationship is determined (e.g., by the auditor or some process) as correct or not."@en ;
    gsn:coreOrExtension "Core GSN"@en .

gsnswrl:N a swrl:Variable .

gsn:Strategy a owl:Class ;
    rdfs:label "Strategy"@en ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:allValuesFrom [ a owl:Class ;
                    owl:unionOf ( gsn:Assumption gsn:Context gsn:Justification gsn:Module ) ] ;
            owl:onProperty gsn:inContextOf ],
        [ a owl:Restriction ;
            owl:allValuesFrom gsn:Goal ;
            owl:onProperty gsn:supportedBy ],
        [ a owl:Restriction ;
            owl:onProperty gsn:statement ;
            owl:someValuesFrom xsd:string ],
        gsn:GSNElement ;
    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 .

gsn:challenges a owl:ObjectProperty ;
    rdfs:label "challenges"@en ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:Goal gsn:Solution ) ] ;
    rdfs:range [ a owl:Class ;
            owl:unionOf ( gsn:GSNElement gsn:Relationship ) ] ;
    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" .

gsn:Solution a owl:Class ;
    rdfs:label "Solution"@en ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:allValuesFrom [ a owl:Class ;
                    owl:unionOf ( gsn:GSNElement gsn:Relationship ) ] ;
            owl:onProperty gsn:challenges ],
        [ a owl:Restriction ;
            owl:onProperty gsn:statement ;
            owl:someValuesFrom xsd:string ],
        gsn:ArtefactReference ;
    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 .

gsnswrl:C a swrl:Variable .

gsnswrl:R1 a swrl:Variable .

gsn:Argument a owl:Class ;
    rdfs:label "Argument"@en ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty schema:identifier ;
            owl:someValuesFrom xsd:string ],
        [ a owl:Restriction ;
            owl:onDataRange xsd:string ;
            owl:onProperty schema:identifier ;
            owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ],
        [ a owl:Restriction ;
            owl:allValuesFrom [ a owl:Class ;
                    owl:unionOf ( gsn:GSNElement gsn:Pattern ) ] ;
            owl:onProperty gsn:contains ],
        _:genid0944 ;
    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 .

gsn:inModule a owl:ObjectProperty ;
    rdfs:label "in module"@en ;
    rdfs:domain gsn:GSNElement ;
    rdfs:range gsn:Module ;
    skos:definition "The module an element belongs to, whether the element sits in an argument the module contains or in a module nested inside it."@en ;
    skos:note "Inferred, never authored. A module contains arguments and other modules, so the module an element belongs to is always reached in two steps or more. This property names the result of that traversal so that the rules of the Modular Extension can state it in one atom. It is derived by the Module Membership and Nested Module Membership rules."@en ;
    gsn:coreOrExtension "Modular Extension"@en ;
    gsn:inferredOnly true .

gsnswrl:G1 a swrl:Variable .

gsnswrl:G2 a swrl:Variable .

gsn:inContextOf a owl:AsymmetricProperty,
        owl:IrreflexiveProperty,
        owl:ObjectProperty ;
    rdfs:label "in context of"@en ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:Goal gsn:Module gsn:Strategy ) ] ;
    rdfs:range [ a owl:Class ;
            owl:unionOf ( gsn:Assumption gsn:Context gsn:Justification gsn:Module ) ] ;
    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" .

gsnswrl:S a swrl:Variable .

gsn:Pattern a owl:Class ;
    rdfs:label "Pattern"@en ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty schema:description ;
            owl:someValuesFrom rdfs:Literal ] ;
    skos:definition "[OntoGSN] A reusable argument structure, accompanied by a description that defines its intent and the constraints on its use, from which concrete arguments are instantiated."@en ;
    gsn:coreOrExtension "Argument Pattern Extension"@en .

gsn:contains a owl:ObjectProperty ;
    rdfs:label "contains"@en ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:Argument gsn:AssuranceCase gsn:Catalogue gsn:Module gsn:Pattern ) ] ;
    rdfs:range [ a owl:Class ;
            owl:unionOf ( gsn:Argument gsn:Artefact gsn:GSNElement gsn:Pattern ) ] ;
    skos:definition "[OntoGSN] Relates a container (e.g., an assurance case, argument, module, catalogue or pattern) to its components (e.g., elements, arguments, patterns or artefacts)."@en ;
    gsn:coreOrExtension "Core GSN"@en .

gsnswrl:G a swrl:Variable .

gsnswrl:E a swrl:Variable .

gsnswrl:M a swrl:Variable .

gsnswrl:R2 a swrl:Variable .

gsn:Relationship a owl:Class ;
    rdfs:label "Relationship"@en ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:allValuesFrom [ a owl:Class ;
                    owl:unionOf ( gsn:Defeater gsn:Goal gsn:Module gsn:Pattern gsn:Strategy ) ] ;
            owl:onProperty rdf:subject ],
        [ a owl:Restriction ;
            owl:allValuesFrom [ a owl:Class ;
                    owl:unionOf ( gsn:GSNElement gsn:Relationship ) ] ;
            owl:onProperty rdf:object ],
        rdf:Statement ;
    skos:definition "[OntoGSN] A link between GSN elements treated as an individual in its own right, carrying its subject, object and type, so that the link itself can be decorated and described."@en ;
    gsn:coreOrExtension "Core GSN"@en .

rdf:object a owl:ObjectProperty .

gsnswrl:M1 a swrl:Variable .

gsn:GSNElement a owl:Class ;
    rdfs:label "GSN Element"@en ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onDataRange xsd:string ;
            owl:onProperty schema:identifier ;
            owl:qualifiedCardinality "1"^^xsd:nonNegativeInteger ],
        [ a owl:Restriction ;
            owl:onProperty schema:identifier ;
            owl:someValuesFrom xsd:string ] ;
    skos:definition "Goals, solutions, strategies, contexts, assumptions and justifications form the principal elements of GSN."@en ;
    gsn:coreOrExtension "Core GSN"@en .

gsnswrl:M2 a swrl:Variable .

rdf:subject a owl:ObjectProperty .

gsn:valid a owl:DatatypeProperty ;
    rdfs:label "valid"@en ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:Argument gsn:GSNElement gsn:Pattern gsn:Relationship ) ] ;
    rdfs:range xsd:boolean ;
    skos:definition "[OntoGSN] Marks whether the element is determined (e.g., by a rule or a manual evaluation) to be consistent with the argument, or otherwise correct with respect to the GSN argument syntax."@en ;
    gsn:coreOrExtension "Core GSN"@en .

gsn:Goal a owl:Class ;
    rdfs:label "Goal"@en ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:onProperty gsn:inContextOf ;
            owl:someValuesFrom gsn:Context ],
        [ a owl:Restriction ;
            owl:onProperty gsn:statement ;
            owl:someValuesFrom xsd:string ],
        [ a owl:Restriction ;
            owl:allValuesFrom [ a owl:Class ;
                    owl:unionOf ( gsn:Assumption gsn:Context gsn:Justification gsn:Module ) ] ;
            owl:onProperty gsn:inContextOf ],
        [ a owl:Restriction ;
            owl:allValuesFrom [ a owl:Class ;
                    owl:unionOf ( gsn:Goal gsn:Module gsn:Solution gsn:Strategy ) ] ;
            owl:onProperty gsn:supportedBy ],
        [ a owl:Restriction ;
            owl:allValuesFrom [ a owl:Class ;
                    owl:unionOf ( gsn:GSNElement gsn:Relationship ) ] ;
            owl:onProperty gsn:challenges ],
        gsn:GSNElement ;
    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 .

gsn:supportedBy a owl:AsymmetricProperty,
        owl:IrreflexiveProperty,
        owl:ObjectProperty ;
    rdfs:label "supported by"@en ;
    rdfs:domain [ a owl:Class ;
            owl:unionOf ( gsn:Goal gsn:Module gsn:Strategy ) ] ;
    rdfs:range [ a owl:Class ;
            owl:unionOf ( gsn:Goal gsn:Module gsn:Solution gsn:Strategy ) ] ;
    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" .

gsn:Module a owl:Class ;
    rdfs:label "Module"@en ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:allValuesFrom [ a owl:Class ;
                    owl:unionOf ( gsn:Argument gsn:Module ) ] ;
            owl:onProperty gsn:contains ],
        [ a owl:Restriction ;
            owl:allValuesFrom gsn:Module ;
            owl:onProperty gsn:inContextOf ],
        [ a owl:Restriction ;
            owl:allValuesFrom gsn:Module ;
            owl:onProperty gsn:supportedBy ],
        [ a owl:Restriction ;
            owl:minQualifiedCardinality "1"^^xsd:nonNegativeInteger ;
            owl:onClass gsn:Argument ;
            owl:onProperty gsn:contains ],
        gsn:GSNElement ;
    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" .

gsnswrl:R a swrl:Variable .

gsnswrl:B a swrl:Variable .

gsnswrl:A a swrl:Variable .

[] a swrl:Imp ;
    rdfs:label "Support Closure" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:A ;
                    swrl:argument2 gsnswrl:B ;
                    swrl:propertyPredicate gsn:supportedBy ] ;
            rdf:rest () ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:A ;
                    swrl:argument2 gsnswrl:B ;
                    swrl:propertyPredicate gsn:transitivelySupportedBy ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Core GSN" .

[] a swrl:Imp ;
    rdfs:label "Inferential Relation" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:ClassAtom ;
                    swrl:argument1 gsnswrl:B ;
                    swrl:classPredicate gsn:Strategy ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:IndividualPropertyAtom ;
                            swrl:argument1 gsnswrl:A ;
                            swrl:argument2 gsnswrl:B ;
                            swrl:propertyPredicate gsn:supportedBy ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                    swrl:argument1 gsnswrl:R ;
                                    swrl:argument2 gsnswrl:A ;
                                    swrl:propertyPredicate rdf:subject ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:IndividualPropertyAtom ;
                                            swrl:argument1 gsnswrl:R ;
                                            swrl:argument2 gsnswrl:B ;
                                            swrl:propertyPredicate rdf:object ] ;
                                    rdf:rest () ] ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:R ;
                    swrl:argument2 "inferential" ;
                    swrl:propertyPredicate gsn:relationshipType ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Core GSN" .

[] a swrl:Imp ;
    rdfs:label "Challenge Cycle Relationship Invalidation" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:ClassAtom ;
                    swrl:argument1 gsnswrl:R ;
                    swrl:classPredicate gsn:Relationship ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:IndividualPropertyAtom ;
                            swrl:argument1 gsnswrl:R ;
                            swrl:argument2 gsnswrl:A ;
                            swrl:propertyPredicate rdf:subject ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                    swrl:argument1 gsnswrl:R ;
                                    swrl:argument2 gsnswrl:B ;
                                    swrl:propertyPredicate rdf:object ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:IndividualPropertyAtom ;
                                            swrl:argument1 gsnswrl:A ;
                                            swrl:argument2 gsnswrl:B ;
                                            swrl:propertyPredicate gsn:challenges ] ;
                                    rdf:rest [ a swrl:AtomList ;
                                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                                    swrl:argument1 gsnswrl:B ;
                                                    swrl:argument2 gsnswrl:A ;
                                                    swrl:propertyPredicate gsn:transitivelyChallenges ] ;
                                            rdf:rest () ] ] ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:R ;
                    swrl:argument2 false ;
                    swrl:propertyPredicate gsn:valid ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Dialectic Extension" .

[] a swrl:Imp ;
    rdfs:label "Contract Violation Relation" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:R ;
                    swrl:argument2 gsnswrl:M1 ;
                    swrl:propertyPredicate rdf:object ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:ClassAtom ;
                            swrl:argument1 gsnswrl:M1 ;
                            swrl:classPredicate gsn:Module ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:ClassAtom ;
                                    swrl:argument1 gsnswrl:M2 ;
                                    swrl:classPredicate gsn:Module ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:IndividualPropertyAtom ;
                                            swrl:argument1 gsnswrl:M2 ;
                                            swrl:argument2 gsnswrl:A ;
                                            swrl:propertyPredicate gsn:contains ] ;
                                    rdf:rest [ a swrl:AtomList ;
                                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                                    swrl:argument1 gsnswrl:A ;
                                                    swrl:argument2 gsnswrl:M1 ;
                                                    swrl:propertyPredicate gsn:supportedBy ] ;
                                            rdf:rest [ a swrl:AtomList ;
                                                    rdf:first [ a swrl:IndividualPropertyAtom ;
                                                            swrl:argument1 gsnswrl:R ;
                                                            swrl:argument2 gsnswrl:A ;
                                                            swrl:propertyPredicate rdf:subject ] ;
                                                    rdf:rest [ a swrl:AtomList ;
                                                            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                                                                    swrl:argument1 gsnswrl:M2 ;
                                                                    swrl:argument2 true ;
                                                                    swrl:propertyPredicate gsn:contract ] ;
                                                            rdf:rest () ] ] ] ] ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:R ;
                    swrl:argument2 false ;
                    swrl:propertyPredicate gsn:valid ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Modular Extension" .

[] a swrl:Imp ;
    rdfs:label "Contract Support Invalidation" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:M ;
                    swrl:argument2 gsnswrl:A ;
                    swrl:propertyPredicate gsn:contains ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:DatavaluedPropertyAtom ;
                            swrl:argument1 gsnswrl:A ;
                            swrl:argument2 true ;
                            swrl:propertyPredicate gsn:toBeSupportedByContract ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                                    swrl:argument1 gsnswrl:M ;
                                    swrl:argument2 true ;
                                    swrl:propertyPredicate gsn:contract ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:ClassAtom ;
                                            swrl:argument1 gsnswrl:M ;
                                            swrl:classPredicate gsn:Module ] ;
                                    rdf:rest () ] ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:A ;
                    swrl:argument2 false ;
                    swrl:propertyPredicate gsn:valid ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Modular Extension" .

[] a swrl:Imp ;
    rdfs:label "Support Cycle Invalidation" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:E ;
                    swrl:argument2 gsnswrl:E ;
                    swrl:propertyPredicate gsn:transitivelySupportedBy ] ;
            rdf:rest () ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:E ;
                    swrl:argument2 false ;
                    swrl:propertyPredicate gsn:valid ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Core GSN" .

[] a swrl:Imp ;
    rdfs:label "Context Inheritance" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:B ;
                    swrl:argument2 gsnswrl:C ;
                    swrl:propertyPredicate gsn:supportedBy ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:IndividualPropertyAtom ;
                            swrl:argument1 gsnswrl:B ;
                            swrl:argument2 gsnswrl:A ;
                            swrl:propertyPredicate gsn:inContextOf ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:ClassAtom ;
                                    swrl:argument1 gsnswrl:A ;
                                    swrl:classPredicate gsn:Assumption ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:ClassAtom ;
                                            swrl:argument1 gsnswrl:C ;
                                            swrl:classPredicate gsn:Goal ] ;
                                    rdf:rest () ] ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:C ;
                    swrl:argument2 gsnswrl:A ;
                    swrl:propertyPredicate gsn:inContextOf ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Core GSN" .

[] a swrl:Imp ;
    rdfs:label "Template Undeveloped Invalidation (A)" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:ClassAtom ;
                    swrl:argument1 gsnswrl:A ;
                    swrl:classPredicate gsn:Template ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:DatavaluedPropertyAtom ;
                            swrl:argument1 gsnswrl:R ;
                            swrl:argument2 true ;
                            swrl:propertyPredicate gsn:undeveloped ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                    swrl:argument1 gsnswrl:R ;
                                    swrl:argument2 gsnswrl:A ;
                                    swrl:propertyPredicate rdf:subject ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:DatavaluedPropertyAtom ;
                                            swrl:argument1 gsnswrl:A ;
                                            swrl:argument2 true ;
                                            swrl:propertyPredicate gsn:published ] ;
                                    rdf:rest () ] ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:A ;
                    swrl:argument2 false ;
                    swrl:propertyPredicate gsn:valid ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:DatavaluedPropertyAtom ;
                            swrl:argument1 gsnswrl:R ;
                            swrl:argument2 false ;
                            swrl:propertyPredicate gsn:valid ] ;
                    rdf:rest () ] ] ;
    gsn:coreOrExtension "Argument Pattern Extension" .

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

[] a swrl:Imp ;
    rdfs:label "Cross-Module Support" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:E1 ;
                    swrl:argument2 gsnswrl:M2 ;
                    swrl:propertyPredicate gsn:supportedBy ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:ClassAtom ;
                            swrl:argument1 gsnswrl:M1 ;
                            swrl:classPredicate gsn:Module ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:ClassAtom ;
                                    swrl:argument1 gsnswrl:M2 ;
                                    swrl:classPredicate gsn:Module ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:IndividualPropertyAtom ;
                                            swrl:argument1 gsnswrl:E1 ;
                                            swrl:argument2 gsnswrl:M1 ;
                                            swrl:propertyPredicate gsn:inModule ] ;
                                    rdf:rest [ a swrl:AtomList ;
                                            rdf:first [ a swrl:DifferentIndividualsAtom ;
                                                    swrl:argument1 gsnswrl:M1 ;
                                                    swrl:argument2 gsnswrl:M2 ] ;
                                            rdf:rest () ] ] ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:M1 ;
                    swrl:argument2 gsnswrl:M2 ;
                    swrl:propertyPredicate gsn:supportedBy ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Modular Extension" .

[] a swrl:Imp ;
    rdfs:label "Away Goal Invalidation" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:R ;
                    swrl:argument2 gsnswrl:G1 ;
                    swrl:propertyPredicate rdf:subject ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:ClassAtom ;
                            swrl:argument1 gsnswrl:M1 ;
                            swrl:classPredicate gsn:Module ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:ClassAtom ;
                                    swrl:argument1 gsnswrl:G1 ;
                                    swrl:classPredicate gsn:Goal ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:IndividualPropertyAtom ;
                                            swrl:argument1 gsnswrl:R ;
                                            swrl:argument2 gsnswrl:G2 ;
                                            swrl:propertyPredicate rdf:object ] ;
                                    rdf:rest [ a swrl:AtomList ;
                                            rdf:first [ a swrl:ClassAtom ;
                                                    swrl:argument1 gsnswrl:M2 ;
                                                    swrl:classPredicate gsn:Module ] ;
                                            rdf:rest [ a swrl:AtomList ;
                                                    rdf:first [ a swrl:IndividualPropertyAtom ;
                                                            swrl:argument1 gsnswrl:G1 ;
                                                            swrl:argument2 gsnswrl:G2 ;
                                                            swrl:propertyPredicate gsn:supportedBy ] ;
                                                    rdf:rest [ a swrl:AtomList ;
                                                            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                                                                    swrl:argument1 gsnswrl:G1 ;
                                                                    swrl:argument2 true ;
                                                                    swrl:propertyPredicate gsn:away ] ;
                                                            rdf:rest [ a swrl:AtomList ;
                                                                    rdf:first [ a swrl:IndividualPropertyAtom ;
                                                                            swrl:argument1 gsnswrl:G1 ;
                                                                            swrl:argument2 gsnswrl:M1 ;
                                                                            swrl:propertyPredicate gsn:inModule ] ;
                                                                    rdf:rest [ a swrl:AtomList ;
                                                                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                                                                    swrl:argument1 gsnswrl:G2 ;
                                                                                    swrl:argument2 gsnswrl:M2 ;
                                                                                    swrl:propertyPredicate gsn:inModule ] ;
                                                                            rdf:rest () ] ] ] ] ] ] ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:R ;
                    swrl:argument2 false ;
                    swrl:propertyPredicate gsn:valid ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Modular Extension" .

[] a swrl:Imp ;
    rdfs:label "Relation False Propagation" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:R ;
                    swrl:argument2 false ;
                    swrl:propertyPredicate gsn:true ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:IndividualPropertyAtom ;
                            swrl:argument1 gsnswrl:R ;
                            swrl:argument2 gsnswrl:A ;
                            swrl:propertyPredicate rdf:subject ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                    swrl:argument1 gsnswrl:A ;
                                    swrl:argument2 gsnswrl:B ;
                                    swrl:propertyPredicate gsn:inContextOf ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:ClassAtom ;
                                            swrl:argument1 gsnswrl:R ;
                                            swrl:classPredicate gsn:Relationship ] ;
                                    rdf:rest [ a swrl:AtomList ;
                                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                                    swrl:argument1 gsnswrl:R ;
                                                    swrl:argument2 gsnswrl:B ;
                                                    swrl:propertyPredicate rdf:object ] ;
                                            rdf:rest () ] ] ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:A ;
                    swrl:argument2 false ;
                    swrl:propertyPredicate gsn:true ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Core GSN" .

[] a swrl:Imp ;
    rdfs:label "Template Undeveloped Invalidation (B)" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:ClassAtom ;
                    swrl:argument1 gsnswrl:A ;
                    swrl:classPredicate gsn:Template ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:DatavaluedPropertyAtom ;
                            swrl:argument1 gsnswrl:R ;
                            swrl:argument2 true ;
                            swrl:propertyPredicate gsn:undeveloped ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                    swrl:argument1 gsnswrl:R ;
                                    swrl:argument2 gsnswrl:B ;
                                    swrl:propertyPredicate rdf:subject ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:DatavaluedPropertyAtom ;
                                            swrl:argument1 gsnswrl:A ;
                                            swrl:argument2 true ;
                                            swrl:propertyPredicate gsn:published ] ;
                                    rdf:rest [ a swrl:AtomList ;
                                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                                    swrl:argument1 gsnswrl:A ;
                                                    swrl:argument2 gsnswrl:B ;
                                                    swrl:propertyPredicate gsn:contains ] ;
                                            rdf:rest () ] ] ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:A ;
                    swrl:argument2 false ;
                    swrl:propertyPredicate gsn:valid ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:DatavaluedPropertyAtom ;
                            swrl:argument1 gsnswrl:R ;
                            swrl:argument2 false ;
                            swrl:propertyPredicate gsn:valid ] ;
                    rdf:rest () ] ] ;
    gsn:coreOrExtension "Argument Pattern Extension" .

[] a swrl:Imp ;
    rdfs:label "Contradictory Goal Truth" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:A ;
                    swrl:argument2 false ;
                    swrl:propertyPredicate gsn:true ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:DatavaluedPropertyAtom ;
                            swrl:argument1 gsnswrl:B ;
                            swrl:argument2 true ;
                            swrl:propertyPredicate gsn:true ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                    swrl:argument1 gsnswrl:B ;
                                    swrl:argument2 gsnswrl:A ;
                                    swrl:propertyPredicate gsn:supportedBy ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:ClassAtom ;
                                            swrl:argument1 gsnswrl:A ;
                                            swrl:classPredicate gsn:Goal ] ;
                                    rdf:rest () ] ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:B ;
                    swrl:argument2 false ;
                    swrl:propertyPredicate gsn:valid ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Core GSN" .

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

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

[] a swrl:Imp ;
    rdfs:label "Support Cycle Relationship Invalidation" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:ClassAtom ;
                    swrl:argument1 gsnswrl:R ;
                    swrl:classPredicate gsn:Relationship ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:IndividualPropertyAtom ;
                            swrl:argument1 gsnswrl:R ;
                            swrl:argument2 gsnswrl:A ;
                            swrl:propertyPredicate rdf:subject ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                    swrl:argument1 gsnswrl:R ;
                                    swrl:argument2 gsnswrl:B ;
                                    swrl:propertyPredicate rdf:object ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:IndividualPropertyAtom ;
                                            swrl:argument1 gsnswrl:A ;
                                            swrl:argument2 gsnswrl:B ;
                                            swrl:propertyPredicate gsn:supportedBy ] ;
                                    rdf:rest [ a swrl:AtomList ;
                                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                                    swrl:argument1 gsnswrl:B ;
                                                    swrl:argument2 gsnswrl:A ;
                                                    swrl:propertyPredicate gsn:transitivelySupportedBy ] ;
                                            rdf:rest () ] ] ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:R ;
                    swrl:argument2 false ;
                    swrl:propertyPredicate gsn:valid ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Core GSN" .

[] a swrl:Imp ;
    rdfs:label "Solution Propagation (False)" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:ClassAtom ;
                    swrl:argument1 gsnswrl:A ;
                    swrl:classPredicate gsn:Solution ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:DatavaluedPropertyAtom ;
                            swrl:argument1 gsnswrl:A ;
                            swrl:argument2 false ;
                            swrl:propertyPredicate gsn:true ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                    swrl:argument1 gsnswrl:B ;
                                    swrl:argument2 gsnswrl:A ;
                                    swrl:propertyPredicate gsn:supportedBy ] ;
                            rdf:rest () ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:B ;
                    swrl:argument2 false ;
                    swrl:propertyPredicate gsn:true ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Core GSN" .

[] a swrl:Imp ;
    rdfs:label "Goal Top Flag" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:X ;
                    swrl:argument2 gsnswrl:A ;
                    swrl:propertyPredicate gsn:supportedBy ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:ClassAtom ;
                            swrl:argument1 gsnswrl:A ;
                            swrl:classPredicate gsn:Goal ] ;
                    rdf:rest () ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:A ;
                    swrl:argument2 false ;
                    swrl:propertyPredicate gsn:top ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Core GSN" .

[] a swrl:Imp ;
    rdfs:label "Duplicate ACP Identifier Invalidation" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:A ;
                    swrl:argument2 true ;
                    swrl:propertyPredicate gsn:assuranceClaimPoint ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:DatavaluedPropertyAtom ;
                            swrl:argument1 gsnswrl:B ;
                            swrl:argument2 true ;
                            swrl:propertyPredicate gsn:assuranceClaimPoint ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                                    swrl:argument1 gsnswrl:A ;
                                    swrl:argument2 gsnswrl:N ;
                                    swrl:propertyPredicate schema:identifier ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:DatavaluedPropertyAtom ;
                                            swrl:argument1 gsnswrl:B ;
                                            swrl:argument2 gsnswrl:N ;
                                            swrl:propertyPredicate schema:identifier ] ;
                                    rdf:rest [ a swrl:AtomList ;
                                            rdf:first [ a swrl:DifferentIndividualsAtom ;
                                                    swrl:argument1 gsnswrl:A ;
                                                    swrl:argument2 gsnswrl:B ] ;
                                            rdf:rest () ] ] ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:A ;
                    swrl:argument2 false ;
                    swrl:propertyPredicate gsn:valid ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:DatavaluedPropertyAtom ;
                            swrl:argument1 gsnswrl:B ;
                            swrl:argument2 false ;
                            swrl:propertyPredicate gsn:valid ] ;
                    rdf:rest () ] ] ;
    gsn:coreOrExtension "Confidence Argument Extension" .

[] a swrl:Imp ;
    rdfs:label "Inferential Relation (Goal)" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:A ;
                    swrl:argument2 gsnswrl:B ;
                    swrl:propertyPredicate gsn:supportedBy ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:IndividualPropertyAtom ;
                            swrl:argument1 gsnswrl:R ;
                            swrl:argument2 gsnswrl:A ;
                            swrl:propertyPredicate rdf:subject ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                    swrl:argument1 gsnswrl:R ;
                                    swrl:argument2 gsnswrl:B ;
                                    swrl:propertyPredicate rdf:object ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:ClassAtom ;
                                            swrl:argument1 gsnswrl:B ;
                                            swrl:classPredicate gsn:Goal ] ;
                                    rdf:rest () ] ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:R ;
                    swrl:argument2 "inferential" ;
                    swrl:propertyPredicate gsn:relationshipType ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Core GSN" .

[] a swrl:Imp ;
    rdfs:label "Evidential Relation" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:ClassAtom ;
                    swrl:argument1 gsnswrl:B ;
                    swrl:classPredicate gsn:Solution ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:IndividualPropertyAtom ;
                            swrl:argument1 gsnswrl:A ;
                            swrl:argument2 gsnswrl:B ;
                            swrl:propertyPredicate gsn:supportedBy ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                    swrl:argument1 gsnswrl:R ;
                                    swrl:argument2 gsnswrl:A ;
                                    swrl:propertyPredicate rdf:subject ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:IndividualPropertyAtom ;
                                            swrl:argument1 gsnswrl:R ;
                                            swrl:argument2 gsnswrl:B ;
                                            swrl:propertyPredicate rdf:object ] ;
                                    rdf:rest () ] ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:R ;
                    swrl:argument2 "evidential" ;
                    swrl:propertyPredicate gsn:relationshipType ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Core GSN" .

[] a swrl:Imp ;
    rdfs:label "Contract Relation Invalidation" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:M ;
                    swrl:argument2 gsnswrl:B ;
                    swrl:propertyPredicate gsn:contains ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:IndividualPropertyAtom ;
                            swrl:argument1 gsnswrl:M ;
                            swrl:argument2 gsnswrl:A ;
                            swrl:propertyPredicate gsn:contains ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                                    swrl:argument1 gsnswrl:A ;
                                    swrl:argument2 true ;
                                    swrl:propertyPredicate gsn:toBeSupportedByContract ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:IndividualPropertyAtom ;
                                            swrl:argument1 gsnswrl:A ;
                                            swrl:argument2 gsnswrl:B ;
                                            swrl:propertyPredicate gsn:supportedBy ] ;
                                    rdf:rest [ a swrl:AtomList ;
                                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                                    swrl:argument1 gsnswrl:R ;
                                                    swrl:argument2 gsnswrl:A ;
                                                    swrl:propertyPredicate rdf:subject ] ;
                                            rdf:rest [ a swrl:AtomList ;
                                                    rdf:first [ a swrl:ClassAtom ;
                                                            swrl:argument1 gsnswrl:M ;
                                                            swrl:classPredicate gsn:Module ] ;
                                                    rdf:rest [ a swrl:AtomList ;
                                                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                                                    swrl:argument1 gsnswrl:R ;
                                                                    swrl:argument2 gsnswrl:B ;
                                                                    swrl:propertyPredicate rdf:object ] ;
                                                            rdf:rest () ] ] ] ] ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:R ;
                    swrl:argument2 false ;
                    swrl:propertyPredicate gsn:valid ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Modular Extension" .

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

[] a swrl:Imp ;
    rdfs:label "Challenge Defeat" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:S ;
                    swrl:argument2 true ;
                    swrl:propertyPredicate gsn:valid ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:IndividualPropertyAtom ;
                            swrl:argument1 gsnswrl:S ;
                            swrl:argument2 gsnswrl:E ;
                            swrl:propertyPredicate gsn:challenges ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:ClassAtom ;
                                    swrl:argument1 gsnswrl:S ;
                                    swrl:classPredicate gsn:Solution ] ;
                            rdf:rest () ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:E ;
                    swrl:argument2 true ;
                    swrl:propertyPredicate gsn:defeated ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Dialectic Extension" .

[] a swrl:Imp ;
    rdfs:label "Module Membership" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:ClassAtom ;
                    swrl:argument1 gsnswrl:M ;
                    swrl:classPredicate gsn:Module ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:IndividualPropertyAtom ;
                            swrl:argument1 gsnswrl:M ;
                            swrl:argument2 gsnswrl:Arg ;
                            swrl:propertyPredicate gsn:contains ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:ClassAtom ;
                                    swrl:argument1 gsnswrl:Arg ;
                                    swrl:classPredicate gsn:Argument ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:IndividualPropertyAtom ;
                                            swrl:argument1 gsnswrl:Arg ;
                                            swrl:argument2 gsnswrl:E ;
                                            swrl:propertyPredicate gsn:contains ] ;
                                    rdf:rest [ a swrl:AtomList ;
                                            rdf:first [ a swrl:ClassAtom ;
                                                    swrl:argument1 gsnswrl:E ;
                                                    swrl:classPredicate gsn:GSNElement ] ;
                                            rdf:rest () ] ] ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:E ;
                    swrl:argument2 gsnswrl:M ;
                    swrl:propertyPredicate gsn:inModule ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Modular Extension" .

[] a swrl:Imp ;
    rdfs:label "Module Context Cycle Relationship Invalidation" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:ClassAtom ;
                    swrl:argument1 gsnswrl:R ;
                    swrl:classPredicate gsn:Relationship ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:IndividualPropertyAtom ;
                            swrl:argument1 gsnswrl:R ;
                            swrl:argument2 gsnswrl:A ;
                            swrl:propertyPredicate rdf:subject ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                    swrl:argument1 gsnswrl:R ;
                                    swrl:argument2 gsnswrl:B ;
                                    swrl:propertyPredicate rdf:object ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:IndividualPropertyAtom ;
                                            swrl:argument1 gsnswrl:A ;
                                            swrl:argument2 gsnswrl:B ;
                                            swrl:propertyPredicate gsn:inContextOf ] ;
                                    rdf:rest [ a swrl:AtomList ;
                                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                                    swrl:argument1 gsnswrl:B ;
                                                    swrl:argument2 gsnswrl:A ;
                                                    swrl:propertyPredicate gsn:transitivelyInContextOf ] ;
                                            rdf:rest () ] ] ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:R ;
                    swrl:argument2 false ;
                    swrl:propertyPredicate gsn:valid ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Modular Extension" .

[] a swrl:Imp ;
    rdfs:label "Context Consistency" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:G1 ;
                    swrl:argument2 gsnswrl:C1 ;
                    swrl:propertyPredicate gsn:inContextOf ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:IndividualPropertyAtom ;
                            swrl:argument1 gsnswrl:G2 ;
                            swrl:argument2 gsnswrl:C2 ;
                            swrl:propertyPredicate gsn:inContextOf ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:ClassAtom ;
                                    swrl:argument1 gsnswrl:G1 ;
                                    swrl:classPredicate gsn:Goal ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:ClassAtom ;
                                            swrl:argument1 gsnswrl:G2 ;
                                            swrl:classPredicate gsn:Goal ] ;
                                    rdf:rest [ a swrl:AtomList ;
                                            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                                                    swrl:argument1 gsnswrl:G2 ;
                                                    swrl:argument2 true ;
                                                    swrl:propertyPredicate gsn:away ] ;
                                            rdf:rest [ a swrl:AtomList ;
                                                    rdf:first [ a swrl:IndividualPropertyAtom ;
                                                            swrl:argument1 gsnswrl:G1 ;
                                                            swrl:argument2 gsnswrl:G2 ;
                                                            swrl:propertyPredicate gsn:supportedBy ] ;
                                                    rdf:rest [ a swrl:AtomList ;
                                                            rdf:first [ a swrl:ClassAtom ;
                                                                    swrl:argument1 gsnswrl:C2 ;
                                                                    swrl:classPredicate gsn:Context ] ;
                                                            rdf:rest () ] ] ] ] ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:C1 ;
                    swrl:argument2 gsnswrl:C2 ;
                    swrl:propertyPredicate gsn:consistentWith ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Modular Extension" .

[] a swrl:Imp ;
    rdfs:label "Module Context Closure" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:ClassAtom ;
                    swrl:argument1 gsnswrl:A ;
                    swrl:classPredicate gsn:Module ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:ClassAtom ;
                            swrl:argument1 gsnswrl:B ;
                            swrl:classPredicate gsn:Module ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                    swrl:argument1 gsnswrl:A ;
                                    swrl:argument2 gsnswrl:B ;
                                    swrl:propertyPredicate gsn:inContextOf ] ;
                            rdf:rest () ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:A ;
                    swrl:argument2 gsnswrl:B ;
                    swrl:propertyPredicate gsn:transitivelyInContextOf ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Modular Extension" .

[] a swrl:Imp ;
    rdfs:label "Module Support Propagation" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:ClassAtom ;
                    swrl:argument1 gsnswrl:M1 ;
                    swrl:classPredicate gsn:Module ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:ClassAtom ;
                            swrl:argument1 gsnswrl:M2 ;
                            swrl:classPredicate gsn:Module ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                    swrl:argument1 gsnswrl:E1 ;
                                    swrl:argument2 gsnswrl:E2 ;
                                    swrl:propertyPredicate gsn:supportedBy ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:IndividualPropertyAtom ;
                                            swrl:argument1 gsnswrl:E1 ;
                                            swrl:argument2 gsnswrl:M1 ;
                                            swrl:propertyPredicate gsn:inModule ] ;
                                    rdf:rest [ a swrl:AtomList ;
                                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                                    swrl:argument1 gsnswrl:E2 ;
                                                    swrl:argument2 gsnswrl:M2 ;
                                                    swrl:propertyPredicate gsn:inModule ] ;
                                            rdf:rest [ a swrl:AtomList ;
                                                    rdf:first [ a swrl:DifferentIndividualsAtom ;
                                                            swrl:argument1 gsnswrl:M1 ;
                                                            swrl:argument2 gsnswrl:M2 ] ;
                                                    rdf:rest () ] ] ] ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:M1 ;
                    swrl:argument2 gsnswrl:M2 ;
                    swrl:propertyPredicate gsn:supportedBy ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Modular Extension" .

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

[] a swrl:Imp ;
    rdfs:label "Assumption False Propagation" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:ClassAtom ;
                    swrl:argument1 gsnswrl:A ;
                    swrl:classPredicate gsn:Assumption ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:DatavaluedPropertyAtom ;
                            swrl:argument1 gsnswrl:A ;
                            swrl:argument2 false ;
                            swrl:propertyPredicate gsn:true ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                    swrl:argument1 gsnswrl:B ;
                                    swrl:argument2 gsnswrl:A ;
                                    swrl:propertyPredicate gsn:inContextOf ] ;
                            rdf:rest () ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:B ;
                    swrl:argument2 false ;
                    swrl:propertyPredicate gsn:true ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Core GSN" .

[] a swrl:Imp ;
    rdfs:label "Final Pattern Invalidation" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:B ;
                    swrl:argument2 gsnswrl:C ;
                    swrl:propertyPredicate gsn:instantiationOf ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:DatavaluedPropertyAtom ;
                            swrl:argument1 gsnswrl:A ;
                            swrl:argument2 true ;
                            swrl:propertyPredicate gsn:final ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:ClassAtom ;
                                    swrl:argument1 gsnswrl:C ;
                                    swrl:classPredicate gsn:Pattern ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:IndividualPropertyAtom ;
                                            swrl:argument1 gsnswrl:A ;
                                            swrl:argument2 gsnswrl:B ;
                                            swrl:propertyPredicate gsn:contains ] ;
                                    rdf:rest [ a swrl:AtomList ;
                                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                                    swrl:argument1 gsnswrl:A ;
                                                    swrl:argument2 gsnswrl:C ;
                                                    swrl:propertyPredicate gsn:contains ] ;
                                            rdf:rest () ] ] ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:A ;
                    swrl:argument2 false ;
                    swrl:propertyPredicate gsn:valid ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Argument Pattern Extension" .

[] a swrl:Imp ;
    rdfs:label "Defeater Declaration" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:A ;
                    swrl:argument2 gsnswrl:B ;
                    swrl:propertyPredicate gsn:challenges ] ;
            rdf:rest () ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:ClassAtom ;
                    swrl:argument1 gsnswrl:A ;
                    swrl:classPredicate gsn:Defeater ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Dialectic Extension" .

[] a swrl:Imp ;
    rdfs:label "Challenge Cycle Invalidation" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:E ;
                    swrl:argument2 gsnswrl:E ;
                    swrl:propertyPredicate gsn:transitivelyChallenges ] ;
            rdf:rest () ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:E ;
                    swrl:argument2 false ;
                    swrl:propertyPredicate gsn:valid ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Dialectic Extension" .

[] a swrl:Imp ;
    rdfs:label "Cross-Module Away Context" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:A ;
                    swrl:argument2 gsnswrl:M ;
                    swrl:propertyPredicate gsn:inModule ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:IndividualPropertyAtom ;
                            swrl:argument1 gsnswrl:B ;
                            swrl:argument2 gsnswrl:N ;
                            swrl:propertyPredicate gsn:inModule ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:ClassAtom ;
                                    swrl:argument1 gsnswrl:N ;
                                    swrl:classPredicate gsn:Module ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:IndividualPropertyAtom ;
                                            swrl:argument1 gsnswrl:A ;
                                            swrl:argument2 gsnswrl:B ;
                                            swrl:propertyPredicate gsn:inContextOf ] ;
                                    rdf:rest [ a swrl:AtomList ;
                                            rdf:first [ a swrl:ClassAtom ;
                                                    swrl:argument1 gsnswrl:M ;
                                                    swrl:classPredicate gsn:Module ] ;
                                            rdf:rest [ a swrl:AtomList ;
                                                    rdf:first [ a swrl:DifferentIndividualsAtom ;
                                                            swrl:argument1 gsnswrl:M ;
                                                            swrl:argument2 gsnswrl:N ] ;
                                                    rdf:rest () ] ] ] ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:B ;
                    swrl:argument2 true ;
                    swrl:propertyPredicate gsn:away ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Modular Extension" .

[] a owl:Class ;
    rdfs:subClassOf [ a owl:Restriction ;
            owl:hasValue true ;
            owl:onProperty gsn:top ] ;
    owl:intersectionOf ( gsn:Goal [ a owl:Class ;
                owl:complementOf [ a owl:Restriction ;
                        owl:onProperty [ owl:inverseOf gsn:supportedBy ] ;
                        owl:someValuesFrom [ a owl:Class ;
                                owl:unionOf ( gsn:Goal gsn:Strategy ) ] ] ] [ a owl:Class ;
                owl:complementOf [ a owl:Restriction ;
                        owl:onProperty gsn:challenges ;
                        owl:someValuesFrom owl:Thing ] ] ) ;
    gsn:coreOrExtension "Core GSN"@en .

[] a swrl:Imp ;
    rdfs:label "Assumption Invalidation" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:ClassAtom ;
                    swrl:argument1 gsnswrl:A ;
                    swrl:classPredicate gsn:Assumption ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:DatavaluedPropertyAtom ;
                            swrl:argument1 gsnswrl:A ;
                            swrl:argument2 false ;
                            swrl:propertyPredicate gsn:valid ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                    swrl:argument1 gsnswrl:B ;
                                    swrl:argument2 gsnswrl:A ;
                                    swrl:propertyPredicate gsn:inContextOf ] ;
                            rdf:rest () ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:B ;
                    swrl:argument2 false ;
                    swrl:propertyPredicate gsn:valid ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Core GSN" .

[] a swrl:Imp ;
    rdfs:label "Challenge Doubt" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:G ;
                    swrl:argument2 gsnswrl:E ;
                    swrl:propertyPredicate gsn:challenges ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:DatavaluedPropertyAtom ;
                            swrl:argument1 gsnswrl:G ;
                            swrl:argument2 true ;
                            swrl:propertyPredicate gsn:true ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:ClassAtom ;
                                    swrl:argument1 gsnswrl:G ;
                                    swrl:classPredicate gsn:Goal ] ;
                            rdf:rest () ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:E ;
                    swrl:argument2 true ;
                    swrl:propertyPredicate gsn:inDoubt ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Dialectic Extension" .

[] a swrl:Imp ;
    rdfs:label "Module Context Cycle Invalidation" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:M ;
                    swrl:argument2 gsnswrl:M ;
                    swrl:propertyPredicate gsn:transitivelyInContextOf ] ;
            rdf:rest () ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:M ;
                    swrl:argument2 false ;
                    swrl:propertyPredicate gsn:valid ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Modular Extension" .

[] a swrl:Imp ;
    rdfs:label "Mixed Support Invalidation" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:B ;
                    swrl:argument2 false ;
                    swrl:propertyPredicate gsn:valid ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:DatavaluedPropertyAtom ;
                            swrl:argument1 gsnswrl:A ;
                            swrl:argument2 true ;
                            swrl:propertyPredicate gsn:valid ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                    swrl:argument1 gsnswrl:C ;
                                    swrl:argument2 gsnswrl:B ;
                                    swrl:propertyPredicate gsn:supportedBy ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:IndividualPropertyAtom ;
                                            swrl:argument1 gsnswrl:C ;
                                            swrl:argument2 gsnswrl:A ;
                                            swrl:propertyPredicate gsn:supportedBy ] ;
                                    rdf:rest () ] ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:C ;
                    swrl:argument2 false ;
                    swrl:propertyPredicate gsn:valid ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Core GSN" .

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

[] a swrl:Imp ;
    rdfs:label "Duplicate Identifier Invalidation" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:M ;
                    swrl:argument2 gsnswrl:B ;
                    swrl:propertyPredicate gsn:contains ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:IndividualPropertyAtom ;
                            swrl:argument1 gsnswrl:M ;
                            swrl:argument2 gsnswrl:A ;
                            swrl:propertyPredicate gsn:contains ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                                    swrl:argument1 gsnswrl:A ;
                                    swrl:argument2 gsnswrl:ID ;
                                    swrl:propertyPredicate schema:identifier ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:ClassAtom ;
                                            swrl:argument1 gsnswrl:M ;
                                            swrl:classPredicate gsn:Module ] ;
                                    rdf:rest [ a swrl:AtomList ;
                                            rdf:first [ a swrl:DifferentIndividualsAtom ;
                                                    swrl:argument1 gsnswrl:A ;
                                                    swrl:argument2 gsnswrl:B ] ;
                                            rdf:rest [ a swrl:AtomList ;
                                                    rdf:first [ a swrl:DatavaluedPropertyAtom ;
                                                            swrl:argument1 gsnswrl:B ;
                                                            swrl:argument2 gsnswrl:ID ;
                                                            swrl:propertyPredicate schema:identifier ] ;
                                                    rdf:rest () ] ] ] ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:A ;
                    swrl:argument2 false ;
                    swrl:propertyPredicate gsn:valid ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:DatavaluedPropertyAtom ;
                            swrl:argument1 gsnswrl:B ;
                            swrl:argument2 false ;
                            swrl:propertyPredicate gsn:valid ] ;
                    rdf:rest () ] ] ;
    gsn:coreOrExtension "Modular Extension" .

[] a swrl:Imp ;
    rdfs:label "Challenge Closure" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:A ;
                    swrl:argument2 gsnswrl:B ;
                    swrl:propertyPredicate gsn:challenges ] ;
            rdf:rest () ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:A ;
                    swrl:argument2 gsnswrl:B ;
                    swrl:propertyPredicate gsn:transitivelyChallenges ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Dialectic Extension" .

[] a swrl:Imp ;
    rdfs:label "Nested Module Membership" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:ClassAtom ;
                    swrl:argument1 gsnswrl:M ;
                    swrl:classPredicate gsn:Module ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:IndividualPropertyAtom ;
                            swrl:argument1 gsnswrl:M ;
                            swrl:argument2 gsnswrl:N ;
                            swrl:propertyPredicate gsn:contains ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:ClassAtom ;
                                    swrl:argument1 gsnswrl:N ;
                                    swrl:classPredicate gsn:Module ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:IndividualPropertyAtom ;
                                            swrl:argument1 gsnswrl:E ;
                                            swrl:argument2 gsnswrl:N ;
                                            swrl:propertyPredicate gsn:inModule ] ;
                                    rdf:rest () ] ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:E ;
                    swrl:argument2 gsnswrl:M ;
                    swrl:propertyPredicate gsn:inModule ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Modular Extension" .

[] a swrl:Imp ;
    rdfs:label "Undeveloped Defeat" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:G ;
                    swrl:argument2 false ;
                    swrl:propertyPredicate gsn:undeveloped ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:IndividualPropertyAtom ;
                            swrl:argument1 gsnswrl:G ;
                            swrl:argument2 gsnswrl:E ;
                            swrl:propertyPredicate gsn:challenges ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:ClassAtom ;
                                    swrl:argument1 gsnswrl:G ;
                                    swrl:classPredicate gsn:Goal ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:DatavaluedPropertyAtom ;
                                            swrl:argument1 gsnswrl:E ;
                                            swrl:argument2 true ;
                                            swrl:propertyPredicate gsn:inDoubt ] ;
                                    rdf:rest () ] ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:E ;
                    swrl:argument2 true ;
                    swrl:propertyPredicate gsn:defeated ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Dialectic Extension" .

[] a swrl:Imp ;
    rdfs:label "Cross-Module Away Support" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:A ;
                    swrl:argument2 gsnswrl:M ;
                    swrl:propertyPredicate gsn:inModule ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:IndividualPropertyAtom ;
                            swrl:argument1 gsnswrl:B ;
                            swrl:argument2 gsnswrl:N ;
                            swrl:propertyPredicate gsn:inModule ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                    swrl:argument1 gsnswrl:A ;
                                    swrl:argument2 gsnswrl:B ;
                                    swrl:propertyPredicate gsn:supportedBy ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:ClassAtom ;
                                            swrl:argument1 gsnswrl:N ;
                                            swrl:classPredicate gsn:Module ] ;
                                    rdf:rest [ a swrl:AtomList ;
                                            rdf:first [ a swrl:ClassAtom ;
                                                    swrl:argument1 gsnswrl:M ;
                                                    swrl:classPredicate gsn:Module ] ;
                                            rdf:rest [ a swrl:AtomList ;
                                                    rdf:first [ a swrl:DifferentIndividualsAtom ;
                                                            swrl:argument1 gsnswrl:M ;
                                                            swrl:argument2 gsnswrl:N ] ;
                                                    rdf:rest () ] ] ] ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:B ;
                    swrl:argument2 true ;
                    swrl:propertyPredicate gsn:away ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Modular Extension" .

[] a swrl:Imp ;
    rdfs:label "Solution Propagation (True)" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:ClassAtom ;
                    swrl:argument1 gsnswrl:A ;
                    swrl:classPredicate gsn:Solution ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:IndividualPropertyAtom ;
                            swrl:argument1 gsnswrl:B ;
                            swrl:argument2 gsnswrl:A ;
                            swrl:propertyPredicate gsn:supportedBy ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                                    swrl:argument1 gsnswrl:A ;
                                    swrl:argument2 true ;
                                    swrl:propertyPredicate gsn:true ] ;
                            rdf:rest () ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:B ;
                    swrl:argument2 true ;
                    swrl:propertyPredicate gsn:true ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Core GSN" .

[] a swrl:Imp ;
    rdfs:label "Defeated Invalidation" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:E ;
                    swrl:argument2 true ;
                    swrl:propertyPredicate gsn:defeated ] ;
            rdf:rest () ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:E ;
                    swrl:argument2 false ;
                    swrl:propertyPredicate gsn:valid ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Dialectic Extension" .

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

[] a swrl:Imp ;
    rdfs:label "Contextual Relation" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:R ;
                    swrl:argument2 gsnswrl:A ;
                    swrl:propertyPredicate rdf:subject ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:IndividualPropertyAtom ;
                            swrl:argument1 gsnswrl:A ;
                            swrl:argument2 gsnswrl:B ;
                            swrl:propertyPredicate gsn:inContextOf ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                    swrl:argument1 gsnswrl:R ;
                                    swrl:argument2 gsnswrl:B ;
                                    swrl:propertyPredicate rdf:object ] ;
                            rdf:rest () ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:R ;
                    swrl:argument2 "contextual" ;
                    swrl:propertyPredicate gsn:relationshipType ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Core GSN" .

[] a swrl:Imp ;
    rdfs:label "Public Context Propagation" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:G ;
                    swrl:argument2 true ;
                    swrl:propertyPredicate gsn:public ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:IndividualPropertyAtom ;
                            swrl:argument1 gsnswrl:G ;
                            swrl:argument2 gsnswrl:C ;
                            swrl:propertyPredicate gsn:inContextOf ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:ClassAtom ;
                                    swrl:argument1 gsnswrl:G ;
                                    swrl:classPredicate gsn:Goal ] ;
                            rdf:rest () ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:C ;
                    swrl:argument2 true ;
                    swrl:propertyPredicate gsn:public ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Modular Extension" .

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

[] a swrl:Imp ;
    rdfs:label "Public Contract Invalidation" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:C ;
                    swrl:argument2 true ;
                    swrl:propertyPredicate gsn:contract ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:DatavaluedPropertyAtom ;
                            swrl:argument1 gsnswrl:E ;
                            swrl:argument2 true ;
                            swrl:propertyPredicate gsn:public ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                    swrl:argument1 gsnswrl:C ;
                                    swrl:argument2 gsnswrl:E ;
                                    swrl:propertyPredicate gsn:contains ] ;
                            rdf:rest () ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:E ;
                    swrl:argument2 false ;
                    swrl:propertyPredicate gsn:valid ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Modular Extension" .

[] a swrl:Imp ;
    rdfs:label "Context Contract Invalidation" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:A ;
                    swrl:argument2 gsnswrl:M1 ;
                    swrl:propertyPredicate gsn:inContextOf ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:IndividualPropertyAtom ;
                            swrl:argument1 gsnswrl:R ;
                            swrl:argument2 gsnswrl:M1 ;
                            swrl:propertyPredicate rdf:object ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:ClassAtom ;
                                    swrl:argument1 gsnswrl:M1 ;
                                    swrl:classPredicate gsn:Module ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:ClassAtom ;
                                            swrl:argument1 gsnswrl:M2 ;
                                            swrl:classPredicate gsn:Module ] ;
                                    rdf:rest [ a swrl:AtomList ;
                                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                                    swrl:argument1 gsnswrl:M2 ;
                                                    swrl:argument2 gsnswrl:A ;
                                                    swrl:propertyPredicate gsn:contains ] ;
                                            rdf:rest [ a swrl:AtomList ;
                                                    rdf:first [ a swrl:IndividualPropertyAtom ;
                                                            swrl:argument1 gsnswrl:R ;
                                                            swrl:argument2 gsnswrl:A ;
                                                            swrl:propertyPredicate rdf:subject ] ;
                                                    rdf:rest [ a swrl:AtomList ;
                                                            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                                                                    swrl:argument1 gsnswrl:M2 ;
                                                                    swrl:argument2 true ;
                                                                    swrl:propertyPredicate gsn:contract ] ;
                                                            rdf:rest () ] ] ] ] ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:R ;
                    swrl:argument2 false ;
                    swrl:propertyPredicate gsn:valid ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Modular Extension" .

[] a owl:Axiom ;
    owl:annotatedProperty rdfs:subClassOf ;
    owl:annotatedSource gsn:Argument ;
    owl:annotatedTarget _:genid0944 ;
    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" .

[] a swrl:Imp ;
    rdfs:label "Challenge Relation Creation" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:A ;
                    swrl:argument2 gsnswrl:B ;
                    swrl:propertyPredicate gsn:challenges ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:BuiltinAtom ;
                            swrl:arguments ( gsnswrl:R gsnswrl:A gsnswrl:B ) ;
                            swrl:builtin <http://swrl.stanford.edu/ontologies/built-ins/3.3/swrlx.owl#makeOWLThing> ] ;
                    rdf:rest () ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:R ;
                    swrl:argument2 gsnswrl:A ;
                    swrl:propertyPredicate rdf:subject ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:ClassAtom ;
                            swrl:argument1 gsnswrl:R ;
                            swrl:classPredicate gsn:Relationship ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                    swrl:argument1 gsnswrl:R ;
                                    swrl:argument2 gsnswrl:B ;
                                    swrl:propertyPredicate rdf:object ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:DatavaluedPropertyAtom ;
                                            swrl:argument1 gsnswrl:R ;
                                            swrl:argument2 "dialectic" ;
                                            swrl:propertyPredicate gsn:relationshipType ] ;
                                    rdf:rest () ] ] ] ] ;
    gsn:coreOrExtension "Dialectic Extension" .

[] a swrl:Imp ;
    rdfs:label "Substitution Invalidation" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:G ;
                    swrl:argument2 gsnswrl:M2 ;
                    swrl:propertyPredicate gsn:inModule ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:ClassAtom ;
                            swrl:argument1 gsnswrl:M1 ;
                            swrl:classPredicate gsn:Module ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:ClassAtom ;
                                    swrl:argument1 gsnswrl:M2 ;
                                    swrl:classPredicate gsn:Module ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:IndividualPropertyAtom ;
                                            swrl:argument1 gsnswrl:J ;
                                            swrl:argument2 gsnswrl:G ;
                                            swrl:propertyPredicate gsn:substitutedBy ] ;
                                    rdf:rest [ a swrl:AtomList ;
                                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                                    swrl:argument1 gsnswrl:J ;
                                                    swrl:argument2 gsnswrl:M1 ;
                                                    swrl:propertyPredicate gsn:inModule ] ;
                                            rdf:rest [ a swrl:AtomList ;
                                                    rdf:first [ a swrl:ClassAtom ;
                                                            swrl:argument1 gsnswrl:J ;
                                                            swrl:classPredicate gsn:Justification ] ;
                                                    rdf:rest [ a swrl:AtomList ;
                                                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                                                    swrl:argument1 gsnswrl:E ;
                                                                    swrl:argument2 gsnswrl:J ;
                                                                    swrl:propertyPredicate gsn:inContextOf ] ;
                                                            rdf:rest [ a swrl:AtomList ;
                                                                    rdf:first [ a swrl:DifferentIndividualsAtom ;
                                                                            swrl:argument1 gsnswrl:M1 ;
                                                                            swrl:argument2 gsnswrl:M2 ] ;
                                                                    rdf:rest () ] ] ] ] ] ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:J ;
                    swrl:argument2 false ;
                    swrl:propertyPredicate gsn:valid ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Modular Extension" .

[] a swrl:Imp ;
    rdfs:label "Contract Activation" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:A ;
                    swrl:argument2 true ;
                    swrl:propertyPredicate gsn:away ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:DatavaluedPropertyAtom ;
                            swrl:argument1 gsnswrl:A ;
                            swrl:argument2 true ;
                            swrl:propertyPredicate gsn:toBeSupportedByContract ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:ClassAtom ;
                                    swrl:argument1 gsnswrl:M1 ;
                                    swrl:classPredicate gsn:Module ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:ClassAtom ;
                                            swrl:argument1 gsnswrl:M2 ;
                                            swrl:classPredicate gsn:Module ] ;
                                    rdf:rest [ a swrl:AtomList ;
                                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                                    swrl:argument1 gsnswrl:A ;
                                                    swrl:argument2 gsnswrl:M1 ;
                                                    swrl:propertyPredicate gsn:inModule ] ;
                                            rdf:rest [ a swrl:AtomList ;
                                                    rdf:first [ a swrl:IndividualPropertyAtom ;
                                                            swrl:argument1 gsnswrl:B ;
                                                            swrl:argument2 gsnswrl:M2 ;
                                                            swrl:propertyPredicate gsn:inModule ] ;
                                                    rdf:rest [ a swrl:AtomList ;
                                                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                                                    swrl:argument1 gsnswrl:A ;
                                                                    swrl:argument2 gsnswrl:B ;
                                                                    swrl:propertyPredicate gsn:supportedBy ] ;
                                                            rdf:rest [ a swrl:AtomList ;
                                                                    rdf:first [ a swrl:DifferentIndividualsAtom ;
                                                                            swrl:argument1 gsnswrl:M1 ;
                                                                            swrl:argument2 gsnswrl:M2 ] ;
                                                                    rdf:rest () ] ] ] ] ] ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:DatavaluedPropertyAtom ;
                    swrl:argument1 gsnswrl:M2 ;
                    swrl:argument2 true ;
                    swrl:propertyPredicate gsn:contract ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Modular Extension" .

[] a swrl:Imp ;
    rdfs:label "Module Context Propagation" ;
    swrla:isRuleEnabled true ;
    swrl:body [ a swrl:AtomList ;
            rdf:first [ a swrl:ClassAtom ;
                    swrl:argument1 gsnswrl:M1 ;
                    swrl:classPredicate gsn:Module ] ;
            rdf:rest [ a swrl:AtomList ;
                    rdf:first [ a swrl:ClassAtom ;
                            swrl:argument1 gsnswrl:M2 ;
                            swrl:classPredicate gsn:Module ] ;
                    rdf:rest [ a swrl:AtomList ;
                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                    swrl:argument1 gsnswrl:E1 ;
                                    swrl:argument2 gsnswrl:M1 ;
                                    swrl:propertyPredicate gsn:inModule ] ;
                            rdf:rest [ a swrl:AtomList ;
                                    rdf:first [ a swrl:IndividualPropertyAtom ;
                                            swrl:argument1 gsnswrl:E2 ;
                                            swrl:argument2 gsnswrl:M2 ;
                                            swrl:propertyPredicate gsn:inModule ] ;
                                    rdf:rest [ a swrl:AtomList ;
                                            rdf:first [ a swrl:IndividualPropertyAtom ;
                                                    swrl:argument1 gsnswrl:E1 ;
                                                    swrl:argument2 gsnswrl:E2 ;
                                                    swrl:propertyPredicate gsn:inContextOf ] ;
                                            rdf:rest [ a swrl:AtomList ;
                                                    rdf:first [ a swrl:DifferentIndividualsAtom ;
                                                            swrl:argument1 gsnswrl:M1 ;
                                                            swrl:argument2 gsnswrl:M2 ] ;
                                                    rdf:rest () ] ] ] ] ] ] ;
    swrl:head [ a swrl:AtomList ;
            rdf:first [ a swrl:IndividualPropertyAtom ;
                    swrl:argument1 gsnswrl:M1 ;
                    swrl:argument2 gsnswrl:M2 ;
                    swrl:propertyPredicate gsn:inContextOf ] ;
            rdf:rest () ] ;
    gsn:coreOrExtension "Modular Extension" .

_:genid0088 a owl:Restriction ;
    owl:onProperty gsn:contains ;
    owl:someValuesFrom gsn:Goal .

_:genid0189 rdf:first [ a owl:Restriction ;
            owl:onProperty gsn:contains ;
            owl:someValuesFrom gsn:ArtefactReference ] ;
    rdf:rest ( _:genid0088 ) .

_:genid0445 rdf:first [ a owl:Restriction ;
            owl:onProperty gsn:statement ;
            owl:someValuesFrom xsd:string ] ;
    rdf:rest () .

_:genid0653 a owl:Class ;
    owl:intersectionOf _:genid0189 .

_:genid0713 rdf:first _:genid0653 ;
    rdf:rest _:genid0445 .

_:genid0944 a owl:Class ;
    owl:unionOf _:genid0713 .