Index: fedd/abac-src/ttg/test/USSH.xml
===================================================================
--- fedd/abac-src/ttg/test/USSH.xml	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
+++ fedd/abac-src/ttg/test/USSH.xml	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
@@ -0,0 +1,177 @@
+<?xml version="1.0"?>
+<Negotiation>
+<Observation count="1">
+location = remote</Observation>
+
+<Observation count="2">
+<NodeOperation type="root">
+<TrustTarget>SAdmir: SAdmir.getsSLocs &lt;&lt;-?- USSH</TrustTarget>
+<ProcessingState>Opponent Processed</ProcessingState>
+</NodeOperation>
+</Observation>
+
+<!--updating from TTG-->
+<!--updating from TTG-->
+<Observation count="3">
+<EdgeOperation type="Implication" newChild="true">
+<Parent>
+SAdmir: SAdmir.getsSLocs &lt;&lt;-?- USSH</Parent>
+<Child>
+SAdmir: SAdmir.friendlyUsr ^ SAdmir.needsSLocs &lt;&lt;-?- USSH</Child>
+<ProcessingState>Opponent Processed</ProcessingState>
+</EdgeOperation>
+</Observation>
+
+<!--updating from TTG-->
+<Observation count="4">
+<NodeOperation>
+<TrustTarget>SAdmir: SAdmir.getsSLocs &lt;&lt;-?- USSH</TrustTarget>
+<ProcessingState>Verifier Processed</ProcessingState>
+</NodeOperation>
+</Observation>
+
+<Observation count="5">
+<EdgeOperation type="Intersection" newChild="true">
+<Parent>
+SAdmir: SAdmir.friendlyUsr ^ SAdmir.needsSLocs &lt;&lt;-?- USSH</Parent>
+<Child>
+SAdmir: SAdmir.friendlyUsr &lt;&lt;-?- USSH</Child>
+<ProcessingState>Opponent Processed</ProcessingState>
+</EdgeOperation>
+</Observation>
+
+<!--updating from TTG-->
+<Observation count="6">
+<EdgeOperation type="Intersection" newChild="true">
+<Parent>
+SAdmir: SAdmir.friendlyUsr ^ SAdmir.needsSLocs &lt;&lt;-?- USSH</Parent>
+<Child>
+SAdmir: SAdmir.needsSLocs &lt;&lt;-?- USSH</Child>
+<ProcessingState>Opponent Processed</ProcessingState>
+</EdgeOperation>
+</Observation>
+
+<!--updating from TTG-->
+<Observation count="7">
+<EdgeOperation type="Implication" newChild="true">
+<Parent>
+SAdmir: SAdmir.friendlyUsr &lt;&lt;-?- USSH</Parent>
+<Child>
+SAdmir: SAdmir.friendly.usr &lt;&lt;-?- USSH</Child>
+<ProcessingState>Opponent Processed</ProcessingState>
+</EdgeOperation>
+</Observation>
+
+<!--updating from TTG-->
+<Observation count="8">
+<NodeOperation>
+<TrustTarget>SAdmir: SAdmir.friendlyUsr &lt;&lt;-?- USSH</TrustTarget>
+<ProcessingState>Verifier Processed</ProcessingState>
+</NodeOperation>
+</Observation>
+
+<Observation count="9">
+<EdgeOperation type="Implication" newChild="true">
+<Parent>
+SAdmir: SAdmir.needsSLocs &lt;&lt;-?- USSH</Parent>
+<Child>
+SAdmir: SAdmir.NRetTacCom.NRetTacUsr &lt;&lt;-?- USSH</Child>
+<ProcessingState>Opponent Processed</ProcessingState>
+</EdgeOperation>
+</Observation>
+
+<!--updating from TTG-->
+<Observation count="10">
+<NodeOperation>
+<TrustTarget>SAdmir: SAdmir.needsSLocs &lt;&lt;-?- USSH</TrustTarget>
+<ProcessingState>Verifier Processed</ProcessingState>
+</NodeOperation>
+</Observation>
+
+<Observation count="11">
+<EdgeOperation type="Implication" newChild="true">
+<Parent>
+SAdmir: SAdmir.friendly.usr &lt;&lt;-?- USSH</Parent>
+<Child>
+SAdmir: US.usr &lt;&lt;-?- USSH</Child>
+<ProcessingState>Verifier Processed</ProcessingState>
+</EdgeOperation>
+</Observation>
+
+<!--updating from TTG-->
+<Observation count="12">
+<NodeOperation>
+<TrustTarget>SAdmir: SAdmir.friendly.usr &lt;&lt;-?- USSH</TrustTarget>
+<ProcessingState>Verifier Processed</ProcessingState>
+</NodeOperation>
+</Observation>
+
+<Observation count="13">
+<EdgeOperation type="LinkingMonitor" newChild="true">
+<Parent>
+SAdmir: SAdmir.NRetTacCom.NRetTacUsr &lt;&lt;-?- USSH</Parent>
+<Child>
+SAdmir: ?X.NRetTacUsr &lt;&lt;-?- USSH</Child>
+<ProcessingState>Verifier Processed</ProcessingState>
+</EdgeOperation>
+</Observation>
+
+<!--updating from TTG-->
+<Observation count="14">
+<StandardTarget>
+SAdmir: US.usr &lt;&lt;-?- USSH<ProcessingState>Fully Processed</ProcessingState>
+<SatisfactionState>failed</SatisfactionState>
+</StandardTarget>
+<SatisfactionState>failed</SatisfactionState>
+</Observation>
+
+<Observation count="15">
+<LinkedTarget>
+SAdmir: SAdmir.friendly.usr &lt;&lt;-?- USSH<ProcessingState>Fully Processed</ProcessingState>
+<SatisfactionState>failed</SatisfactionState>
+</LinkedTarget>
+<SatisfactionState>failed</SatisfactionState>
+</Observation>
+
+<Observation count="16">
+<StandardTarget>
+SAdmir: SAdmir.friendlyUsr &lt;&lt;-?- USSH<ProcessingState>Fully Processed</ProcessingState>
+<SatisfactionState>failed</SatisfactionState>
+</StandardTarget>
+<SatisfactionState>failed</SatisfactionState>
+</Observation>
+
+<Observation count="17">
+<Intersection>
+SAdmir: SAdmir.friendlyUsr ^ SAdmir.needsSLocs &lt;&lt;-?- USSH<ProcessingState>Opponent Processed</ProcessingState>
+<SatisfactionState>failed</SatisfactionState>
+</Intersection>
+<SatisfactionState>failed</SatisfactionState>
+</Observation>
+
+<Observation count="18">
+<StandardTarget>
+SAdmir: SAdmir.getsSLocs &lt;&lt;-?- USSH<ProcessingState>Fully Processed</ProcessingState>
+<SatisfactionState>failed</SatisfactionState>
+</StandardTarget>
+<SatisfactionState>failed</SatisfactionState>
+</Observation>
+
+<Observation count="19">
+<NodeOperation>
+<TrustTarget>SAdmir: US.usr &lt;&lt;-?- USSH</TrustTarget>
+<ProcessingState>Opponent Processed</ProcessingState>
+</NodeOperation>
+</Observation>
+
+<Observation count="20">
+<?xml version="1.0" encoding="ISO-8859-1"?>
+<Message xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="http://isrl.cs.byu.edu/xsd/message.xsd">
+<!--Operation no. 1-->
+<NodeOperation>
+<TrustTarget>SAdmir: US.usr &lt;&lt;-?- USSH</TrustTarget>
+<ProcessingState>Opponent Processed</ProcessingState>
+</NodeOperation>
+</Message>
+</Observation>
+
