↑ Up

Metis---2.4.SAT-Sat.s

View TPTP
Problem Process solution in
SystemOnTSTP Download .tgz 
%------------------------------------------------------------------------------
% File     : Metis---2.4
% Problem  : NLP066-1 : TPTP v8.1.0. Released v2.4.0.
% Transfm  : none
% Format   : tptp:raw
% Command  : metis --show proof --show saturation %s

% Computer : n004.cluster.edu
% Model    : x86_64 x86_64
% CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory   : 8042.1875MB
% OS       : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit  : 600s
% DateTime : Mon Jul 18 03:14:26 EDT 2022

% Result   : Satisfiable 0.20s 0.46s
% Output   : Saturation 0.20s
% Verified : 
% SZS Type : -

% Comments : 
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.04/0.13  % Problem  : NLP066-1 : TPTP v8.1.0. Released v2.4.0.
% 0.04/0.13  % Command  : metis --show proof --show saturation %s
% 0.13/0.35  % Computer : n004.cluster.edu
% 0.13/0.35  % Model    : x86_64 x86_64
% 0.13/0.35  % CPU      : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.35  % Memory   : 8042.1875MB
% 0.13/0.35  % OS       : Linux 3.10.0-693.el7.x86_64
% 0.13/0.35  % CPULimit : 300
% 0.13/0.35  % WCLimit  : 600
% 0.13/0.35  % DateTime : Thu Jun 30 18:54:38 EDT 2022
% 0.13/0.35  % CPUTime  : 
% 0.13/0.35  %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% 0.20/0.46  % SZS status Satisfiable for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.20/0.46  
% 0.20/0.46  SZS output start Saturation for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.20/0.46  |- actual_world skc48
% 0.20/0.46  |- actual_world skc4
% 0.20/0.46  |- group skc48 skc49 \/ ssSkC0
% 0.20/0.46  |- six skc48 skc49 \/ ssSkC0
% 0.20/0.46  |- ssSkC0 \/ ssSkP0 skc49 skc48
% 0.20/0.46  |- ~ssSkC0 \/ group skc4 skc5
% 0.20/0.46  |- ~ssSkC0 \/ six skc4 skc5
% 0.20/0.46  |- ~ssSkC0 \/ ssSkP1 skc5 skc4
% 0.20/0.46  |- ~ssSkC0 \/ male skc4 skc5
% 0.20/0.46  |- cannon $V (skf12 $V $W) \/ ssSkP0 $U $V
% 0.20/0.46  |- man $V (skf14 $V $W) \/ ssSkP0 $U $V
% 0.20/0.46  |- male $V (skf14 $V $W) \/ ssSkP0 $U $V
% 0.20/0.46  |- cannon $V (skf17 $V $W) \/ ssSkP1 $U $V
% 0.20/0.46  |- man $V (skf19 $V $W) \/ ssSkP1 $U $V
% 0.20/0.46  |- member $V (skf12 $V $U) $U \/ ssSkP0 $U $V
% 0.20/0.46  |- of $V (skf17 $V $U) $U \/ ssSkP1 $U $V
% 0.20/0.46  |- member $V (skf17 $V $U) $U \/ ssSkP1 $U $V
% 0.20/0.46  |- ~member skc48 $U skc49 \/ shot skc48 $U \/ ssSkC0
% 0.20/0.46  |- ~member skc4 $U skc5 \/ ~ssSkC0 \/ shot skc4 $U
% 0.20/0.46  |- of $V (skf12 $V $W) (skf14 $V $W) \/ ssSkP0 $U $V
% 0.20/0.46  |- ~actual_world $U \/ ~group $U $W \/ ~shot $U (skf9 $U $V) \/
% 0.20/0.46     ~six $U $W \/ ~ssSkC0 \/ ~ssSkP0 $W $U
% 0.20/0.46  |- ~actual_world $U \/ ~group $U $V \/ ~six $U $V \/ ~ssSkC0 \/
% 0.20/0.46     ~ssSkP0 $V $U \/ member $U (skf9 $U $V) $V
% 0.20/0.46  |- ~actual_world $U \/ ~group $U $W \/ ~male $U $W \/
% 0.20/0.46     ~shot $U (skf21 $U $V) \/ ~six $U $W \/ ~ssSkP1 $W $U \/ ssSkC0
% 0.20/0.46  |- ~actual_world $U \/ ~group $U $V \/ ~male $U $V \/ ~six $U $V \/
% 0.20/0.46     ~ssSkP1 $V $U \/ member $U (skf21 $U $V) $V \/ ssSkC0
% 0.20/0.46  |- ~cannon $U $V \/ ~man $U $X \/ ~member $U $V $W \/ ~of $U $V $W \/
% 0.20/0.46     ~ssSkP1 $W $U \/ fire $U (skf15 $U $Y $Z)
% 0.20/0.46  |- ~cannon $U $V \/ ~man $U $X \/ ~member $U $V $W \/ ~of $U $V $W \/
% 0.20/0.46     ~ssSkP1 $W $U \/ nonreflexive $U (skf15 $U $Y $Z)
% 0.20/0.46  |- ~cannon $U $V \/ ~man $U $X \/ ~member $U $V $W \/ ~of $U $V $W \/
% 0.20/0.46     ~ssSkP1 $W $U \/ present $U (skf15 $U $Y $Z)
% 0.20/0.46  |- ~cannon $U $V \/ ~man $U $X \/ ~member $U $V $W \/ ~of $U $V $W \/
% 0.20/0.46     ~ssSkP1 $W $U \/ event $U (skf15 $U $Y $Z)
% 0.20/0.46  |- ~cannon $U $V \/ ~man $U $X \/ ~member $U $V $W \/ ~of $U $V $W \/
% 0.20/0.46     ~ssSkP1 $W $U \/ agent $U (skf15 $U $X $Y) $X
% 0.20/0.46  |- ~cannon $U $V \/ ~man $U $X \/ ~member $U $V $W \/ ~of $U $V $W \/
% 0.20/0.46     ~ssSkP1 $W $U \/ from_loc $U (skf15 $U $X $V) $V
% 0.20/0.46  |- ~cannon $U $V \/ ~man $U $X \/ ~member $U $V $W \/ ~of $U $V $W \/
% 0.20/0.46     ~ssSkP1 $W $U \/ patient $U (skf15 $U $X $V) $V
% 0.20/0.46  |- ~cannon $U $V \/ ~male $U $X \/ ~man $U $X \/ ~member $U $V $W \/
% 0.20/0.46     ~of $U $V $X \/ ~ssSkP0 $W $U \/ fire $U (skf10 $U $Y $Z)
% 0.20/0.46  |- ~cannon $U $V \/ ~male $U $X \/ ~man $U $X \/ ~member $U $V $W \/
% 0.20/0.46     ~of $U $V $X \/ ~ssSkP0 $W $U \/ event $U (skf10 $U $Y $Z)
% 0.20/0.46  |- ~cannon $U $V \/ ~male $U $X \/ ~man $U $X \/ ~member $U $V $W \/
% 0.20/0.46     ~of $U $V $X \/ ~ssSkP0 $W $U \/ present $U (skf10 $U $Y $Z)
% 0.20/0.46  |- ~cannon $U $V \/ ~male $U $X \/ ~man $U $X \/ ~member $U $V $W \/
% 0.20/0.46     ~of $U $V $X \/ ~ssSkP0 $W $U \/ nonreflexive $U (skf10 $U $Y $Z)
% 0.20/0.46  |- ~cannon $U $V \/ ~male $U $X \/ ~man $U $X \/ ~member $U $V $W \/
% 0.20/0.46     ~of $U $V $X \/ ~ssSkP0 $W $U \/ agent $U (skf10 $U $X $Y) $X
% 0.20/0.47  |- ~cannon $U $V \/ ~male $U $X \/ ~man $U $X \/ ~member $U $V $W \/
% 0.20/0.47     ~of $U $V $X \/ ~ssSkP0 $W $U \/ patient $U (skf10 $U $X $V) $V
% 0.20/0.47  |- ~cannon $U $V \/ ~male $U $X \/ ~man $U $X \/ ~member $U $V $W \/
% 0.20/0.47     ~of $U $V $X \/ ~ssSkP0 $W $U \/ from_loc $U (skf10 $U $X $V) $V
% 0.20/0.47  |- ~agent $U $V (skf14 $U $W) \/ ~event $U $V \/ ~fire $U $V \/
% 0.20/0.47     ~from_loc $U $V (skf12 $U $W) \/ ~nonreflexive $U $V \/
% 0.20/0.47     ~patient $U $V (skf12 $U $W) \/ ~present $U $V \/ ssSkP0 $X $U
% 0.20/0.47  |- ~agent $U $V (skf19 $U $W) \/ ~event $U $V \/ ~fire $U $V \/
% 0.20/0.47     ~from_loc $U $V (skf17 $U $W) \/ ~nonreflexive $U $V \/
% 0.20/0.47     ~patient $U $V (skf17 $U $W) \/ ~present $U $V \/ ssSkP1 $X $U
% 0.20/0.47  |- ~ssSkC0 \/ shot skc4 (skf12 skc4 skc5) \/ ssSkP0 skc5 skc4
% 0.20/0.47  |- shot skc48 (skf17 skc48 skc49) \/ ssSkC0 \/ ssSkP1 skc49 skc48
% 0.20/0.47  |- ~actual_world $_26 \/ ~group $_26 $_27 \/ ~six $_26 $_27 \/ ~ssSkC0 \/
% 0.20/0.47     member $_26 (skf9 $_26 $_27) $_27 \/
% 0.20/0.47     of $_26 (skf12 $_26 $W) (skf14 $_26 $W)
% 0.20/0.47  |- ~actual_world $_26 \/ ~group $_26 $_27 \/ ~six $_26 $_27 \/ ~ssSkC0 \/
% 0.20/0.47     male $_26 (skf14 $_26 $W) \/ member $_26 (skf9 $_26 $_27) $_27
% 0.20/0.47  |- ~actual_world $_26 \/ ~group $_26 $_27 \/ ~six $_26 $_27 \/ ~ssSkC0 \/
% 0.20/0.47     man $_26 (skf14 $_26 $W) \/ member $_26 (skf9 $_26 $_27) $_27
% 0.20/0.47  |- ~actual_world $_26 \/ ~group $_26 $_27 \/ ~six $_26 $_27 \/ ~ssSkC0 \/
% 0.20/0.47     cannon $_26 (skf12 $_26 $W) \/ member $_26 (skf9 $_26 $_27) $_27
% 0.20/0.47  |- ~actual_world $_28 \/ ~group $_28 $_30 \/ ~shot $_28 (skf9 $_28 $_29) \/
% 0.20/0.47     ~six $_28 $_30 \/ ~ssSkC0 \/ of $_28 (skf12 $_28 $W) (skf14 $_28 $W)
% 0.20/0.47  |- ~actual_world $_28 \/ ~group $_28 $_30 \/ ~shot $_28 (skf9 $_28 $_29) \/
% 0.20/0.47     ~six $_28 $_30 \/ ~ssSkC0 \/ male $_28 (skf14 $_28 $W)
% 0.20/0.47  |- ~actual_world $_28 \/ ~group $_28 $_30 \/ ~shot $_28 (skf9 $_28 $_29) \/
% 0.20/0.47     ~six $_28 $_30 \/ ~ssSkC0 \/ man $_28 (skf14 $_28 $W)
% 0.20/0.47  |- ~actual_world $_28 \/ ~group $_28 $_30 \/ ~shot $_28 (skf9 $_28 $_29) \/
% 0.20/0.47     ~six $_28 $_30 \/ ~ssSkC0 \/ cannon $_28 (skf12 $_28 $W)
% 0.20/0.47  |- ~actual_world $_31 \/ ~group $_31 $_32 \/ ~male $_31 $_32 \/
% 0.20/0.47     ~six $_31 $_32 \/ man $_31 (skf19 $_31 $W) \/
% 0.20/0.47     member $_31 (skf21 $_31 $_32) $_32 \/ ssSkC0
% 0.20/0.47  |- ~actual_world $_31 \/ ~group $_31 $_32 \/ ~male $_31 $_32 \/
% 0.20/0.47     ~six $_31 $_32 \/ cannon $_31 (skf17 $_31 $W) \/
% 0.20/0.47     member $_31 (skf21 $_31 $_32) $_32 \/ ssSkC0
% 0.20/0.47  |- ~actual_world $_33 \/ ~group $_33 $_35 \/ ~male $_33 $_35 \/
% 0.20/0.47     ~shot $_33 (skf21 $_33 $_34) \/ ~six $_33 $_35 \/
% 0.20/0.47     man $_33 (skf19 $_33 $W) \/ ssSkC0
% 0.20/0.47  |- ~actual_world $_33 \/ ~group $_33 $_35 \/ ~male $_33 $_35 \/
% 0.20/0.47     ~shot $_33 (skf21 $_33 $_34) \/ ~six $_33 $_35 \/
% 0.20/0.47     cannon $_33 (skf17 $_33 $W) \/ ssSkC0
% 0.20/0.47  |- ~cannon $_45 $_46 \/ ~member $_45 $_46 $_47 \/ ~of $_45 $_46 $_47 \/
% 0.20/0.47     ~ssSkP1 $_47 $_45 \/
% 0.20/0.47     from_loc $_45 (skf15 $_45 (skf14 $_45 $W) $_46) $_46 \/ ssSkP0 $U $_45
% 0.20/0.47  |- ~cannon $_45 $_46 \/ ~member $_45 $_46 $_47 \/ ~of $_45 $_46 $_47 \/
% 0.20/0.47     ~ssSkP1 $_47 $_45 \/
% 0.20/0.47     from_loc $_45 (skf15 $_45 (skf19 $_45 $W) $_46) $_46 \/ ssSkP1 $U $_45
% 0.20/0.47  |- ~cannon $_45 (skf12 $_45 $W) \/ ~man $_45 $_48 \/
% 0.20/0.47     ~member $_45 (skf12 $_45 $W) (skf14 $_45 $W) \/
% 0.20/0.47     ~ssSkP1 (skf14 $_45 $W) $_45 \/
% 0.20/0.47     from_loc $_45 (skf15 $_45 $_48 (skf12 $_45 $W)) (skf12 $_45 $W) \/
% 0.20/0.47     ssSkP0 $U $_45
% 0.20/0.47  |- ~cannon $_49 $_50 \/ ~member $_49 $_50 $_51 \/ ~of $_49 $_50 $_51 \/
% 0.20/0.47     ~ssSkP1 $_51 $_49 \/
% 0.20/0.47     patient $_49 (skf15 $_49 (skf14 $_49 $W) $_50) $_50 \/ ssSkP0 $U $_49
% 0.20/0.47  |- ~cannon $_49 $_50 \/ ~member $_49 $_50 $_51 \/ ~of $_49 $_50 $_51 \/
% 0.20/0.47     ~ssSkP1 $_51 $_49 \/
% 0.20/0.47     patient $_49 (skf15 $_49 (skf19 $_49 $W) $_50) $_50 \/ ssSkP1 $U $_49
% 0.20/0.47  |- ~cannon $_49 (skf12 $_49 $W) \/ ~man $_49 $_52 \/
% 0.20/0.47     ~member $_49 (skf12 $_49 $W) (skf14 $_49 $W) \/
% 0.20/0.47     ~ssSkP1 (skf14 $_49 $W) $_49 \/
% 0.20/0.47     patient $_49 (skf15 $_49 $_52 (skf12 $_49 $W)) (skf12 $_49 $W) \/
% 0.20/0.47     ssSkP0 $U $_49
% 0.20/0.47  |- ~group skc48 skc49 \/ ~male skc48 skc49 \/
% 0.20/0.47     man skc48 (skf19 skc48 $_56) \/
% 0.20/0.47     member skc48 (skf21 skc48 skc49) skc49 \/ ssSkC0
% 0.20/0.47  |- ~group skc48 skc49 \/ ~male skc48 skc49 \/
% 0.20/0.47     cannon skc48 (skf17 skc48 $_60) \/
% 0.20/0.47     member skc48 (skf21 skc48 skc49) skc49 \/ ssSkC0
% 0.20/0.47  |- ~cannon $_76 $_77 \/ ~member $_76 $_77 $_78 \/ ~of $_76 $_77 $_78 \/
% 0.20/0.47     ~ssSkP1 $_78 $_76 \/
% 0.20/0.47     agent $_76 (skf15 $_76 (skf14 $_76 $W) $_80) (skf14 $_76 $W) \/
% 0.20/0.47     ssSkP0 $U $_76
% 0.20/0.47  |- ~cannon $_76 $_77 \/ ~member $_76 $_77 $_78 \/ ~of $_76 $_77 $_78 \/
% 0.20/0.47     ~ssSkP1 $_78 $_76 \/
% 0.20/0.47     agent $_76 (skf15 $_76 (skf19 $_76 $W) $_80) (skf19 $_76 $W) \/
% 0.20/0.47     ssSkP1 $U $_76
% 0.20/0.47  |- ~cannon $_76 (skf12 $_76 $W) \/ ~man $_76 $_79 \/
% 0.20/0.47     ~member $_76 (skf12 $_76 $W) (skf14 $_76 $W) \/
% 0.20/0.47     ~ssSkP1 (skf14 $_76 $W) $_76 \/
% 0.20/0.47     agent $_76 (skf15 $_76 $_79 $_80) $_79 \/ ssSkP0 $U $_76
% 0.20/0.47  |- ~cannon $_93 (skf17 $_93 $_95) \/ ~male $_93 $_96 \/ ~man $_93 $_96 \/
% 0.20/0.47     ~of $_93 (skf17 $_93 $_95) $_96 \/ ~ssSkP0 $_95 $_93 \/
% 0.20/0.47     patient $_93 (skf10 $_93 $_96 (skf17 $_93 $_95)) (skf17 $_93 $_95) \/
% 0.20/0.47     ssSkP1 $_95 $_93
% 0.20/0.47  |- ~cannon $_93 (skf12 $_93 $W) \/ ~male $_93 (skf14 $_93 $W) \/
% 0.20/0.47     ~man $_93 (skf14 $_93 $W) \/ ~member $_93 (skf12 $_93 $W) $_95 \/
% 0.20/0.47     ~ssSkP0 $_95 $_93 \/
% 0.20/0.47     patient $_93 (skf10 $_93 (skf14 $_93 $W) (skf12 $_93 $W))
% 0.20/0.47       (skf12 $_93 $W) \/ ssSkP0 $U $_93
% 0.20/0.47  |- ~cannon $_93 (skf17 $_93 $_96) \/ ~male $_93 $_96 \/ ~man $_93 $_96 \/
% 0.20/0.47     ~member $_93 (skf17 $_93 $_96) $_95 \/ ~ssSkP0 $_95 $_93 \/
% 0.20/0.47     patient $_93 (skf10 $_93 $_96 (skf17 $_93 $_96)) (skf17 $_93 $_96) \/
% 0.20/0.47     ssSkP1 $_96 $_93
% 0.20/0.47  |- ~cannon $_97 (skf17 $_97 $_99) \/ ~male $_97 $_100 \/ ~man $_97 $_100 \/
% 0.20/0.47     ~of $_97 (skf17 $_97 $_99) $_100 \/ ~ssSkP0 $_99 $_97 \/
% 0.20/0.47     from_loc $_97 (skf10 $_97 $_100 (skf17 $_97 $_99)) (skf17 $_97 $_99) \/
% 0.20/0.47     ssSkP1 $_99 $_97
% 0.20/0.47  |- ~cannon $_97 (skf12 $_97 $W) \/ ~male $_97 (skf14 $_97 $W) \/
% 0.20/0.47     ~man $_97 (skf14 $_97 $W) \/ ~member $_97 (skf12 $_97 $W) $_99 \/
% 0.20/0.47     ~ssSkP0 $_99 $_97 \/
% 0.20/0.47     from_loc $_97 (skf10 $_97 (skf14 $_97 $W) (skf12 $_97 $W))
% 0.20/0.47       (skf12 $_97 $W) \/ ssSkP0 $U $_97
% 0.20/0.47  |- ~cannon $_97 (skf17 $_97 $_100) \/ ~male $_97 $_100 \/
% 0.20/0.47     ~man $_97 $_100 \/ ~member $_97 (skf17 $_97 $_100) $_99 \/
% 0.20/0.47     ~ssSkP0 $_99 $_97 \/
% 0.20/0.47     from_loc $_97 (skf10 $_97 $_100 (skf17 $_97 $_100))
% 0.20/0.47       (skf17 $_97 $_100) \/ ssSkP1 $_100 $_97
% 0.20/0.47  |- ~cannon $_101 $_102 \/ ~member $_101 $_102 $_103 \/
% 0.20/0.47     ~of $_101 $_102 $_103 \/ ~ssSkP1 $_103 $_101 \/
% 0.20/0.47     fire $_101 (skf15 $_101 $_105 $_106) \/ ssSkP0 $U $_101
% 0.20/0.47  |- ~cannon $_101 $_102 \/ ~member $_101 $_102 $_103 \/
% 0.20/0.47     ~of $_101 $_102 $_103 \/ ~ssSkP1 $_103 $_101 \/
% 0.20/0.47     fire $_101 (skf15 $_101 $_105 $_106) \/ ssSkP1 $U $_101
% 0.20/0.47  |- ~cannon $_107 $_108 \/ ~member $_107 $_108 $_109 \/
% 0.20/0.47     ~of $_107 $_108 $_109 \/ ~ssSkP1 $_109 $_107 \/
% 0.20/0.47     nonreflexive $_107 (skf15 $_107 $_111 $_112) \/ ssSkP0 $U $_107
% 0.20/0.47  |- ~cannon $_107 $_108 \/ ~member $_107 $_108 $_109 \/
% 0.20/0.47     ~of $_107 $_108 $_109 \/ ~ssSkP1 $_109 $_107 \/
% 0.20/0.47     nonreflexive $_107 (skf15 $_107 $_111 $_112) \/ ssSkP1 $U $_107
% 0.20/0.47  |- ~cannon $_113 $_114 \/ ~member $_113 $_114 $_115 \/
% 0.20/0.47     ~of $_113 $_114 $_115 \/ ~ssSkP1 $_115 $_113 \/
% 0.20/0.47     present $_113 (skf15 $_113 $_117 $_118) \/ ssSkP0 $U $_113
% 0.20/0.47  |- ~cannon $_113 $_114 \/ ~member $_113 $_114 $_115 \/
% 0.20/0.47     ~of $_113 $_114 $_115 \/ ~ssSkP1 $_115 $_113 \/
% 0.20/0.47     present $_113 (skf15 $_113 $_117 $_118) \/ ssSkP1 $U $_113
% 0.20/0.47  |- ~cannon $_119 $_120 \/ ~member $_119 $_120 $_121 \/
% 0.20/0.47     ~of $_119 $_120 $_121 \/ ~ssSkP1 $_121 $_119 \/
% 0.20/0.47     event $_119 (skf15 $_119 $_123 $_124) \/ ssSkP0 $U $_119
% 0.20/0.47  |- ~cannon $_119 $_120 \/ ~member $_119 $_120 $_121 \/
% 0.20/0.47     ~of $_119 $_120 $_121 \/ ~ssSkP1 $_121 $_119 \/
% 0.20/0.47     event $_119 (skf15 $_119 $_123 $_124) \/ ssSkP1 $U $_119
% 0.20/0.47  |- ~cannon $_125 (skf17 $_125 $_127) \/ ~male $_125 $_128 \/
% 0.20/0.47     ~man $_125 $_128 \/ ~of $_125 (skf17 $_125 $_127) $_128 \/
% 0.20/0.47     ~ssSkP0 $_127 $_125 \/ agent $_125 (skf10 $_125 $_128 $_129) $_128 \/
% 0.20/0.47     ssSkP1 $_127 $_125
% 0.20/0.47  |- ~cannon $_125 (skf12 $_125 $W) \/ ~male $_125 (skf14 $_125 $W) \/
% 0.20/0.47     ~man $_125 (skf14 $_125 $W) \/ ~member $_125 (skf12 $_125 $W) $_127 \/
% 0.20/0.47     ~ssSkP0 $_127 $_125 \/
% 0.20/0.47     agent $_125 (skf10 $_125 (skf14 $_125 $W) $_129) (skf14 $_125 $W) \/
% 0.20/0.47     ssSkP0 $U $_125
% 0.20/0.47  |- ~cannon $_125 (skf17 $_125 $_128) \/ ~male $_125 $_128 \/
% 0.20/0.47     ~man $_125 $_128 \/ ~member $_125 (skf17 $_125 $_128) $_127 \/
% 0.20/0.47     ~ssSkP0 $_127 $_125 \/ agent $_125 (skf10 $_125 $_128 $_129) $_128 \/
% 0.20/0.47     ssSkP1 $_128 $_125
% 0.20/0.47  |- ~cannon $_132 (skf12 $_132 $W) \/
% 0.20/0.47     ~member $_132 (skf12 $_132 $W) (skf14 $_132 $W) \/
% 0.20/0.47     ~ssSkP1 (skf14 $_132 $W) $_132 \/
% 0.20/0.47     from_loc $_132 (skf15 $_132 (skf14 $_132 $_131) (skf12 $_132 $W))
% 0.20/0.47       (skf12 $_132 $W) \/ ssSkP0 $U $_132 \/ ssSkP0 $_130 $_132
% 0.20/0.47  |- ~cannon $_137 (skf12 $_137 $W) \/
% 0.20/0.47     ~member $_137 (skf12 $_137 $W) (skf14 $_137 $W) \/
% 0.20/0.47     ~ssSkP1 (skf14 $_137 $W) $_137 \/
% 0.20/0.47     from_loc $_137 (skf15 $_137 (skf19 $_137 $_136) (skf12 $_137 $W))
% 0.20/0.47       (skf12 $_137 $W) \/ ssSkP0 $U $_137 \/ ssSkP1 $_135 $_137
% 0.20/0.47  |- ~cannon $_142 (skf12 $_142 $W) \/
% 0.20/0.47     ~member $_142 (skf12 $_142 $W) (skf14 $_142 $W) \/
% 0.20/0.47     ~ssSkP1 (skf14 $_142 $W) $_142 \/
% 0.20/0.47     patient $_142 (skf15 $_142 (skf14 $_142 $_141) (skf12 $_142 $W))
% 0.20/0.47       (skf12 $_142 $W) \/ ssSkP0 $U $_142 \/ ssSkP0 $_140 $_142
% 0.20/0.47  |- ~cannon $_147 (skf12 $_147 $W) \/
% 0.20/0.47     ~member $_147 (skf12 $_147 $W) (skf14 $_147 $W) \/
% 0.20/0.47     ~ssSkP1 (skf14 $_147 $W) $_147 \/
% 0.20/0.47     patient $_147 (skf15 $_147 (skf19 $_147 $_146) (skf12 $_147 $W))
% 0.20/0.47       (skf12 $_147 $W) \/ ssSkP0 $U $_147 \/ ssSkP1 $_145 $_147
% 0.20/0.47  |- ~male $_153 $_154 \/ ~man $_153 $_154 \/ ~ssSkP0 $_154 $_153 \/
% 0.20/0.47     patient $_153 (skf10 $_153 $_154 (skf17 $_153 $_154))
% 0.20/0.47       (skf17 $_153 $_154) \/ ssSkP1 $U $_153 \/ ssSkP1 $_154 $_153
% 0.20/0.47  |- ~male skc48 skc49 \/ ~man skc48 skc49 \/
% 0.20/0.47     patient skc48 (skf10 skc48 skc49 (skf17 skc48 skc49))
% 0.20/0.47       (skf17 skc48 skc49) \/ ssSkC0 \/ ssSkP1 $_155 skc48 \/
% 0.20/0.47     ssSkP1 skc49 skc48
% 0.20/0.47  |- ~male $_156 $_157 \/ ~man $_156 $_157 \/
% 0.20/0.47     of $_156 (skf12 $_156 $W) (skf14 $_156 $W) \/
% 0.20/0.47     patient $_156 (skf10 $_156 $_157 (skf17 $_156 $_157))
% 0.20/0.47       (skf17 $_156 $_157) \/ ssSkP1 $_155 $_156 \/ ssSkP1 $_157 $_156
% 0.20/0.47  |- ~male $_156 $_157 \/ ~man $_156 $_157 \/ male $_156 (skf14 $_156 $W) \/
% 0.20/0.47     patient $_156 (skf10 $_156 $_157 (skf17 $_156 $_157))
% 0.20/0.47       (skf17 $_156 $_157) \/ ssSkP1 $_155 $_156 \/ ssSkP1 $_157 $_156
% 0.20/0.47  |- ~male $_156 $_157 \/ ~man $_156 $_157 \/ man $_156 (skf14 $_156 $W) \/
% 0.20/0.47     patient $_156 (skf10 $_156 $_157 (skf17 $_156 $_157))
% 0.20/0.47       (skf17 $_156 $_157) \/ ssSkP1 $_155 $_156 \/ ssSkP1 $_157 $_156
% 0.20/0.47  |- ~male $_156 $_157 \/ ~man $_156 $_157 \/
% 0.20/0.47     cannon $_156 (skf12 $_156 $W) \/
% 0.20/0.47     patient $_156 (skf10 $_156 $_157 (skf17 $_156 $_157))
% 0.20/0.47       (skf17 $_156 $_157) \/ ssSkP1 $_155 $_156 \/ ssSkP1 $_157 $_156
% 0.20/0.47  |- ~male $_166 $_165 \/ ~man $_166 $_165 \/ ~ssSkP0 $_165 $_166 \/
% 0.20/0.47     from_loc $_166 (skf10 $_166 $_165 (skf17 $_166 $_165))
% 0.20/0.47       (skf17 $_166 $_165) \/ ssSkP1 $U $_166 \/ ssSkP1 $_165 $_166
% 0.20/0.47  |- ~male skc48 skc49 \/ ~man skc48 skc49 \/
% 0.20/0.47     from_loc skc48 (skf10 skc48 skc49 (skf17 skc48 skc49))
% 0.20/0.47       (skf17 skc48 skc49) \/ ssSkC0 \/ ssSkP1 $_167 skc48 \/
% 0.20/0.47     ssSkP1 skc49 skc48
% 0.20/0.47  |- ~male $_169 $_168 \/ ~man $_169 $_168 \/
% 0.20/0.47     from_loc $_169 (skf10 $_169 $_168 (skf17 $_169 $_168))
% 0.20/0.47       (skf17 $_169 $_168) \/ of $_169 (skf12 $_169 $W) (skf14 $_169 $W) \/
% 0.20/0.47     ssSkP1 $_167 $_169 \/ ssSkP1 $_168 $_169
% 0.20/0.47  |- ~male $_169 $_168 \/ ~man $_169 $_168 \/
% 0.20/0.47     from_loc $_169 (skf10 $_169 $_168 (skf17 $_169 $_168))
% 0.20/0.47       (skf17 $_169 $_168) \/ male $_169 (skf14 $_169 $W) \/
% 0.20/0.47     ssSkP1 $_167 $_169 \/ ssSkP1 $_168 $_169
% 0.20/0.47  |- ~male $_169 $_168 \/ ~man $_169 $_168 \/
% 0.20/0.47     from_loc $_169 (skf10 $_169 $_168 (skf17 $_169 $_168))
% 0.20/0.47       (skf17 $_169 $_168) \/ man $_169 (skf14 $_169 $W) \/
% 0.20/0.47     ssSkP1 $_167 $_169 \/ ssSkP1 $_168 $_169
% 0.20/0.47  |- ~male $_169 $_168 \/ ~man $_169 $_168 \/
% 0.20/0.47     cannon $_169 (skf12 $_169 $W) \/
% 0.20/0.47     from_loc $_169 (skf10 $_169 $_168 (skf17 $_169 $_168))
% 0.20/0.47       (skf17 $_169 $_168) \/ ssSkP1 $_167 $_169 \/ ssSkP1 $_168 $_169
% 0.20/0.47  |- ~cannon $_181 (skf12 $_181 $W) \/
% 0.20/0.47     ~member $_181 (skf12 $_181 $W) (skf14 $_181 $W) \/
% 0.20/0.47     ~ssSkP1 (skf14 $_181 $W) $_181 \/
% 0.20/0.47     fire $_181 (skf15 $_181 $_184 $_185) \/ ssSkP0 $U $_181 \/
% 0.20/0.47     ssSkP0 $_180 $_181
% 0.20/0.47  |- ~cannon $_193 (skf12 $_193 $W) \/
% 0.20/0.47     ~member $_193 (skf12 $_193 $W) (skf14 $_193 $W) \/
% 0.20/0.47     ~ssSkP1 (skf14 $_193 $W) $_193 \/
% 0.20/0.47     nonreflexive $_193 (skf15 $_193 $_196 $_197) \/ ssSkP0 $U $_193 \/
% 0.20/0.47     ssSkP0 $_192 $_193
% 0.20/0.47  |- ~cannon $_199 (skf12 $_199 $W) \/
% 0.20/0.47     ~member $_199 (skf12 $_199 $W) (skf14 $_199 $W) \/
% 0.20/0.47     ~ssSkP1 (skf14 $_199 $W) $_199 \/
% 0.20/0.47     present $_199 (skf15 $_199 $_202 $_203) \/ ssSkP0 $U $_199 \/
% 0.20/0.47     ssSkP0 $_198 $_199
% 0.20/0.47  |- ~cannon $_211 (skf12 $_211 $W) \/
% 0.20/0.47     ~member $_211 (skf12 $_211 $W) (skf14 $_211 $W) \/
% 0.20/0.47     ~ssSkP1 (skf14 $_211 $W) $_211 \/
% 0.20/0.47     event $_211 (skf15 $_211 $_214 $_215) \/ ssSkP0 $U $_211 \/
% 0.20/0.47     ssSkP0 $_210 $_211
% 0.20/0.47  |- ~cannon $_222 (skf17 $_222 $_224) \/ ~male $_222 $_225 \/
% 0.20/0.47     ~man $_222 $_225 \/ ~of $_222 (skf17 $_222 $_224) $_225 \/
% 0.20/0.47     ~ssSkP0 $_224 $_222 \/ fire $_222 (skf10 $_222 $_226 $_227) \/
% 0.20/0.47     ssSkP1 $_224 $_222
% 0.20/0.48  |- ~cannon $_222 (skf12 $_222 $W) \/ ~male $_222 (skf14 $_222 $W) \/
% 0.20/0.48     ~man $_222 (skf14 $_222 $W) \/ ~member $_222 (skf12 $_222 $W) $_224 \/
% 0.20/0.48     ~ssSkP0 $_224 $_222 \/ fire $_222 (skf10 $_222 $_226 $_227) \/
% 0.20/0.48     ssSkP0 $U $_222
% 0.20/0.48  |- ~cannon $_222 (skf17 $_222 $_225) \/ ~male $_222 $_225 \/
% 0.20/0.48     ~man $_222 $_225 \/ ~member $_222 (skf17 $_222 $_225) $_224 \/
% 0.20/0.48     ~ssSkP0 $_224 $_222 \/ fire $_222 (skf10 $_222 $_226 $_227) \/
% 0.20/0.48     ssSkP1 $_225 $_222
% 0.20/0.48  |- ~cannon $_228 (skf17 $_228 $_230) \/ ~male $_228 $_231 \/
% 0.20/0.48     ~man $_228 $_231 \/ ~of $_228 (skf17 $_228 $_230) $_231 \/
% 0.20/0.48     ~ssSkP0 $_230 $_228 \/ event $_228 (skf10 $_228 $_232 $_233) \/
% 0.20/0.48     ssSkP1 $_230 $_228
% 0.20/0.48  |- ~cannon $_228 (skf12 $_228 $W) \/ ~male $_228 (skf14 $_228 $W) \/
% 0.20/0.48     ~man $_228 (skf14 $_228 $W) \/ ~member $_228 (skf12 $_228 $W) $_230 \/
% 0.20/0.48     ~ssSkP0 $_230 $_228 \/ event $_228 (skf10 $_228 $_232 $_233) \/
% 0.20/0.48     ssSkP0 $U $_228
% 0.20/0.48  |- ~cannon $_228 (skf17 $_228 $_231) \/ ~male $_228 $_231 \/
% 0.20/0.48     ~man $_228 $_231 \/ ~member $_228 (skf17 $_228 $_231) $_230 \/
% 0.20/0.48     ~ssSkP0 $_230 $_228 \/ event $_228 (skf10 $_228 $_232 $_233) \/
% 0.20/0.48     ssSkP1 $_231 $_228
% 0.20/0.48  |- ~cannon $_234 (skf17 $_234 $_236) \/ ~male $_234 $_237 \/
% 0.20/0.48     ~man $_234 $_237 \/ ~of $_234 (skf17 $_234 $_236) $_237 \/
% 0.20/0.48     ~ssSkP0 $_236 $_234 \/ present $_234 (skf10 $_234 $_238 $_239) \/
% 0.20/0.48     ssSkP1 $_236 $_234
% 0.20/0.48  |- ~cannon $_234 (skf12 $_234 $W) \/ ~male $_234 (skf14 $_234 $W) \/
% 0.20/0.48     ~man $_234 (skf14 $_234 $W) \/ ~member $_234 (skf12 $_234 $W) $_236 \/
% 0.20/0.48     ~ssSkP0 $_236 $_234 \/ present $_234 (skf10 $_234 $_238 $_239) \/
% 0.20/0.48     ssSkP0 $U $_234
% 0.20/0.48  |- ~cannon $_234 (skf17 $_234 $_237) \/ ~male $_234 $_237 \/
% 0.20/0.48     ~man $_234 $_237 \/ ~member $_234 (skf17 $_234 $_237) $_236 \/
% 0.20/0.48     ~ssSkP0 $_236 $_234 \/ present $_234 (skf10 $_234 $_238 $_239) \/
% 0.20/0.48     ssSkP1 $_237 $_234
% 0.20/0.48  |- ~cannon $_240 (skf17 $_240 $_242) \/ ~male $_240 $_243 \/
% 0.20/0.48     ~man $_240 $_243 \/ ~of $_240 (skf17 $_240 $_242) $_243 \/
% 0.20/0.48     ~ssSkP0 $_242 $_240 \/ nonreflexive $_240 (skf10 $_240 $_244 $_245) \/
% 0.20/0.48     ssSkP1 $_242 $_240
% 0.20/0.48  |- ~cannon $_240 (skf12 $_240 $W) \/ ~male $_240 (skf14 $_240 $W) \/
% 0.20/0.48     ~man $_240 (skf14 $_240 $W) \/ ~member $_240 (skf12 $_240 $W) $_242 \/
% 0.20/0.48     ~ssSkP0 $_242 $_240 \/ nonreflexive $_240 (skf10 $_240 $_244 $_245) \/
% 0.20/0.48     ssSkP0 $U $_240
% 0.20/0.48  |- ~cannon $_240 (skf17 $_240 $_243) \/ ~male $_240 $_243 \/
% 0.20/0.48     ~man $_240 $_243 \/ ~member $_240 (skf17 $_240 $_243) $_242 \/
% 0.20/0.48     ~ssSkP0 $_242 $_240 \/ nonreflexive $_240 (skf10 $_240 $_244 $_245) \/
% 0.20/0.48     ssSkP1 $_243 $_240
% 0.20/0.48  |- ~male $_266 $_267 \/ ~man $_266 $_267 \/ ~ssSkP0 $_267 $_266 \/
% 0.20/0.48     agent $_266 (skf10 $_266 $_267 $_268) $_267 \/ ssSkP1 $U $_266 \/
% 0.20/0.48     ssSkP1 $_267 $_266
% 0.20/0.48  |- ~male skc48 skc49 \/ ~man skc48 skc49 \/
% 0.20/0.48     agent skc48 (skf10 skc48 skc49 $_272) skc49 \/ ssSkC0 \/
% 0.20/0.48     ssSkP1 $_269 skc48 \/ ssSkP1 skc49 skc48
% 0.20/0.48  |- ~male $_270 $_271 \/ ~man $_270 $_271 \/
% 0.20/0.48     agent $_270 (skf10 $_270 $_271 $_272) $_271 \/
% 0.20/0.48     of $_270 (skf12 $_270 $W) (skf14 $_270 $W) \/ ssSkP1 $_269 $_270 \/
% 0.20/0.48     ssSkP1 $_271 $_270
% 0.20/0.48  |- ~male $_270 $_271 \/ ~man $_270 $_271 \/
% 0.20/0.48     agent $_270 (skf10 $_270 $_271 $_272) $_271 \/
% 0.20/0.48     male $_270 (skf14 $_270 $W) \/ ssSkP1 $_269 $_270 \/ ssSkP1 $_271 $_270
% 0.20/0.48  |- ~male $_270 $_271 \/ ~man $_270 $_271 \/
% 0.20/0.48     agent $_270 (skf10 $_270 $_271 $_272) $_271 \/
% 0.20/0.48     man $_270 (skf14 $_270 $W) \/ ssSkP1 $_269 $_270 \/ ssSkP1 $_271 $_270
% 0.20/0.48  |- ~male $_270 $_271 \/ ~man $_270 $_271 \/
% 0.20/0.48     agent $_270 (skf10 $_270 $_271 $_272) $_271 \/
% 0.20/0.48     cannon $_270 (skf12 $_270 $W) \/ ssSkP1 $_269 $_270 \/
% 0.20/0.48     ssSkP1 $_271 $_270
% 0.20/0.48  |- ~male $_286 (skf19 $_286 $W) \/ male $_286 (skf14 $_286 $_284) \/
% 0.20/0.48     patient $_286
% 0.20/0.48       (skf10 $_286 (skf19 $_286 $W) (skf17 $_286 (skf19 $_286 $W)))
% 0.20/0.48       (skf17 $_286 (skf19 $_286 $W)) \/ ssSkP1 $U $_286 \/
% 0.20/0.48     ssSkP1 $_285 $_286 \/ ssSkP1 (skf19 $_286 $W) $_286
% 0.20/0.48  |- ~male $_290 (skf19 $_290 $W) \/ cannon $_290 (skf12 $_290 $_288) \/
% 0.20/0.48     patient $_290
% 0.20/0.48       (skf10 $_290 (skf19 $_290 $W) (skf17 $_290 (skf19 $_290 $W)))
% 0.20/0.48       (skf17 $_290 (skf19 $_290 $W)) \/ ssSkP1 $U $_290 \/
% 0.20/0.48     ssSkP1 $_289 $_290 \/ ssSkP1 (skf19 $_290 $W) $_290
% 0.20/0.48  |- ~male $_294 (skf19 $_294 $W) \/ man $_294 (skf14 $_294 $_292) \/
% 0.20/0.48     patient $_294
% 0.20/0.48       (skf10 $_294 (skf19 $_294 $W) (skf17 $_294 (skf19 $_294 $W)))
% 0.20/0.48       (skf17 $_294 (skf19 $_294 $W)) \/ ssSkP1 $U $_294 \/
% 0.20/0.48     ssSkP1 $_293 $_294 \/ ssSkP1 (skf19 $_294 $W) $_294
% 0.20/0.48  |- ~male $_299 (skf19 $_299 $W) \/
% 0.20/0.48     from_loc $_299
% 0.20/0.48       (skf10 $_299 (skf19 $_299 $W) (skf17 $_299 (skf19 $_299 $W)))
% 0.20/0.48       (skf17 $_299 (skf19 $_299 $W)) \/ man $_299 (skf14 $_299 $_296) \/
% 0.20/0.48     ssSkP1 $U $_299 \/ ssSkP1 $_297 $_299 \/ ssSkP1 (skf19 $_299 $W) $_299
% 0.20/0.48  |- ~male $_303 (skf19 $_303 $W) \/
% 0.20/0.48     from_loc $_303
% 0.20/0.48       (skf10 $_303 (skf19 $_303 $W) (skf17 $_303 (skf19 $_303 $W)))
% 0.20/0.48       (skf17 $_303 (skf19 $_303 $W)) \/ male $_303 (skf14 $_303 $_300) \/
% 0.20/0.48     ssSkP1 $U $_303 \/ ssSkP1 $_301 $_303 \/ ssSkP1 (skf19 $_303 $W) $_303
% 0.20/0.48  |- ~male $_307 (skf19 $_307 $W) \/ cannon $_307 (skf12 $_307 $_304) \/
% 0.20/0.48     from_loc $_307
% 0.20/0.48       (skf10 $_307 (skf19 $_307 $W) (skf17 $_307 (skf19 $_307 $W)))
% 0.20/0.48       (skf17 $_307 (skf19 $_307 $W)) \/ ssSkP1 $U $_307 \/
% 0.20/0.48     ssSkP1 $_305 $_307 \/ ssSkP1 (skf19 $_307 $W) $_307
% 0.20/0.48  |- ~male $_310 (skf19 $_310 $W) \/
% 0.20/0.48     agent $_310 (skf10 $_310 (skf19 $_310 $W) $_312) (skf19 $_310 $W) \/
% 0.20/0.48     man $_310 (skf14 $_310 $_308) \/ ssSkP1 $U $_310 \/
% 0.20/0.48     ssSkP1 $_309 $_310 \/ ssSkP1 (skf19 $_310 $W) $_310
% 0.20/0.48  |- ~male $_315 (skf19 $_315 $W) \/
% 0.20/0.48     agent $_315 (skf10 $_315 (skf19 $_315 $W) $_317) (skf19 $_315 $W) \/
% 0.20/0.48     male $_315 (skf14 $_315 $_313) \/ ssSkP1 $U $_315 \/
% 0.20/0.48     ssSkP1 $_314 $_315 \/ ssSkP1 (skf19 $_315 $W) $_315
% 0.20/0.48  |- ~male $_320 (skf19 $_320 $W) \/
% 0.20/0.48     agent $_320 (skf10 $_320 (skf19 $_320 $W) $_322) (skf19 $_320 $W) \/
% 0.20/0.48     cannon $_320 (skf12 $_320 $_318) \/ ssSkP1 $U $_320 \/
% 0.20/0.48     ssSkP1 $_319 $_320 \/ ssSkP1 (skf19 $_320 $W) $_320
% 0.20/0.48  |- ~cannon $_325 (skf12 $_325 $W) \/
% 0.20/0.48     ~member $_325 (skf12 $_325 $W) (skf14 $_325 $W) \/
% 0.20/0.48     ~ssSkP1 (skf14 $_325 $W) $_325 \/
% 0.20/0.48     agent $_325 (skf15 $_325 (skf14 $_325 $_324) $_328)
% 0.20/0.48       (skf14 $_325 $_324) \/ ssSkP0 $U $_325 \/ ssSkP0 $_323 $_325
% 0.20/0.48  |- ~cannon $_331 (skf12 $_331 $W) \/
% 0.20/0.48     ~member $_331 (skf12 $_331 $W) (skf14 $_331 $W) \/
% 0.20/0.48     ~ssSkP1 (skf14 $_331 $W) $_331 \/
% 0.20/0.48     agent $_331 (skf15 $_331 (skf19 $_331 $_330) $_334)
% 0.20/0.48       (skf19 $_331 $_330) \/ ssSkP0 $U $_331 \/ ssSkP1 $_329 $_331
% 0.20/0.48  |- ~male $_340 $_341 \/ ~man $_340 $_341 \/ ~ssSkP0 $_341 $_340 \/
% 0.20/0.48     fire $_340 (skf10 $_340 $_342 $_343) \/ ssSkP1 $U $_340 \/
% 0.20/0.48     ssSkP1 $_341 $_340
% 0.20/0.48  |- ~male skc48 skc49 \/ ~man skc48 skc49 \/
% 0.20/0.48     fire skc48 (skf10 skc48 $_347 $_348) \/ ssSkC0 \/ ssSkP1 $_344 skc48 \/
% 0.20/0.48     ssSkP1 skc49 skc48
% 0.20/0.48  |- ~male $_345 $_346 \/ ~man $_345 $_346 \/
% 0.20/0.48     fire $_345 (skf10 $_345 $_347 $_348) \/
% 0.20/0.48     of $_345 (skf12 $_345 $W) (skf14 $_345 $W) \/ ssSkP1 $_344 $_345 \/
% 0.20/0.48     ssSkP1 $_346 $_345
% 0.20/0.48  |- ~male $_345 $_346 \/ ~man $_345 $_346 \/
% 0.20/0.48     fire $_345 (skf10 $_345 $_347 $_348) \/ male $_345 (skf14 $_345 $W) \/
% 0.20/0.48     ssSkP1 $_344 $_345 \/ ssSkP1 $_346 $_345
% 0.20/0.48  |- ~male $_345 $_346 \/ ~man $_345 $_346 \/
% 0.20/0.48     fire $_345 (skf10 $_345 $_347 $_348) \/ man $_345 (skf14 $_345 $W) \/
% 0.20/0.48     ssSkP1 $_344 $_345 \/ ssSkP1 $_346 $_345
% 0.20/0.48  |- ~male $_345 $_346 \/ ~man $_345 $_346 \/
% 0.20/0.48     cannon $_345 (skf12 $_345 $W) \/ fire $_345 (skf10 $_345 $_347 $_348) \/
% 0.20/0.48     ssSkP1 $_344 $_345 \/ ssSkP1 $_346 $_345
% 0.20/0.48  |- ~male $_362 $_363 \/ ~man $_362 $_363 \/ ~ssSkP0 $_363 $_362 \/
% 0.20/0.48     event $_362 (skf10 $_362 $_364 $_365) \/ ssSkP1 $U $_362 \/
% 0.20/0.48     ssSkP1 $_363 $_362
% 0.20/0.48  |- ~male skc48 skc49 \/ ~man skc48 skc49 \/
% 0.20/0.48     event skc48 (skf10 skc48 $_369 $_370) \/ ssSkC0 \/ ssSkP1 $_366 skc48 \/
% 0.20/0.48     ssSkP1 skc49 skc48
% 0.20/0.48  |- ~male $_367 $_368 \/ ~man $_367 $_368 \/
% 0.20/0.48     event $_367 (skf10 $_367 $_369 $_370) \/
% 0.20/0.48     of $_367 (skf12 $_367 $W) (skf14 $_367 $W) \/ ssSkP1 $_366 $_367 \/
% 0.20/0.48     ssSkP1 $_368 $_367
% 0.20/0.48  |- ~male $_367 $_368 \/ ~man $_367 $_368 \/
% 0.20/0.48     event $_367 (skf10 $_367 $_369 $_370) \/ male $_367 (skf14 $_367 $W) \/
% 0.20/0.48     ssSkP1 $_366 $_367 \/ ssSkP1 $_368 $_367
% 0.20/0.48  |- ~male $_367 $_368 \/ ~man $_367 $_368 \/
% 0.20/0.48     event $_367 (skf10 $_367 $_369 $_370) \/ man $_367 (skf14 $_367 $W) \/
% 0.20/0.48     ssSkP1 $_366 $_367 \/ ssSkP1 $_368 $_367
% 0.20/0.48  |- ~male $_367 $_368 \/ ~man $_367 $_368 \/
% 0.20/0.48     cannon $_367 (skf12 $_367 $W) \/
% 0.20/0.48     event $_367 (skf10 $_367 $_369 $_370) \/ ssSkP1 $_366 $_367 \/
% 0.20/0.48     ssSkP1 $_368 $_367
% 0.20/0.48  |- ~male $_384 $_385 \/ ~man $_384 $_385 \/ ~ssSkP0 $_385 $_384 \/
% 0.20/0.48     present $_384 (skf10 $_384 $_386 $_387) \/ ssSkP1 $U $_384 \/
% 0.20/0.48     ssSkP1 $_385 $_384
% 0.20/0.48  |- ~male skc48 skc49 \/ ~man skc48 skc49 \/
% 0.20/0.48     present skc48 (skf10 skc48 $_391 $_392) \/ ssSkC0 \/
% 0.20/0.48     ssSkP1 $_388 skc48 \/ ssSkP1 skc49 skc48
% 0.20/0.48  |- ~male $_389 $_390 \/ ~man $_389 $_390 \/
% 0.20/0.48     of $_389 (skf12 $_389 $W) (skf14 $_389 $W) \/
% 0.20/0.48     present $_389 (skf10 $_389 $_391 $_392) \/ ssSkP1 $_388 $_389 \/
% 0.20/0.48     ssSkP1 $_390 $_389
% 0.20/0.48  |- ~male $_389 $_390 \/ ~man $_389 $_390 \/ male $_389 (skf14 $_389 $W) \/
% 0.20/0.48     present $_389 (skf10 $_389 $_391 $_392) \/ ssSkP1 $_388 $_389 \/
% 0.20/0.48     ssSkP1 $_390 $_389
% 0.20/0.48  |- ~male $_389 $_390 \/ ~man $_389 $_390 \/ man $_389 (skf14 $_389 $W) \/
% 0.20/0.48     present $_389 (skf10 $_389 $_391 $_392) \/ ssSkP1 $_388 $_389 \/
% 0.20/0.48     ssSkP1 $_390 $_389
% 0.20/0.48  |- ~male $_389 $_390 \/ ~man $_389 $_390 \/
% 0.20/0.48     cannon $_389 (skf12 $_389 $W) \/
% 0.20/0.48     present $_389 (skf10 $_389 $_391 $_392) \/ ssSkP1 $_388 $_389 \/
% 0.20/0.48     ssSkP1 $_390 $_389
% 0.20/0.48  |- ~male $_406 $_407 \/ ~man $_406 $_407 \/ ~ssSkP0 $_407 $_406 \/
% 0.20/0.48     nonreflexive $_406 (skf10 $_406 $_408 $_409) \/ ssSkP1 $U $_406 \/
% 0.20/0.48     ssSkP1 $_407 $_406
% 0.20/0.48  |- ~male skc48 skc49 \/ ~man skc48 skc49 \/
% 0.20/0.48     nonreflexive skc48 (skf10 skc48 $_413 $_414) \/ ssSkC0 \/
% 0.20/0.48     ssSkP1 $_410 skc48 \/ ssSkP1 skc49 skc48
% 0.20/0.48  |- ~male $_411 $_412 \/ ~man $_411 $_412 \/
% 0.20/0.48     nonreflexive $_411 (skf10 $_411 $_413 $_414) \/
% 0.20/0.48     of $_411 (skf12 $_411 $W) (skf14 $_411 $W) \/ ssSkP1 $_410 $_411 \/
% 0.20/0.48     ssSkP1 $_412 $_411
% 0.20/0.48  |- ~male $_411 $_412 \/ ~man $_411 $_412 \/ male $_411 (skf14 $_411 $W) \/
% 0.20/0.48     nonreflexive $_411 (skf10 $_411 $_413 $_414) \/ ssSkP1 $_410 $_411 \/
% 0.20/0.48     ssSkP1 $_412 $_411
% 0.20/0.48  |- ~male $_411 $_412 \/ ~man $_411 $_412 \/ man $_411 (skf14 $_411 $W) \/
% 0.20/0.48     nonreflexive $_411 (skf10 $_411 $_413 $_414) \/ ssSkP1 $_410 $_411 \/
% 0.20/0.48     ssSkP1 $_412 $_411
% 0.20/0.48  |- ~male $_411 $_412 \/ ~man $_411 $_412 \/
% 0.20/0.48     cannon $_411 (skf12 $_411 $W) \/
% 0.20/0.48     nonreflexive $_411 (skf10 $_411 $_413 $_414) \/ ssSkP1 $_410 $_411 \/
% 0.20/0.48     ssSkP1 $_412 $_411
% 0.20/0.48  |- ~male $_425 (skf19 $_425 $W) \/
% 0.20/0.48     of $_425 (skf12 $_425 $_423) (skf14 $_425 $_423) \/
% 0.20/0.48     patient $_425
% 0.20/0.48       (skf10 $_425 (skf19 $_425 $W) (skf17 $_425 (skf19 $_425 $W)))
% 0.20/0.48       (skf17 $_425 (skf19 $_425 $W)) \/ ssSkP1 $U $_425 \/
% 0.20/0.48     ssSkP1 $_424 $_425 \/ ssSkP1 (skf19 $_425 $W) $_425
% 0.20/0.48  |- ~male $_430 (skf19 $_430 $W) \/
% 0.20/0.48     from_loc $_430
% 0.20/0.48       (skf10 $_430 (skf19 $_430 $W) (skf17 $_430 (skf19 $_430 $W)))
% 0.20/0.48       (skf17 $_430 (skf19 $_430 $W)) \/
% 0.20/0.48     of $_430 (skf12 $_430 $_427) (skf14 $_430 $_427) \/ ssSkP1 $U $_430 \/
% 0.20/0.48     ssSkP1 $_428 $_430 \/ ssSkP1 (skf19 $_430 $W) $_430
% 0.20/0.48  |- ~male $_493 (skf19 $_493 $W) \/ fire $_493 (skf10 $_493 $_495 $_496) \/
% 0.20/0.48     male $_493 (skf14 $_493 $_491) \/ ssSkP1 $U $_493 \/
% 0.20/0.48     ssSkP1 $_492 $_493 \/ ssSkP1 (skf19 $_493 $W) $_493
% 0.20/0.48  |- ~male $_499 (skf19 $_499 $W) \/ fire $_499 (skf10 $_499 $_501 $_502) \/
% 0.20/0.48     man $_499 (skf14 $_499 $_497) \/ ssSkP1 $U $_499 \/
% 0.20/0.48     ssSkP1 $_498 $_499 \/ ssSkP1 (skf19 $_499 $W) $_499
% 0.20/0.48  |- ~male $_505 (skf19 $_505 $W) \/ cannon $_505 (skf12 $_505 $_503) \/
% 0.20/0.48     fire $_505 (skf10 $_505 $_507 $_508) \/ ssSkP1 $U $_505 \/
% 0.20/0.48     ssSkP1 $_504 $_505 \/ ssSkP1 (skf19 $_505 $W) $_505
% 0.20/0.48  |- ~male $_511 (skf19 $_511 $W) \/ event $_511 (skf10 $_511 $_513 $_514) \/
% 0.20/0.48     man $_511 (skf14 $_511 $_509) \/ ssSkP1 $U $_511 \/
% 0.20/0.48     ssSkP1 $_510 $_511 \/ ssSkP1 (skf19 $_511 $W) $_511
% 0.20/0.48  |- ~male $_517 (skf19 $_517 $W) \/ event $_517 (skf10 $_517 $_519 $_520) \/
% 0.20/0.48     male $_517 (skf14 $_517 $_515) \/ ssSkP1 $U $_517 \/
% 0.20/0.48     ssSkP1 $_516 $_517 \/ ssSkP1 (skf19 $_517 $W) $_517
% 0.20/0.48  |- ~male $_523 (skf19 $_523 $W) \/ cannon $_523 (skf12 $_523 $_521) \/
% 0.20/0.48     event $_523 (skf10 $_523 $_525 $_526) \/ ssSkP1 $U $_523 \/
% 0.20/0.48     ssSkP1 $_522 $_523 \/ ssSkP1 (skf19 $_523 $W) $_523
% 0.20/0.48  |- ~male $_529 (skf19 $_529 $W) \/ male $_529 (skf14 $_529 $_527) \/
% 0.20/0.48     present $_529 (skf10 $_529 $_531 $_532) \/ ssSkP1 $U $_529 \/
% 0.20/0.48     ssSkP1 $_528 $_529 \/ ssSkP1 (skf19 $_529 $W) $_529
% 0.20/0.48  |- ~male $_535 (skf19 $_535 $W) \/ cannon $_535 (skf12 $_535 $_533) \/
% 0.20/0.48     present $_535 (skf10 $_535 $_537 $_538) \/ ssSkP1 $U $_535 \/
% 0.20/0.48     ssSkP1 $_534 $_535 \/ ssSkP1 (skf19 $_535 $W) $_535
% 0.20/0.48  |- ~male $_541 (skf19 $_541 $W) \/ man $_541 (skf14 $_541 $_539) \/
% 0.20/0.48     present $_541 (skf10 $_541 $_543 $_544) \/ ssSkP1 $U $_541 \/
% 0.20/0.48     ssSkP1 $_540 $_541 \/ ssSkP1 (skf19 $_541 $W) $_541
% 0.20/0.48  |- ~male $_547 (skf19 $_547 $W) \/ man $_547 (skf14 $_547 $_545) \/
% 0.20/0.48     nonreflexive $_547 (skf10 $_547 $_549 $_550) \/ ssSkP1 $U $_547 \/
% 0.20/0.48     ssSkP1 $_546 $_547 \/ ssSkP1 (skf19 $_547 $W) $_547
% 0.20/0.48  |- ~male $_553 (skf19 $_553 $W) \/ male $_553 (skf14 $_553 $_551) \/
% 0.20/0.48     nonreflexive $_553 (skf10 $_553 $_555 $_556) \/ ssSkP1 $U $_553 \/
% 0.20/0.48     ssSkP1 $_552 $_553 \/ ssSkP1 (skf19 $_553 $W) $_553
% 0.20/0.48  |- ~male $_559 (skf19 $_559 $W) \/ cannon $_559 (skf12 $_559 $_557) \/
% 0.20/0.48     nonreflexive $_559 (skf10 $_559 $_561 $_562) \/ ssSkP1 $U $_559 \/
% 0.20/0.48     ssSkP1 $_558 $_559 \/ ssSkP1 (skf19 $_559 $W) $_559
% 0.20/0.48  |- ~male $_565 (skf19 $_565 $W) \/
% 0.20/0.48     agent $_565 (skf10 $_565 (skf19 $_565 $W) $_567) (skf19 $_565 $W) \/
% 0.20/0.48     of $_565 (skf12 $_565 $_563) (skf14 $_565 $_563) \/ ssSkP1 $U $_565 \/
% 0.20/0.48     ssSkP1 $_564 $_565 \/ ssSkP1 (skf19 $_565 $W) $_565
% 0.20/0.48  |- ~male $_598 (skf19 $_598 $W) \/ fire $_598 (skf10 $_598 $_600 $_601) \/
% 0.20/0.48     of $_598 (skf12 $_598 $_596) (skf14 $_598 $_596) \/ ssSkP1 $U $_598 \/
% 0.20/0.48     ssSkP1 $_597 $_598 \/ ssSkP1 (skf19 $_598 $W) $_598
% 0.20/0.48  |- ~male $_604 (skf19 $_604 $W) \/ event $_604 (skf10 $_604 $_606 $_607) \/
% 0.20/0.48     of $_604 (skf12 $_604 $_602) (skf14 $_604 $_602) \/ ssSkP1 $U $_604 \/
% 0.20/0.48     ssSkP1 $_603 $_604 \/ ssSkP1 (skf19 $_604 $W) $_604
% 0.20/0.48  |- ~male $_610 (skf19 $_610 $W) \/
% 0.20/0.48     of $_610 (skf12 $_610 $_608) (skf14 $_610 $_608) \/
% 0.20/0.48     present $_610 (skf10 $_610 $_612 $_613) \/ ssSkP1 $U $_610 \/
% 0.20/0.48     ssSkP1 $_609 $_610 \/ ssSkP1 (skf19 $_610 $W) $_610
% 0.20/0.48  |- ~male $_616 (skf19 $_616 $W) \/
% 0.20/0.48     nonreflexive $_616 (skf10 $_616 $_618 $_619) \/
% 0.20/0.48     of $_616 (skf12 $_616 $_614) (skf14 $_616 $_614) \/ ssSkP1 $U $_616 \/
% 0.20/0.48     ssSkP1 $_615 $_616 \/ ssSkP1 (skf19 $_616 $W) $_616
% 0.20/0.48  SZS output end Saturation for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.20/0.48  
%------------------------------------------------------------------------------