File 1: Task Tree used for the Spill Cleaning protocol (XML format).
<model id="SPILL" description="Contaminated Blood Spill Treatment">
<task id="CONTAMINATION" description="Contaminated Blood Spill Treatment" warning="" status="not"
balance="0" resolution="0" closure="" type="user">
<and>
<task id="USERPOSITION" description="User's Correct Position" warning="" status="not" balance="0"
resolution="0" closure="" type="user">
<or>
<task id="INTERPOSING" description="User is Interposing" warning="Don't interpose between the spill and the air vents, is dangerous if you breath the gases" status="not" balance="0"
resolution="0" closure="" type="user"/>
<task id="NOTINTERPOSING" description="Don't interpose between the spill and the vents"
warning="" status="not" balance="0" resolution="0" closure="" type="user"/>
</or>
</task>
<task id="TREATSPILL" description="clean the Spill" warning="" status="not" balance="0" resolution="0"
closure="" type="user">
<seq>
<task id="BORDERSPILL" description="contain the spill in its borders" warning="" status="not"
balance="0" resolution="2" closure="" type="user">
<and>
<task id="FIRSTBORDER" description="contain the spill with something in the first border"
warning="" status="not" balance="1" resolution="0" closure="" type="user">
<or>
<task id="PLACESPONGEBORDER" description="place an absorbent sponge over the spill border" warning="" status="not" balance="0" resolution="0" closure=""
type="user"/>
<task id="PLACEPADBORDER" description="user places absorbent pad over the spill" warning="Using an absorbent pad for border won't be able to retain the spill"
status="not" balance="-1" resolution="0" closure="" type="user"/>
<task id="PLACEPAPERBORDER" description="user places absorbent paper over the spill" warning="Using an absorbent paper for border won't be able to retain the spill" status="not" balance="-1" resolution="0" closure="" type="user"/>
<task id="PLACEOBJECTBORDER" description="user places object over the spill"
warning="Using a non absorbent object for border won't be able to retain the spill"
status="not" balance="-1" resolution="0" closure="" type="user"/>
</or>
</task>
<task id="SECONDBORDER" description="contain the spill with something in the second border" warning="" status="not" balance="0" resolution="0" closure="" type="user">
<or>
<task id="PLACESPONGEBORDER" description="place an absorbent sponge over the spill border" warning="" status="not" balance="0" resolution="0" closure=""
type="user"/>
<task id="PLACEPADBORDER" description="user places absorbent pad over the spill" warning="Using an absorbent pad for border won't be able to retain the spill"
status="not" balance="-2" resolution="0" closure="" type="user"/>
<task id="PLACEPAPERBORDER" description="user places absorbent paper over the spill" warning="Using an absorbent paper for border won't be able to retain the spill"
status="not" balance="-2" resolution="0" closure="" type="user"/>
<task id="PLACEOBJECTBORDER" description="user places object over the spill"
warning="Using a non absorbent object for border won't be able to retain the spill"
status="not" balance="-2" resolution="0" closure="" type="user"/>
</or>
</task>
<task id="THIRDBORDER" description="contain the spill with something in the third border"
warning="" status="not" balance="0" resolution="0" closure="" type="user">
<or>
<task id="PLACESPONGEBORDER" description="place an absorbent sponge over the spill border" warning="" status="not" balance="0" resolution="0" closure=""
type="user"/>
<task id="PLACEPADBORDER" description="user places absorbent pad over the spill" warning="Using an absorbent pad for border won't be able to retain the spill"
status="not" balance="-2" resolution="0" closure="" type="user"/>
<task id="PLACEPAPERBORDER" description="user places absorbent paper over the spill" warning="Using an absorbent paper for border won't be able to retain the spill" status="not" balance="-2" resolution="0" closure="" type="user"/>
<task id="PLACEOBJECTBORDER" description="user places object over the spill"
warning="Using a non absorbent object for border won't be able to retain the spill"
status="not" balance="-3" resolution="0" closure="" type="user"/>
</or>
</task>
<task id="FOURTHBORDER" description="contain the spill with something in the fourth border" warning="" status="not" balance="0" resolution="0" closure="" type="user">
<or>
<task id="PLACESPONGEBORDER" description="place an absorbent sponge over the spill border" warning="" status="not" balance="0" resolution="0" closure=""
type="user"/>
<task id="PLACEPADBORDER" description="user places absorbent pad over the spill" warning="Using an absorbent pad for border won't be able to retain the spill"
status="not" balance="-2" resolution="0" closure="" type="user"/>
<task id="PLACEPAPERBORDER" description="user places absorbent paper over the spill" warning="Using an absorbent paper for border won't be able to retain the spill" status="not" balance="-2" resolution="0" closure="" type="user"/>
<task id="PLACEOBJECTBORDER" description="user places object over the spill"
warning="Using a non absorbent object for border won't be able to retain the spill"
status="not" balance="-3" resolution="0" closure="" type="user"/>
</or>
</task>
</and>
</task>
<task id="COVERSPILL" description="cover the spill for absorbing" warning="" status="not"
balance="0" resolution="0" closure="" type="user">
<seq>
<task id="COVERBORDERS" description="cover the spill borders" warning="" status="not"
balance="0" resolution="2" closure="" type="user">
<and>
<task id="COVERFIRSTBORDER" description="User deals with the first border"
warning="" status="not" balance="0" resolution="1" closure="" type="user">
<or>
<task id="PLACESPONGEBORDERFORCOVER" description="user places absorbent sponge over the spill for cover" warning="Using an absorbent sponge won't absorb well the spill" status="not" balance="-1" resolution="0"
closure="" type="user"/>
<task id="PLACEPADBORDERFORCOVER" description="user places absorbent pad over the spill border for cover" warning="Using an absorbent
pad won't absorb well the spill" status="not" balance="-1" resolution="0"
closure="" type="user"/>
<task id="PLACEPAPERBORDERFORCOVER" description="places an absorbent paper over the spill border for covering it" warning="" status="not"
balance="0" resolution="0" closure="" type="user"/>
<task id="PLACEOBJECTBORDERFORCOVER" description="user places object over the spill for cover" warning="Using an non absorbent object won't absorb the spill" status="not" balance="-2" resolution="0" closure=""
type="user"/>
</or>
</task>
<task id="COVERSECONDBORDER" description="User deals with the second border" warning="" status="not" balance="0" resolution="0" closure="" type="user">
<or>
<task id="PLACESPONGEBORDERFORCOVER" description="user places absorbent sponge over the spill for cover" warning="Using an absorbent sponge won't absorb well the spill" status="not" balance="-1" resolution="0"
closure="" type="user"/>
<task id="PLACEPADBORDERFORCOVER" description="user places absorbent pad over the spill for cover" warning="Using an absorbent pad won't absorb well the spill" status="not" balance="-1" resolution="0"
closure="" type="user"/>
<task id="PLACEPAPERBORDERFORCOVER" description="places an absorbent paper over the spill border for covering it" warning="" status="not"
balance="0" resolution="0" closure="" type="user"/>
<task id="PLACEOBJECTBORDERFORCOVER" description="user places object over the spill for cover" warning="Using an non absorbent object won't absorb the spill" status="not" balance="-2" resolution="0" closure=""
type="user"/>
</or>
</task>
<task id="COVERTHIRDBORDER" description="User deals with the third border"
warning="" status="not" balance="0" resolution="0" closure="" type="user">
<or>
<task id="PLACESPONGEBORDERFORCOVER" description="user places absorbent sponge over the spill for cover" warning="Using an absorbent sponge won't absorb well the spill" status="not" balance="-1" resolution="0"
closure="" type="user"/>
<task id="PLACEPADBORDERFORCOVER" description="user places absorbent pad over the spill for cover" warning="Using an absorbent pad won't absorb well the spill" status="not" balance="-1" resolution="0"
closure="" type="user"/>
<task id="PLACEPAPERBORDERFORCOVER" description="places an absorbent paper over the spill border for covering it" warning="" status="not"
balance="0" resolution="0" closure="" type="user"/>
<task id="PLACEOBJECTBORDERFORCOVER" description="user places object over the spill for cover" warning="Using an non absorbent object won't absorb the spill" status="not" balance="-2" resolution="0" closure=""
type="user"/>
</or>
</task>
<task id="COVERFOURTHBORDER" description="User deals with the fourth border" warning="" status="not" balance="0" resolution="0" closure="" type="user">
<or>
<task id="PLACESPONGEBORDERFORCOVER" description="user places absorbent sponge over the spill for cover" warning="Using an absorbent
sponge won't absorb well the spill" status="not" balance="-1" resolution="0"
closure="" type="user"/>
<task id="PLACEPADBORDERFORCOVER" description="user places absorbent pad over the spill for cover" warning="Using an absorbent pad won't absorb well the spill" status="not" balance="-1" resolution="0"
closure="" type="user"/>
<task id="PLACEPAPERBORDERFORCOVER" description="places an absorbent paper over the spill border for covering it" warning="" status="not"
balance="0" resolution="0" closure="" type="user"/>
<task id="PLACEOBJECTBORDERFORCOVER" description="user places object over the spill for cover" warning="Using an non absorbent object won't absorb the spill" status="not" balance="-2" resolution="0" closure=""
type="user"/>
</or>
</task>
</and>
</task>
<task id="COVERCENTER" description="cover the spill center" warning="" status="not"
balance="0" resolution="1" closure="" type="user">
<or>
<task id="PLACESPONGECENTER" description="user places absorbent sponge over the spill" warning="Using an absorbent sponge won't absorb well the spill"
status="not" balance="-1" resolution="0" closure="" type="user"/>
<task id="PLACEPADCENTER" description="user places absorbent pad over the spill" warning="Using an absorbent pad won't absorb well the spill" status="not"
balance="-1" resolution="0" closure="" type="user"/>
<task id="PLACEPAPERCENTER" description="places an absorbent paper over the spill center for covering it" warning="" status="not" balance="0" resolution="0"
closure="" type="user"/>
<task id="PLACEOBJECTCENTER" description="user places object over the spill"
warning="Using an non absorbent object won't absorb the spill" status="not"
balance="-2" resolution="0" closure="" type="user"/>
</or>
</task>
</seq>
</task>
<task id="DISINFECTSPILL" description="disinfect the spill" warning="" status="not" balance="0"
resolution="0" closure="" type="user">
<seq>
<task id="DISINFECTBORDERS" description="disinfect the spill covers in the border"
warning="" status="not" balance="0" resolution="0" closure="" type="user">
<and>
<task id="FIRSTCOVER" description="User disinfects the fist spill cover" warning=""
status="not" balance="1" resolution="0" closure="" type="user">
<or>
<task id="PLACEETHANOLBORDER" description="spray ethanol over the spill in circles" warning="" status="not" balance="0" resolution="0" closure=""
type="user"/>
<task id="PLACEISOPROPANOLBORDER" description="spray isopropanol over the spill in circles" warning="" status="not" balance="0" resolution="0"
closure="" type="user"/>
<task id="PLACEBLEACHBORDER" description="user places bleach over the cover" warning="Using bleach won't disinfect the spill" status="not" balance="-1" resolution="0" closure="" type="user"/>
<task id="PLACEDETERGENTBORDER" description="user places detergent over the cover" warning="Using detergent won't disinfect the spill" status="not"
balance="-1" resolution="0" closure="" type="user"/>
<task id="PLACEOBJECTBORDERDISINF" description="user places object over the cover" warning="Putting an object over the spill won't disinfect it"
status="not" balance="-2" resolution="0" closure="" type="user"/>
</or>
</task>
<task id="SECONDCOVER" description="User disinfects the second spill cover"
warning="" status="not" balance="0" resolution="0" closure="" type="user">
<or>
<task id="PLACEETHANOLBORDER" description="spray ethanol over the spill in circles" warning="" status="not" balance="0" resolution="0" closure=""
type="user"/>
<task id="PLACEISOPROPANOLBORDER" description="spray isopropanol over the spill in circles" warning="" status="not" balance="0" resolution="0"
closure="" type="user"/>
<task id="PLACEBLEACHBORDER" description="user places bleach over the cover" warning="Using bleach won't disinfect the spill" status="not"
balance="0" resolution="0" closure="" type="user"/>
<task id="PLACEDETERGENTBORDER" description="user places detergent over the cover" warning="Using detergent won't disinfect the spill" status="not"
balance="0" resolution="0" closure="" type="user"/>
<task id="PLACEOBJECTBORDERDISINF" description="user places object over the cover" warning="Putting an object over the spill won't disinfect it"
status="not" balance="0" resolution="0" closure="" type="user"/>
</or>
</task>
<task id="THIRDCOVER" description="User disinfects the third spill cover" warning=""
status="not" balance="0" resolution="0" closure="" type="user">
<or>
<task id="PLACEETHANOLBORDER" description="spray ethanol over the spill in circles" warning="" status="not" balance="0" resolution="0" closure=""
type="user"/>
<task id="PLACEISOPROPANOLBORDER" description="spray isopropanol over the spill in circles" warning="" status="not" balance="0" resolution="0"
closure="" type="user"/>
<task id="PLACEBLEACHBORDER" description="user places bleach over the cover" warning="Using bleach won't disinfect the spill" status="not"
balance="0" resolution="0" closure="" type="user"/>
<task id="PLACEDETERGENTBORDER" description="user places detergent over the cover" warning="Using detergent won't disinfect the spill" status="not"
balance="0" resolution="0" closure="" type="user"/>
<task id="PLACEOBJECTBORDERDISINF" description="user places object over the cover" warning="Putting an object over the spill won't disinfect it"
status="not" balance="0" resolution="0" closure="" type="user"/>
</or>
</task>
<task id="FOURTHCOVER" description="User disinfects the fourth spill cover"
warning="" status="not" balance="0" resolution="0" closure="" type="user">
<or>
<task id="PLACEETHANOLBORDER" description="spray ethanol over the spill in circles" warning="" status="not" balance="0" resolution="0" closure=""
type="user"/>
<task id="PLACEISOPROPANOLBORDER" description="spray isopropanol over the spill in circles" warning="" status="not" balance="0" resolution="0"
closure="" type="user"/>
<task id="PLACEBLEACHBORDER" description="user places bleach over the cover" warning="Using bleach won't disinfect the spill" status="not"
balance="0" resolution="0" closure="" type="user"/>
<task id="PLACEDETERGENTBORDER" description="user places detergent over the cover" warning="Using detergent won't disinfect the spill" status="not"
balance="0" resolution="0" closure="" type="user"/>
<task id="PLACEOBJECTBORDERDISINF" description="user places object over the cover" warning="Putting an object over the spill won't disinfect it"
status="not" balance="0" resolution="0" closure="" type="user"/>
</or>
</task>
</and>
</task>
<task id="DISINFECTCENTER" description="User disinfects the spill cover in the center"
warning="" status="not" balance="0" resolution="2" closure="" type="user">
<or>
<task id="PLACEETHANOLCENTER" description="spray ethanol over the spill center"
warning="" status="not" balance="0" resolution="0" closure="" type="user"/>
<task id="PLACEISOPROPANOLCENTER" description="spray isopropanol over the spill center" warning="" status="not" balance="0" resolution="0" closure=""
type="user"/>
<task id="PLACEBLEACHCENTER" description="user places bleach over the cover"
warning="Using bleach won't disinfect the spill" status="not" balance="0"
resolution="0" closure="" type="user"/>
<task id="PLACEDETERGENTCENTER" description="user places detergent over the cover" warning="Using detergent won't disinfect the spill" status="not" balance="0"
resolution="0" closure="" type="user"/>
<task id="PLACEOBJECTCENTERDISINF" description="user places object over the cover" warning="Putting an object over the spill won't disinfect it" status="not"
balance="0" resolution="0" closure="" type="user"/>
</or>
</task>
<task id="WAITEFFECT" description="wait for the disinfectant to take effect" warning=""
status="not" balance="0" resolution="1" closure="" type="user"/>
</seq>
</task>
<task id="REMOVESPILL" description="User removes the spill" warning="" status="not" balance="0"
resolution="0" closure="" type="user">
<seq>
<task id="MERGEWASTE" description="merge the waste" warning="" status="not"
balance="0" resolution="2" closure="" type="user">
<and>
<task id="MERGEBORDERS" description="User merges the borders" warning=""
status="not" balance="0" resolution="0" closure="" type="user">
<and>
<task id="MERGEFIRST" description="User merges the first border"
warning="" status="not" balance="2" resolution="0" closure="" type="user">
<or>
<task id="DROPCOVERBORDERCENTER" description="drop one border in the center of the spill" warning="" status="not" balance="0"
resolution="0" closure="" type="user"/>
<task id="DROPCOVERBORDERELSE" description="User drops the border elsewhere" warning="Dispersing the waste can disperse part of
the spill" status="not" balance="-1" resolution="0" closure=""
type="user"/>
</or>
</task>
<task id="MERGESECOND" description="User merges the second border"
warning="" status="not" balance="0" resolution="0" closure="" type="user">
<or>
<task id="DROPCOVERBORDERCENTER" description="drop other border in the center of the spill" warning="" status="not" balance="0"
resolution="0" closure="" type="user"/>
<task id="DROPCOVERBORDERELSE" description="User drops the border elsewhere" warning="Dispersing the waste can disperse part of the spill" status="not" balance="-1" resolution="0" closure=""
type="user"/>
</or>
</task>
<task id="MERGETHIRD" description="User merges the third border"
warning="" status="not" balance="0" resolution="0" closure="" type="user">
<or>
<task id="DROPCOVERBORDERCENTER" description="drop other border in the center of the spill" warning="" status="not" balance="0"
resolution="0" closure="" type="user"/>
<task id="DROPCOVERBORDERELSE" description="User drops the border elsewhere" warning="Dispersing the waste can disperse part of the spill" status="not" balance="-1" resolution="0" closure=""
type="user"/>
</or>
</task>
<task id="MERGEFOURTH" description="User merges the first border" warning=""
status="not" balance="0" resolution="0" closure="" type="user">
<or>
<task id="DROPCOVERBORDERCENTER" description="drop the last border in the center of the spill" warning="" status="not" balance="0"
resolution="0" closure="" type="user"/>
<task id="DROPCOVERBORDERELSE" description="User drops the border elsewhere" warning="Dispersing the waste can disperse part of the spill" status="not" balance="-1" resolution="0" closure="" type="user"/>
</or>
</task>
</and>
</task>
<task id="MERGECOVERS" description="User merges the covers" warning="" status="not"
balance="0" resolution="1" closure="" type="user">
<and>
<task id="MERGEFIRST" description="User merges the first cover" warning=""
status="not" balance="1" resolution="0" closure="" type="user">
<or>
<task id="DROPCOVERBORDERCENTER" description="drop one cover from the border in the center of the spill" warning="" status="not" balance="0"
resolution="0" closure="" type="user"/>
<task id="DROPCOVERBORDERELSE" description="User drops the cover from the border elsewhere" warning="Dispersing the waste can disperse part of the spill" status="not" balance="-1" resolution="0" closure="" type="user"/>
</or>
</task>
<task id="MERGESECOND" description="User merges the second cover"
warning="" status="not" balance="0" resolution="0" closure="" type="user">
<or>
<task id="DROPCOVERBORDERCENTER" description="drop another cover from the border in the center of the spill" warning="" status="not"
balance="0" resolution="0" closure="" type="user"/>
<task id="DROPCOVERBORDERELSE" description="User drops the cover from the border elsewhere" warning="Dispersing the waste can disperse part of the spill" status="not" balance="-1" resolution="0" closure="" type="user"/>
</or>
</task>
<task id="MERGETHIRD" description="User merges the third cover" warning=""
status="not" balance="0" resolution="0" closure="" type="user">
<or>
<task id="DROPCOVERBORDERCENTER" description="drop another cover from the border in the center of the spill" warning="" status="not"
balance="0" resolution="0" closure="" type="user"/>
<task id="DROPCOVERBORDERELSE" description="User drops the cover from the border elsewhere" warning="Dispersing the waste can disperse part of the spill" status="not" balance="-1" resolution="0" closure="" type="user"/>
</or>
</task>
<task id="MERGEFOURTH" description="User merges the fourth cover" warning=""
status="not" balance="0" resolution="0" closure="" type="user">
<or>
<task id="DROPCOVERBORDERCENTER" description="drop the last cover from the border in the center of the spill" warning="" status="not"
balance="0" resolution="0" closure="" type="user"/>
<task id="DROPCOVERBORDERELSE" description="User drops the cover from the border elsewhere" warning="Dispersing the waste can disperse part of the spill" status="not" balance="-1" resolution="0" closure=""
type="user"/>
</or>
</task>
<task id="LEAVESCENTER" description="User leaves the center cover"
warning="" status="not" balance="0" resolution="0" closure="" type="user"/>
</and>
</task>
</and>
</task>
<task id="DISPOSEWASTE" description="User disposes the waste" warning="" status="not"
balance="0" resolution="0" closure="" type="user">
<or>
<task id="INBIOHAZARDBIN" description="dispose the waste in the bio hazard waste bin"
warning="" status="not" balance="0" resolution="0" closure="" type="user"/>
<task id="INFLAMMABLEDBIN" description="User disposes the waste in the flammable waste bin" warning="Infectious waste should not be thrown in the flammable bin"
status="not" balance="-1" resolution="0" closure="" type="user"/>
<task id="INNORMALBIN" description="User disposes the waste in the normal waste bin"
warning="Infectious waste should not be thrown in a normal bin" status="not" balance="-1" resolution="0" closure="" type="user"/>
</or>
</task>
</seq>
</task>
</seq>