Index: fedd/abac-src/ttg/test/Alice.xml
===================================================================
--- fedd/abac-src/ttg/test/Alice.xml	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
+++ fedd/abac-src/ttg/test/Alice.xml	(revision 8780cbecc6db2bdc2b9ef31eec6e5209ad3bff15)
@@ -0,0 +1,123 @@
+<?xml version="1.0"?>
+<Negotiation>
+<Observation count="1">
+location = remote</Observation>
+
+<Observation count="2">
+<NodeOperation type="root">
+<TrustTarget>GENI: GENI.CTFaccess &lt;&lt;-?- Alice</TrustTarget>
+<ProcessingState>Opponent Processed</ProcessingState>
+</NodeOperation>
+</Observation>
+
+<!--updating from TTG-->
+<!--updating from TTG-->
+<Observation count="3">
+<EdgeOperation type="Implication" newChild="true">
+<Parent>
+GENI: GENI.CTFaccess &lt;&lt;-?- Alice</Parent>
+<Child>
+GENI: ACM.CTFrep.CTFcontestant &lt;&lt;-?- Alice</Child>
+<ProcessingState>Opponent Processed</ProcessingState>
+</EdgeOperation>
+</Observation>
+
+<!--updating from TTG-->
+<Observation count="4">
+<NodeOperation>
+<TrustTarget>GENI: GENI.CTFaccess &lt;&lt;-?- Alice</TrustTarget>
+<ProcessingState>Verifier Processed</ProcessingState>
+</NodeOperation>
+</Observation>
+
+<Observation count="5">
+<EdgeOperation type="LinkingMonitor" newChild="true">
+<Parent>
+GENI: ACM.CTFrep.CTFcontestant &lt;&lt;-?- Alice</Parent>
+<Child>
+GENI: ?X.CTFcontestant &lt;&lt;-?- Alice</Child>
+<ProcessingState>Verifier Processed</ProcessingState>
+</EdgeOperation>
+</Observation>
+
+<!--updating from TTG-->
+<Observation count="6">
+<EdgeOperation type="LinkingSolution" newChild="true">
+<Parent>
+GENI: ?X.CTFcontestant &lt;&lt;-?- Alice</Parent>
+<Child>
+GENI: USC.CTFcontestant &lt;&lt;-?- Alice</Child>
+<ProcessingState>Verifier Processed</ProcessingState>
+</EdgeOperation>
+</Observation>
+
+<!--updating from TTG-->
+<Observation count="7">
+<NodeOperation>
+<TrustTarget>GENI: ?X.CTFcontestant &lt;&lt;-?- Alice</TrustTarget>
+<ProcessingState>Opponent Processed</ProcessingState>
+</NodeOperation>
+</Observation>
+
+<Observation count="8">
+<EdgeOperation type="Implication" newChild="true">
+<Parent>
+GENI: USC.CTFcontestant &lt;&lt;-?- Alice</Parent>
+<Child>
+GENI: Alice &lt;&lt;-?- Alice</Child>
+<ProcessingState>Fully Processed</ProcessingState>
+</EdgeOperation>
+</Observation>
+
+<!--updating from TTG-->
+<Observation count="9">
+<StandardTarget>
+GENI: USC.CTFcontestant &lt;&lt;-?- Alice<ProcessingState>Verifier Processed</ProcessingState>
+<SatisfactionState>satisfied</SatisfactionState>
+</StandardTarget>
+<SatisfactionState>satisfied</SatisfactionState>
+</Observation>
+
+<Observation count="10">
+<NodeOperation>
+<TrustTarget>GENI: USC.CTFcontestant &lt;&lt;-?- Alice</TrustTarget>
+<ProcessingState>Opponent Processed</ProcessingState>
+</NodeOperation>
+</Observation>
+
+<Observation count="11">
+<?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">
+<Evidence>
+<!-- credential count = 1 -->
+USC.CTFcontestant<-Alice
+</Evidence>
+<!--Operation no. 1-->
+<EdgeOperation type="LinkingSolution" newChild="true">
+<Parent>
+GENI: ?X.CTFcontestant &lt;&lt;-?- Alice</Parent>
+<Child>
+GENI: USC.CTFcontestant &lt;&lt;-?- Alice</Child>
+<ProcessingState>Verifier Processed</ProcessingState>
+</EdgeOperation>
+<!--Operation no. 2-->
+<NodeOperation>
+<TrustTarget>GENI: ?X.CTFcontestant &lt;&lt;-?- Alice</TrustTarget>
+<ProcessingState>Opponent Processed</ProcessingState>
+</NodeOperation>
+<!--Operation no. 3-->
+<EdgeOperation type="Implication" newChild="true">
+<Parent>
+GENI: USC.CTFcontestant &lt;&lt;-?- Alice</Parent>
+<Child>
+GENI: Alice &lt;&lt;-?- Alice</Child>
+<ProcessingState>Fully Processed</ProcessingState>
+</EdgeOperation>
+<!--Operation no. 4-->
+<NodeOperation>
+<TrustTarget>GENI: USC.CTFcontestant &lt;&lt;-?- Alice</TrustTarget>
+<ProcessingState>Opponent Processed</ProcessingState>
+</NodeOperation>
+</Message>
+</Observation>
+
