%------------------------------------------------------------------------------ % File : Metis---2.4 % Problem : NLP243-1 : TPTP v8.1.0. Released v2.4.0. % Transfm : none % Format : tptp:raw % Command : metis --show proof --show saturation %s % Computer : n025.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:16:36 EDT 2022 % Result : Satisfiable 0.19s 0.51s % Output : Saturation 0.19s % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----WARNING: Could not form TPTP format derivation %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.10/0.12 % Problem : NLP243-1 : TPTP v8.1.0. Released v2.4.0. % 0.10/0.13 % Command : metis --show proof --show saturation %s % 0.13/0.34 % Computer : n025.cluster.edu % 0.13/0.34 % Model : x86_64 x86_64 % 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.13/0.34 % Memory : 8042.1875MB % 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64 % 0.13/0.34 % CPULimit : 300 % 0.13/0.34 % WCLimit : 600 % 0.13/0.34 % DateTime : Fri Jul 1 00:29:08 EDT 2022 % 0.13/0.34 % CPUTime : % 0.13/0.34 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 0.19/0.51 % SZS status Satisfiable for /export/starexec/sandbox/benchmark/theBenchmark.p % 0.19/0.51 % 0.19/0.51 SZS output start Saturation for /export/starexec/sandbox/benchmark/theBenchmark.p % 0.19/0.51 |- ~smoke $U $V \/ event $U $V % 0.19/0.51 |- ~event $U $V \/ eventuality $U $V % 0.19/0.51 |- ~eventuality $U $V \/ thing $U $V % 0.19/0.51 |- ~thing $U $V \/ singleton $U $V % 0.19/0.51 |- ~eventuality $U $V \/ specific $U $V % 0.19/0.51 |- ~eventuality $U $V \/ nonexistent $U $V % 0.19/0.51 |- ~eventuality $U $V \/ unisex $U $V % 0.19/0.51 |- ~proposition $U $V \/ relation $U $V % 0.19/0.51 |- ~relation $U $V \/ abstraction $U $V % 0.19/0.51 |- ~abstraction $U $V \/ thing $U $V % 0.19/0.51 |- ~abstraction $U $V \/ nonhuman $U $V % 0.19/0.51 |- ~abstraction $U $V \/ general $U $V % 0.19/0.51 |- ~abstraction $U $V \/ unisex $U $V % 0.19/0.51 |- ~state $U $V \/ eventuality $U $V % 0.19/0.51 |- ~state $U $V \/ event $U $V % 0.19/0.51 |- ~man $U $V \/ human_person $U $V % 0.19/0.51 |- ~human_person $U $V \/ organism $U $V % 0.19/0.51 |- ~organism $U $V \/ entity $U $V % 0.19/0.51 |- ~entity $U $V \/ thing $U $V % 0.19/0.51 |- ~entity $U $V \/ specific $U $V % 0.19/0.51 |- ~entity $U $V \/ existent $U $V % 0.19/0.51 |- ~organism $U $V \/ impartial $U $V % 0.19/0.51 |- ~organism $U $V \/ living $U $V % 0.19/0.51 |- ~human_person $U $V \/ human $U $V % 0.19/0.51 |- ~human_person $U $V \/ animate $U $V % 0.19/0.51 |- ~man $U $V \/ male $U $V % 0.19/0.51 |- ~forename $U $V \/ relname $U $V % 0.19/0.51 |- ~relname $U $V \/ relation $U $V % 0.19/0.52 |- ~vincent_forename $U $V \/ forename $U $V % 0.19/0.52 |- ~jules_forename $U $V \/ forename $U $V % 0.19/0.52 |- ~male $U $V \/ ~unisex $U $V % 0.19/0.52 |- ~general $U $V \/ ~specific $U $V % 0.19/0.52 |- ~human $U $V \/ ~nonhuman $U $V % 0.19/0.52 |- ~existent $U $V \/ ~nonexistent $U $V % 0.19/0.52 |- ~be $U $V $W $X \/ $W = $X % 0.19/0.52 |- ~accessible_world $U $V \/ ~smoke $U $W \/ smoke $V $W % 0.19/0.52 |- ~accessible_world $U $V \/ ~event $U $W \/ event $V $W % 0.19/0.52 |- ~accessible_world $U $V \/ ~eventuality $U $W \/ eventuality $V $W % 0.19/0.52 |- ~accessible_world $U $V \/ ~thing $U $W \/ thing $V $W % 0.19/0.52 |- ~accessible_world $U $V \/ ~singleton $U $W \/ singleton $V $W % 0.19/0.52 |- ~accessible_world $U $V \/ ~specific $U $W \/ specific $V $W % 0.19/0.52 |- ~accessible_world $U $V \/ ~nonexistent $U $W \/ nonexistent $V $W % 0.19/0.52 |- ~accessible_world $U $V \/ ~unisex $U $W \/ unisex $V $W % 0.19/0.52 |- ~accessible_world $U $V \/ ~present $U $W \/ present $V $W % 0.19/0.52 |- ~accessible_world $U $V \/ ~think_believe_consider $U $W \/ % 0.19/0.52 think_believe_consider $V $W % 0.19/0.52 |- ~accessible_world $U $V \/ ~proposition $U $W \/ proposition $V $W % 0.19/0.52 |- ~accessible_world $U $V \/ ~relation $U $W \/ relation $V $W % 0.19/0.52 |- ~abstraction $U $W \/ ~accessible_world $U $V \/ abstraction $V $W % 0.19/0.52 |- ~accessible_world $U $V \/ ~nonhuman $U $W \/ nonhuman $V $W % 0.19/0.52 |- ~accessible_world $U $V \/ ~general $U $W \/ general $V $W % 0.19/0.52 |- ~accessible_world $U $V \/ ~state $U $W \/ state $V $W % 0.19/0.52 |- ~accessible_world $U $V \/ ~man $U $W \/ man $V $W % 0.19/0.52 |- ~accessible_world $U $V \/ ~human_person $U $W \/ human_person $V $W % 0.19/0.52 |- ~accessible_world $U $V \/ ~organism $U $W \/ organism $V $W % 0.19/0.52 |- ~accessible_world $U $V \/ ~entity $U $W \/ entity $V $W % 0.19/0.52 |- ~accessible_world $U $V \/ ~existent $U $W \/ existent $V $W % 0.19/0.52 |- ~accessible_world $U $V \/ ~impartial $U $W \/ impartial $V $W % 0.19/0.52 |- ~accessible_world $U $V \/ ~living $U $W \/ living $V $W % 0.19/0.52 |- ~accessible_world $U $V \/ ~human $U $W \/ human $V $W % 0.19/0.52 |- ~accessible_world $U $V \/ ~animate $U $W \/ animate $V $W % 0.19/0.52 |- ~accessible_world $U $V \/ ~male $U $W \/ male $V $W % 0.19/0.52 |- ~accessible_world $U $V \/ ~forename $U $W \/ forename $V $W % 0.19/0.52 |- ~accessible_world $U $V \/ ~relname $U $W \/ relname $V $W % 0.19/0.52 |- ~accessible_world $U $V \/ ~vincent_forename $U $W \/ % 0.19/0.52 vincent_forename $V $W % 0.19/0.52 |- ~accessible_world $U $V \/ ~jules_forename $U $W \/ jules_forename $V $W % 0.19/0.52 |- ~accessible_world $U $V \/ ~agent $U $W $X \/ agent $V $W $X % 0.19/0.52 |- ~accessible_world $U $V \/ ~theme $U $W $X \/ theme $V $W $X % 0.19/0.52 |- ~accessible_world $U $V \/ ~of $U $W $X \/ of $V $W $X % 0.19/0.52 |- ~accessible_world $U $V \/ ~be $U $W $X $Y \/ be $V $W $X $Y % 0.19/0.52 |- ~entity $U $X \/ ~forename $U $V \/ ~forename $U $W \/ ~of $U $V $X \/ % 0.19/0.52 ~of $U $W $X \/ $W = $V % 0.19/0.52 |- ~agent $U $X $Z \/ ~agent $U $Y $Z \/ ~proposition $U $V \/ % 0.19/0.52 ~proposition $U $W \/ ~theme $U $X $V \/ ~theme $U $Y $W \/ % 0.19/0.52 ~think_believe_consider $U $X \/ ~think_believe_consider $U $Y \/ % 0.19/0.52 $V = $W % 0.19/0.52 |- ~agent $U $Y $Z \/ ~proposition $U $V \/ ~proposition $U $W \/ % 0.19/0.52 ~theme $U $Y $V \/ ~theme $U $Y $W \/ ~think_believe_consider $U $Y \/ % 0.19/0.52 $V = $W % 0.19/0.52 |- actual_world skc14 % 0.19/0.52 |- forename skc14 skc28 % 0.19/0.52 |- jules_forename skc14 skc28 % 0.19/0.52 |- man skc14 skc27 % 0.19/0.52 |- event skc15 skc24 % 0.19/0.52 |- jules_forename skc14 skc21 % 0.19/0.52 |- present skc15 skc24 % 0.19/0.52 |- smoke skc15 skc24 % 0.19/0.52 |- man skc14 skc22 % 0.19/0.52 |- vincent_forename skc14 skc21 % 0.19/0.52 |- forename skc14 skc21 % 0.19/0.52 |- think_believe_consider skc14 skc20 % 0.19/0.52 |- present skc14 skc20 % 0.19/0.52 |- event skc14 skc20 % 0.19/0.52 |- man skc14 skc18 % 0.19/0.52 |- forename skc14 skc17 % 0.19/0.52 |- vincent_forename skc14 skc17 % 0.19/0.52 |- event skc14 skc16 % 0.19/0.52 |- present skc14 skc16 % 0.19/0.52 |- think_believe_consider skc14 skc16 % 0.19/0.52 |- proposition skc14 skc19 % 0.19/0.52 |- accessible_world skc14 skc19 % 0.19/0.52 |- accessible_world skc14 skc15 % 0.19/0.52 |- proposition skc14 skc15 % 0.19/0.52 |- state skc14 skc26 % 0.19/0.52 |- of skc14 skc28 skc27 % 0.19/0.52 |- agent skc15 skc24 skc22 % 0.19/0.52 |- agent skc14 skc20 skc22 % 0.19/0.52 |- of skc14 skc21 skc22 % 0.19/0.52 |- theme skc14 skc20 skc19 % 0.19/0.52 |- of skc14 skc17 skc18 % 0.19/0.52 |- agent skc14 skc16 skc18 % 0.19/0.52 |- theme skc14 skc16 skc15 % 0.19/0.52 |- be skc14 skc26 skc27 skc27 % 0.19/0.52 |- ~man skc19 $U \/ agent skc19 (skf1 $U) $U % 0.19/0.52 |- eventuality skc14 skc16 % 0.19/0.52 |- eventuality skc14 skc20 % 0.19/0.52 |- eventuality skc15 skc24 % 0.19/0.52 |- thing skc14 skc16 % 0.19/0.52 |- thing skc14 skc20 % 0.19/0.52 |- thing skc15 skc24 % 0.19/0.52 |- singleton skc14 skc16 % 0.19/0.52 |- singleton skc14 skc20 % 0.19/0.52 |- singleton skc15 skc24 % 0.19/0.52 |- specific skc14 skc16 % 0.19/0.52 |- specific skc14 skc20 % 0.19/0.52 |- specific skc15 skc24 % 0.19/0.52 |- nonexistent skc14 skc16 % 0.19/0.52 |- nonexistent skc14 skc20 % 0.19/0.52 |- nonexistent skc15 skc24 % 0.19/0.52 |- unisex skc14 skc16 % 0.19/0.52 |- unisex skc14 skc20 % 0.19/0.52 |- unisex skc15 skc24 % 0.19/0.52 |- relation skc14 skc15 % 0.19/0.52 |- relation skc14 skc19 % 0.19/0.52 |- abstraction skc14 skc15 % 0.19/0.52 |- abstraction skc14 skc19 % 0.19/0.52 |- thing skc14 skc15 % 0.19/0.52 |- thing skc14 skc19 % 0.19/0.52 |- singleton skc14 skc15 % 0.19/0.52 |- singleton skc14 skc19 % 0.19/0.52 |- nonhuman skc14 skc15 % 0.19/0.52 |- nonhuman skc14 skc19 % 0.19/0.52 |- general skc14 skc15 % 0.19/0.52 |- general skc14 skc19 % 0.19/0.52 |- unisex skc14 skc15 % 0.19/0.52 |- unisex skc14 skc19 % 0.19/0.52 |- eventuality skc14 skc26 % 0.19/0.52 |- unisex skc14 skc26 % 0.19/0.52 |- nonexistent skc14 skc26 % 0.19/0.52 |- specific skc14 skc26 % 0.19/0.52 |- thing skc14 skc26 % 0.19/0.52 |- singleton skc14 skc26 % 0.19/0.52 |- event skc14 skc26 % 0.19/0.52 |- human_person skc14 skc18 % 0.19/0.52 |- human_person skc14 skc22 % 0.19/0.52 |- human_person skc14 skc27 % 0.19/0.52 |- organism skc14 skc18 % 0.19/0.52 |- organism skc14 skc22 % 0.19/0.52 |- organism skc14 skc27 % 0.19/0.52 |- impartial skc14 skc18 % 0.19/0.52 |- impartial skc14 skc22 % 0.19/0.52 |- impartial skc14 skc27 % 0.19/0.52 |- entity skc14 skc18 % 0.19/0.52 |- entity skc14 skc22 % 0.19/0.52 |- entity skc14 skc27 % 0.19/0.52 |- thing skc14 skc18 % 0.19/0.52 |- thing skc14 skc22 % 0.19/0.52 |- thing skc14 skc27 % 0.19/0.52 |- singleton skc14 skc18 % 0.19/0.52 |- singleton skc14 skc22 % 0.19/0.52 |- singleton skc14 skc27 % 0.19/0.52 |- specific skc14 skc18 % 0.19/0.52 |- specific skc14 skc22 % 0.19/0.52 |- specific skc14 skc27 % 0.19/0.52 |- existent skc14 skc18 % 0.19/0.52 |- existent skc14 skc22 % 0.19/0.52 |- existent skc14 skc27 % 0.19/0.52 |- living skc14 skc18 % 0.19/0.52 |- living skc14 skc22 % 0.19/0.52 |- living skc14 skc27 % 0.19/0.52 |- human skc14 skc18 % 0.19/0.52 |- human skc14 skc22 % 0.19/0.52 |- human skc14 skc27 % 0.19/0.52 |- animate skc14 skc18 % 0.19/0.52 |- animate skc14 skc22 % 0.19/0.52 |- animate skc14 skc27 % 0.19/0.52 |- male skc14 skc18 % 0.19/0.52 |- male skc14 skc22 % 0.19/0.52 |- male skc14 skc27 % 0.19/0.52 |- relname skc14 skc17 % 0.19/0.52 |- relname skc14 skc21 % 0.19/0.52 |- relname skc14 skc28 % 0.19/0.52 |- relation skc14 skc17 % 0.19/0.52 |- relation skc14 skc21 % 0.19/0.52 |- relation skc14 skc28 % 0.19/0.52 |- abstraction skc14 skc21 % 0.19/0.52 |- abstraction skc14 skc28 % 0.19/0.52 |- unisex skc14 skc21 % 0.19/0.52 |- general skc14 skc21 % 0.19/0.52 |- nonhuman skc14 skc21 % 0.19/0.52 |- thing skc14 skc21 % 0.19/0.52 |- unisex skc14 skc28 % 0.19/0.52 |- general skc14 skc28 % 0.19/0.52 |- nonhuman skc14 skc28 % 0.19/0.52 |- thing skc14 skc28 % 0.19/0.52 |- singleton skc14 skc28 % 0.19/0.52 |- abstraction skc14 skc17 % 0.19/0.52 |- unisex skc14 skc17 % 0.19/0.52 |- general skc14 skc17 % 0.19/0.52 |- nonhuman skc14 skc17 % 0.19/0.52 |- thing skc14 skc17 % 0.19/0.52 |- singleton skc14 skc21 % 0.19/0.52 |- singleton skc14 skc17 % 0.19/0.52 |- ~male skc14 skc15 % 0.19/0.52 |- ~male skc14 skc16 % 0.19/0.52 |- ~male skc14 skc17 % 0.19/0.52 |- ~male skc14 skc19 % 0.19/0.52 |- ~male skc14 skc20 % 0.19/0.52 |- ~male skc14 skc21 % 0.19/0.52 |- ~male skc14 skc26 % 0.19/0.52 |- ~male skc14 skc28 % 0.19/0.52 |- ~male skc15 skc24 % 0.19/0.52 |- ~general skc14 skc16 % 0.19/0.52 |- ~general skc14 skc18 % 0.19/0.52 |- ~general skc14 skc20 % 0.19/0.52 |- ~general skc14 skc22 % 0.19/0.52 |- ~general skc14 skc26 % 0.19/0.52 |- ~general skc14 skc27 % 0.19/0.52 |- ~general skc15 skc24 % 0.19/0.52 |- ~human skc14 skc15 % 0.19/0.52 |- ~human skc14 skc17 % 0.19/0.52 |- ~human skc14 skc19 % 0.19/0.52 |- ~human skc14 skc21 % 0.19/0.52 |- ~human skc14 skc28 % 0.19/0.52 |- ~existent skc14 skc16 % 0.19/0.52 |- ~existent skc14 skc20 % 0.19/0.52 |- ~existent skc14 skc26 % 0.19/0.52 |- ~existent skc15 skc24 % 0.19/0.52 |- ~accessible_world skc15 $_80 \/ smoke $_80 skc24 % 0.19/0.52 |- ~accessible_world skc14 $_84 \/ event $_84 skc16 % 0.19/0.52 |- ~accessible_world skc14 $_84 \/ event $_84 skc20 % 0.19/0.52 |- ~accessible_world skc14 $_84 \/ event $_84 skc26 % 0.19/0.52 |- ~accessible_world skc15 $_84 \/ event $_84 skc24 % 0.19/0.52 |- event skc15 skc20 % 0.19/0.52 |- event skc19 skc20 % 0.19/0.52 |- ~accessible_world skc15 $V \/ event $V skc20 % 0.19/0.52 |- eventuality skc15 skc20 % 0.19/0.52 |- unisex skc15 skc20 % 0.19/0.52 |- nonexistent skc15 skc20 % 0.19/0.53 |- specific skc15 skc20 % 0.19/0.53 |- thing skc15 skc20 % 0.19/0.53 |- ~general skc15 skc20 % 0.19/0.53 |- singleton skc15 skc20 % 0.19/0.53 |- ~accessible_world skc19 $V \/ event $V skc20 % 0.19/0.53 |- eventuality skc19 skc20 % 0.19/0.53 |- unisex skc19 skc20 % 0.19/0.53 |- nonexistent skc19 skc20 % 0.19/0.53 |- specific skc19 skc20 % 0.19/0.53 |- thing skc19 skc20 % 0.19/0.53 |- ~male skc19 skc20 % 0.19/0.53 |- ~existent skc19 skc20 % 0.19/0.53 |- ~general skc19 skc20 % 0.19/0.53 |- ~male skc15 skc20 % 0.19/0.53 |- ~existent skc15 skc20 % 0.19/0.53 |- singleton skc19 skc20 % 0.19/0.53 |- event skc15 skc16 % 0.19/0.53 |- event skc19 skc16 % 0.19/0.53 |- ~accessible_world skc15 $V \/ event $V skc16 % 0.19/0.53 |- eventuality skc15 skc16 % 0.19/0.53 |- unisex skc15 skc16 % 0.19/0.53 |- nonexistent skc15 skc16 % 0.19/0.53 |- specific skc15 skc16 % 0.19/0.53 |- thing skc15 skc16 % 0.19/0.53 |- ~existent skc15 skc16 % 0.19/0.53 |- ~general skc15 skc16 % 0.19/0.53 |- ~accessible_world skc19 $V \/ event $V skc16 % 0.19/0.53 |- eventuality skc19 skc16 % 0.19/0.53 |- unisex skc19 skc16 % 0.19/0.53 |- nonexistent skc19 skc16 % 0.19/0.53 |- specific skc19 skc16 % 0.19/0.53 |- thing skc19 skc16 % 0.19/0.53 |- ~general skc19 skc16 % 0.19/0.53 |- singleton skc19 skc16 % 0.19/0.53 |- ~male skc15 skc16 % 0.19/0.53 |- singleton skc15 skc16 % 0.19/0.53 |- ~male skc19 skc16 % 0.19/0.53 |- ~existent skc19 skc16 % 0.19/0.53 |- event skc15 skc26 % 0.19/0.53 |- event skc19 skc26 % 0.19/0.53 |- ~accessible_world skc15 $V \/ event $V skc26 % 0.19/0.53 |- eventuality skc15 skc26 % 0.19/0.53 |- unisex skc15 skc26 % 0.19/0.53 |- nonexistent skc15 skc26 % 0.19/0.53 |- specific skc15 skc26 % 0.19/0.53 |- thing skc15 skc26 % 0.19/0.53 |- ~male skc15 skc26 % 0.19/0.53 |- ~general skc15 skc26 % 0.19/0.53 |- singleton skc15 skc26 % 0.19/0.53 |- ~accessible_world skc19 $V \/ event $V skc26 % 0.19/0.53 |- eventuality skc19 skc26 % 0.19/0.53 |- unisex skc19 skc26 % 0.19/0.53 |- nonexistent skc19 skc26 % 0.19/0.53 |- specific skc19 skc26 % 0.19/0.53 |- thing skc19 skc26 % 0.19/0.53 |- ~general skc19 skc26 % 0.19/0.53 |- ~existent skc15 skc26 % 0.19/0.53 |- ~male skc19 skc26 % 0.19/0.53 |- ~existent skc19 skc26 % 0.19/0.53 |- singleton skc19 skc26 % 0.19/0.53 |- ~accessible_world skc14 $_97 \/ eventuality $_97 skc16 % 0.19/0.53 |- ~accessible_world skc14 $_97 \/ eventuality $_97 skc20 % 0.19/0.53 |- ~accessible_world skc14 $_97 \/ eventuality $_97 skc26 % 0.19/0.53 |- ~accessible_world skc15 $_97 \/ eventuality $_97 skc16 % 0.19/0.53 |- ~accessible_world skc15 $_97 \/ eventuality $_97 skc20 % 0.19/0.53 |- ~accessible_world skc15 $_97 \/ eventuality $_97 skc24 % 0.19/0.53 |- ~accessible_world skc15 $_97 \/ eventuality $_97 skc26 % 0.19/0.53 |- ~accessible_world skc19 $_97 \/ eventuality $_97 skc16 % 0.19/0.53 |- ~accessible_world skc19 $_97 \/ eventuality $_97 skc20 % 0.19/0.53 |- ~accessible_world skc19 $_97 \/ eventuality $_97 skc26 % 0.19/0.53 |- ~accessible_world skc14 $_110 \/ thing $_110 skc15 % 0.19/0.53 |- ~accessible_world skc14 $_110 \/ thing $_110 skc16 % 0.19/0.53 |- ~accessible_world skc14 $_110 \/ thing $_110 skc17 % 0.19/0.53 |- ~accessible_world skc14 $_110 \/ thing $_110 skc18 % 0.19/0.53 |- ~accessible_world skc14 $_110 \/ thing $_110 skc19 % 0.19/0.53 |- ~accessible_world skc14 $_110 \/ thing $_110 skc20 % 0.19/0.53 |- ~accessible_world skc14 $_110 \/ thing $_110 skc21 % 0.19/0.53 |- ~accessible_world skc14 $_110 \/ thing $_110 skc22 % 0.19/0.53 |- ~accessible_world skc14 $_110 \/ thing $_110 skc26 % 0.19/0.53 |- ~accessible_world skc14 $_110 \/ thing $_110 skc27 % 0.19/0.53 |- ~accessible_world skc14 $_110 \/ thing $_110 skc28 % 0.19/0.53 |- ~accessible_world skc15 $_110 \/ thing $_110 skc16 % 0.19/0.53 |- ~accessible_world skc15 $_110 \/ thing $_110 skc20 % 0.19/0.53 |- ~accessible_world skc15 $_110 \/ thing $_110 skc24 % 0.19/0.53 |- ~accessible_world skc15 $_110 \/ thing $_110 skc26 % 0.19/0.53 |- ~accessible_world skc19 $_110 \/ thing $_110 skc16 % 0.19/0.53 |- ~accessible_world skc19 $_110 \/ thing $_110 skc20 % 0.19/0.53 |- ~accessible_world skc19 $_110 \/ thing $_110 skc26 % 0.19/0.53 |- thing skc15 skc17 % 0.19/0.53 |- thing skc19 skc17 % 0.19/0.53 |- ~accessible_world skc15 $V \/ thing $V skc17 % 0.19/0.53 |- singleton skc15 skc17 % 0.19/0.53 |- ~accessible_world skc19 $V \/ thing $V skc17 % 0.19/0.53 |- singleton skc19 skc17 % 0.19/0.53 |- thing skc15 skc19 % 0.19/0.53 |- thing skc19 skc19 % 0.19/0.53 |- ~accessible_world skc15 $V \/ thing $V skc19 % 0.19/0.53 |- singleton skc15 skc19 % 0.19/0.53 |- ~accessible_world skc19 $V \/ thing $V skc19 % 0.19/0.53 |- singleton skc19 skc19 % 0.19/0.53 |- thing skc15 skc27 % 0.19/0.53 |- thing skc19 skc27 % 0.19/0.53 |- ~accessible_world skc15 $V \/ thing $V skc27 % 0.19/0.53 |- singleton skc15 skc27 % 0.19/0.53 |- ~accessible_world skc19 $V \/ thing $V skc27 % 0.19/0.53 |- singleton skc19 skc27 % 0.19/0.53 |- thing skc15 skc15 % 0.19/0.53 |- thing skc19 skc15 % 0.19/0.53 |- ~accessible_world skc15 $V \/ thing $V skc15 % 0.19/0.53 |- singleton skc15 skc15 % 0.19/0.53 |- ~accessible_world skc19 $V \/ thing $V skc15 % 0.19/0.53 |- singleton skc19 skc15 % 0.19/0.53 |- thing skc15 skc18 % 0.19/0.53 |- thing skc19 skc18 % 0.19/0.53 |- ~accessible_world skc15 $V \/ thing $V skc18 % 0.19/0.53 |- singleton skc15 skc18 % 0.19/0.53 |- ~accessible_world skc19 $V \/ thing $V skc18 % 0.19/0.53 |- singleton skc19 skc18 % 0.19/0.53 |- thing skc15 skc21 % 0.19/0.53 |- thing skc19 skc21 % 0.19/0.53 |- ~accessible_world skc15 $V \/ thing $V skc21 % 0.19/0.53 |- singleton skc15 skc21 % 0.19/0.53 |- ~accessible_world skc19 $V \/ thing $V skc21 % 0.19/0.53 |- singleton skc19 skc21 % 0.19/0.53 |- thing skc15 skc22 % 0.19/0.53 |- thing skc19 skc22 % 0.19/0.53 |- ~accessible_world skc15 $V \/ thing $V skc22 % 0.19/0.53 |- singleton skc15 skc22 % 0.19/0.53 |- ~accessible_world skc19 $V \/ thing $V skc22 % 0.19/0.53 |- singleton skc19 skc22 % 0.19/0.53 |- thing skc15 skc28 % 0.19/0.53 |- thing skc19 skc28 % 0.19/0.53 |- ~accessible_world skc15 $V \/ thing $V skc28 % 0.19/0.53 |- singleton skc15 skc28 % 0.19/0.53 |- ~accessible_world skc19 $V \/ thing $V skc28 % 0.19/0.53 |- singleton skc19 skc28 % 0.19/0.53 |- ~accessible_world skc14 $_150 \/ singleton $_150 skc15 % 0.19/0.53 |- ~accessible_world skc14 $_150 \/ singleton $_150 skc16 % 0.19/0.53 |- ~accessible_world skc14 $_150 \/ singleton $_150 skc17 % 0.19/0.53 |- ~accessible_world skc14 $_150 \/ singleton $_150 skc18 % 0.19/0.53 |- ~accessible_world skc14 $_150 \/ singleton $_150 skc19 % 0.19/0.53 |- ~accessible_world skc14 $_150 \/ singleton $_150 skc20 % 0.19/0.53 |- ~accessible_world skc14 $_150 \/ singleton $_150 skc21 % 0.19/0.53 |- ~accessible_world skc14 $_150 \/ singleton $_150 skc22 % 0.19/0.53 |- ~accessible_world skc14 $_150 \/ singleton $_150 skc26 % 0.19/0.53 |- ~accessible_world skc14 $_150 \/ singleton $_150 skc27 % 0.19/0.53 |- ~accessible_world skc14 $_150 \/ singleton $_150 skc28 % 0.19/0.53 |- ~accessible_world skc15 $_150 \/ singleton $_150 skc15 % 0.19/0.53 |- ~accessible_world skc15 $_150 \/ singleton $_150 skc16 % 0.19/0.53 |- ~accessible_world skc15 $_150 \/ singleton $_150 skc17 % 0.19/0.53 |- ~accessible_world skc15 $_150 \/ singleton $_150 skc18 % 0.19/0.53 |- ~accessible_world skc15 $_150 \/ singleton $_150 skc19 % 0.19/0.53 |- ~accessible_world skc15 $_150 \/ singleton $_150 skc20 % 0.19/0.53 |- ~accessible_world skc15 $_150 \/ singleton $_150 skc21 % 0.19/0.53 |- ~accessible_world skc15 $_150 \/ singleton $_150 skc22 % 0.19/0.53 |- ~accessible_world skc15 $_150 \/ singleton $_150 skc24 % 0.19/0.53 |- ~accessible_world skc15 $_150 \/ singleton $_150 skc26 % 0.19/0.53 |- ~accessible_world skc15 $_150 \/ singleton $_150 skc27 % 0.19/0.53 |- ~accessible_world skc15 $_150 \/ singleton $_150 skc28 % 0.19/0.53 |- ~accessible_world skc19 $_150 \/ singleton $_150 skc15 % 0.19/0.53 |- ~accessible_world skc19 $_150 \/ singleton $_150 skc16 % 0.19/0.53 |- ~accessible_world skc19 $_150 \/ singleton $_150 skc17 % 0.19/0.53 |- ~accessible_world skc19 $_150 \/ singleton $_150 skc18 % 0.19/0.53 |- ~accessible_world skc19 $_150 \/ singleton $_150 skc19 % 0.19/0.53 |- ~accessible_world skc19 $_150 \/ singleton $_150 skc20 % 0.19/0.53 |- ~accessible_world skc19 $_150 \/ singleton $_150 skc21 % 0.19/0.53 |- ~accessible_world skc19 $_150 \/ singleton $_150 skc22 % 0.19/0.53 |- ~accessible_world skc19 $_150 \/ singleton $_150 skc26 % 0.19/0.53 |- ~accessible_world skc19 $_150 \/ singleton $_150 skc27 % 0.19/0.53 |- ~accessible_world skc19 $_150 \/ singleton $_150 skc28 % 0.19/0.53 |- ~accessible_world skc14 $_190 \/ specific $_190 skc16 % 0.19/0.53 |- ~accessible_world skc14 $_190 \/ specific $_190 skc18 % 0.19/0.53 |- ~accessible_world skc14 $_190 \/ specific $_190 skc20 % 0.19/0.53 |- ~accessible_world skc14 $_190 \/ specific $_190 skc22 % 0.19/0.53 |- ~accessible_world skc14 $_190 \/ specific $_190 skc26 % 0.19/0.53 |- ~accessible_world skc14 $_190 \/ specific $_190 skc27 % 0.19/0.53 |- ~accessible_world skc15 $_190 \/ specific $_190 skc16 % 0.19/0.53 |- ~accessible_world skc15 $_190 \/ specific $_190 skc20 % 0.19/0.53 |- ~accessible_world skc15 $_190 \/ specific $_190 skc24 % 0.19/0.53 |- ~accessible_world skc15 $_190 \/ specific $_190 skc26 % 0.19/0.53 |- ~accessible_world skc19 $_190 \/ specific $_190 skc16 % 0.19/0.53 |- ~accessible_world skc19 $_190 \/ specific $_190 skc20 % 0.19/0.53 |- ~accessible_world skc19 $_190 \/ specific $_190 skc26 % 0.19/0.53 |- specific skc15 skc22 % 0.19/0.53 |- specific skc19 skc22 % 0.19/0.53 |- ~accessible_world skc15 $V \/ specific $V skc22 % 0.19/0.53 |- ~general skc15 skc22 % 0.19/0.53 |- ~accessible_world skc19 $V \/ specific $V skc22 % 0.19/0.53 |- ~general skc19 skc22 % 0.19/0.53 |- specific skc15 skc18 % 0.19/0.53 |- specific skc19 skc18 % 0.19/0.53 |- ~accessible_world skc15 $V \/ specific $V skc18 % 0.19/0.53 |- ~general skc15 skc18 % 0.19/0.53 |- ~accessible_world skc19 $V \/ specific $V skc18 % 0.19/0.53 |- ~general skc19 skc18 % 0.19/0.53 |- specific skc15 skc27 % 0.19/0.53 |- specific skc19 skc27 % 0.19/0.53 |- ~accessible_world skc15 $V \/ specific $V skc27 % 0.19/0.53 |- ~general skc15 skc27 % 0.19/0.53 |- ~accessible_world skc19 $V \/ specific $V skc27 % 0.19/0.53 |- ~general skc19 skc27 % 0.19/0.53 |- ~accessible_world skc14 $_212 \/ nonexistent $_212 skc16 % 0.19/0.53 |- ~accessible_world skc14 $_212 \/ nonexistent $_212 skc20 % 0.19/0.53 |- ~accessible_world skc14 $_212 \/ nonexistent $_212 skc26 % 0.19/0.53 |- ~accessible_world skc15 $_212 \/ nonexistent $_212 skc16 % 0.19/0.53 |- ~accessible_world skc15 $_212 \/ nonexistent $_212 skc20 % 0.19/0.54 |- ~accessible_world skc15 $_212 \/ nonexistent $_212 skc24 % 0.19/0.54 |- ~accessible_world skc15 $_212 \/ nonexistent $_212 skc26 % 0.19/0.54 |- ~accessible_world skc19 $_212 \/ nonexistent $_212 skc16 % 0.19/0.54 |- ~accessible_world skc19 $_212 \/ nonexistent $_212 skc20 % 0.19/0.54 |- ~accessible_world skc19 $_212 \/ nonexistent $_212 skc26 % 0.19/0.54 |- ~accessible_world skc14 $_225 \/ unisex $_225 skc15 % 0.19/0.54 |- ~accessible_world skc14 $_225 \/ unisex $_225 skc16 % 0.19/0.54 |- ~accessible_world skc14 $_225 \/ unisex $_225 skc17 % 0.19/0.54 |- ~accessible_world skc14 $_225 \/ unisex $_225 skc19 % 0.19/0.54 |- ~accessible_world skc14 $_225 \/ unisex $_225 skc20 % 0.19/0.54 |- ~accessible_world skc14 $_225 \/ unisex $_225 skc21 % 0.19/0.54 |- ~accessible_world skc14 $_225 \/ unisex $_225 skc26 % 0.19/0.54 |- ~accessible_world skc14 $_225 \/ unisex $_225 skc28 % 0.19/0.54 |- ~accessible_world skc15 $_225 \/ unisex $_225 skc16 % 0.19/0.54 |- ~accessible_world skc15 $_225 \/ unisex $_225 skc20 % 0.19/0.54 |- ~accessible_world skc15 $_225 \/ unisex $_225 skc24 % 0.19/0.54 |- ~accessible_world skc15 $_225 \/ unisex $_225 skc26 % 0.19/0.54 |- ~accessible_world skc19 $_225 \/ unisex $_225 skc16 % 0.19/0.54 |- ~accessible_world skc19 $_225 \/ unisex $_225 skc20 % 0.19/0.54 |- ~accessible_world skc19 $_225 \/ unisex $_225 skc26 % 0.19/0.54 |- unisex skc15 skc21 % 0.19/0.54 |- unisex skc19 skc21 % 0.19/0.54 |- ~accessible_world skc15 $V \/ unisex $V skc21 % 0.19/0.54 |- ~male skc15 skc21 % 0.19/0.54 |- ~accessible_world skc19 $V \/ unisex $V skc21 % 0.19/0.54 |- ~male skc19 skc21 % 0.19/0.54 |- unisex skc15 skc17 % 0.19/0.54 |- unisex skc19 skc17 % 0.19/0.54 |- ~accessible_world skc15 $V \/ unisex $V skc17 % 0.19/0.54 |- ~male skc15 skc17 % 0.19/0.54 |- ~accessible_world skc19 $V \/ unisex $V skc17 % 0.19/0.54 |- ~male skc19 skc17 % 0.19/0.54 |- unisex skc15 skc15 % 0.19/0.54 |- unisex skc19 skc15 % 0.19/0.54 |- ~accessible_world skc19 $V \/ unisex $V skc15 % 0.19/0.54 |- ~male skc19 skc15 % 0.19/0.54 |- ~accessible_world skc15 $V \/ unisex $V skc15 % 0.19/0.54 |- ~male skc15 skc15 % 0.19/0.54 |- unisex skc15 skc19 % 0.19/0.54 |- unisex skc19 skc19 % 0.19/0.54 |- ~accessible_world skc19 $V \/ unisex $V skc19 % 0.19/0.54 |- ~male skc19 skc19 % 0.19/0.54 |- ~accessible_world skc15 $V \/ unisex $V skc19 % 0.19/0.54 |- ~male skc15 skc19 % 0.19/0.54 |- unisex skc15 skc28 % 0.19/0.54 |- unisex skc19 skc28 % 0.19/0.54 |- ~accessible_world skc19 $V \/ unisex $V skc28 % 0.19/0.54 |- ~male skc19 skc28 % 0.19/0.54 |- ~accessible_world skc15 $V \/ unisex $V skc28 % 0.19/0.54 |- ~male skc15 skc28 % 0.19/0.54 |- ~accessible_world skc14 $_256 \/ present $_256 skc16 % 0.19/0.54 |- ~accessible_world skc14 $_256 \/ present $_256 skc20 % 0.19/0.54 |- ~accessible_world skc15 $_256 \/ present $_256 skc24 % 0.19/0.54 |- present skc15 skc16 % 0.19/0.54 |- present skc19 skc16 % 0.19/0.54 |- ~accessible_world skc15 $V \/ present $V skc16 % 0.19/0.54 |- ~accessible_world skc19 $V \/ present $V skc16 % 0.19/0.54 |- present skc15 skc20 % 0.19/0.54 |- present skc19 skc20 % 0.19/0.54 |- ~accessible_world skc15 $V \/ present $V skc20 % 0.19/0.54 |- ~accessible_world skc19 $V \/ present $V skc20 % 0.19/0.54 |- ~accessible_world skc14 $_266 \/ think_believe_consider $_266 skc16 % 0.19/0.54 |- ~accessible_world skc14 $_266 \/ think_believe_consider $_266 skc20 % 0.19/0.54 |- think_believe_consider skc15 skc20 % 0.19/0.54 |- think_believe_consider skc19 skc20 % 0.19/0.54 |- ~accessible_world skc15 $V \/ think_believe_consider $V skc20 % 0.19/0.54 |- ~accessible_world skc19 $V \/ think_believe_consider $V skc20 % 0.19/0.54 |- think_believe_consider skc15 skc16 % 0.19/0.54 |- think_believe_consider skc19 skc16 % 0.19/0.54 |- ~accessible_world skc19 $V \/ think_believe_consider $V skc16 % 0.19/0.54 |- ~accessible_world skc15 $V \/ think_believe_consider $V skc16 % 0.19/0.54 |- ~accessible_world skc14 $_275 \/ proposition $_275 skc15 % 0.19/0.54 |- ~accessible_world skc14 $_275 \/ proposition $_275 skc19 % 0.19/0.54 |- proposition skc15 skc19 % 0.19/0.54 |- proposition skc19 skc19 % 0.19/0.54 |- ~accessible_world skc15 $V \/ proposition $V skc19 % 0.19/0.54 |- relation skc15 skc19 % 0.19/0.54 |- abstraction skc15 skc19 % 0.19/0.54 |- general skc15 skc19 % 0.19/0.54 |- nonhuman skc15 skc19 % 0.19/0.54 |- ~accessible_world skc19 $V \/ proposition $V skc19 % 0.19/0.54 |- relation skc19 skc19 % 0.19/0.54 |- abstraction skc19 skc19 % 0.19/0.54 |- general skc19 skc19 % 0.19/0.54 |- nonhuman skc19 skc19 % 0.19/0.54 |- ~human skc15 skc19 % 0.19/0.54 |- ~human skc19 skc19 % 0.19/0.54 |- proposition skc15 skc15 % 0.19/0.54 |- proposition skc19 skc15 % 0.19/0.54 |- ~accessible_world skc15 $V \/ proposition $V skc15 % 0.19/0.54 |- relation skc15 skc15 % 0.19/0.54 |- ~accessible_world skc19 $V \/ proposition $V skc15 % 0.19/0.54 |- relation skc19 skc15 % 0.19/0.54 |- abstraction skc15 skc15 % 0.19/0.54 |- abstraction skc19 skc15 % 0.19/0.54 |- general skc19 skc15 % 0.19/0.54 |- nonhuman skc19 skc15 % 0.19/0.54 |- general skc15 skc15 % 0.19/0.54 |- nonhuman skc15 skc15 % 0.19/0.54 |- ~human skc15 skc15 % 0.19/0.54 |- ~human skc19 skc15 % 0.19/0.54 |- ~accessible_world skc14 $_284 \/ relation $_284 skc15 % 0.19/0.54 |- ~accessible_world skc14 $_284 \/ relation $_284 skc17 % 0.19/0.54 |- ~accessible_world skc14 $_284 \/ relation $_284 skc19 % 0.19/0.54 |- ~accessible_world skc14 $_284 \/ relation $_284 skc21 % 0.19/0.54 |- ~accessible_world skc14 $_284 \/ relation $_284 skc28 % 0.19/0.54 |- ~accessible_world skc15 $_284 \/ relation $_284 skc15 % 0.19/0.54 |- ~accessible_world skc15 $_284 \/ relation $_284 skc19 % 0.19/0.54 |- ~accessible_world skc19 $_284 \/ relation $_284 skc15 % 0.19/0.54 |- ~accessible_world skc19 $_284 \/ relation $_284 skc19 % 0.19/0.54 |- relation skc15 skc21 % 0.19/0.54 |- relation skc19 skc21 % 0.19/0.54 |- ~accessible_world skc19 $V \/ relation $V skc21 % 0.19/0.54 |- abstraction skc19 skc21 % 0.19/0.54 |- ~accessible_world skc15 $V \/ relation $V skc21 % 0.19/0.54 |- abstraction skc15 skc21 % 0.19/0.54 |- general skc15 skc21 % 0.19/0.54 |- nonhuman skc15 skc21 % 0.19/0.54 |- general skc19 skc21 % 0.19/0.54 |- nonhuman skc19 skc21 % 0.19/0.54 |- ~human skc19 skc21 % 0.19/0.54 |- ~human skc15 skc21 % 0.19/0.54 |- relation skc15 skc17 % 0.19/0.54 |- relation skc19 skc17 % 0.19/0.54 |- ~accessible_world skc15 $V \/ relation $V skc17 % 0.19/0.54 |- abstraction skc15 skc17 % 0.19/0.54 |- ~accessible_world skc19 $V \/ relation $V skc17 % 0.19/0.54 |- abstraction skc19 skc17 % 0.19/0.54 |- general skc19 skc17 % 0.19/0.54 |- nonhuman skc19 skc17 % 0.19/0.54 |- ~human skc19 skc17 % 0.19/0.54 |- general skc15 skc17 % 0.19/0.54 |- nonhuman skc15 skc17 % 0.19/0.54 |- ~human skc15 skc17 % 0.19/0.54 |- relation skc15 skc28 % 0.19/0.54 |- relation skc19 skc28 % 0.19/0.54 |- ~accessible_world skc15 $V \/ relation $V skc28 % 0.19/0.54 |- abstraction skc15 skc28 % 0.19/0.54 |- ~accessible_world skc19 $V \/ relation $V skc28 % 0.19/0.54 |- abstraction skc19 skc28 % 0.19/0.54 |- general skc19 skc28 % 0.19/0.54 |- nonhuman skc19 skc28 % 0.19/0.54 |- general skc15 skc28 % 0.19/0.54 |- nonhuman skc15 skc28 % 0.19/0.54 |- ~human skc15 skc28 % 0.19/0.54 |- ~human skc19 skc28 % 0.19/0.54 |- ~abstraction skc14 $_306 \/ abstraction skc15 $_306 % 0.19/0.54 |- ~abstraction skc14 $_306 \/ abstraction skc19 $_306 % 0.19/0.54 |- ~accessible_world skc14 $_310 \/ nonhuman $_310 skc15 % 0.19/0.54 |- ~accessible_world skc14 $_310 \/ nonhuman $_310 skc17 % 0.19/0.54 |- ~accessible_world skc14 $_310 \/ nonhuman $_310 skc19 % 0.19/0.54 |- ~accessible_world skc14 $_310 \/ nonhuman $_310 skc21 % 0.19/0.54 |- ~accessible_world skc14 $_310 \/ nonhuman $_310 skc28 % 0.19/0.54 |- ~accessible_world skc15 $_310 \/ nonhuman $_310 skc15 % 0.19/0.54 |- ~accessible_world skc15 $_310 \/ nonhuman $_310 skc17 % 0.19/0.54 |- ~accessible_world skc15 $_310 \/ nonhuman $_310 skc19 % 0.19/0.54 |- ~accessible_world skc15 $_310 \/ nonhuman $_310 skc21 % 0.19/0.54 |- ~accessible_world skc15 $_310 \/ nonhuman $_310 skc28 % 0.19/0.54 |- ~accessible_world skc19 $_310 \/ nonhuman $_310 skc15 % 0.19/0.54 |- ~accessible_world skc19 $_310 \/ nonhuman $_310 skc17 % 0.19/0.54 |- ~accessible_world skc19 $_310 \/ nonhuman $_310 skc19 % 0.19/0.54 |- ~accessible_world skc19 $_310 \/ nonhuman $_310 skc21 % 0.19/0.54 |- ~accessible_world skc19 $_310 \/ nonhuman $_310 skc28 % 0.19/0.54 |- ~accessible_world skc14 $_331 \/ general $_331 skc15 % 0.19/0.54 |- ~accessible_world skc14 $_331 \/ general $_331 skc17 % 0.19/0.54 |- ~accessible_world skc14 $_331 \/ general $_331 skc19 % 0.19/0.54 |- ~accessible_world skc14 $_331 \/ general $_331 skc21 % 0.19/0.54 |- ~accessible_world skc14 $_331 \/ general $_331 skc28 % 0.19/0.54 |- ~accessible_world skc15 $_331 \/ general $_331 skc15 % 0.19/0.54 |- ~accessible_world skc15 $_331 \/ general $_331 skc17 % 0.19/0.54 |- ~accessible_world skc15 $_331 \/ general $_331 skc19 % 0.19/0.54 |- ~accessible_world skc15 $_331 \/ general $_331 skc21 % 0.19/0.54 |- ~accessible_world skc15 $_331 \/ general $_331 skc28 % 0.19/0.54 |- ~accessible_world skc19 $_331 \/ general $_331 skc15 % 0.19/0.54 |- ~accessible_world skc19 $_331 \/ general $_331 skc17 % 0.19/0.54 |- ~accessible_world skc19 $_331 \/ general $_331 skc19 % 0.19/0.54 |- ~accessible_world skc19 $_331 \/ general $_331 skc21 % 0.19/0.54 |- ~accessible_world skc19 $_331 \/ general $_331 skc28 % 0.19/0.54 |- ~accessible_world skc14 $_352 \/ state $_352 skc26 % 0.19/0.54 |- state skc15 skc26 % 0.19/0.54 |- state skc19 skc26 % 0.19/0.54 |- ~accessible_world skc15 $V \/ state $V skc26 % 0.19/0.54 |- ~accessible_world skc19 $V \/ state $V skc26 % 0.19/0.54 |- ~accessible_world skc14 $_358 \/ man $_358 skc18 % 0.19/0.54 |- ~accessible_world skc14 $_358 \/ man $_358 skc22 % 0.19/0.54 |- ~accessible_world skc14 $_358 \/ man $_358 skc27 % 0.19/0.54 |- man skc15 skc22 % 0.19/0.54 |- man skc19 skc22 % 0.19/0.54 |- ~accessible_world skc15 $V \/ man $V skc22 % 0.19/0.54 |- male skc15 skc22 % 0.19/0.54 |- human_person skc15 skc22 % 0.19/0.54 |- ~accessible_world skc19 $V \/ man $V skc22 % 0.19/0.54 |- male skc19 skc22 % 0.19/0.54 |- human_person skc19 skc22 % 0.19/0.54 |- event skc19 (skf1 $V) % 0.19/0.54 |- present skc19 (skf1 $V) % 0.19/0.54 |- smoke skc19 (skf1 $V) % 0.19/0.54 |- agent skc19 (skf1 skc22) skc22 % 0.19/0.54 |- animate skc15 skc22 % 0.19/0.54 |- human skc15 skc22 % 0.19/0.54 |- organism skc15 skc22 % 0.19/0.54 |- animate skc19 skc22 % 0.19/0.54 |- human skc19 skc22 % 0.19/0.54 |- organism skc19 skc22 % 0.19/0.54 |- living skc19 skc22 % 0.19/0.54 |- entity skc19 skc22 % 0.19/0.54 |- impartial skc19 skc22 % 0.19/0.54 |- existent skc19 skc22 % 0.19/0.54 |- living skc15 skc22 % 0.19/0.54 |- entity skc15 skc22 % 0.19/0.54 |- impartial skc15 skc22 % 0.19/0.54 |- existent skc15 skc22 % 0.19/0.54 |- ~accessible_world skc19 $V \/ smoke $V (skf1 $_361) % 0.19/0.54 |- ~accessible_world skc19 $V \/ present $V (skf1 $_362) % 0.19/0.54 |- ~accessible_world skc19 $V \/ event $V (skf1 $_363) % 0.19/0.54 |- eventuality skc19 (skf1 $_363) % 0.19/0.54 |- ~accessible_world skc19 $V \/ eventuality $V (skf1 $_364) % 0.19/0.54 |- unisex skc19 (skf1 $_364) % 0.19/0.54 |- nonexistent skc19 (skf1 $_364) % 0.19/0.54 |- specific skc19 (skf1 $_364) % 0.19/0.54 |- thing skc19 (skf1 $_364) % 0.19/0.54 |- ~accessible_world skc19 $V \/ nonexistent $V (skf1 $_365) % 0.19/0.54 |- ~existent skc19 (skf1 $_365) % 0.19/0.54 |- ~accessible_world skc19 $V \/ thing $V (skf1 $_366) % 0.19/0.54 |- singleton skc19 (skf1 $_366) % 0.19/0.54 |- ~accessible_world skc19 $V \/ unisex $V (skf1 $_368) % 0.19/0.54 |- ~male skc19 (skf1 $_368) % 0.19/0.54 |- ~accessible_world skc19 $V \/ specific $V (skf1 $_370) % 0.19/0.54 |- ~general skc19 (skf1 $_370) % 0.19/0.54 |- ~accessible_world skc19 $V \/ singleton $V (skf1 $_372) % 0.19/0.55 |- man skc15 skc18 % 0.19/0.55 |- man skc19 skc18 % 0.19/0.55 |- ~accessible_world skc15 $V \/ man $V skc18 % 0.19/0.55 |- male skc15 skc18 % 0.19/0.55 |- human_person skc15 skc18 % 0.19/0.55 |- ~accessible_world skc19 $V \/ man $V skc18 % 0.19/0.55 |- male skc19 skc18 % 0.19/0.55 |- human_person skc19 skc18 % 0.19/0.55 |- agent skc19 (skf1 skc18) skc18 % 0.19/0.55 |- animate skc15 skc18 % 0.19/0.55 |- human skc15 skc18 % 0.19/0.55 |- organism skc15 skc18 % 0.19/0.55 |- animate skc19 skc18 % 0.19/0.55 |- human skc19 skc18 % 0.19/0.55 |- organism skc19 skc18 % 0.19/0.55 |- living skc15 skc18 % 0.19/0.55 |- entity skc15 skc18 % 0.19/0.55 |- impartial skc15 skc18 % 0.19/0.55 |- living skc19 skc18 % 0.19/0.55 |- entity skc19 skc18 % 0.19/0.55 |- impartial skc19 skc18 % 0.19/0.55 |- existent skc15 skc18 % 0.19/0.55 |- existent skc19 skc18 % 0.19/0.55 |- man skc15 skc27 % 0.19/0.55 |- man skc19 skc27 % 0.19/0.55 |- ~accessible_world skc19 $V \/ man $V skc27 % 0.19/0.55 |- male skc19 skc27 % 0.19/0.55 |- human_person skc19 skc27 % 0.19/0.55 |- agent skc19 (skf1 skc27) skc27 % 0.19/0.55 |- animate skc19 skc27 % 0.19/0.55 |- human skc19 skc27 % 0.19/0.55 |- organism skc19 skc27 % 0.19/0.55 |- living skc19 skc27 % 0.19/0.55 |- entity skc19 skc27 % 0.19/0.55 |- impartial skc19 skc27 % 0.19/0.55 |- existent skc19 skc27 % 0.19/0.55 |- ~accessible_world skc15 $V \/ man $V skc27 % 0.19/0.55 |- male skc15 skc27 % 0.19/0.55 |- human_person skc15 skc27 % 0.19/0.55 |- animate skc15 skc27 % 0.19/0.55 |- human skc15 skc27 % 0.19/0.55 |- organism skc15 skc27 % 0.19/0.55 |- living skc15 skc27 % 0.19/0.55 |- entity skc15 skc27 % 0.19/0.55 |- impartial skc15 skc27 % 0.19/0.55 |- existent skc15 skc27 % 0.19/0.55 |- ~accessible_world skc14 $_400 \/ human_person $_400 skc18 % 0.19/0.55 |- ~accessible_world skc14 $_400 \/ human_person $_400 skc22 % 0.19/0.55 |- ~accessible_world skc14 $_400 \/ human_person $_400 skc27 % 0.19/0.55 |- ~accessible_world skc15 $_400 \/ human_person $_400 skc18 % 0.19/0.55 |- ~accessible_world skc15 $_400 \/ human_person $_400 skc22 % 0.19/0.55 |- ~accessible_world skc15 $_400 \/ human_person $_400 skc27 % 0.19/0.55 |- ~accessible_world skc19 $_400 \/ human_person $_400 skc18 % 0.19/0.55 |- ~accessible_world skc19 $_400 \/ human_person $_400 skc22 % 0.19/0.55 |- ~accessible_world skc19 $_400 \/ human_person $_400 skc27 % 0.19/0.55 |- ~accessible_world skc14 $_412 \/ organism $_412 skc18 % 0.19/0.55 |- ~accessible_world skc14 $_412 \/ organism $_412 skc22 % 0.19/0.55 |- ~accessible_world skc14 $_412 \/ organism $_412 skc27 % 0.19/0.55 |- ~accessible_world skc15 $_412 \/ organism $_412 skc18 % 0.19/0.55 |- ~accessible_world skc15 $_412 \/ organism $_412 skc22 % 0.19/0.55 |- ~accessible_world skc15 $_412 \/ organism $_412 skc27 % 0.19/0.55 |- ~accessible_world skc19 $_412 \/ organism $_412 skc18 % 0.19/0.55 |- ~accessible_world skc19 $_412 \/ organism $_412 skc22 % 0.19/0.55 |- ~accessible_world skc19 $_412 \/ organism $_412 skc27 % 0.19/0.55 |- ~accessible_world skc14 $_424 \/ entity $_424 skc18 % 0.19/0.55 |- ~accessible_world skc14 $_424 \/ entity $_424 skc22 % 0.19/0.55 |- ~accessible_world skc14 $_424 \/ entity $_424 skc27 % 0.19/0.55 |- ~accessible_world skc15 $_424 \/ entity $_424 skc18 % 0.19/0.55 |- ~accessible_world skc15 $_424 \/ entity $_424 skc22 % 0.19/0.55 |- ~accessible_world skc15 $_424 \/ entity $_424 skc27 % 0.19/0.55 |- ~accessible_world skc19 $_424 \/ entity $_424 skc18 % 0.19/0.55 |- ~accessible_world skc19 $_424 \/ entity $_424 skc22 % 0.19/0.55 |- ~accessible_world skc19 $_424 \/ entity $_424 skc27 % 0.19/0.55 |- ~accessible_world skc14 $_436 \/ existent $_436 skc18 % 0.19/0.55 |- ~accessible_world skc14 $_436 \/ existent $_436 skc22 % 0.19/0.55 |- ~accessible_world skc14 $_436 \/ existent $_436 skc27 % 0.19/0.55 |- ~accessible_world skc15 $_436 \/ existent $_436 skc18 % 0.19/0.55 |- ~accessible_world skc15 $_436 \/ existent $_436 skc22 % 0.19/0.55 |- ~accessible_world skc15 $_436 \/ existent $_436 skc27 % 0.19/0.55 |- ~accessible_world skc19 $_436 \/ existent $_436 skc18 % 0.19/0.55 |- ~accessible_world skc19 $_436 \/ existent $_436 skc22 % 0.19/0.55 |- ~accessible_world skc19 $_436 \/ existent $_436 skc27 % 0.19/0.55 |- ~accessible_world skc14 $_448 \/ impartial $_448 skc18 % 0.19/0.55 |- ~accessible_world skc14 $_448 \/ impartial $_448 skc22 % 0.19/0.55 |- ~accessible_world skc14 $_448 \/ impartial $_448 skc27 % 0.19/0.55 |- ~accessible_world skc15 $_448 \/ impartial $_448 skc18 % 0.19/0.55 |- ~accessible_world skc15 $_448 \/ impartial $_448 skc22 % 0.19/0.55 |- ~accessible_world skc15 $_448 \/ impartial $_448 skc27 % 0.19/0.55 |- ~accessible_world skc19 $_448 \/ impartial $_448 skc18 % 0.19/0.55 |- ~accessible_world skc19 $_448 \/ impartial $_448 skc22 % 0.19/0.55 |- ~accessible_world skc19 $_448 \/ impartial $_448 skc27 % 0.19/0.55 |- ~accessible_world skc14 $_460 \/ living $_460 skc18 % 0.19/0.55 |- ~accessible_world skc14 $_460 \/ living $_460 skc22 % 0.19/0.55 |- ~accessible_world skc14 $_460 \/ living $_460 skc27 % 0.19/0.55 |- ~accessible_world skc15 $_460 \/ living $_460 skc18 % 0.19/0.55 |- ~accessible_world skc15 $_460 \/ living $_460 skc22 % 0.19/0.55 |- ~accessible_world skc15 $_460 \/ living $_460 skc27 % 0.19/0.55 |- ~accessible_world skc19 $_460 \/ living $_460 skc18 % 0.19/0.55 |- ~accessible_world skc19 $_460 \/ living $_460 skc22 % 0.19/0.55 |- ~accessible_world skc19 $_460 \/ living $_460 skc27 % 0.19/0.55 |- ~accessible_world skc14 $_472 \/ human $_472 skc18 % 0.19/0.55 |- ~accessible_world skc14 $_472 \/ human $_472 skc22 % 0.19/0.55 |- ~accessible_world skc14 $_472 \/ human $_472 skc27 % 0.19/0.55 |- ~accessible_world skc15 $_472 \/ human $_472 skc18 % 0.19/0.55 |- ~accessible_world skc15 $_472 \/ human $_472 skc22 % 0.19/0.55 |- ~accessible_world skc15 $_472 \/ human $_472 skc27 % 0.19/0.55 |- ~accessible_world skc19 $_472 \/ human $_472 skc18 % 0.19/0.55 |- ~accessible_world skc19 $_472 \/ human $_472 skc22 % 0.19/0.55 |- ~accessible_world skc19 $_472 \/ human $_472 skc27 % 0.19/0.55 |- ~accessible_world skc14 $_484 \/ animate $_484 skc18 % 0.19/0.55 |- ~accessible_world skc14 $_484 \/ animate $_484 skc22 % 0.19/0.55 |- ~accessible_world skc14 $_484 \/ animate $_484 skc27 % 0.19/0.55 |- ~accessible_world skc15 $_484 \/ animate $_484 skc18 % 0.19/0.55 |- ~accessible_world skc15 $_484 \/ animate $_484 skc22 % 0.19/0.55 |- ~accessible_world skc15 $_484 \/ animate $_484 skc27 % 0.19/0.55 |- ~accessible_world skc19 $_484 \/ animate $_484 skc18 % 0.19/0.55 |- ~accessible_world skc19 $_484 \/ animate $_484 skc22 % 0.19/0.55 |- ~accessible_world skc19 $_484 \/ animate $_484 skc27 % 0.19/0.55 |- ~accessible_world skc14 $_496 \/ male $_496 skc18 % 0.19/0.55 |- ~accessible_world skc14 $_496 \/ male $_496 skc22 % 0.19/0.55 |- ~accessible_world skc14 $_496 \/ male $_496 skc27 % 0.19/0.55 |- ~accessible_world skc15 $_496 \/ male $_496 skc18 % 0.19/0.55 |- ~accessible_world skc15 $_496 \/ male $_496 skc22 % 0.19/0.55 |- ~accessible_world skc15 $_496 \/ male $_496 skc27 % 0.19/0.55 |- ~accessible_world skc19 $_496 \/ male $_496 skc18 % 0.19/0.55 |- ~accessible_world skc19 $_496 \/ male $_496 skc22 % 0.19/0.55 |- ~accessible_world skc19 $_496 \/ male $_496 skc27 % 0.19/0.55 |- ~accessible_world skc14 $_508 \/ forename $_508 skc17 % 0.19/0.55 |- ~accessible_world skc14 $_508 \/ forename $_508 skc21 % 0.19/0.55 |- ~accessible_world skc14 $_508 \/ forename $_508 skc28 % 0.19/0.55 |- forename skc15 skc28 % 0.19/0.55 |- forename skc19 skc28 % 0.19/0.55 |- ~accessible_world skc15 $V \/ forename $V skc28 % 0.19/0.55 |- relname skc15 skc28 % 0.19/0.55 |- ~accessible_world skc19 $V \/ forename $V skc28 % 0.19/0.55 |- relname skc19 skc28 % 0.19/0.55 |- forename skc15 skc17 % 0.19/0.55 |- forename skc19 skc17 % 0.19/0.55 |- ~accessible_world skc19 $V \/ forename $V skc17 % 0.19/0.55 |- relname skc19 skc17 % 0.19/0.55 |- ~accessible_world skc15 $V \/ forename $V skc17 % 0.19/0.55 |- relname skc15 skc17 % 0.19/0.55 |- forename skc15 skc21 % 0.19/0.55 |- forename skc19 skc21 % 0.19/0.55 |- ~accessible_world skc19 $V \/ forename $V skc21 % 0.19/0.55 |- relname skc19 skc21 % 0.19/0.55 |- ~accessible_world skc15 $V \/ forename $V skc21 % 0.19/0.55 |- relname skc15 skc21 % 0.19/0.55 |- ~accessible_world skc14 $_523 \/ relname $_523 skc17 % 0.19/0.55 |- ~accessible_world skc14 $_523 \/ relname $_523 skc21 % 0.19/0.55 |- ~accessible_world skc14 $_523 \/ relname $_523 skc28 % 0.19/0.55 |- ~accessible_world skc15 $_523 \/ relname $_523 skc17 % 0.19/0.55 |- ~accessible_world skc15 $_523 \/ relname $_523 skc21 % 0.19/0.55 |- ~accessible_world skc15 $_523 \/ relname $_523 skc28 % 0.19/0.55 |- ~accessible_world skc19 $_523 \/ relname $_523 skc17 % 0.19/0.55 |- ~accessible_world skc19 $_523 \/ relname $_523 skc21 % 0.19/0.55 |- ~accessible_world skc19 $_523 \/ relname $_523 skc28 % 0.19/0.55 |- ~accessible_world skc14 $_538 \/ vincent_forename $_538 skc17 % 0.19/0.55 |- ~accessible_world skc14 $_538 \/ vincent_forename $_538 skc21 % 0.19/0.55 |- vincent_forename skc15 skc17 % 0.19/0.55 |- vincent_forename skc19 skc17 % 0.19/0.55 |- ~accessible_world skc15 $V \/ vincent_forename $V skc17 % 0.19/0.55 |- ~accessible_world skc19 $V \/ vincent_forename $V skc17 % 0.19/0.55 |- vincent_forename skc15 skc21 % 0.19/0.55 |- vincent_forename skc19 skc21 % 0.19/0.55 |- ~accessible_world skc15 $V \/ vincent_forename $V skc21 % 0.19/0.55 |- ~accessible_world skc19 $V \/ vincent_forename $V skc21 % 0.19/0.55 |- ~accessible_world skc14 $_547 \/ jules_forename $_547 skc21 % 0.19/0.55 |- ~accessible_world skc14 $_547 \/ jules_forename $_547 skc28 % 0.19/0.55 |- jules_forename skc15 skc21 % 0.19/0.55 |- jules_forename skc19 skc21 % 0.19/0.55 |- ~accessible_world skc15 $V \/ jules_forename $V skc21 % 0.19/0.55 |- ~accessible_world skc19 $V \/ jules_forename $V skc21 % 0.19/0.55 |- jules_forename skc15 skc28 % 0.19/0.55 |- jules_forename skc19 skc28 % 0.19/0.55 |- ~accessible_world skc15 $V \/ jules_forename $V skc28 % 0.19/0.55 |- ~accessible_world skc19 $V \/ jules_forename $V skc28 % 0.19/0.55 |- ~accessible_world skc14 $_556 \/ agent $_556 skc16 skc18 % 0.19/0.55 |- ~accessible_world skc14 $_556 \/ agent $_556 skc20 skc22 % 0.19/0.55 |- ~accessible_world skc15 $_556 \/ agent $_556 skc24 skc22 % 0.19/0.55 |- ~accessible_world skc19 $_556 \/ agent $_556 (skf1 skc18) skc18 % 0.19/0.55 |- ~accessible_world skc19 $_556 \/ agent $_556 (skf1 skc22) skc22 % 0.19/0.55 |- ~accessible_world skc19 $_556 \/ agent $_556 (skf1 skc27) skc27 % 0.19/0.55 |- agent skc15 skc20 skc22 % 0.19/0.55 |- agent skc19 skc20 skc22 % 0.19/0.55 |- ~accessible_world skc15 $V \/ agent $V skc20 skc22 % 0.19/0.55 |- ~accessible_world skc19 $V \/ agent $V skc20 skc22 % 0.19/0.55 |- agent skc15 skc16 skc18 % 0.19/0.55 |- agent skc19 skc16 skc18 % 0.19/0.55 |- ~accessible_world skc19 $V \/ agent $V skc16 skc18 % 0.19/0.55 |- ~accessible_world skc15 $V \/ agent $V skc16 skc18 % 0.19/0.55 |- ~accessible_world skc14 $_570 \/ theme $_570 skc16 skc15 % 0.19/0.55 |- ~accessible_world skc14 $_570 \/ theme $_570 skc20 skc19 % 0.19/0.55 |- theme skc15 skc16 skc15 % 0.19/0.55 |- theme skc19 skc16 skc15 % 0.19/0.55 |- ~accessible_world skc15 $V \/ theme $V skc16 skc15 % 0.19/0.55 |- ~accessible_world skc19 $V \/ theme $V skc16 skc15 % 0.19/0.55 |- theme skc15 skc20 skc19 % 0.19/0.55 |- theme skc19 skc20 skc19 % 0.19/0.55 |- ~accessible_world skc15 $V \/ theme $V skc20 skc19 % 0.19/0.55 |- ~accessible_world skc19 $V \/ theme $V skc20 skc19 % 0.19/0.55 |- ~accessible_world skc14 $_580 \/ of $_580 skc17 skc18 % 0.19/0.55 |- ~accessible_world skc14 $_580 \/ of $_580 skc21 skc22 % 0.19/0.55 |- ~accessible_world skc14 $_580 \/ of $_580 skc28 skc27 % 0.19/0.55 |- of skc15 skc28 skc27 % 0.19/0.56 |- of skc19 skc28 skc27 % 0.19/0.56 |- ~accessible_world skc15 $V \/ of $V skc28 skc27 % 0.19/0.56 |- ~accessible_world skc19 $V \/ of $V skc28 skc27 % 0.19/0.56 |- of skc15 skc17 skc18 % 0.19/0.56 |- of skc19 skc17 skc18 % 0.19/0.56 |- ~accessible_world skc15 $V \/ of $V skc17 skc18 % 0.19/0.56 |- ~accessible_world skc19 $V \/ of $V skc17 skc18 % 0.19/0.56 |- of skc15 skc21 skc22 % 0.19/0.56 |- of skc19 skc21 skc22 % 0.19/0.56 |- ~accessible_world skc15 $V \/ of $V skc21 skc22 % 0.19/0.56 |- ~accessible_world skc19 $V \/ of $V skc21 skc22 % 0.19/0.56 |- ~accessible_world skc14 $_596 \/ be $_596 skc26 skc27 skc27 % 0.19/0.56 |- be skc15 skc26 skc27 skc27 % 0.19/0.56 |- be skc19 skc26 skc27 skc27 % 0.19/0.56 |- ~accessible_world skc19 $V \/ be $V skc26 skc27 skc27 % 0.19/0.56 |- ~accessible_world skc15 $V \/ be $V skc26 skc27 skc27 % 0.19/0.56 |- ~forename skc14 $_605 \/ ~of skc14 $_605 skc18 \/ $_605 = skc17 % 0.19/0.56 |- ~forename skc14 $_605 \/ ~of skc14 $_605 skc22 \/ $_605 = skc21 % 0.19/0.56 |- ~forename skc14 $_605 \/ ~of skc14 $_605 skc27 \/ $_605 = skc28 % 0.19/0.56 |- ~forename skc15 $_605 \/ ~of skc15 $_605 skc18 \/ $_605 = skc17 % 0.19/0.56 |- ~forename skc15 $_605 \/ ~of skc15 $_605 skc22 \/ $_605 = skc21 % 0.19/0.56 |- ~forename skc15 $_605 \/ ~of skc15 $_605 skc27 \/ $_605 = skc28 % 0.19/0.56 |- ~forename skc19 $_605 \/ ~of skc19 $_605 skc18 \/ $_605 = skc17 % 0.19/0.56 |- ~forename skc19 $_605 \/ ~of skc19 $_605 skc22 \/ $_605 = skc21 % 0.19/0.56 |- ~forename skc19 $_605 \/ ~of skc19 $_605 skc27 \/ $_605 = skc28 % 0.19/0.56 |- skc21 = skc23 % 0.19/0.56 |- ~agent skc14 skc16 $_624 \/ ~proposition skc14 $_622 \/ % 0.19/0.56 ~theme skc14 skc16 $_622 \/ skc15 = $_622 % 0.19/0.56 |- ~agent skc14 skc20 $_624 \/ ~proposition skc14 $_622 \/ % 0.19/0.56 ~theme skc14 skc20 $_622 \/ skc19 = $_622 % 0.19/0.56 |- ~agent skc15 skc16 $_624 \/ ~proposition skc15 $_622 \/ % 0.19/0.56 ~theme skc15 skc16 $_622 \/ skc15 = $_622 % 0.19/0.56 |- ~agent skc15 skc20 $_624 \/ ~proposition skc15 $_622 \/ % 0.19/0.56 ~theme skc15 skc20 $_622 \/ skc19 = $_622 % 0.19/0.56 |- ~agent skc19 skc16 $_624 \/ ~proposition skc19 $_622 \/ % 0.19/0.56 ~theme skc19 skc16 $_622 \/ skc15 = $_622 % 0.19/0.56 |- ~agent skc19 skc20 $_624 \/ ~proposition skc19 $_622 \/ % 0.19/0.56 ~theme skc19 skc20 $_622 \/ skc19 = $_622 % 0.19/0.56 |- ~agent skc14 $_641 $_642 \/ ~agent skc14 skc16 $_642 \/ % 0.19/0.56 ~proposition skc14 $_639 \/ ~theme skc14 $_641 $_639 \/ % 0.19/0.56 ~think_believe_consider skc14 $_641 \/ skc15 = $_639 % 0.19/0.56 |- ~agent skc14 $_641 $_642 \/ ~agent skc14 skc20 $_642 \/ % 0.19/0.56 ~proposition skc14 $_639 \/ ~theme skc14 $_641 $_639 \/ % 0.19/0.56 ~think_believe_consider skc14 $_641 \/ skc19 = $_639 % 0.19/0.56 |- ~agent skc15 $_641 $_642 \/ ~agent skc15 skc16 $_642 \/ % 0.19/0.56 ~proposition skc15 $_639 \/ ~theme skc15 $_641 $_639 \/ % 0.19/0.56 ~think_believe_consider skc15 $_641 \/ skc15 = $_639 % 0.19/0.56 |- ~agent skc15 $_641 $_642 \/ ~agent skc15 skc20 $_642 \/ % 0.19/0.56 ~proposition skc15 $_639 \/ ~theme skc15 $_641 $_639 \/ % 0.19/0.56 ~think_believe_consider skc15 $_641 \/ skc19 = $_639 % 0.19/0.56 |- ~agent skc19 $_641 $_642 \/ ~agent skc19 skc16 $_642 \/ % 0.19/0.56 ~proposition skc19 $_639 \/ ~theme skc19 $_641 $_639 \/ % 0.19/0.56 ~think_believe_consider skc19 $_641 \/ skc15 = $_639 % 0.19/0.56 |- ~agent skc19 $_641 $_642 \/ ~agent skc19 skc20 $_642 \/ % 0.19/0.56 ~proposition skc19 $_639 \/ ~theme skc19 $_641 $_639 \/ % 0.19/0.56 ~think_believe_consider skc19 $_641 \/ skc19 = $_639 % 0.19/0.56 |- ~agent skc15 skc16 $_645 \/ ~agent skc15 skc20 $_645 \/ skc19 = skc15 % 0.19/0.56 |- ~agent skc15 skc16 skc22 \/ skc19 = skc15 % 0.19/0.56 |- ~agent skc19 skc16 $_649 \/ ~agent skc19 skc20 $_649 \/ skc19 = skc15 % 0.19/0.56 |- ~agent skc19 skc16 skc22 \/ skc19 = skc15 % 0.19/0.56 |- ~agent skc14 skc16 $_653 \/ ~agent skc14 skc20 $_653 \/ skc15 = skc19 % 0.19/0.56 |- ~agent skc14 skc16 skc22 \/ skc15 = skc19 % 0.19/0.56 SZS output end Saturation for /export/starexec/sandbox/benchmark/theBenchmark.p % 0.19/0.56 %------------------------------------------------------------------------------