<?xml version="1.0" encoding="utf-8"?>
<ARM:Argumentation xmi:version="2.1" 
    xmlns:xmi="http://www.omg.org/spec/XMI/20071213"
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xmlns:ARM="http://www.omg.org/spec/SACM/20120501/Argumentation" xmi:id="ID1"
    id="DependabilityAllocation" description="" content="">
    <argumentElement xsi:type="ARM:Claim" xmi:id="C1" id="G1" description=""
        content="Dependability Allocation of System S for each architecture is adequate"
        assumed="false" toBeSupported="false"/>
    <argumentElement xsi:type="ARM:ArgumentReasoning" xmi:id="ID5" id="AR1" description=""
        content="Argument over each sub architecture" describedInference="ID2 ID3 ID4"/>
    <argumentElement xsi:type="ARM:InformationElement" xmi:id="ID7" id="IE1" description=""
        content="T=Threat and Environment List for S" url=""/>
    <argumentElement xsi:type="ARM:InformationElement" xmi:id="ID8" id="IE2" description=""
        content="Architecture of System S={S1, S2}" url=""/>
    <argumentElement xsi:type="ARM:InformationElement" xmi:id="ID9" id="IE3" description=""
        content="D=Dependability Requirement of S" url=""/>
    <argumentElement xsi:type="ARM:Claim" xmi:id="ID10" id="C3" description=""
        content="Dependability allocation of System S1 for each architecture is adequate"
        assumed="false" toBeSupported="false"/>
    <argumentElement xsi:type="ARM:Claim" xmi:id="ID11" id="C4" description=""
        content="Dependability allocation of system S2 for each architecture is adequate"
        assumed="false" toBeSupported="false"/>
    <argumentElement xsi:type="ARM:Claim" xmi:id="ID12" id="C2" description=""
        content="Allocation of D1 to S1, Allocation of D2 to S2 are adequate" assumed="false"
        toBeSupported="false"/>
    <argumentElement xsi:type="ARM:InformationElement" xmi:id="ID13" id="IE4" description=""
        content="T=Threat and Environment List for S1" url=""/>
    <argumentElement xsi:type="ARM:InformationElement" xmi:id="ID14" id="IE5" description=""
        content="Architecture of System S1" url=""/>
    <argumentElement xsi:type="ARM:InformationElement" xmi:id="ID15" id="IE6" description=""
        content="D1=Dependability Requirement of S" url=""/>
    <argumentElement xsi:type="ARM:InformationElement" xmi:id="ID16" id="IE7" description=""
        content="T=Threat and Environment List for S2" url=""/>
    <argumentElement xsi:type="ARM:InformationElement" xmi:id="ID17" id="IE8" description=""
        content="Architecture of System S2" url=""/>
    <argumentElement xsi:type="ARM:InformationElement" xmi:id="ID18" id="IE9" description=""
        content="D2=Dependability Requirement of S2" url=""/>
    <argumentElement xsi:type="ARM:AssertedContext" xmi:id="ID19" id="" description="" content=""
        source="ID7" target="ID6"/>
    <argumentElement xsi:type="ARM:AssertedContext" xmi:id="ID20" id="" description="" content=""
        source="ID8" target="ID6"/>
    <argumentElement xsi:type="ARM:AssertedContext" xmi:id="ID21" id="" description="" content=""
        source="ID9" target="ID6"/>
    <argumentElement xsi:type="ARM:AssertedInference" xmi:id="ID2" id="" description="" content=""
        source="ID10" target="ID6"/>
    <argumentElement xsi:type="ARM:AssertedInference" xmi:id="ID3" id="" description="" content=""
        source="ID11" target="ID6"/>
    <argumentElement xsi:type="ARM:AssertedInference" xmi:id="ID4" id="" description="" content=""
        source="ID12" target="ID6"/>
    <argumentElement xsi:type="ARM:AssertedContext" xmi:id="ID22" id="" description="" content=""
        source="ID13" target="ID10"/>
    <argumentElement xsi:type="ARM:AssertedContext" xmi:id="ID23" id="" description="" content=""
        source="ID14" target="ID10"/>
    <argumentElement xsi:type="ARM:AssertedContext" xmi:id="ID24" id="" description="" content=""
        source="ID15" target="ID10"/>
    <argumentElement xsi:type="ARM:AssertedContext" xmi:id="ID25" id="" description="" content=""
        source="ID16" target="ID11"/>
    <argumentElement xsi:type="ARM:AssertedContext" xmi:id="ID26" id="" description="" content=""
        source="ID17" target="ID11"/>
    <argumentElement xsi:type="ARM:AssertedContext" xmi:id="ID27" id="" description="" content=""
        source="ID18" target="ID11"/>
</ARM:Argumentation>
