Participant | Predicates |
---|
L (.,GPA,t0)
|
R (.,GPA,t0)
|
BST (.,GPA,t0)
|
HITR (.,MSH,t0)
|
ST
|
HFO (.,PAGPA,t0)
|
FPA (.,PAGPA,t0)
|
HES (.,FIRE,t0)
|
---|
P4G1 |
True
|
False
|
False
|
False
|
True
a
|
True
|
False
|
True
|
P5G1 |
True
|
True
|
True
|
True
|
True
b
|
True
|
True
|
True
|
P6G1 |
True
|
True
|
True
|
False
c
|
True
d
|
True
|
True
|
True
e
|
P7G1 |
True
|
True
|
True
|
False
|
True
f
|
True
|
True
|
True
|
P10G1 |
True
|
True
|
True
|
True
|
True
g
|
True
|
True
|
True
|
Participant | Predicates |
---|
L (.,PAPA,t1)
|
R (.,PAPA,t1)
|
BST (.,PAPA,t1)
|
HITR (.,LBS,t1)
|
ST
|
HFO (.,PAPAPA,t1)
|
FPA (.,PAPAPA,t1)
|
HES (.,EVAC,t1)
|
---|
P4G1 |
True
|
False
|
False
|
True
|
False
h
|
True
|
True
|
True
|
P5G1 |
True
|
True
|
True
|
True
|
True
i
|
True
|
True
|
True
|
P6G1 |
True
|
True
|
True
|
True
|
True
j
|
False
|
False
|
True
k
|
P7G1 |
True
|
True
|
True
|
True
|
True
l
|
False
|
False
|
True
m
|
P10G1 |
True
|
False
|
False
|
False
|
True
n
|
False
|
False
|
False
o
|
- The time interval t0 starts with the beginning of the scenario until the GPA alarm ends. The interval t1 starts when the PAPA alarm begins sounding, i.e., just after the GPA ends and the situation escalates from FIRE to EVACUATE. It ends at the end of the scenario
- aParameters observed are: P4G1, SMK_VENT, and t0
- bParameters observed are: P5G1, SMK_STAI, and t0
- cThe intention for moving to the messhal was developed late during the beginning of the interval t1
- dParameters observed are: P6G1, SMK_STAI, and t0
- eP6G1 kept the impression of FIRE until it recognizes EVACUATE situation in t1
- fParameters observed are: P7G1, SMK_STAI, and t0
- gParameters observed are: P10G1, SMK_MSHA, and t0
- hP4G1 did not see any threat during t1
- iParameters observed are: P5G1, SMK_MSHA, and t1
- jParameters observed are: (P6G1, SMK_MSHA, t1), and (P6G1, SMK_STAI,t1)
- kP6G1 kept impression of FIRE emergency during the beginning of the interval t1, later understood escalation of situation from FIRE to EVACUATE, thus HES has three groundings: HES(P6G1,FIRE,t0), HES(P6G1,FIRE,t1), and HES(P6G1,EVACUATE,t1)
- lParameters observed are: P7G1, SMK_MSHA, and t1
- mP7G1 behaved same as P6G1 and kept impression of FIRE during some time in the beginning of the interval t1
- nParameters observed are: P10G1, SMK_MSHA, and t1
- oP10G1 could not recognize EVACUATE situation and kept the impression of FIRE situation till the end of the scenario