ant -f C:\\x-nps-gitlab\\EthicalControl all convertAvclToMeoTurtle.examples.all: convert all AVCL missions to MeoTurtle source code validate mission SailorOverboard.xml using referenced AVCL schema... convertAvclToMeoTurtle missions/avcl/SailorOverboard.xml to missions/turtle/SailorOverboardConverted.ttl using stylesheets/AvclToTurtleMeo3.0.xslt SailorOverboard.xml conversion to missions/turtle/SailorOverboardConverted.ttl using stylesheets/AvclToTurtleMeo3.0.xslt *** [info] Goal id='Goal6' isTerminal (no nextOnSuccess, nextOnFailure, nextOnException) *** [info] Goal id='Goal7' isTerminal (no nextOnSuccess, nextOnFailure, nextOnException) *** [info] Goal id='Goal8' isTerminal (no nextOnSuccess, nextOnFailure, nextOnException) validate mission LifeboatTracking.xml using referenced AVCL schema... convertAvclToMeoTurtle missions/avcl/LifeboatTracking.xml to missions/turtle/LifeboatTrackingConverted.ttl using stylesheets/AvclToTurtleMeo3.0.xslt LifeboatTracking.xml conversion to missions/turtle/LifeboatTrackingConverted.ttl using stylesheets/AvclToTurtleMeo3.0.xslt *** [warn] Goal id='LBT4.0' nextOnFailure 'undefined' and set to @nextOnSuccess='LBT4.1' *** [warn] Goal id='LBT4.1' nextOnFailure 'undefined' and set to @nextOnSuccess='LBT4.2' *** [warn] Goal id='LBT4.2' nextOnFailure 'undefined' and set to @nextOnSuccess='LBT4.3' *** [warn] Goal id='LBT6.0' nextOnFailure 'undefined' and set to @nextOnSuccess='LBT6.1' *** [warn] Goal id='LBT6.1' nextOnFailure 'undefined' and set to @nextOnSuccess='LBT6.2' *** [info] Goal id='LBT99.1' isTerminal (no nextOnSuccess, nextOnFailure, nextOnException) *** [info] Goal id='LBT99.2' isTerminal (no nextOnSuccess, nextOnFailure, nextOnException) *** [info] Goal id='LBT99.3' isTerminal (no nextOnSuccess, nextOnFailure, nextOnException) validate mission PiratesSeizingMerchantDefense.xml using referenced AVCL schema... convertAvclToMeoTurtle missions/avcl/PiratesSeizingMerchantDefense.xml to missions/turtle/PiratesSeizingMerchantDefenseConverted.ttl using stylesheets/AvclToTurtleMeo3.0.xslt PiratesSeizingMerchantDefense.xml conversion to missions/turtle/PiratesSeizingMerchantDefenseConverted.ttl using stylesheets/AvclToTurtleMeo3.0.xslt *** [warn] Goal id='PSMD14.1' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD14.2' *** [warn] Goal id='PSMD14.2' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD14.3' *** [warn] Goal id='PSMD22.0' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD22.1' *** [warn] Goal id='PSMD22.1' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD22.2' *** [warn] Goal id='PSMD30.0' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD31.0' *** [warn] Goal id='PSMD31.0' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD32.0' *** [warn] Goal id='PSMD32.1' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD32.2' *** [warn] Goal id='PSMD32.2' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD32.3' *** [warn] Goal id='PSMD34.1' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD34.2' *** [warn] Goal id='PSMD34.2' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD34.3' *** [warn] Goal id='PSMD34.3' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD34.4' *** [warn] Goal id='PSMD35.3' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD35.4' *** [warn] Goal id='PSMD35.4' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD35.5' *** [warn] Goal id='PSMD35.5' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD36.0' *** [warn] Goal id='PSMD41.0' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD41.1' *** [warn] Goal id='PSMD41.2' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD41.3' *** [warn] Goal id='PSMD41.3' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD41.4' *** [warn] Goal id='PSMD41.4' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD41.5' *** [warn] Goal id='PSMD41.5' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD36.0' *** [info] Goal id='PSMD99.1' isTerminal (no nextOnSuccess, nextOnFailure, nextOnException) *** [info] Goal id='PSMD99.2' isTerminal (no nextOnSuccess, nextOnFailure, nextOnException) *** [info] Goal id='PSMD99.3' isTerminal (no nextOnSuccess, nextOnFailure, nextOnException) validate mission HospitalShipEmDecoy1.Opponent.xml using referenced AVCL schema... convertAvclToMeoTurtle missions/avcl/HospitalShipEmDecoy1.Opponent.xml to missions/turtle/HospitalShipEmDecoy1.OpponentConverted.ttl using stylesheets/AvclToTurtleMeo3.0.xslt HospitalShipEmDecoy1.Opponent.xml conversion to missions/turtle/HospitalShipEmDecoy1.OpponentConverted.ttl using stylesheets/AvclToTurtleMeo3.0.xslt *** [warn] Goal id='HSEMD.Foe.1' phase 'undefined' *** [warn] Goal id='HSEMD.Foe.2' phase 'undefined' *** [warn] Goal id='HSEMD.Foe.2' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.Foe.3' *** [warn] Goal id='HSEMD.Foe.3' phase 'undefined' *** [warn] Goal id='HSEMD.Foe.3' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.Foe.4' *** [warn] Goal id='HSEMD.Foe.4' phase 'undefined' *** [warn] Goal id='HSEMD.Foe.4' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.Foe.5' *** [warn] Goal id='HSEMD.Foe.5' phase 'undefined' *** [warn] Goal id='HSEMD.Foe.5' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.Foe.6' *** [warn] Goal id='HSEMD.Foe.6' phase 'undefined' *** [warn] Goal id='HSEMD.Foe.6' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.Foe.7' *** [info] Goal id='HSEMD.Foe.7' isTerminal (no nextOnSuccess, nextOnFailure, nextOnException) *** [warn] Goal id='HSEMD.Foe.7' phase 'undefined' validate mission HospitalShipEmDecoy2.Defender.SenseDecideAct.xml using referenced AVCL schema... convertAvclToMeoTurtle missions/avcl/HospitalShipEmDecoy2.Defender.SenseDecideAct.xml to missions/turtle/HospitalShipEmDecoy2.Defender.SenseDecideActConverted.ttl using stylesheets/AvclToTurtleMeo3.0.xslt HospitalShipEmDecoy2.Defender.SenseDecideAct.xml conversion to missions/turtle/HospitalShipEmDecoy2.Defender.SenseDecideActConverted.ttl using stylesheets/AvclToTurtleMeo3.0.xslt *** [warn] Goal id='HSEMD.reflex.12' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.reflex.13' *** [warn] Goal id='HSEMD.reflex.13' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.reflex.14' *** [warn] Goal id='HSEMD.reflex.14' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.reflex.17' *** [warn] Goal id='HSEMD.reflex.17' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.reflex.99.0' *** [info] Goal id='HSEMD.reflex.99.0' isTerminal (no nextOnSuccess, nextOnFailure, nextOnException) validate mission HospitalShipEmDecoy3.Defender.EthicalControlOODA.xml using referenced AVCL schema... convertAvclToMeoTurtle missions/avcl/HospitalShipEmDecoy3.Defender.EthicalControlOODA.xml to missions/turtle/HospitalShipEmDecoy3.Defender.EthicalControlOODAConverted.ttl using stylesheets/AvclToTurtleMeo3.0.xslt HospitalShipEmDecoy3.Defender.EthicalControlOODA.xml conversion to missions/turtle/HospitalShipEmDecoy3.Defender.EthicalControlOODAConverted.ttl using stylesheets/AvclToTurtleMeo3.0.xslt *** [warn] Goal id='HSEMD.OODA.22' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.OODA.23' *** [warn] Goal id='HSEMD.OODA.23' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.OODA.24' *** [warn] Goal id='HSEMD.OODA.24' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.OODA.27' *** [warn] Goal id='HSEMD.OODA.27' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.OODA.99.0' *** [warn] Goal id='HSEMD.OODA.36' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.OODA.37' *** [warn] Goal id='HSEMD.OODA.37' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.OODA.99.0' *** [info] Goal id='HSEMD.OODA.99.0' isTerminal (no nextOnSuccess, nextOnFailure, nextOnException) convertAvclToLisp.examples.all: remove compiled Allegro Common Lisp ACL files (if any) convert all AVCL missions to Lisp source code convertAvclToLisp missions/avcl/SailorOverboard.xml to missions/lisp/SailorOverboardConverted.cl using stylesheets/AvclToLisp.xslt Mission SailorOverboard.xml: set $initialGoal=goalGoal1 (i.e. initial AVCL Goal) convertAvclToLisp missions/avcl/LifeboatTracking.xml to missions/lisp/LifeboatTrackingConverted.cl using stylesheets/AvclToLisp.xslt Mission LifeboatTracking.xml: set $initialGoal=goalLBT1.0 (i.e. initial AVCL Goal) *** [warn] Goal id='LBT4.0' nextOnFailure 'undefined' and set to @nextOnSuccess='LBT4.1' *** [warn] Goal id='LBT4.1' nextOnFailure 'undefined' and set to @nextOnSuccess='LBT4.2' *** [warn] Goal id='LBT4.2' nextOnFailure 'undefined' and set to @nextOnSuccess='LBT4.3' *** [warn] Goal id='LBT6.0' nextOnFailure 'undefined' and set to @nextOnSuccess='LBT6.1' *** [warn] Goal id='LBT6.1' nextOnFailure 'undefined' and set to @nextOnSuccess='LBT6.2' convertAvclToLisp missions/avcl/PiratesSeizingMerchantDefense.xml to missions/lisp/PiratesSeizingMerchantDefenseConverted.cl using stylesheets/AvclToLisp.xslt Mission PiratesSeizingMerchantDefense.xml: set $initialGoal=goalPSMD11.0 (i.e. initial AVCL Goal) *** [warn] Goal id='PSMD14.1' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD14.2' *** [warn] Goal id='PSMD14.2' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD14.3' *** [warn] Goal id='PSMD22.0' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD22.1' *** [warn] Goal id='PSMD22.1' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD22.2' *** [warn] Goal id='PSMD30.0' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD31.0' *** [warn] Goal id='PSMD31.0' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD32.0' *** [warn] Goal id='PSMD32.1' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD32.2' *** [warn] Goal id='PSMD32.2' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD32.3' *** [warn] Goal id='PSMD34.1' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD34.2' *** [warn] Goal id='PSMD34.2' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD34.3' *** [warn] Goal id='PSMD34.3' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD34.4' *** [warn] Goal id='PSMD35.3' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD35.4' *** [warn] Goal id='PSMD35.4' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD35.5' *** [warn] Goal id='PSMD35.5' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD36.0' *** [warn] Goal id='PSMD41.0' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD41.1' *** [warn] Goal id='PSMD41.2' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD41.3' *** [warn] Goal id='PSMD41.3' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD41.4' *** [warn] Goal id='PSMD41.4' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD41.5' *** [warn] Goal id='PSMD41.5' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD36.0' convertAvclToLisp missions/avcl/HospitalShipEmDecoy1.Opponent.xml to missions/lisp/HospitalShipEmDecoy1.OpponentConverted.cl using stylesheets/AvclToLisp.xslt Mission HospitalShipEmDecoy1.Opponent.xml: set $initialGoal=goalHSEMD.Foe.1 (i.e. initial AVCL Goal) *** [warn] Goal id='HSEMD.Foe.2' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.Foe.3' *** [warn] Goal id='HSEMD.Foe.3' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.Foe.4' *** [warn] Goal id='HSEMD.Foe.4' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.Foe.5' *** [warn] Goal id='HSEMD.Foe.5' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.Foe.6' *** [warn] Goal id='HSEMD.Foe.6' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.Foe.7' convertAvclToLisp missions/avcl/HospitalShipEmDecoy2.Defender.SenseDecideAct.xml to missions/lisp/HospitalShipEmDecoy2.Defender.SenseDecideActConverted.cl using stylesheets/AvclToLisp.xslt Mission HospitalShipEmDecoy2.Defender.SenseDecideAct.xml: set $initialGoal=goalHSEMD.reflex.11 (i.e. initial AVCL Goal) *** [warn] Goal id='HSEMD.reflex.12' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.reflex.13' *** [warn] Goal id='HSEMD.reflex.13' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.reflex.14' *** [warn] Goal id='HSEMD.reflex.14' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.reflex.17' *** [warn] Goal id='HSEMD.reflex.17' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.reflex.99.0' convertAvclToLisp missions/avcl/HospitalShipEmDecoy3.Defender.EthicalControlOODA.xml to missions/lisp/HospitalShipEmDecoy3.Defender.EthicalControlOODAConverted.cl using stylesheets/AvclToLisp.xslt Mission HospitalShipEmDecoy3.Defender.EthicalControlOODA.xml: set $initialGoal=goalHSEMD.OODA.21 (i.e. initial AVCL Goal) *** [warn] Goal id='HSEMD.OODA.22' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.OODA.23' *** [warn] Goal id='HSEMD.OODA.23' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.OODA.24' *** [warn] Goal id='HSEMD.OODA.24' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.OODA.27' *** [warn] Goal id='HSEMD.OODA.27' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.OODA.99.0' *** [warn] Goal id='HSEMD.OODA.36' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.OODA.37' *** [warn] Goal id='HSEMD.OODA.37' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.OODA.99.0' ...convertAvclToLisp.examples.all complete convertAvclToProlog.examples.all: remove compiled Allegro Common Lisp ACL files (if any) convert all AVCL missions to Prolog source code convertAvclToLisp missions/avcl/SailorOverboard.xml to missions/prolog/SailorOverboardConverted.pl using stylesheets/AvclToProlog.xslt $initialGoal=Goal1 convertAvclToLisp missions/avcl/LifeboatTracking.xml to missions/prolog/LifeboatTrackingConverted.pl using stylesheets/AvclToProlog.xslt $initialGoal=LBT1.0 *** [warn] Goal id='LBT4.0' nextOnFailure 'undefined' and set to @nextOnSuccess='LBT4.1' *** [warn] Goal id='LBT4.1' nextOnFailure 'undefined' and set to @nextOnSuccess='LBT4.2' *** [warn] Goal id='LBT4.2' nextOnFailure 'undefined' and set to @nextOnSuccess='LBT4.3' *** [warn] Goal id='LBT6.0' nextOnFailure 'undefined' and set to @nextOnSuccess='LBT6.1' *** [warn] Goal id='LBT6.1' nextOnFailure 'undefined' and set to @nextOnSuccess='LBT6.2' convertAvclToLisp missions/avcl/PiratesSeizingMerchantDefense.xml to missions/prolog/PiratesSeizingMerchantDefenseConverted.pl using stylesheets/AvclToProlog.xslt $initialGoal=PSMD11.0 *** [warn] Goal id='PSMD14.1' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD14.2' *** [warn] Goal id='PSMD14.2' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD14.3' *** [warn] Goal id='PSMD22.0' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD22.1' *** [warn] Goal id='PSMD22.1' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD22.2' *** [warn] Goal id='PSMD30.0' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD31.0' *** [warn] Goal id='PSMD31.0' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD32.0' *** [warn] Goal id='PSMD32.1' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD32.2' *** [warn] Goal id='PSMD32.2' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD32.3' *** [warn] Goal id='PSMD34.1' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD34.2' *** [warn] Goal id='PSMD34.2' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD34.3' *** [warn] Goal id='PSMD34.3' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD34.4' *** [warn] Goal id='PSMD35.3' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD35.4' *** [warn] Goal id='PSMD35.4' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD35.5' *** [warn] Goal id='PSMD35.5' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD36.0' *** [warn] Goal id='PSMD41.0' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD41.1' *** [warn] Goal id='PSMD41.2' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD41.3' *** [warn] Goal id='PSMD41.3' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD41.4' *** [warn] Goal id='PSMD41.4' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD41.5' *** [warn] Goal id='PSMD41.5' nextOnFailure 'undefined' and set to @nextOnSuccess='PSMD36.0' convertAvclToLisp missions/avcl/HospitalShipEmDecoy1.Opponent.xml to missions/prolog/HospitalShipEmDecoy1.OpponentConverted.pl using stylesheets/AvclToProlog.xslt $initialGoal=HSEMD.Foe.1 *** [warn] Goal id='HSEMD.Foe.2' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.Foe.3' *** [warn] Goal id='HSEMD.Foe.3' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.Foe.4' *** [warn] Goal id='HSEMD.Foe.4' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.Foe.5' *** [warn] Goal id='HSEMD.Foe.5' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.Foe.6' *** [warn] Goal id='HSEMD.Foe.6' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.Foe.7' convertAvclToLisp missions/avcl/HospitalShipEmDecoy2.Defender.SenseDecideAct.xml to missions/prolog/HospitalShipEmDecoy2.Defender.SenseDecideActConverted.pl using stylesheets/AvclToProlog.xslt $initialGoal=HSEMD.reflex.11 *** [warn] Goal id='HSEMD.reflex.12' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.reflex.13' *** [warn] Goal id='HSEMD.reflex.13' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.reflex.14' *** [warn] Goal id='HSEMD.reflex.14' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.reflex.17' *** [warn] Goal id='HSEMD.reflex.17' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.reflex.99.0' convertAvclToLisp missions/avcl/HospitalShipEmDecoy3.Defender.EthicalControlOODA.xml to missions/prolog/HospitalShipEmDecoy3.Defender.EthicalControlOODAConverted.pl using stylesheets/AvclToProlog.xslt $initialGoal=HSEMD.OODA.21 *** [warn] Goal id='HSEMD.OODA.22' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.OODA.23' *** [warn] Goal id='HSEMD.OODA.23' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.OODA.24' *** [warn] Goal id='HSEMD.OODA.24' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.OODA.27' *** [warn] Goal id='HSEMD.OODA.27' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.OODA.99.0' *** [warn] Goal id='HSEMD.OODA.36' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.OODA.37' *** [warn] Goal id='HSEMD.OODA.37' nextOnFailure 'undefined' and set to @nextOnSuccess='HSEMD.OODA.99.0' ...convertAvclToProlog.examples.all complete convert.all: SPARQL.query.tests.all: =========================== arq --version Jena: VERSION: 4.2.0 Jena: BUILD_DATE: 2021-09-12T10:37:37Z arq --help arq --data= --query= Control --explain Explain and log query execution --repeat=N or N,M Do N times or N warmup and then M times (use for timing to overcome start up costs of Java) --optimize= Turn the query optimizer on or off (default: on) Time --time Time the operation Query Engine --engine=EngineName Register another engine factory[ref] --unengine=EngineName Unregister an engine factory Dataset --data=FILE Data for the dataset - triple or quad formats --graph=FILE Graph for default graph of the datset --namedGraph=FILE Add a graph into the dataset as a named graph Results --results= Results format (Result set: text, XML, JSON, CSV, TSV; Graph: RDF serialization) --desc= Assembler description file Query --query, --file File containing a query --syntax, --in Syntax of the query --base Base URI for the query Symbol definition --set Set a configuration symbol to a value General -v --verbose Verbose -q --quiet Run with minimal output --debug Output information for debugging --help --version Version information --strict Operate in strict SPARQL mode (no extensions of any kind) =========================== Metaqueries against the ontology itself: =========================== Perform Mission Execution Ontology metaquery queries/MissionExecutionOntologyQuery_01.rq using Mission Execution Ontology itself ontologies/MissionExecutionOntology3.0.ttl to produce output file queries/MissionExecutionOntologyQuery_01.rq.txt: =========================== PREFIX : PREFIX meo: PREFIX owl: PREFIX rdf: PREFIX rdfs: PREFIX xml: PREFIX xsd: # @base # MissionExecutionOntologyQuery_01.rq Metaquery to list all properties with corresponding domains and ranges in Mission Execution Ontology. ############################################### SELECT distinct ?property ?domain ?range WHERE { ?property rdfs:range ?range . ?property rdfs:domain ?domain . } ORDER by ASC(?property) # alphabetize ############################################### Metaquery results: arq --data=ontologies/MissionExecutionOntology3.0.ttl --query=queries/MissionExecutionOntologyQuery_01.rq ------------------------------------------------------------------------- | property | domain | range | ========================================================================= | meo:accomplishes | meo:EndCondition | meo:IntendedOutcome | | meo:canAchieve | meo:Vehicle | meo:IntendedOutcome | | meo:canFulfill | meo:VehicleFeature | meo:IntendedOutcome | | meo:canIdentify | meo:Vehicle | meo:Constraint | | meo:canMeasure | meo:VehicleFeature | meo:EndCondition | | meo:canMeet | meo:Vehicle | meo:Goal | | meo:canPerform | meo:Vehicle | meo:Mission | | meo:constrainsGoal | meo:Constraint | meo:Goal | | meo:constrainsMission | meo:Constraint | meo:Mission | | meo:hasEndCondition | meo:Goal | meo:EndCondition | | meo:hasFeature | meo:Vehicle | meo:VehicleFeature | | meo:hasGoalConstraint | meo:Goal | meo:Constraint | | meo:hasMissionConstraint | meo:Mission | meo:Constraint | | meo:hasNextGoal | meo:Goal | meo:Goal | | meo:hasNextGoalOnException | meo:Goal | meo:Goal | | meo:hasNextGoalOnFailure | meo:Goal | meo:Goal | | meo:hasNextGoalOnSuccess | meo:Goal | meo:Goal | | meo:includes | meo:Mission | meo:Goal | | meo:isFollowedBy | meo:Goal | meo:Goal | | meo:isInitialGoal | meo:Goal | meo:Mission | | meo:isPerformableBy | meo:Mission | meo:Vehicle | | meo:mustSatisfy | meo:Goal | meo:IntendedOutcome | | meo:startsWith | meo:Mission | meo:Goal | ------------------------------------------------------------------------- =========================== Mission queries: =========================== SPARQL query MissionQuery_01_GoalBranches.rq performed on mission SailorOverboardConverted.ttl Perform Mission Execution Ontology query queries/MissionQuery_01_GoalBranches.rq using turtle form of AVCL mission missions/turtle/SailorOverboardConverted.ttl to produce output log file queries/SailorOverboardConverted.MissionQuery_01_GoalBranches.rq.txt: =========================== PREFIX : PREFIX meo: PREFIX owl: PREFIX rdf: PREFIX rdfs: PREFIX xml: PREFIX xsd: # TODO does @base simplify the variable outputs? # @base # MissionQuery_01_GoalBranches.rq # Query to list all Goals with corresponding description information and branching logic. ############################################### SELECT ?goal ?nextOnSuccess ?nextOnFailure ?nextOnException ?isPartOfPhase ?description # ?GoalFound ?phase WHERE { ?goal a meo:Goal ; # Shorthand expression: a = rdf:type rdfs:comment ?description ; meo:isPartOfPhase ?isPartOfPhase . OPTIONAL # provide results even when no value is provided (by terminal goals) { ?goal meo:hasNextOnSuccess ?nextOnSuccess . } OPTIONAL { ?goal meo:hasNextOnFailure ?nextOnFailure . } OPTIONAL { ?goal meo:hasNextOnException ?nextOnException . } # https://stackoverflow.com/questions/11234371/sparql-query-results-without-namespace # BIND (strafter(xsd:string(?goal),"#") AS ?GoalFound) # BIND (strafter(xsd:string(?nextOnSuccess),"#") AS ?GoalNextOnSuccess) # BIND (strafter(xsd:string(?nextOnFailure),"#") AS ?GoalNextOnFailure) # BIND (strafter(xsd:string(?nextOnException),"#") AS ?GoalNextOnException) # BIND (coalesce(?isPartOfPhase,"") AS ?phase) } ORDER BY (?goal) # alphanumeric order results in order given by each name ############################################### Query results: arq --data=ontologies/MissionExecutionOntology3.0.ttl --query=queries/MissionQuery_01_GoalBranches.rq --graph=missions/turtle/SailorOverboardConverted.ttl -------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | goal | nextOnSuccess | nextOnFailure | nextOnException | isPartOfPhase | description | ========================================================================================================================================================================== | :Goal1 | :Goal2 | :Goal7 | :Goal8 | "Launch" | "Deploy, Launch: Sailor Overboard Immediate Action" | | :Goal2 | :Goal4 | :Goal3 | :Goal5 | "Locate" | "Rendezvous with Sailor: Go directly to best known location" | | :Goal3 | :Goal4 | :Goal5 | :Goal5 | "Locate" | "Search for Sailor: Sailor position not known, intermittent" | | :Goal4 | :Goal5 | :Goal5 | :Goal5 | "Track" | "Track Sailor afloat until safe: Watch closely, not to interfere with rescue operations" | | :Goal5 | :Goal6 | :Goal7 | :Goal8 | "Mission Finish" | "Proceed to Recovery: Mission complete, prepare for pickup" | | :Goal6 | | | | "Recover Robot" | "Halt and prepare for recovery: Operations complete, final success state" | | :Goal7 | | | | "Recover Robot" | "Halt and deploy recovery beacon: Unable to continue, final failure state" | | :Goal8 | | | | "Recover Robot" | "Halt and await further orders: Unexpected problem, final exception state" | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------- =========================== SPARQL query MissionQuery_01_GoalBranches.rq performed on mission LifeboatTrackingConverted.ttl Perform Mission Execution Ontology query queries/MissionQuery_01_GoalBranches.rq using turtle form of AVCL mission missions/turtle/LifeboatTrackingConverted.ttl to produce output log file queries/LifeboatTrackingConverted.MissionQuery_01_GoalBranches.rq.txt: =========================== PREFIX : PREFIX meo: PREFIX owl: PREFIX rdf: PREFIX rdfs: PREFIX xml: PREFIX xsd: # TODO does @base simplify the variable outputs? # @base # MissionQuery_01_GoalBranches.rq # Query to list all Goals with corresponding description information and branching logic. ############################################### SELECT ?goal ?nextOnSuccess ?nextOnFailure ?nextOnException ?isPartOfPhase ?description # ?GoalFound ?phase WHERE { ?goal a meo:Goal ; # Shorthand expression: a = rdf:type rdfs:comment ?description ; meo:isPartOfPhase ?isPartOfPhase . OPTIONAL # provide results even when no value is provided (by terminal goals) { ?goal meo:hasNextOnSuccess ?nextOnSuccess . } OPTIONAL { ?goal meo:hasNextOnFailure ?nextOnFailure . } OPTIONAL { ?goal meo:hasNextOnException ?nextOnException . } # https://stackoverflow.com/questions/11234371/sparql-query-results-without-namespace # BIND (strafter(xsd:string(?goal),"#") AS ?GoalFound) # BIND (strafter(xsd:string(?nextOnSuccess),"#") AS ?GoalNextOnSuccess) # BIND (strafter(xsd:string(?nextOnFailure),"#") AS ?GoalNextOnFailure) # BIND (strafter(xsd:string(?nextOnException),"#") AS ?GoalNextOnException) # BIND (coalesce(?isPartOfPhase,"") AS ?phase) } ORDER BY (?goal) # alphanumeric order results in order given by each name ############################################### Query results: arq --data=ontologies/MissionExecutionOntology3.0.ttl --query=queries/MissionQuery_01_GoalBranches.rq --graph=missions/turtle/LifeboatTrackingConverted.ttl ------------------------------------------------------------------------------------------------------------------------------------------------------------------- | goal | nextOnSuccess | nextOnFailure | nextOnException | isPartOfPhase | description | =================================================================================================================================================================== | :LBT1.0 | :LBT2.0 | :LBT99.0 | :LBT99.0 | "Launch" | "Deploy, Launch: Commit to robot support" | | :LBT2.0 | :LBT3.0 | :LBT99.0 | :LBT99.0 | "Transit" | "Transit to search area: Proceed to estimated position" | | :LBT3.0 | :LBT3.1 | :LBT2.0 | :LBT99.0 | "Locate" | "Locate Lifeboat: Follow best search pattern" | | :LBT3.1 | :LBT3.2 | :LBT4.0 | :LBT99.0 | "Locate" | "Report position: Alerts updated" | | :LBT3.2 | :LBT4.0 | :LBT4.0 | :LBT99.0 | "Locate" | "Mark with Beacon: Monitor wind effects and ocean current" | | :LBT4.0 | :LBT4.1 | :LBT4.1 | :LBT99.0 | "Track" | "Track Lifeboat: Monitor and communicate" | | :LBT4.1 | :LBT4.2 | :LBT4.2 | :LBT99.0 | "Track" | "Maintain proximity: Overhead or afloat nearby" | | :LBT4.2 | :LBT4.3 | :LBT4.3 | :LBT99.0 | "Track" | "Periodic reports: Popup or float to report, also recharge" | | :LBT4.3 | :LBT5.0 | :LBT7.0 | :LBT99.0 | "Track" | "Continue: Repeat until conditions change" | | :LBT5.0 | :LBT99.0 | :LBT4.0 | :LBT99.0 | "Mission Finish" | "Check relieved by other asset: Task update received?" | | :LBT6.0 | :LBT6.1 | :LBT6.1 | :LBT99.0 | "Mission Finish" | "Low Fuel: Make best effort possible" | | :LBT6.1 | :LBT6.2 | :LBT6.2 | :LBT99.0 | "Mission Finish" | "Remain with lifeboat? Choices: land on boat, attach to boat, or adrift nearby" | | :LBT6.2 | :LBT99.0 | :LBT99.0 | :LBT99.0 | "Mission Finish" | "Beacon? While power remains" | | :LBT7.0 | :LBT2.0 | :LBT99.0 | :LBT99.0 | "Transit" | "Request Guidance? Need updated position" | | :LBT99.0 | :LBT99.1 | :LBT99.2 | :LBT99.3 | "Recover Robot" | "Proceed to recovery: Mission complete, prepare for pickup" | | :LBT99.1 | | | | "Recover Robot" | "Halt and prepare for recovery: Operations completed, final success state" | | :LBT99.2 | | | | "Recover Robot" | "Halt and deploy recovery beacon: Unable to operate, final failure state" | | :LBT99.3 | | | | "Recover Robot" | "Halt and await further orders: Unplanned failure, final exception state" | ------------------------------------------------------------------------------------------------------------------------------------------------------------------- =========================== SPARQL query MissionQuery_01_GoalBranches.rq performed on mission PiratesSeizingMerchantDefenseConverted.ttl Perform Mission Execution Ontology query queries/MissionQuery_01_GoalBranches.rq using turtle form of AVCL mission missions/turtle/PiratesSeizingMerchantDefenseConverted.ttl to produce output log file queries/PiratesSeizingMerchantDefenseConverted.MissionQuery_01_GoalBranches.rq.txt: =========================== PREFIX : PREFIX meo: PREFIX owl: PREFIX rdf: PREFIX rdfs: PREFIX xml: PREFIX xsd: # TODO does @base simplify the variable outputs? # @base # MissionQuery_01_GoalBranches.rq # Query to list all Goals with corresponding description information and branching logic. ############################################### SELECT ?goal ?nextOnSuccess ?nextOnFailure ?nextOnException ?isPartOfPhase ?description # ?GoalFound ?phase WHERE { ?goal a meo:Goal ; # Shorthand expression: a = rdf:type rdfs:comment ?description ; meo:isPartOfPhase ?isPartOfPhase . OPTIONAL # provide results even when no value is provided (by terminal goals) { ?goal meo:hasNextOnSuccess ?nextOnSuccess . } OPTIONAL { ?goal meo:hasNextOnFailure ?nextOnFailure . } OPTIONAL { ?goal meo:hasNextOnException ?nextOnException . } # https://stackoverflow.com/questions/11234371/sparql-query-results-without-namespace # BIND (strafter(xsd:string(?goal),"#") AS ?GoalFound) # BIND (strafter(xsd:string(?nextOnSuccess),"#") AS ?GoalNextOnSuccess) # BIND (strafter(xsd:string(?nextOnFailure),"#") AS ?GoalNextOnFailure) # BIND (strafter(xsd:string(?nextOnException),"#") AS ?GoalNextOnException) # BIND (coalesce(?isPartOfPhase,"") AS ?phase) } ORDER BY (?goal) # alphanumeric order results in order given by each name ############################################### Query results: arq --data=ontologies/MissionExecutionOntology3.0.ttl --query=queries/MissionQuery_01_GoalBranches.rq --graph=missions/turtle/PiratesSeizingMerchantDefenseConverted.ttl ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ | goal | nextOnSuccess | nextOnFailure | nextOnException | isPartOfPhase | description | ============================================================================================================================================================================================================ | :PSMD11.0 | :PSMD12.0 | :PSMD99.0 | :PSMD99.0 | "Launch" | "Deploy, Launch: Commit to robot support" | | :PSMD12.0 | :PSMD13.0 | :PSMD99.0 | :PSMD99.0 | "Transit" | "Transit to hostile area: Proceed to estimated position" | | :PSMD13.0 | :PSMD13.1 | :PSMD21.0 | :PSMD99.0 | "Transit" | "Locate Merchant: Use best search pattern, then follow moving ship and boats" | | :PSMD13.1 | :PSMD13.2 | :PSMD13.2 | :PSMD99.0 | "Transit" | "Report position: Alerts updated" | | :PSMD13.2 | :PSMD14.0 | :PSMD21.0 | :PSMD99.0 | "Transit" | "Mark with Beacon: Monitor wind effects and ocean current" | | :PSMD14.0 | :PSMD14.1 | :PSMD14.1 | :PSMD99.0 | "Track" | "Track Merchant: Monitor and communicate" | | :PSMD14.1 | :PSMD14.2 | :PSMD14.2 | :PSMD99.0 | "Track" | "Maintain proximity: Beyond range of small arms" | | :PSMD14.2 | :PSMD14.3 | :PSMD14.3 | :PSMD99.0 | "Track" | "Periodic reports: Situation reports, changing status" | | :PSMD14.3 | :PSMD14.9 | :PSMD21.0 | :PSMD99.0 | "Track" | "Continue until further orders: Repeat until conditions change" | | :PSMD14.9 | :PSMD30.0 | :PSMD14.0 | :PSMD99.0 | "Track" | "Check posture changed? Task update received?" | | :PSMD21.0 | :PSMD12.0 | :PSMD99.0 | :PSMD99.0 | "Transit" | "Request Guidance? Need updated position" | | :PSMD22.0 | :PSMD22.1 | :PSMD22.1 | :PSMD99.0 | "Mission Finish" | "Low Fuel: Make best effort possible" | | :PSMD22.1 | :PSMD22.2 | :PSMD22.2 | :PSMD99.0 | "Mission Finish" | "Remain with Merchant? Choices: land on boat, attach to boat, or adrift nearby" | | :PSMD22.2 | :PSMD99.0 | :PSMD99.0 | :PSMD99.0 | "Mission Finish" | "Beacon? While power remains" | | :PSMD30.0 | :PSMD31.0 | :PSMD31.0 | :PSMD99.0 | "Warning" | "Warning Phase: Close interaction with pirates, merchant ship" | | :PSMD31.0 | :PSMD32.0 | :PSMD32.0 | :PSMD99.0 | "Warning" | "Confirm Mission Authorities: Check constraints and defensive responses" | | :PSMD32.0 | :PSMD32.1 | :PSMD32.1 | :PSMD99.0 | "Classify" | "IFFNU: Identify Friend Foe Neutral Unknown" | | :PSMD32.1 | :PSMD32.2 | :PSMD32.2 | :PSMD99.0 | "Classify" | "Photograph all close contacts: Pass within range of small arms" | | :PSMD32.2 | :PSMD32.3 | :PSMD32.3 | :PSMD99.0 | "Classify" | "Classify, send contact reports: Based on target behavior or signal/image match" | | :PSMD32.3 | :PSMD33.0 | :PSMD14.0 | :PSMD99.0 | "Classify" | "Confirm IFFNU classifications: Requires approval by human commander before proceeding further" | | :PSMD33.0 | :PSMD33.1 | :PSMD14.0 | :PSMD99.0 | "Engagement" | "Commence Warnings: May provoke pirate response" | | :PSMD33.1 | :PSMD34.0 | :PSMD14.0 | :PSMD99.0 | "Engagement" | "Notify Merchant: Keep crew informed, even if they cannot transmit" | | :PSMD34.0 | :PSMD34.1 | :PSMD34.1 | :PSMD99.0 | "Warning" | "Send Warning Messages: Communicate to pirates, all parties" | | :PSMD34.1 | :PSMD34.2 | :PSMD34.2 | :PSMD99.0 | "Warning" | "Send multiple message paths: Loudspeaker, flashing light, siren, drop smoke, bridge-bridge radio" | | :PSMD34.2 | :PSMD34.3 | :PSMD34.3 | :PSMD99.0 | "Warning" | "Maintain proximity: Just outside range of small arms" | | :PSMD34.3 | :PSMD34.4 | :PSMD34.4 | :PSMD99.0 | "Warning" | "Periodic reports: Situation reports, changing status" | | :PSMD34.4 | :PSMD35.0 | :PSMD14.0 | :PSMD99.0 | "Warning" | "Continue until further orders: First repeat for all designated pirates" | | :PSMD35.0 | :PSMD35.1 | :PSMD35.1 | :PSMD99.0 | "Hostilities Imminent" | "Observe pirate response: Monitor and report back to own ship" | | :PSMD35.1 | :PSMD14.0 | :PSMD35.2 | :PSMD99.0 | "Hostilities Imminent" | "Pirates retreat? Stay with merchant, report if response changes" | | :PSMD35.2 | :PSMD40.0 | :PSMD35.3 | :PSMD99.0 | "Hostilities Imminent" | "Pirates attack? Stay with merchant, counterattack if response changes" | | :PSMD35.3 | :PSMD35.4 | :PSMD35.4 | :PSMD99.0 | "Hostilities Imminent" | "Maintain proximity: Just outside range of small arms" | | :PSMD35.4 | :PSMD35.5 | :PSMD35.5 | :PSMD99.0 | "Hostilities Imminent" | "Periodic reports: Situation reports, changing status - note ship may have EMCON radio silence" | | :PSMD35.5 | :PSMD36.0 | :PSMD36.0 | :PSMD99.0 | "Hostilities Imminent" | "Continue until further orders: Repeat until conditions change" | | :PSMD36.0 | :PSMD37.0 | :PSMD35.0 | :PSMD14.0 | "Hostilities Imminent" | "Check posture changed? Task update received" | | :PSMD37.0 | :PSMD31.0 | :PSMD31.0 | :PSMD99.0 | "Hostilities Imminent" | "Fire Warning Shot: Warning shots remain an available option for human commanders. Lethal force is authorized." | | :PSMD40.0 | :PSMD41.0 | :PSMD41.0 | :PSMD99.0 | "Counter Attack" | "Attack: Close interaction with pirates, merchant ship" | | :PSMD41.0 | :PSMD41.1 | :PSMD41.1 | :PSMD99.0 | "Counter Attack" | "Attack Pirate Boats in priority order: Rapidly engage, shoot to disable or kill. Lethal force still authorized." | | :PSMD41.1 | :PSMD14.0 | :PSMD41.2 | :PSMD99.0 | "Counter Attack" | "Pirates retreat? Stay with merchant, report if response changes" | | :PSMD41.2 | :PSMD41.3 | :PSMD41.3 | :PSMD42.0 | "Counter Attack" | "Pirates attacking? Stay with merchant, counterattack if response changes" | | :PSMD41.3 | :PSMD41.4 | :PSMD41.4 | :PSMD99.0 | "Counter Attack" | "Maintain proximity: Just outside range of small arms" | | :PSMD41.4 | :PSMD41.5 | :PSMD41.5 | :PSMD99.0 | "Counter Attack" | "Periodic reports: Situation reports, changing status - note ship may have EMCON radio silence" | | :PSMD41.5 | :PSMD36.0 | :PSMD36.0 | :PSMD99.0 | "Counter Attack" | "Continue until further orders: Repeat until conditions change" | | :PSMD42.0 | :PSMD14.0 | :PSMD41.3 | :PSMD90.0 | "Counter Attack" | "Low or no ammunition: need to disengage? Hold ammunition in reseve, or else fight to the finish" | | :PSMD43.0 | :PSMD14.0 | :PSMD41.0 | :PSMD90.0 | "Counter Attack" | "Check for guidance, resume tracking or continue attacking? Humans monitoring attack can interrupt or override" | | :PSMD90.0 | :PSMD14.0 | :PSMD14.0 | :PSMD99.0 | "Mission Finish" | "Check relieved by other asset: Continue tracking merchant unless further task update recieved" | | :PSMD99.0 | :PSMD99.1 | :PSMD99.2 | :PSMD99.3 | "Recover Robot" | "Proceed to recovery: Mission complete, prepare for pickup" | | :PSMD99.1 | | | | "Recover Robot" | "Halt and prepare for recovery: Operations completed, final success state" | | :PSMD99.2 | | | | "Recover Robot" | "Halt and deploy recovery beacon: Unable to operate, final failure state" | | :PSMD99.3 | | | | "Recover Robot" | "Halt and await further orders: Unplanned failure, final exception state" | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ =========================== SPARQL query MissionQuery_01_GoalBranches.rq performed on mission HospitalShipEmDecoy1.OpponentConverted.ttl Perform Mission Execution Ontology query queries/MissionQuery_01_GoalBranches.rq using turtle form of AVCL mission missions/turtle/HospitalShipEmDecoy1.OpponentConverted.ttl to produce output log file queries/HospitalShipEmDecoy1.OpponentConverted.MissionQuery_01_GoalBranches.rq.txt: =========================== PREFIX : PREFIX meo: PREFIX owl: PREFIX rdf: PREFIX rdfs: PREFIX xml: PREFIX xsd: # TODO does @base simplify the variable outputs? # @base # MissionQuery_01_GoalBranches.rq # Query to list all Goals with corresponding description information and branching logic. ############################################### SELECT ?goal ?nextOnSuccess ?nextOnFailure ?nextOnException ?isPartOfPhase ?description # ?GoalFound ?phase WHERE { ?goal a meo:Goal ; # Shorthand expression: a = rdf:type rdfs:comment ?description ; meo:isPartOfPhase ?isPartOfPhase . OPTIONAL # provide results even when no value is provided (by terminal goals) { ?goal meo:hasNextOnSuccess ?nextOnSuccess . } OPTIONAL { ?goal meo:hasNextOnFailure ?nextOnFailure . } OPTIONAL { ?goal meo:hasNextOnException ?nextOnException . } # https://stackoverflow.com/questions/11234371/sparql-query-results-without-namespace # BIND (strafter(xsd:string(?goal),"#") AS ?GoalFound) # BIND (strafter(xsd:string(?nextOnSuccess),"#") AS ?GoalNextOnSuccess) # BIND (strafter(xsd:string(?nextOnFailure),"#") AS ?GoalNextOnFailure) # BIND (strafter(xsd:string(?nextOnException),"#") AS ?GoalNextOnException) # BIND (coalesce(?isPartOfPhase,"") AS ?phase) } ORDER BY (?goal) # alphanumeric order results in order given by each name ############################################### Query results: arq --data=ontologies/MissionExecutionOntology3.0.ttl --query=queries/MissionQuery_01_GoalBranches.rq --graph=missions/turtle/HospitalShipEmDecoy1.OpponentConverted.ttl --------------------------------------------------------------------------------------------------------------------------------------------------------- | goal | nextOnSuccess | nextOnFailure | nextOnException | isPartOfPhase | description | ========================================================================================================================================================= | :HSEMD.Foe.1 | :HSEMD.Foe.2 | :HSEMD.Foe.2 | :HSEMD.Foe.7 | "'undefined'" | "Search, Observe: Find ship, surveil for weaknesses" | | :HSEMD.Foe.2 | :HSEMD.Foe.3 | :HSEMD.Foe.3 | :HSEMD.Foe.7 | "'undefined'" | "Assess, approach: Surreptitious entry, harbor or anchorage" | | :HSEMD.Foe.3 | :HSEMD.Foe.4 | :HSEMD.Foe.4 | :HSEMD.Foe.7 | "'undefined'" | "Covertly Board: EM spoofing devices attached to topside" | | :HSEMD.Foe.4 | :HSEMD.Foe.5 | :HSEMD.Foe.5 | :HSEMD.Foe.7 | "'undefined'" | "Standoff, Observe: Fall back to safe vantage point" | | :HSEMD.Foe.5 | :HSEMD.Foe.6 | :HSEMD.Foe.6 | :HSEMD.Foe.7 | "'undefined'" | "Initiate Fake Attack: Light off false EM spoofing signals" | | :HSEMD.Foe.6 | :HSEMD.Foe.7 | :HSEMD.Foe.7 | :HSEMD.Foe.7 | "'undefined'" | "Observe Reaction: Monitor response, assess damage" | | :HSEMD.Foe.7 | | | | "'undefined'" | "Evade, Escape: Avoid detection, depart locale - Terminal condition" | --------------------------------------------------------------------------------------------------------------------------------------------------------- =========================== SPARQL query MissionQuery_01_GoalBranches.rq performed on mission HospitalShipEmDecoy2.Defender.SenseDecideActConverted.ttl Perform Mission Execution Ontology query queries/MissionQuery_01_GoalBranches.rq using turtle form of AVCL mission missions/turtle/HospitalShipEmDecoy2.Defender.SenseDecideActConverted.ttl to produce output log file queries/HospitalShipEmDecoy2.Defender.SenseDecideActConverted.MissionQuery_01_GoalBranches.rq.txt: =========================== PREFIX : PREFIX meo: PREFIX owl: PREFIX rdf: PREFIX rdfs: PREFIX xml: PREFIX xsd: # TODO does @base simplify the variable outputs? # @base # MissionQuery_01_GoalBranches.rq # Query to list all Goals with corresponding description information and branching logic. ############################################### SELECT ?goal ?nextOnSuccess ?nextOnFailure ?nextOnException ?isPartOfPhase ?description # ?GoalFound ?phase WHERE { ?goal a meo:Goal ; # Shorthand expression: a = rdf:type rdfs:comment ?description ; meo:isPartOfPhase ?isPartOfPhase . OPTIONAL # provide results even when no value is provided (by terminal goals) { ?goal meo:hasNextOnSuccess ?nextOnSuccess . } OPTIONAL { ?goal meo:hasNextOnFailure ?nextOnFailure . } OPTIONAL { ?goal meo:hasNextOnException ?nextOnException . } # https://stackoverflow.com/questions/11234371/sparql-query-results-without-namespace # BIND (strafter(xsd:string(?goal),"#") AS ?GoalFound) # BIND (strafter(xsd:string(?nextOnSuccess),"#") AS ?GoalNextOnSuccess) # BIND (strafter(xsd:string(?nextOnFailure),"#") AS ?GoalNextOnFailure) # BIND (strafter(xsd:string(?nextOnException),"#") AS ?GoalNextOnException) # BIND (coalesce(?isPartOfPhase,"") AS ?phase) } ORDER BY (?goal) # alphanumeric order results in order given by each name ############################################### Query results: arq --data=ontologies/MissionExecutionOntology3.0.ttl --query=queries/MissionQuery_01_GoalBranches.rq --graph=missions/turtle/HospitalShipEmDecoy2.Defender.SenseDecideActConverted.ttl -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | goal | nextOnSuccess | nextOnFailure | nextOnException | isPartOfPhase | description | ================================================================================================================================================================================================== | :HSEMD.reflex.11 | :HSEMD.reflex.12 | :HSEMD.reflex.12 | :HSEMD.reflex.99.0 | "Configure" | "Attack Response Thresholds Set: Signal strength needed for close-proximity activation" | | :HSEMD.reflex.12 | :HSEMD.reflex.13 | :HSEMD.reflex.13 | :HSEMD.reflex.99.0 | "Configure" | "Enable Robot Swarm: Close-in weapon system activated" | | :HSEMD.reflex.13 | :HSEMD.reflex.14 | :HSEMD.reflex.14 | :HSEMD.reflex.99.0 | "Sense" | "Threat Signals Received: Above response threshold" | | :HSEMD.reflex.14 | :HSEMD.reflex.17 | :HSEMD.reflex.17 | :HSEMD.reflex.99.0 | "Decide" | "Move to Threat: Group response" | | :HSEMD.reflex.17 | :HSEMD.reflex.99.0 | :HSEMD.reflex.99.0 | :HSEMD.reflex.99.0 | "Act" | "Robot Swarm Counterattack: Lethal force authorized" | | :HSEMD.reflex.99.0 | | | | "Robot Recovery" | "Proceed to recovery: Mission complete, prepare for pickup. Terminal condition." | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- =========================== SPARQL query MissionQuery_01_GoalBranches.rq performed on mission HospitalShipEmDecoy3.Defender.EthicalControlOODAConverted.ttl Perform Mission Execution Ontology query queries/MissionQuery_01_GoalBranches.rq using turtle form of AVCL mission missions/turtle/HospitalShipEmDecoy3.Defender.EthicalControlOODAConverted.ttl to produce output log file queries/HospitalShipEmDecoy3.Defender.EthicalControlOODAConverted.MissionQuery_01_GoalBranches.rq.txt: =========================== PREFIX : PREFIX meo: PREFIX owl: PREFIX rdf: PREFIX rdfs: PREFIX xml: PREFIX xsd: # TODO does @base simplify the variable outputs? # @base # MissionQuery_01_GoalBranches.rq # Query to list all Goals with corresponding description information and branching logic. ############################################### SELECT ?goal ?nextOnSuccess ?nextOnFailure ?nextOnException ?isPartOfPhase ?description # ?GoalFound ?phase WHERE { ?goal a meo:Goal ; # Shorthand expression: a = rdf:type rdfs:comment ?description ; meo:isPartOfPhase ?isPartOfPhase . OPTIONAL # provide results even when no value is provided (by terminal goals) { ?goal meo:hasNextOnSuccess ?nextOnSuccess . } OPTIONAL { ?goal meo:hasNextOnFailure ?nextOnFailure . } OPTIONAL { ?goal meo:hasNextOnException ?nextOnException . } # https://stackoverflow.com/questions/11234371/sparql-query-results-without-namespace # BIND (strafter(xsd:string(?goal),"#") AS ?GoalFound) # BIND (strafter(xsd:string(?nextOnSuccess),"#") AS ?GoalNextOnSuccess) # BIND (strafter(xsd:string(?nextOnFailure),"#") AS ?GoalNextOnFailure) # BIND (strafter(xsd:string(?nextOnException),"#") AS ?GoalNextOnException) # BIND (coalesce(?isPartOfPhase,"") AS ?phase) } ORDER BY (?goal) # alphanumeric order results in order given by each name ############################################### Query results: arq --data=ontologies/MissionExecutionOntology3.0.ttl --query=queries/MissionQuery_01_GoalBranches.rq --graph=missions/turtle/HospitalShipEmDecoy3.Defender.EthicalControlOODAConverted.ttl ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ | goal | nextOnSuccess | nextOnFailure | nextOnException | isPartOfPhase | description | ========================================================================================================================================================================================== | :HSEMD.OODA.21 | :HSEMD.OODA.22 | :HSEMD.OODA.22 | :HSEMD.OODA.99.0 | "Configure" | "Attack Response Thresholds Set: Signal strength needed for close-proximity activation" | | :HSEMD.OODA.22 | :HSEMD.OODA.23 | :HSEMD.OODA.23 | :HSEMD.OODA.99.0 | "Configure" | "Enable Robot Swarm: Close-in weapon system activated" | | :HSEMD.OODA.23 | :HSEMD.OODA.24 | :HSEMD.OODA.24 | :HSEMD.OODA.99.0 | "Observe" | "Threat Signals Received: Above response threshold" | | :HSEMD.OODA.24 | :HSEMD.OODA.27 | :HSEMD.OODA.27 | :HSEMD.OODA.99.0 | "Orient" | "Move to Threat: Group response" | | :HSEMD.OODA.25 | :HSEMD.OODA.26 | :HSEMD.OODA.26 | :HSEMD.OODA.99.0 | "Orient" | "IFFNU: Identify Friend Foe Neutral Unknown" | | :HSEMD.OODA.26 | :HSEMD.OODA.27 | :HSEMD.OODA.36 | :HSEMD.OODA.99.0 | "Decide" | "Confirm In-Port Counterattack? Rapid-response human checkpoint" | | :HSEMD.OODA.27 | :HSEMD.OODA.99.0 | :HSEMD.OODA.99.0 | :HSEMD.OODA.99.0 | "Act" | "Robot Swarm versus Terrorists: Lethal force authorized" | | :HSEMD.OODA.36 | :HSEMD.OODA.37 | :HSEMD.OODA.37 | :HSEMD.OODA.99.0 | "Decide" | "Hospital Ship Attack Denied: Lethal force NOT authorized" | | :HSEMD.OODA.37 | :HSEMD.OODA.99.0 | :HSEMD.OODA.99.0 | :HSEMD.OODA.99.0 | "Act" | "Search for Intruders: All defense forces alerted" | | :HSEMD.OODA.99.0 | | | | "Robot Recovery" | "Proceed to recovery: Mission complete, prepare for pickup. Terminal condition." | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ =========================== SPARQL query MissionQuery_02_InitialGoal.rq performed on mission SailorOverboardConverted.ttl Perform Mission Execution Ontology query queries/MissionQuery_02_InitialGoal.rq using turtle form of AVCL mission missions/turtle/SailorOverboardConverted.ttl to produce output log file queries/SailorOverboardConverted.MissionQuery_02_InitialGoal.rq.txt: =========================== PREFIX : PREFIX meo: PREFIX owl: PREFIX rdf: PREFIX rdfs: PREFIX xml: PREFIX xsd: # TODO does @base simplify the variable outputs? # @base # MissionQuery_02_InitialGoal.rq # Query Mission to find initial Goal that it startsWith. SELECT ?Mission ?InitialGoal ?isPartOfPhase ?goalDescription WHERE { ?Mission a meo:Mission ; # Shorthand expression: a = rdf:type meo:startsWith ?InitialGoal . OPTIONAL # provide results even when no value is provided { ?InitialGoal meo:isPartOfPhase ?isPartOfPhase ; rdfs:comment ?goalDescription . } } ORDER BY ?InitialGoal # should be singleton Query results: arq --data=ontologies/MissionExecutionOntology3.0.ttl --query=queries/MissionQuery_02_InitialGoal.rq --graph=missions/turtle/SailorOverboardConverted.ttl -------------------------------------------------------------------------------------------------------- | Mission | InitialGoal | isPartOfPhase | goalDescription | ======================================================================================================== | :SailorOverboard | :Goal1 | "Launch" | "Deploy, Launch: Sailor Overboard Immediate Action" | -------------------------------------------------------------------------------------------------------- =========================== SPARQL query MissionQuery_02_InitialGoal.rq performed on mission LifeboatTrackingConverted.ttl Perform Mission Execution Ontology query queries/MissionQuery_02_InitialGoal.rq using turtle form of AVCL mission missions/turtle/LifeboatTrackingConverted.ttl to produce output log file queries/LifeboatTrackingConverted.MissionQuery_02_InitialGoal.rq.txt: =========================== PREFIX : PREFIX meo: PREFIX owl: PREFIX rdf: PREFIX rdfs: PREFIX xml: PREFIX xsd: # TODO does @base simplify the variable outputs? # @base # MissionQuery_02_InitialGoal.rq # Query Mission to find initial Goal that it startsWith. SELECT ?Mission ?InitialGoal ?isPartOfPhase ?goalDescription WHERE { ?Mission a meo:Mission ; # Shorthand expression: a = rdf:type meo:startsWith ?InitialGoal . OPTIONAL # provide results even when no value is provided { ?InitialGoal meo:isPartOfPhase ?isPartOfPhase ; rdfs:comment ?goalDescription . } } ORDER BY ?InitialGoal # should be singleton Query results: arq --data=ontologies/MissionExecutionOntology3.0.ttl --query=queries/MissionQuery_02_InitialGoal.rq --graph=missions/turtle/LifeboatTrackingConverted.ttl ----------------------------------------------------------------------------------------------- | Mission | InitialGoal | isPartOfPhase | goalDescription | =============================================================================================== | :LifeboatTracking | :LBT1.0 | "Launch" | "Deploy, Launch: Commit to robot support" | ----------------------------------------------------------------------------------------------- =========================== SPARQL query MissionQuery_02_InitialGoal.rq performed on mission PiratesSeizingMerchantDefenseConverted.ttl Perform Mission Execution Ontology query queries/MissionQuery_02_InitialGoal.rq using turtle form of AVCL mission missions/turtle/PiratesSeizingMerchantDefenseConverted.ttl to produce output log file queries/PiratesSeizingMerchantDefenseConverted.MissionQuery_02_InitialGoal.rq.txt: =========================== PREFIX : PREFIX meo: PREFIX owl: PREFIX rdf: PREFIX rdfs: PREFIX xml: PREFIX xsd: # TODO does @base simplify the variable outputs? # @base # MissionQuery_02_InitialGoal.rq # Query Mission to find initial Goal that it startsWith. SELECT ?Mission ?InitialGoal ?isPartOfPhase ?goalDescription WHERE { ?Mission a meo:Mission ; # Shorthand expression: a = rdf:type meo:startsWith ?InitialGoal . OPTIONAL # provide results even when no value is provided { ?InitialGoal meo:isPartOfPhase ?isPartOfPhase ; rdfs:comment ?goalDescription . } } ORDER BY ?InitialGoal # should be singleton Query results: arq --data=ontologies/MissionExecutionOntology3.0.ttl --query=queries/MissionQuery_02_InitialGoal.rq --graph=missions/turtle/PiratesSeizingMerchantDefenseConverted.ttl ------------------------------------------------------------------------------------------------------------ | Mission | InitialGoal | isPartOfPhase | goalDescription | ============================================================================================================ | :PiratesSeizingMerchantDefense | :PSMD11.0 | "Launch" | "Deploy, Launch: Commit to robot support" | ------------------------------------------------------------------------------------------------------------ =========================== SPARQL query MissionQuery_02_InitialGoal.rq performed on mission HospitalShipEmDecoy1.OpponentConverted.ttl Perform Mission Execution Ontology query queries/MissionQuery_02_InitialGoal.rq using turtle form of AVCL mission missions/turtle/HospitalShipEmDecoy1.OpponentConverted.ttl to produce output log file queries/HospitalShipEmDecoy1.OpponentConverted.MissionQuery_02_InitialGoal.rq.txt: =========================== PREFIX : PREFIX meo: PREFIX owl: PREFIX rdf: PREFIX rdfs: PREFIX xml: PREFIX xsd: # TODO does @base simplify the variable outputs? # @base # MissionQuery_02_InitialGoal.rq # Query Mission to find initial Goal that it startsWith. SELECT ?Mission ?InitialGoal ?isPartOfPhase ?goalDescription WHERE { ?Mission a meo:Mission ; # Shorthand expression: a = rdf:type meo:startsWith ?InitialGoal . OPTIONAL # provide results even when no value is provided { ?InitialGoal meo:isPartOfPhase ?isPartOfPhase ; rdfs:comment ?goalDescription . } } ORDER BY ?InitialGoal # should be singleton Query results: arq --data=ontologies/MissionExecutionOntology3.0.ttl --query=queries/MissionQuery_02_InitialGoal.rq --graph=missions/turtle/HospitalShipEmDecoy1.OpponentConverted.ttl ------------------------------------------------------------------------------------------------------------------------ | Mission | InitialGoal | isPartOfPhase | goalDescription | ======================================================================================================================== | :HospitalShipEmDecoy1.Opponent | :HSEMD.Foe.1 | "'undefined'" | "Search, Observe: Find ship, surveil for weaknesses" | ------------------------------------------------------------------------------------------------------------------------ =========================== SPARQL query MissionQuery_02_InitialGoal.rq performed on mission HospitalShipEmDecoy2.Defender.SenseDecideActConverted.ttl Perform Mission Execution Ontology query queries/MissionQuery_02_InitialGoal.rq using turtle form of AVCL mission missions/turtle/HospitalShipEmDecoy2.Defender.SenseDecideActConverted.ttl to produce output log file queries/HospitalShipEmDecoy2.Defender.SenseDecideActConverted.MissionQuery_02_InitialGoal.rq.txt: =========================== PREFIX : PREFIX meo: PREFIX owl: PREFIX rdf: PREFIX rdfs: PREFIX xml: PREFIX xsd: # TODO does @base simplify the variable outputs? # @base # MissionQuery_02_InitialGoal.rq # Query Mission to find initial Goal that it startsWith. SELECT ?Mission ?InitialGoal ?isPartOfPhase ?goalDescription WHERE { ?Mission a meo:Mission ; # Shorthand expression: a = rdf:type meo:startsWith ?InitialGoal . OPTIONAL # provide results even when no value is provided { ?InitialGoal meo:isPartOfPhase ?isPartOfPhase ; rdfs:comment ?goalDescription . } } ORDER BY ?InitialGoal # should be singleton Query results: arq --data=ontologies/MissionExecutionOntology3.0.ttl --query=queries/MissionQuery_02_InitialGoal.rq --graph=missions/turtle/HospitalShipEmDecoy2.Defender.SenseDecideActConverted.ttl ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ | Mission | InitialGoal | isPartOfPhase | goalDescription | ============================================================================================================================================================================== | :HospitalShipEmDecoy2.Defender.SenseDecideAct | :HSEMD.reflex.11 | "Configure" | "Attack Response Thresholds Set: Signal strength needed for close-proximity activation" | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ =========================== SPARQL query MissionQuery_02_InitialGoal.rq performed on mission HospitalShipEmDecoy3.Defender.EthicalControlOODAConverted.ttl Perform Mission Execution Ontology query queries/MissionQuery_02_InitialGoal.rq using turtle form of AVCL mission missions/turtle/HospitalShipEmDecoy3.Defender.EthicalControlOODAConverted.ttl to produce output log file queries/HospitalShipEmDecoy3.Defender.EthicalControlOODAConverted.MissionQuery_02_InitialGoal.rq.txt: =========================== PREFIX : PREFIX meo: PREFIX owl: PREFIX rdf: PREFIX rdfs: PREFIX xml: PREFIX xsd: # TODO does @base simplify the variable outputs? # @base # MissionQuery_02_InitialGoal.rq # Query Mission to find initial Goal that it startsWith. SELECT ?Mission ?InitialGoal ?isPartOfPhase ?goalDescription WHERE { ?Mission a meo:Mission ; # Shorthand expression: a = rdf:type meo:startsWith ?InitialGoal . OPTIONAL # provide results even when no value is provided { ?InitialGoal meo:isPartOfPhase ?isPartOfPhase ; rdfs:comment ?goalDescription . } } ORDER BY ?InitialGoal # should be singleton Query results: arq --data=ontologies/MissionExecutionOntology3.0.ttl --query=queries/MissionQuery_02_InitialGoal.rq --graph=missions/turtle/HospitalShipEmDecoy3.Defender.EthicalControlOODAConverted.ttl -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- | Mission | InitialGoal | isPartOfPhase | goalDescription | ================================================================================================================================================================================ | :HospitalShipEmDecoy3.Defender.EthicalControlOODA | :HSEMD.OODA.21 | "Configure" | "Attack Response Thresholds Set: Signal strength needed for close-proximity activation" | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- =========================== SPARQL query MissionQuery_03_GoalFollowsItself.rq performed on mission SailorOverboardConverted.ttl Perform Mission Execution Ontology query queries/MissionQuery_03_GoalFollowsItself.rq using turtle form of AVCL mission missions/turtle/SailorOverboardConverted.ttl to produce output log file queries/SailorOverboardConverted.MissionQuery_03_GoalFollowsItself.rq.txt: =========================== PREFIX : PREFIX meo: PREFIX owl: PREFIX rdf: PREFIX rdfs: PREFIX xml: PREFIX xsd: # TODO does @base simplify the variable outputs? # @base # MissionQuery_03_GoalFollowsItself.rq # Find Goal instances that follow themselves, potentially creating loops in the Goal tree. # TODO configure ARQ to include reasoner, and turn it on, for proper operation of this query. # TODO future query will further check whether looping preconditions are met, preventing deadlock. SELECT ?loopingGoal WHERE { ?loopingGoal meo:isFollowedBy ?loopingGoal . } ORDER BY ?loopingGoal Query results: arq --data=ontologies/MissionExecutionOntology3.0.ttl --query=queries/MissionQuery_03_GoalFollowsItself.rq --graph=missions/turtle/SailorOverboardConverted.ttl --------------- | loopingGoal | =============== --------------- =========================== SPARQL query MissionQuery_03_GoalFollowsItself.rq performed on mission LifeboatTrackingConverted.ttl Perform Mission Execution Ontology query queries/MissionQuery_03_GoalFollowsItself.rq using turtle form of AVCL mission missions/turtle/LifeboatTrackingConverted.ttl to produce output log file queries/LifeboatTrackingConverted.MissionQuery_03_GoalFollowsItself.rq.txt: =========================== PREFIX : PREFIX meo: PREFIX owl: PREFIX rdf: PREFIX rdfs: PREFIX xml: PREFIX xsd: # TODO does @base simplify the variable outputs? # @base # MissionQuery_03_GoalFollowsItself.rq # Find Goal instances that follow themselves, potentially creating loops in the Goal tree. # TODO configure ARQ to include reasoner, and turn it on, for proper operation of this query. # TODO future query will further check whether looping preconditions are met, preventing deadlock. SELECT ?loopingGoal WHERE { ?loopingGoal meo:isFollowedBy ?loopingGoal . } ORDER BY ?loopingGoal Query results: arq --data=ontologies/MissionExecutionOntology3.0.ttl --query=queries/MissionQuery_03_GoalFollowsItself.rq --graph=missions/turtle/LifeboatTrackingConverted.ttl --------------- | loopingGoal | =============== --------------- =========================== SPARQL query MissionQuery_03_GoalFollowsItself.rq performed on mission PiratesSeizingMerchantDefenseConverted.ttl Perform Mission Execution Ontology query queries/MissionQuery_03_GoalFollowsItself.rq using turtle form of AVCL mission missions/turtle/PiratesSeizingMerchantDefenseConverted.ttl to produce output log file queries/PiratesSeizingMerchantDefenseConverted.MissionQuery_03_GoalFollowsItself.rq.txt: =========================== PREFIX : PREFIX meo: PREFIX owl: PREFIX rdf: PREFIX rdfs: PREFIX xml: PREFIX xsd: # TODO does @base simplify the variable outputs? # @base # MissionQuery_03_GoalFollowsItself.rq # Find Goal instances that follow themselves, potentially creating loops in the Goal tree. # TODO configure ARQ to include reasoner, and turn it on, for proper operation of this query. # TODO future query will further check whether looping preconditions are met, preventing deadlock. SELECT ?loopingGoal WHERE { ?loopingGoal meo:isFollowedBy ?loopingGoal . } ORDER BY ?loopingGoal Query results: arq --data=ontologies/MissionExecutionOntology3.0.ttl --query=queries/MissionQuery_03_GoalFollowsItself.rq --graph=missions/turtle/PiratesSeizingMerchantDefenseConverted.ttl --------------- | loopingGoal | =============== --------------- =========================== SPARQL query MissionQuery_03_GoalFollowsItself.rq performed on mission HospitalShipEmDecoy1.OpponentConverted.ttl Perform Mission Execution Ontology query queries/MissionQuery_03_GoalFollowsItself.rq using turtle form of AVCL mission missions/turtle/HospitalShipEmDecoy1.OpponentConverted.ttl to produce output log file queries/HospitalShipEmDecoy1.OpponentConverted.MissionQuery_03_GoalFollowsItself.rq.txt: =========================== PREFIX : PREFIX meo: PREFIX owl: PREFIX rdf: PREFIX rdfs: PREFIX xml: PREFIX xsd: # TODO does @base simplify the variable outputs? # @base # MissionQuery_03_GoalFollowsItself.rq # Find Goal instances that follow themselves, potentially creating loops in the Goal tree. # TODO configure ARQ to include reasoner, and turn it on, for proper operation of this query. # TODO future query will further check whether looping preconditions are met, preventing deadlock. SELECT ?loopingGoal WHERE { ?loopingGoal meo:isFollowedBy ?loopingGoal . } ORDER BY ?loopingGoal Query results: arq --data=ontologies/MissionExecutionOntology3.0.ttl --query=queries/MissionQuery_03_GoalFollowsItself.rq --graph=missions/turtle/HospitalShipEmDecoy1.OpponentConverted.ttl --------------- | loopingGoal | =============== --------------- =========================== SPARQL query MissionQuery_03_GoalFollowsItself.rq performed on mission HospitalShipEmDecoy2.Defender.SenseDecideActConverted.ttl Perform Mission Execution Ontology query queries/MissionQuery_03_GoalFollowsItself.rq using turtle form of AVCL mission missions/turtle/HospitalShipEmDecoy2.Defender.SenseDecideActConverted.ttl to produce output log file queries/HospitalShipEmDecoy2.Defender.SenseDecideActConverted.MissionQuery_03_GoalFollowsItself.rq.txt: =========================== PREFIX : PREFIX meo: PREFIX owl: PREFIX rdf: PREFIX rdfs: PREFIX xml: PREFIX xsd: # TODO does @base simplify the variable outputs? # @base # MissionQuery_03_GoalFollowsItself.rq # Find Goal instances that follow themselves, potentially creating loops in the Goal tree. # TODO configure ARQ to include reasoner, and turn it on, for proper operation of this query. # TODO future query will further check whether looping preconditions are met, preventing deadlock. SELECT ?loopingGoal WHERE { ?loopingGoal meo:isFollowedBy ?loopingGoal . } ORDER BY ?loopingGoal Query results: arq --data=ontologies/MissionExecutionOntology3.0.ttl --query=queries/MissionQuery_03_GoalFollowsItself.rq --graph=missions/turtle/HospitalShipEmDecoy2.Defender.SenseDecideActConverted.ttl --------------- | loopingGoal | =============== --------------- =========================== SPARQL query MissionQuery_03_GoalFollowsItself.rq performed on mission HospitalShipEmDecoy3.Defender.EthicalControlOODAConverted.ttl Perform Mission Execution Ontology query queries/MissionQuery_03_GoalFollowsItself.rq using turtle form of AVCL mission missions/turtle/HospitalShipEmDecoy3.Defender.EthicalControlOODAConverted.ttl to produce output log file queries/HospitalShipEmDecoy3.Defender.EthicalControlOODAConverted.MissionQuery_03_GoalFollowsItself.rq.txt: =========================== PREFIX : PREFIX meo: PREFIX owl: PREFIX rdf: PREFIX rdfs: PREFIX xml: PREFIX xsd: # TODO does @base simplify the variable outputs? # @base # MissionQuery_03_GoalFollowsItself.rq # Find Goal instances that follow themselves, potentially creating loops in the Goal tree. # TODO configure ARQ to include reasoner, and turn it on, for proper operation of this query. # TODO future query will further check whether looping preconditions are met, preventing deadlock. SELECT ?loopingGoal WHERE { ?loopingGoal meo:isFollowedBy ?loopingGoal . } ORDER BY ?loopingGoal Query results: arq --data=ontologies/MissionExecutionOntology3.0.ttl --query=queries/MissionQuery_03_GoalFollowsItself.rq --graph=missions/turtle/HospitalShipEmDecoy3.Defender.EthicalControlOODAConverted.ttl --------------- | loopingGoal | =============== --------------- test.all.missions.python: python -version Python 3.10.4 usage: MissionExecutionEngine.py [-h] [--validate] [--exhaustive-testing-max-runs-per-mission EXHAUSTIVE_TESTING_MAX_RUNS_PER_MISSION] [--exhaustively-test] [--exhaustively-test-all-standard-library-missions] [mission_file_path] Mission Execution Engine for the Rational Behavior Model system for ethical control of autonomy. See project website at: https://savage.nps.edu/EthicalControl/ positional arguments: mission_file_path options: -h, --help show this help message and exit --validate Warn the user if the mission is dangerously under- specified. --exhaustive-testing-max-runs-per-mission EXHAUSTIVE_TESTING_MAX_RUNS_PER_MISSION Sets the exhaustive tester to abort testing a mission after testing a certain number of runs through the mission. This can be useful if your mission is large and would take days, years, or decades to exhaustively test. --exhaustively-test Exhaustively test the selected mission file, using depth-first search to exhaustively run through all possible mission flows. --exhaustively-test-all-standard-library-missions Exhaustively test every mission in the standard mission library folder C:\x-nps- gitlab\EthicalControl\missions\avcl. If you use this option you should not specify a specific mission filename. For help, run: python MissionExecutionEngine.py --help Exhaustively testing mission: C:\x-nps-gitlab\EthicalControl\missions\avcl\HospitalShipEmDecoy1.Opponent.xml 189 paths tested; no infinite loops. Exhaustively testing mission: C:\x-nps-gitlab\EthicalControl\missions\avcl\HospitalShipEmDecoy2.Defender.SenseDecideAct.xml 93 paths tested; no infinite loops. Exhaustively testing mission: C:\x-nps-gitlab\EthicalControl\missions\avcl\HospitalShipEmDecoy3.Defender.EthicalControlOODA.xml 93 paths tested; no infinite loops. Exhaustively testing mission: C:\x-nps-gitlab\EthicalControl\missions\avcl\LifeboatTracking.xml INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S F => GOAL ID: LBT5.0 => MISSION SEGMENT: Mission Finish => ORDERS: => Check relieved by other asset => Task update received? UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: LBT4.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Lifeboat <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s S S S S S S S F S => GOAL ID: LBT7.0 => MISSION SEGMENT: Transit => ORDERS: => Request Guidance? => Need updated position UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: LBT2.0 <= MISSION SEGMENT: Transit <= ORDERS: <= Transit to search area <= Proceed to estimated position WHICH (counting starting with initial phase = step # 1) was previously visited at step # 2 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S F S F => GOAL ID: LBT5.0 => MISSION SEGMENT: Mission Finish => ORDERS: => Check relieved by other asset => Task update received? UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: LBT4.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Lifeboat <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s S S S S S S F F S => GOAL ID: LBT7.0 => MISSION SEGMENT: Transit => ORDERS: => Request Guidance? => Need updated position UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: LBT2.0 <= MISSION SEGMENT: Transit <= ORDERS: <= Transit to search area <= Proceed to estimated position WHICH (counting starting with initial phase = step # 1) was previously visited at step # 2 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S F S S F => GOAL ID: LBT5.0 => MISSION SEGMENT: Mission Finish => ORDERS: => Check relieved by other asset => Task update received? UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: LBT4.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Lifeboat <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s S S S S S F S F S => GOAL ID: LBT7.0 => MISSION SEGMENT: Transit => ORDERS: => Request Guidance? => Need updated position UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: LBT2.0 <= MISSION SEGMENT: Transit <= ORDERS: <= Transit to search area <= Proceed to estimated position WHICH (counting starting with initial phase = step # 1) was previously visited at step # 2 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S F F S F => GOAL ID: LBT5.0 => MISSION SEGMENT: Mission Finish => ORDERS: => Check relieved by other asset => Task update received? UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: LBT4.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Lifeboat <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s S S S S S F F F S => GOAL ID: LBT7.0 => MISSION SEGMENT: Transit => ORDERS: => Request Guidance? => Need updated position UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: LBT2.0 <= MISSION SEGMENT: Transit <= ORDERS: <= Transit to search area <= Proceed to estimated position WHICH (counting starting with initial phase = step # 1) was previously visited at step # 2 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s F S S S F => GOAL ID: LBT5.0 => MISSION SEGMENT: Mission Finish => ORDERS: => Check relieved by other asset => Task update received? UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: LBT4.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Lifeboat <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s S S S S F S S F S => GOAL ID: LBT7.0 => MISSION SEGMENT: Transit => ORDERS: => Request Guidance? => Need updated position UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: LBT2.0 <= MISSION SEGMENT: Transit <= ORDERS: <= Transit to search area <= Proceed to estimated position WHICH (counting starting with initial phase = step # 1) was previously visited at step # 2 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s F S F S F => GOAL ID: LBT5.0 => MISSION SEGMENT: Mission Finish => ORDERS: => Check relieved by other asset => Task update received? UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: LBT4.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Lifeboat <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s S S S S F S F F S => GOAL ID: LBT7.0 => MISSION SEGMENT: Transit => ORDERS: => Request Guidance? => Need updated position UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: LBT2.0 <= MISSION SEGMENT: Transit <= ORDERS: <= Transit to search area <= Proceed to estimated position WHICH (counting starting with initial phase = step # 1) was previously visited at step # 2 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s F F S S F => GOAL ID: LBT5.0 => MISSION SEGMENT: Mission Finish => ORDERS: => Check relieved by other asset => Task update received? UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: LBT4.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Lifeboat <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s S S S S F F S F S => GOAL ID: LBT7.0 => MISSION SEGMENT: Transit => ORDERS: => Request Guidance? => Need updated position UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: LBT2.0 <= MISSION SEGMENT: Transit <= ORDERS: <= Transit to search area <= Proceed to estimated position WHICH (counting starting with initial phase = step # 1) was previously visited at step # 2 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s F F F S F => GOAL ID: LBT5.0 => MISSION SEGMENT: Mission Finish => ORDERS: => Check relieved by other asset => Task update received? UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: LBT4.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Lifeboat <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s S S S S F F F F S => GOAL ID: LBT7.0 => MISSION SEGMENT: Transit => ORDERS: => Request Guidance? => Need updated position UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: LBT2.0 <= MISSION SEGMENT: Transit <= ORDERS: <= Transit to search area <= Proceed to estimated position WHICH (counting starting with initial phase = step # 1) was previously visited at step # 2 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s f S S S S F => GOAL ID: LBT5.0 => MISSION SEGMENT: Mission Finish => ORDERS: => Check relieved by other asset => Task update received? UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: LBT4.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Lifeboat <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s S S S F S S S F S => GOAL ID: LBT7.0 => MISSION SEGMENT: Transit => ORDERS: => Request Guidance? => Need updated position UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: LBT2.0 <= MISSION SEGMENT: Transit <= ORDERS: <= Transit to search area <= Proceed to estimated position WHICH (counting starting with initial phase = step # 1) was previously visited at step # 2 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s f S S F S F => GOAL ID: LBT5.0 => MISSION SEGMENT: Mission Finish => ORDERS: => Check relieved by other asset => Task update received? UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: LBT4.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Lifeboat <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s S S S F S S F F S => GOAL ID: LBT7.0 => MISSION SEGMENT: Transit => ORDERS: => Request Guidance? => Need updated position UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: LBT2.0 <= MISSION SEGMENT: Transit <= ORDERS: <= Transit to search area <= Proceed to estimated position WHICH (counting starting with initial phase = step # 1) was previously visited at step # 2 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s f S F S S F => GOAL ID: LBT5.0 => MISSION SEGMENT: Mission Finish => ORDERS: => Check relieved by other asset => Task update received? UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: LBT4.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Lifeboat <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s S S S F S F S F S => GOAL ID: LBT7.0 => MISSION SEGMENT: Transit => ORDERS: => Request Guidance? => Need updated position UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: LBT2.0 <= MISSION SEGMENT: Transit <= ORDERS: <= Transit to search area <= Proceed to estimated position WHICH (counting starting with initial phase = step # 1) was previously visited at step # 2 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s f S F F S F => GOAL ID: LBT5.0 => MISSION SEGMENT: Mission Finish => ORDERS: => Check relieved by other asset => Task update received? UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: LBT4.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Lifeboat <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s S S S F S F F F S => GOAL ID: LBT7.0 => MISSION SEGMENT: Transit => ORDERS: => Request Guidance? => Need updated position UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: LBT2.0 <= MISSION SEGMENT: Transit <= ORDERS: <= Transit to search area <= Proceed to estimated position WHICH (counting starting with initial phase = step # 1) was previously visited at step # 2 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s f F S S S F => GOAL ID: LBT5.0 => MISSION SEGMENT: Mission Finish => ORDERS: => Check relieved by other asset => Task update received? UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: LBT4.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Lifeboat <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s S S S F F S S F S => GOAL ID: LBT7.0 => MISSION SEGMENT: Transit => ORDERS: => Request Guidance? => Need updated position UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: LBT2.0 <= MISSION SEGMENT: Transit <= ORDERS: <= Transit to search area <= Proceed to estimated position WHICH (counting starting with initial phase = step # 1) was previously visited at step # 2 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s f F S F S F => GOAL ID: LBT5.0 => MISSION SEGMENT: Mission Finish => ORDERS: => Check relieved by other asset => Task update received? UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: LBT4.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Lifeboat <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s S S S F F S F F S => GOAL ID: LBT7.0 => MISSION SEGMENT: Transit => ORDERS: => Request Guidance? => Need updated position UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: LBT2.0 <= MISSION SEGMENT: Transit <= ORDERS: <= Transit to search area <= Proceed to estimated position WHICH (counting starting with initial phase = step # 1) was previously visited at step # 2 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s f F F S S F => GOAL ID: LBT5.0 => MISSION SEGMENT: Mission Finish => ORDERS: => Check relieved by other asset => Task update received? UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: LBT4.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Lifeboat <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s S S S F F F S F S => GOAL ID: LBT7.0 => MISSION SEGMENT: Transit => ORDERS: => Request Guidance? => Need updated position UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: LBT2.0 <= MISSION SEGMENT: Transit <= ORDERS: <= Transit to search area <= Proceed to estimated position WHICH (counting starting with initial phase = step # 1) was previously visited at step # 2 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s f F F F S F => GOAL ID: LBT5.0 => MISSION SEGMENT: Mission Finish => ORDERS: => Check relieved by other asset => Task update received? UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: LBT4.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Lifeboat <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s S S S F F F F F S => GOAL ID: LBT7.0 => MISSION SEGMENT: Transit => ORDERS: => Request Guidance? => Need updated position UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: LBT2.0 <= MISSION SEGMENT: Transit <= ORDERS: <= Transit to search area <= Proceed to estimated position WHICH (counting starting with initial phase = step # 1) was previously visited at step # 2 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s f S S S S F => GOAL ID: LBT5.0 => MISSION SEGMENT: Mission Finish => ORDERS: => Check relieved by other asset => Task update received? UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: LBT4.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Lifeboat <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 5 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s S S F S S S F S => GOAL ID: LBT7.0 => MISSION SEGMENT: Transit => ORDERS: => Request Guidance? => Need updated position UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: LBT2.0 <= MISSION SEGMENT: Transit <= ORDERS: <= Transit to search area <= Proceed to estimated position WHICH (counting starting with initial phase = step # 1) was previously visited at step # 2 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s f S S F S F => GOAL ID: LBT5.0 => MISSION SEGMENT: Mission Finish => ORDERS: => Check relieved by other asset => Task update received? UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: LBT4.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Lifeboat <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 5 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s S S F S S F F S => GOAL ID: LBT7.0 => MISSION SEGMENT: Transit => ORDERS: => Request Guidance? => Need updated position UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: LBT2.0 <= MISSION SEGMENT: Transit <= ORDERS: <= Transit to search area <= Proceed to estimated position WHICH (counting starting with initial phase = step # 1) was previously visited at step # 2 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s f S F S S F => GOAL ID: LBT5.0 => MISSION SEGMENT: Mission Finish => ORDERS: => Check relieved by other asset => Task update received? UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: LBT4.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Lifeboat <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 5 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s S S F S F S F S => GOAL ID: LBT7.0 => MISSION SEGMENT: Transit => ORDERS: => Request Guidance? => Need updated position UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: LBT2.0 <= MISSION SEGMENT: Transit <= ORDERS: <= Transit to search area <= Proceed to estimated position WHICH (counting starting with initial phase = step # 1) was previously visited at step # 2 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s f S F F S F => GOAL ID: LBT5.0 => MISSION SEGMENT: Mission Finish => ORDERS: => Check relieved by other asset => Task update received? UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: LBT4.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Lifeboat <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 5 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s S S F S F F F S => GOAL ID: LBT7.0 => MISSION SEGMENT: Transit => ORDERS: => Request Guidance? => Need updated position UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: LBT2.0 <= MISSION SEGMENT: Transit <= ORDERS: <= Transit to search area <= Proceed to estimated position WHICH (counting starting with initial phase = step # 1) was previously visited at step # 2 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s f F S S S F => GOAL ID: LBT5.0 => MISSION SEGMENT: Mission Finish => ORDERS: => Check relieved by other asset => Task update received? UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: LBT4.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Lifeboat <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 5 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s S S F F S S F S => GOAL ID: LBT7.0 => MISSION SEGMENT: Transit => ORDERS: => Request Guidance? => Need updated position UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: LBT2.0 <= MISSION SEGMENT: Transit <= ORDERS: <= Transit to search area <= Proceed to estimated position WHICH (counting starting with initial phase = step # 1) was previously visited at step # 2 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s f F S F S F => GOAL ID: LBT5.0 => MISSION SEGMENT: Mission Finish => ORDERS: => Check relieved by other asset => Task update received? UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: LBT4.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Lifeboat <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 5 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s S S F F S F F S => GOAL ID: LBT7.0 => MISSION SEGMENT: Transit => ORDERS: => Request Guidance? => Need updated position UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: LBT2.0 <= MISSION SEGMENT: Transit <= ORDERS: <= Transit to search area <= Proceed to estimated position WHICH (counting starting with initial phase = step # 1) was previously visited at step # 2 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s f F F S S F => GOAL ID: LBT5.0 => MISSION SEGMENT: Mission Finish => ORDERS: => Check relieved by other asset => Task update received? UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: LBT4.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Lifeboat <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 5 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s S S F F F S F S => GOAL ID: LBT7.0 => MISSION SEGMENT: Transit => ORDERS: => Request Guidance? => Need updated position UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: LBT2.0 <= MISSION SEGMENT: Transit <= ORDERS: <= Transit to search area <= Proceed to estimated position WHICH (counting starting with initial phase = step # 1) was previously visited at step # 2 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s f F F F S F => GOAL ID: LBT5.0 => MISSION SEGMENT: Mission Finish => ORDERS: => Check relieved by other asset => Task update received? UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: LBT4.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Lifeboat <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 5 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s S S F F F F F S => GOAL ID: LBT7.0 => MISSION SEGMENT: Transit => ORDERS: => Request Guidance? => Need updated position UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: LBT2.0 <= MISSION SEGMENT: Transit <= ORDERS: <= Transit to search area <= Proceed to estimated position WHICH (counting starting with initial phase = step # 1) was previously visited at step # 2 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s S F => GOAL ID: LBT3.0 => MISSION SEGMENT: Locate => ORDERS: => Locate Lifeboat => Follow best search pattern UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: LBT2.0 <= MISSION SEGMENT: Transit <= ORDERS: <= Transit to search area <= Proceed to estimated position WHICH (counting starting with initial phase = step # 1) was previously visited at step # 2 1363 paths tested, of which 49 contain infinite loops. Exhaustively testing mission: C:\x-nps-gitlab\EthicalControl\missions\avcl\PiratesSeizingMerchantDefense.xml INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S S => GOAL ID: PSMD35.1 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Pirates retreat? => Stay with merchant, report if response changes UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S S S => GOAL ID: PSMD41.1 => MISSION SEGMENT: Counter Attack => ORDERS: => Pirates retreat? => Stay with merchant, report if response changes UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F S S S S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F S S S S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S S F S S S S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S S F S S S S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F S S S F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F S S S F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S S F S S S F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S S F S S S F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F S S F S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F S S F S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S S F S S F S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S S F S S F S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F S S F F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F S S F F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S S F S S F F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S S F S S F F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F S F S S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F S F S S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S S F S F S S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S S F S F S S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F S F S F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F S F S F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S S F S F S F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S S F S F S F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F S F F S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F S F F S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S S F S F F S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S S F S F F S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F S F F F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F S F F F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S S F S F F F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S S F S F F F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F F S S S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F F S S S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S S F F S S S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S S F F S S S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F F S S F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F F S S F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S S F F S S F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S S F F S S F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F F S F S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F F S F S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S S F F S F S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S S F F S F S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F F S F F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F F S F F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S S F F S F F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S S F F S F F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F F F S S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F F F S S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S S F F F S S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S S F F F S S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F F F S F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F F F S F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S S F F F S F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S S F F F S F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F F F F S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F F F F S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S S F F F F S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S S F F F F S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F F F F F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F F F F F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S S F F F F F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S S F F F F F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S S F X S => GOAL ID: PSMD42.0 => MISSION SEGMENT: Counter Attack => ORDERS: => Low or no ammunition: need to disengage? => Hold ammunition in reseve, or else fight to the finish UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F X F S S S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F X F S S S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S S F X F S S S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S S F X F S S S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F X F S S F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F X F S S F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S S F X F S S F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S S F X F S S F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F X F S F S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F X F S F S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S S F X F S F S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S S F X F S F S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F X F S F F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F X F S F F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S S F X F S F F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S S F X F S F F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F X F F S S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F X F F S S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S S F X F F S S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S S F X F F S S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F X F F S F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F X F F S F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S S F X F F S F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S S F X F F S F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F X F F F S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F X F F F S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S S F X F F F S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S S F X F F F S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F X F F F F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S S F X F F F F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S S F X F F F F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S S F X F F F F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S S F X X S => GOAL ID: PSMD90.0 => MISSION SEGMENT: Mission Finish => ORDERS: => Check relieved by other asset => Continue tracking merchant unless further task update recieved UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S S F X X F => GOAL ID: PSMD90.0 => MISSION SEGMENT: Mission Finish => ORDERS: => Check relieved by other asset => Continue tracking merchant unless further task update recieved UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S F S => GOAL ID: PSMD41.1 => MISSION SEGMENT: Counter Attack => ORDERS: => Pirates retreat? => Stay with merchant, report if response changes UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F S S S S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F S S S S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S F F S S S S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S F F S S S S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F S S S F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F S S S F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S F F S S S F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S F F S S S F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F S S F S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F S S F S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S F F S S F S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S F F S S F S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F S S F F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F S S F F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S F F S S F F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S F F S S F F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F S F S S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F S F S S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S F F S F S S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S F F S F S S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F S F S F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F S F S F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S F F S F S F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S F F S F S F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F S F F S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F S F F S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S F F S F F S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S F F S F F S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F S F F F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F S F F F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S F F S F F F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S F F S F F F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F F S S S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F F S S S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S F F F S S S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S F F F S S S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F F S S F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F F S S F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S F F F S S F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S F F F S S F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F F S F S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F F S F S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S F F F S F S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S F F F S F S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F F S F F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F F S F F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S F F F S F F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S F F F S F F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F F F S S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F F F S S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S F F F F S S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S F F F F S S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F F F S F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F F F S F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S F F F F S F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S F F F F S F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F F F F S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F F F F S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S F F F F F S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S F F F F F S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F F F F F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F F F F F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S F F F F F F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S F F F F F F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S F F X S => GOAL ID: PSMD42.0 => MISSION SEGMENT: Counter Attack => ORDERS: => Low or no ammunition: need to disengage? => Hold ammunition in reseve, or else fight to the finish UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F X F S S S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F X F S S S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S F F X F S S S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S F F X F S S S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F X F S S F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F X F S S F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S F F X F S S F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S F F X F S S F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F X F S F S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F X F S F S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S F F X F S F S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S F F X F S F S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F X F S F F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F X F S F F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S F F X F S F F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S F F X F S F F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F X F F S S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F X F F S S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S F F X F F S S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S F F X F F S S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F X F F S F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F X F F S F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S F F X F F S F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S F F X F F S F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F X F F F S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F X F F F S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S F F X F F F S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S F F X F F F S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F X F F F F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S S F F X F F F F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S S F F X F F F F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S F F X F F F F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S F F X X S => GOAL ID: PSMD90.0 => MISSION SEGMENT: Mission Finish => ORDERS: => Check relieved by other asset => Continue tracking merchant unless further task update recieved UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S S F F X X F => GOAL ID: PSMD90.0 => MISSION SEGMENT: Mission Finish => ORDERS: => Check relieved by other asset => Continue tracking merchant unless further task update recieved UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F S S => GOAL ID: PSMD41.1 => MISSION SEGMENT: Counter Attack => ORDERS: => Pirates retreat? => Stay with merchant, report if response changes UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F S S S S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F S S S S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F S F S S S S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F S F S S S S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F S S S F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F S S S F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F S F S S S F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F S F S S S F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F S S F S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F S S F S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F S F S S F S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F S F S S F S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F S S F F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F S S F F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F S F S S F F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F S F S S F F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F S F S S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F S F S S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F S F S F S S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F S F S F S S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F S F S F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F S F S F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F S F S F S F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F S F S F S F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F S F F S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F S F F S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F S F S F F S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F S F S F F S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F S F F F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F S F F F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F S F S F F F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F S F S F F F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F F S S S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F F S S S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F S F F S S S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F S F F S S S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F F S S F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F F S S F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F S F F S S F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F S F F S S F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F F S F S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F F S F S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F S F F S F S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F S F F S F S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F F S F F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F F S F F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F S F F S F F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F S F F S F F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F F F S S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F F F S S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F S F F F S S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F S F F F S S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F F F S F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F F F S F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F S F F F S F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F S F F F S F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F F F F S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F F F F S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F S F F F F S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F S F F F F S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F F F F F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F F F F F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F S F F F F F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F S F F F F F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F S F X S => GOAL ID: PSMD42.0 => MISSION SEGMENT: Counter Attack => ORDERS: => Low or no ammunition: need to disengage? => Hold ammunition in reseve, or else fight to the finish UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F X F S S S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F X F S S S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F S F X F S S S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F S F X F S S S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F X F S S F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F X F S S F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F S F X F S S F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F S F X F S S F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F X F S F S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F X F S F S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F S F X F S F S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F S F X F S F S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F X F S F F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F X F S F F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F S F X F S F F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F S F X F S F F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F X F F S S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F X F F S S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F S F X F F S S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F S F X F F S S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F X F F S F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F X F F S F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F S F X F F S F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F S F X F F S F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F X F F F S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F X F F F S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F S F X F F F S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F S F X F F F S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F X F F F F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F S F X F F F F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F S F X F F F F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F S F X F F F F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F S F X X S => GOAL ID: PSMD90.0 => MISSION SEGMENT: Mission Finish => ORDERS: => Check relieved by other asset => Continue tracking merchant unless further task update recieved UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F S F X X F => GOAL ID: PSMD90.0 => MISSION SEGMENT: Mission Finish => ORDERS: => Check relieved by other asset => Continue tracking merchant unless further task update recieved UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F F S => GOAL ID: PSMD41.1 => MISSION SEGMENT: Counter Attack => ORDERS: => Pirates retreat? => Stay with merchant, report if response changes UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F S S S S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F S S S S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F F F S S S S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F F F S S S S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F S S S F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F S S S F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F F F S S S F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F F F S S S F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F S S F S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F S S F S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F F F S S F S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F F F S S F S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F S S F F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F S S F F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F F F S S F F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F F F S S F F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F S F S S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F S F S S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F F F S F S S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F F F S F S S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F S F S F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F S F S F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F F F S F S F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F F F S F S F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F S F F S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F S F F S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F F F S F F S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F F F S F F S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F S F F F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F S F F F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F F F S F F F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F F F S F F F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F F S S S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F F S S S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F F F F S S S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F F F F S S S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F F S S F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F F S S F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F F F F S S F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F F F F S S F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F F S F S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F F S F S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F F F F S F S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F F F F S F S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F F S F F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F F S F F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F F F F S F F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F F F F S F F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F F F S S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F F F S S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F F F F F S S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F F F F F S S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F F F S F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F F F S F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F F F F F S F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F F F F F S F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F F F F S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F F F F S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F F F F F F S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F F F F F F S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F F F F F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F F F F F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F F F F F F F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F F F F F F F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F F F X S => GOAL ID: PSMD42.0 => MISSION SEGMENT: Counter Attack => ORDERS: => Low or no ammunition: need to disengage? => Hold ammunition in reseve, or else fight to the finish UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F X F S S S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F X F S S S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F F F X F S S S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F F F X F S S S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F X F S S F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F X F S S F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F F F X F S S F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F F F X F S S F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F X F S F S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F X F S F S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F F F X F S F S F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F F F X F S F S X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F X F S F F S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F X F S F F S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s s s s s s s s s s s s s S F S F F F X F S F F F => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD35.0 <= MISSION SEGMENT: Hostilities Imminent <= ORDERS: <= Observe pirate response <= Monitor and report back to own ship WHICH (counting starting with initial phase = step # 1) was previously visited at step # 24 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s S S S S S S S S S S S S S S S S S S S F S F F F X F S F F X => GOAL ID: PSMD36.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Check posture changed? => Task update received UPON OUTCOME x, LOOPS BACK TO: <= GOAL ID: PSMD14.0 <= MISSION SEGMENT: Track <= ORDERS: <= Track Merchant <= Monitor and communicate WHICH (counting starting with initial phase = step # 1) was previously visited at step # 6 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F X F F S S S S => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME s, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 INFINITE LOOP DETECTED, CAUSED BY OUTCOME SEQUENCE: s s s s s s s s s s s S S S S S S S S S S S S S F S F F F X F F S S S F => GOAL ID: PSMD37.0 => MISSION SEGMENT: Hostilities Imminent => ORDERS: => Fire Warning Shot => Warning shots remain an available option for human commanders. Lethal force is authorized. UPON OUTCOME f, LOOPS BACK TO: <= GOAL ID: PSMD31.0 <= MISSION SEGMENT: Warning <= ORDERS: <= Confirm Mission Authorities <= Check constraints and defensive responses WHICH (counting starting with initial phase = step # 1) was previously visited at step # 12 Aborted early, after 2000 paths tested, of which 385 contain infinite loops. Exhaustively testing mission: C:\x-nps-gitlab\EthicalControl\missions\avcl\SailorOverboard.xml 81 paths tested; no infinite loops. ============================== SUCCEEDED IN EXHAUSTIVELY TESTING 5 OF THE STANDARD LIBRARY MISSIONS: ========================= C:\x-nps-gitlab\EthicalControl\missions\avcl\HospitalShipEmDecoy1.Opponent.xml C:\x-nps-gitlab\EthicalControl\missions\avcl\HospitalShipEmDecoy2.Defender.SenseDecideAct.xml C:\x-nps-gitlab\EthicalControl\missions\avcl\HospitalShipEmDecoy3.Defender.EthicalControlOODA.xml C:\x-nps-gitlab\EthicalControl\missions\avcl\LifeboatTracking.xml C:\x-nps-gitlab\EthicalControl\missions\avcl\SailorOverboard.xml ================ FAILED TO EXHAUSTIVELY TEST 1 OF THE STANDARD LIBRARY MISSIONS DUE TO TIMEOUT OR USER ABORT: ================ C:\x-nps-gitlab\EthicalControl\missions\avcl\PiratesSeizingMerchantDefense.xml clean: zip: Building zip: C:\x-nps-gitlab\EthicalControl\EthicalControlArchive.zip all: BUILD SUCCESSFUL (total time: 43 seconds)