%------------------------------------------------------------------------------ % File : Metis---2.4 % Problem : NLP232-1 : TPTP v8.1.0. Released v2.4.0. % Transfm : none % Format : tptp:raw % Command : metis --show proof --show saturation %s % Computer : n021.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:25 EDT 2022 % Result : Satisfiable 11.41s 11.58s % Output : Saturation 11.41s % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----WARNING: Could not form TPTP format derivation %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.12 % Problem : NLP232-1 : TPTP v8.1.0. Released v2.4.0. % 0.00/0.13 % Command : metis --show proof --show saturation %s % 0.14/0.33 % Computer : n021.cluster.edu % 0.14/0.33 % Model : x86_64 x86_64 % 0.14/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.14/0.33 % Memory : 8042.1875MB % 0.14/0.33 % OS : Linux 3.10.0-693.el7.x86_64 % 0.14/0.33 % CPULimit : 300 % 0.14/0.33 % WCLimit : 600 % 0.14/0.33 % DateTime : Thu Jun 30 20:46:58 EDT 2022 % 0.14/0.34 % CPUTime : % 0.14/0.34 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % 11.41/11.58 % SZS status Satisfiable for /export/starexec/sandbox2/benchmark/theBenchmark.p % 11.41/11.58 % 11.41/11.58 SZS output start Saturation for /export/starexec/sandbox2/benchmark/theBenchmark.p % 11.41/11.58 |- actual_world skc47 % 11.41/11.58 |- actual_world skc29 % 11.41/11.58 |- ~man skc40 $U \/ ~ssSkC0 \/ event skc40 (skf5 $V) % 11.41/11.58 |- ~man skc40 $U \/ ~ssSkC0 \/ present skc40 (skf5 $V) % 11.41/11.58 |- ~man skc40 $U \/ ~ssSkC0 \/ smoke skc40 (skf5 $V) % 11.41/11.58 |- ~man skc40 $U \/ ~ssSkC0 \/ agent skc40 (skf5 $U) $U % 11.41/11.58 |- ~accessible_world $U $V \/ ~accessible_world $U $X1 \/ % 11.41/11.58 ~actual_world $U \/ ~agent $U $W $Y \/ ~agent $U $X5 $X7 \/ % 11.41/11.58 ~agent $X1 $X2 $X3 \/ ~be $U $Z $X3 $X3 \/ ~event $U $W \/ % 11.41/11.58 ~event $U $X5 \/ ~event $X1 $X2 \/ ~forename $U $X \/ % 11.41/11.58 ~forename $U $X4 \/ ~forename $U $X6 \/ ~jules_forename $U $X4 \/ % 11.41/11.58 ~man $U $X3 \/ ~man $U $X7 \/ ~man $U $Y \/ ~of $U $X $Y \/ % 11.41/11.58 ~of $U $X4 $X3 \/ ~of $U $X6 $X7 \/ ~present $U $W \/ ~present $U $X5 \/ % 11.41/11.58 ~present $X1 $X2 \/ ~proposition $U $V \/ ~proposition $U $X1 \/ % 11.41/11.58 ~smoke $X1 $X2 \/ ~ssSkC0 \/ ~state $U $Z \/ ~theme $U $W $V \/ % 11.41/11.58 ~theme $U $X5 $X1 \/ ~think_believe_consider $U $W \/ % 11.41/11.58 ~think_believe_consider $U $X5 \/ ~vincent_forename $U $X \/ % 11.41/11.58 ~vincent_forename $U $X6 \/ man $V (skf7 $V) % 11.41/11.58 |- ~accessible_world $W $U \/ ~accessible_world $W $X2 \/ % 11.41/11.58 ~actual_world $W \/ ~agent $U $V (skf7 $U) \/ ~agent $W $X $Z \/ % 11.41/11.58 ~agent $W $X6 $X8 \/ ~agent $X2 $X3 $X4 \/ ~be $W $X1 $X4 $X4 \/ % 11.41/11.58 ~event $U $V \/ ~event $W $X \/ ~event $W $X6 \/ ~event $X2 $X3 \/ % 11.41/11.58 ~forename $W $X5 \/ ~forename $W $X7 \/ ~forename $W $Y \/ % 11.41/11.58 ~jules_forename $W $X5 \/ ~man $W $X4 \/ ~man $W $X8 \/ ~man $W $Z \/ % 11.41/11.58 ~of $W $X5 $X4 \/ ~of $W $X7 $X8 \/ ~of $W $Y $Z \/ ~present $U $V \/ % 11.41/11.58 ~present $W $X \/ ~present $W $X6 \/ ~present $X2 $X3 \/ % 11.41/11.58 ~proposition $W $U \/ ~proposition $W $X2 \/ ~smoke $U $V \/ % 11.41/11.58 ~smoke $X2 $X3 \/ ~ssSkC0 \/ ~state $W $X1 \/ ~theme $W $X $U \/ % 11.41/11.58 ~theme $W $X6 $X2 \/ ~think_believe_consider $W $X \/ % 11.41/11.58 ~think_believe_consider $W $X6 \/ ~vincent_forename $W $X7 \/ % 11.41/11.58 ~vincent_forename $W $Y % 11.41/11.58 |- ~accessible_world $X1 $V \/ ~accessible_world $X1 $X1 \/ % 11.41/11.58 ~actual_world $X1 \/ ~agent $X1 $X2 $X3 \/ ~agent $X1 $X5 $X7 \/ % 11.41/11.58 ~be $X1 $Z $X3 $X3 \/ ~event $X1 $X2 \/ ~event $X1 $X5 \/ % 11.41/11.58 ~forename $X1 $X \/ ~forename $X1 $X4 \/ ~forename $X1 $X6 \/ % 11.41/11.58 ~jules_forename $X1 $X4 \/ ~man $X1 $X3 \/ ~man $X1 $X7 \/ % 11.41/11.58 ~of $X1 $X $X3 \/ ~of $X1 $X4 $X3 \/ ~of $X1 $X6 $X7 \/ % 11.41/11.58 ~present $X1 $X2 \/ ~present $X1 $X5 \/ ~proposition $X1 $V \/ % 11.41/11.58 ~proposition $X1 $X1 \/ ~smoke $X1 $X2 \/ ~ssSkC0 \/ ~state $X1 $Z \/ % 11.41/11.58 ~theme $X1 $X2 $V \/ ~theme $X1 $X5 $X1 \/ % 11.41/11.58 ~think_believe_consider $X1 $X2 \/ ~think_believe_consider $X1 $X5 \/ % 11.41/11.58 ~vincent_forename $X1 $X \/ ~vincent_forename $X1 $X6 \/ % 11.41/11.58 man $V (skf7 $V) % 11.41/11.58 |- ~accessible_world $X1 $V \/ ~accessible_world $X1 $X1 \/ % 11.41/11.58 ~actual_world $X1 \/ ~agent $X1 $W $Y \/ ~agent $X1 $X2 $X3 \/ % 11.41/11.58 ~be $X1 $Z $X3 $X3 \/ ~event $X1 $W \/ ~event $X1 $X2 \/ % 11.41/11.58 ~forename $X1 $X \/ ~forename $X1 $X4 \/ ~forename $X1 $X6 \/ % 11.41/11.58 ~jules_forename $X1 $X4 \/ ~man $X1 $X3 \/ ~man $X1 $Y \/ % 11.41/11.58 ~of $X1 $X $Y \/ ~of $X1 $X4 $X3 \/ ~of $X1 $X6 $X3 \/ % 11.41/11.58 ~present $X1 $W \/ ~present $X1 $X2 \/ ~proposition $X1 $V \/ % 11.41/11.58 ~proposition $X1 $X1 \/ ~smoke $X1 $X2 \/ ~ssSkC0 \/ ~state $X1 $Z \/ % 11.41/11.58 ~theme $X1 $W $V \/ ~theme $X1 $X2 $X1 \/ % 11.41/11.58 ~think_believe_consider $X1 $W \/ ~think_believe_consider $X1 $X2 \/ % 11.41/11.58 ~vincent_forename $X1 $X \/ ~vincent_forename $X1 $X6 \/ % 11.41/11.58 man $V (skf7 $V) % 11.41/11.58 |- ~accessible_world $U $V \/ ~accessible_world $U $X1 \/ % 11.41/11.58 ~actual_world $U \/ ~agent $U $W $X3 \/ ~agent $U $X5 $X7 \/ % 11.41/11.58 ~agent $X1 $X2 $X3 \/ ~be $U $Z $X3 $X3 \/ ~event $U $W \/ % 11.41/11.58 ~event $U $X5 \/ ~event $X1 $X2 \/ ~forename $U $X4 \/ % 11.41/11.58 ~forename $U $X6 \/ ~jules_forename $U $X4 \/ ~man $U $X3 \/ % 11.41/11.58 ~man $U $X7 \/ ~of $U $X4 $X3 \/ ~of $U $X6 $X7 \/ ~present $U $W \/ % 11.41/11.58 ~present $U $X5 \/ ~present $X1 $X2 \/ ~proposition $U $V \/ % 11.41/11.58 ~proposition $U $X1 \/ ~smoke $X1 $X2 \/ ~ssSkC0 \/ ~state $U $Z \/ % 11.41/11.58 ~theme $U $W $V \/ ~theme $U $X5 $X1 \/ ~think_believe_consider $U $W \/ % 11.41/11.58 ~think_believe_consider $U $X5 \/ ~vincent_forename $U $X4 \/ % 11.41/11.58 ~vincent_forename $U $X6 \/ man $V (skf7 $V) % 11.41/11.58 |- ~accessible_world $X1 $V \/ ~accessible_world $X1 $X1 \/ % 11.41/11.58 ~actual_world $X1 \/ ~agent $X1 $X2 $X3 \/ ~agent $X1 $X5 $X7 \/ % 11.41/11.58 ~be $X1 $Z $X3 $X3 \/ ~event $X1 $X2 \/ ~event $X1 $X5 \/ % 11.41/11.58 ~forename $X1 $X4 \/ ~forename $X1 $X6 \/ ~jules_forename $X1 $X4 \/ % 11.41/11.58 ~man $X1 $X3 \/ ~man $X1 $X7 \/ ~of $X1 $X4 $X3 \/ ~of $X1 $X6 $X7 \/ % 11.41/11.58 ~present $X1 $X2 \/ ~present $X1 $X5 \/ ~proposition $X1 $V \/ % 11.41/11.58 ~proposition $X1 $X1 \/ ~smoke $X1 $X2 \/ ~ssSkC0 \/ ~state $X1 $Z \/ % 11.41/11.58 ~theme $X1 $X2 $V \/ ~theme $X1 $X5 $X1 \/ % 11.41/11.58 ~think_believe_consider $X1 $X2 \/ ~think_believe_consider $X1 $X5 \/ % 11.41/11.58 ~vincent_forename $X1 $X4 \/ ~vincent_forename $X1 $X6 \/ % 11.41/11.58 man $V (skf7 $V) % 11.41/11.58 |- ~accessible_world $U $V \/ ~accessible_world $U $X1 \/ % 11.41/11.58 ~actual_world $U \/ ~agent $U $W $X7 \/ ~agent $U $X5 $X7 \/ % 11.41/11.58 ~agent $X1 $X2 $X3 \/ ~be $U $Z $X3 $X3 \/ ~event $U $W \/ % 11.41/11.58 ~event $U $X5 \/ ~event $X1 $X2 \/ ~forename $U $X4 \/ % 11.41/11.58 ~forename $U $X6 \/ ~jules_forename $U $X4 \/ ~man $U $X3 \/ % 11.41/11.58 ~man $U $X7 \/ ~of $U $X4 $X3 \/ ~of $U $X6 $X7 \/ ~present $U $W \/ % 11.41/11.58 ~present $U $X5 \/ ~present $X1 $X2 \/ ~proposition $U $V \/ % 11.41/11.58 ~proposition $U $X1 \/ ~smoke $X1 $X2 \/ ~ssSkC0 \/ ~state $U $Z \/ % 11.41/11.58 ~theme $U $W $V \/ ~theme $U $X5 $X1 \/ ~think_believe_consider $U $W \/ % 11.41/11.58 ~think_believe_consider $U $X5 \/ ~vincent_forename $U $X6 \/ % 11.41/11.58 man $V (skf7 $V) % 11.41/11.58 |- ~accessible_world $U $V \/ ~accessible_world $U $X1 \/ % 11.41/11.58 ~actual_world $U \/ ~agent $U $X5 $X7 \/ ~agent $X1 $X2 $X3 \/ % 11.41/11.58 ~be $U $Z $X3 $X3 \/ ~event $U $X5 \/ ~event $X1 $X2 \/ % 11.41/11.58 ~forename $U $X4 \/ ~forename $U $X6 \/ ~jules_forename $U $X4 \/ % 11.41/11.58 ~man $U $X3 \/ ~man $U $X7 \/ ~of $U $X4 $X3 \/ ~of $U $X6 $X7 \/ % 11.41/11.58 ~present $U $X5 \/ ~present $X1 $X2 \/ ~proposition $U $V \/ % 11.41/11.58 ~proposition $U $X1 \/ ~smoke $X1 $X2 \/ ~ssSkC0 \/ ~state $U $Z \/ % 11.41/11.58 ~theme $U $X5 $V \/ ~theme $U $X5 $X1 \/ % 11.41/11.58 ~think_believe_consider $U $X5 \/ ~vincent_forename $U $X6 \/ % 11.41/11.58 man $V (skf7 $V) % 11.41/11.58 |- ~accessible_world $X1 $V \/ ~accessible_world $X1 $X1 \/ % 11.41/11.58 ~actual_world $X1 \/ ~agent $X1 $X2 $X3 \/ ~agent $X1 $X5 $X3 \/ % 11.41/11.58 ~be $X1 $Z $X3 $X3 \/ ~event $X1 $X2 \/ ~event $X1 $X5 \/ % 11.41/11.58 ~forename $X1 $X4 \/ ~forename $X1 $X6 \/ ~jules_forename $X1 $X4 \/ % 11.41/11.58 ~man $X1 $X3 \/ ~of $X1 $X4 $X3 \/ ~of $X1 $X6 $X3 \/ % 11.41/11.58 ~present $X1 $X2 \/ ~present $X1 $X5 \/ ~proposition $X1 $V \/ % 11.41/11.58 ~proposition $X1 $X1 \/ ~smoke $X1 $X2 \/ ~ssSkC0 \/ ~state $X1 $Z \/ % 11.41/11.58 ~theme $X1 $X2 $V \/ ~theme $X1 $X5 $X1 \/ % 11.41/11.58 ~think_believe_consider $X1 $X2 \/ ~think_believe_consider $X1 $X5 \/ % 11.41/11.58 ~vincent_forename $X1 $X6 \/ man $V (skf7 $V) % 11.41/11.58 |- ~accessible_world $X1 $V \/ ~accessible_world $X1 $X1 \/ % 11.41/11.58 ~actual_world $X1 \/ ~agent $X1 $W $X3 \/ ~agent $X1 $X2 $X3 \/ % 11.41/11.58 ~be $X1 $Z $X3 $X3 \/ ~event $X1 $W \/ ~event $X1 $X2 \/ % 11.41/11.58 ~forename $X1 $X4 \/ ~forename $X1 $X6 \/ ~jules_forename $X1 $X4 \/ % 11.41/11.58 ~man $X1 $X3 \/ ~of $X1 $X4 $X3 \/ ~of $X1 $X6 $X3 \/ ~present $X1 $W \/ % 11.41/11.58 ~present $X1 $X2 \/ ~proposition $X1 $V \/ ~proposition $X1 $X1 \/ % 11.41/11.58 ~smoke $X1 $X2 \/ ~ssSkC0 \/ ~state $X1 $Z \/ ~theme $X1 $W $V \/ % 11.41/11.58 ~theme $X1 $X2 $X1 \/ ~think_believe_consider $X1 $W \/ % 11.41/11.58 ~think_believe_consider $X1 $X2 \/ ~vincent_forename $X1 $X6 \/ % 11.41/11.58 man $V (skf7 $V) % 11.41/11.58 |- ~accessible_world $X1 $V \/ ~accessible_world $X1 $X1 \/ % 11.41/11.58 ~actual_world $X1 \/ ~agent $X1 $X2 $X3 \/ ~be $X1 $Z $X3 $X3 \/ % 11.41/11.58 ~event $X1 $X2 \/ ~forename $X1 $X4 \/ ~forename $X1 $X6 \/ % 11.41/11.58 ~jules_forename $X1 $X4 \/ ~man $X1 $X3 \/ ~of $X1 $X4 $X3 \/ % 11.41/11.58 ~of $X1 $X6 $X3 \/ ~present $X1 $X2 \/ ~proposition $X1 $V \/ % 11.41/11.58 ~proposition $X1 $X1 \/ ~smoke $X1 $X2 \/ ~ssSkC0 \/ ~state $X1 $Z \/ % 11.41/11.58 ~theme $X1 $X2 $V \/ ~theme $X1 $X2 $X1 \/ % 11.41/11.58 ~think_believe_consider $X1 $X2 \/ ~vincent_forename $X1 $X6 \/ % 11.41/11.58 man $V (skf7 $V) % 11.41/11.58 |- ~accessible_world $U $V \/ ~accessible_world $U $X1 \/ % 11.41/11.58 ~actual_world $U \/ ~agent $U $W $Y \/ ~agent $U $X5 $X7 \/ % 11.41/11.58 ~agent $X1 $X2 $X7 \/ ~be $U $Z $X7 $X7 \/ ~event $U $W \/ % 11.41/11.58 ~event $U $X5 \/ ~event $X1 $X2 \/ ~forename $U $X \/ % 11.41/11.58 ~forename $U $X6 \/ ~jules_forename $U $X6 \/ ~man $U $X7 \/ % 11.41/11.58 ~man $U $Y \/ ~of $U $X $Y \/ ~of $U $X6 $X7 \/ ~present $U $W \/ % 11.41/11.58 ~present $U $X5 \/ ~present $X1 $X2 \/ ~proposition $U $V \/ % 11.41/11.58 ~proposition $U $X1 \/ ~smoke $X1 $X2 \/ ~ssSkC0 \/ ~state $U $Z \/ % 11.41/11.58 ~theme $U $W $V \/ ~theme $U $X5 $X1 \/ ~think_believe_consider $U $W \/ % 11.41/11.58 ~think_believe_consider $U $X5 \/ ~vincent_forename $U $X \/ % 11.41/11.58 ~vincent_forename $U $X6 \/ man $V (skf7 $V) % 11.41/11.58 |- ~accessible_world $X1 $V \/ ~accessible_world $X1 $X1 \/ % 11.41/11.58 ~actual_world $X1 \/ ~agent $X1 $W $Y \/ ~agent $X1 $X2 $X7 \/ % 11.41/11.58 ~be $X1 $Z $X7 $X7 \/ ~event $X1 $W \/ ~event $X1 $X2 \/ % 11.41/11.58 ~forename $X1 $X \/ ~forename $X1 $X6 \/ ~jules_forename $X1 $X6 \/ % 11.41/11.58 ~man $X1 $X7 \/ ~man $X1 $Y \/ ~of $X1 $X $Y \/ ~of $X1 $X6 $X7 \/ % 11.41/11.58 ~present $X1 $W \/ ~present $X1 $X2 \/ ~proposition $X1 $V \/ % 11.41/11.58 ~proposition $X1 $X1 \/ ~smoke $X1 $X2 \/ ~ssSkC0 \/ ~state $X1 $Z \/ % 11.41/11.58 ~theme $X1 $W $V \/ ~theme $X1 $X2 $X1 \/ % 11.41/11.58 ~think_believe_consider $X1 $W \/ ~think_believe_consider $X1 $X2 \/ % 11.41/11.58 ~vincent_forename $X1 $X \/ ~vincent_forename $X1 $X6 \/ % 11.41/11.58 man $V (skf7 $V) % 11.41/11.59 |- ~accessible_world $U $V \/ ~accessible_world $U $X1 \/ % 11.41/11.59 ~actual_world $U \/ ~agent $U $W $X7 \/ ~agent $U $X5 $X7 \/ % 11.41/11.59 ~agent $X1 $X2 $X7 \/ ~be $U $Z $X7 $X7 \/ ~event $U $W \/ % 11.41/11.59 ~event $U $X5 \/ ~event $X1 $X2 \/ ~forename $U $X6 \/ % 11.41/11.59 ~jules_forename $U $X6 \/ ~man $U $X7 \/ ~of $U $X6 $X7 \/ % 11.41/11.59 ~present $U $W \/ ~present $U $X5 \/ ~present $X1 $X2 \/ % 11.41/11.59 ~proposition $U $V \/ ~proposition $U $X1 \/ ~smoke $X1 $X2 \/ % 11.41/11.59 ~ssSkC0 \/ ~state $U $Z \/ ~theme $U $W $V \/ ~theme $U $X5 $X1 \/ % 11.41/11.59 ~think_believe_consider $U $W \/ ~think_believe_consider $U $X5 \/ % 11.41/11.59 ~vincent_forename $U $X6 \/ man $V (skf7 $V) % 11.41/11.59 |- ~accessible_world $U $V \/ ~accessible_world $U $X1 \/ % 11.41/11.59 ~actual_world $U \/ ~agent $U $X5 $X7 \/ ~agent $X1 $X2 $X7 \/ % 11.41/11.59 ~be $U $Z $X7 $X7 \/ ~event $U $X5 \/ ~event $X1 $X2 \/ % 11.41/11.59 ~forename $U $X6 \/ ~jules_forename $U $X6 \/ ~man $U $X7 \/ % 11.41/11.59 ~of $U $X6 $X7 \/ ~present $U $X5 \/ ~present $X1 $X2 \/ % 11.41/11.59 ~proposition $U $V \/ ~proposition $U $X1 \/ ~smoke $X1 $X2 \/ % 11.41/11.59 ~ssSkC0 \/ ~state $U $Z \/ ~theme $U $X5 $V \/ ~theme $U $X5 $X1 \/ % 11.41/11.59 ~think_believe_consider $U $X5 \/ ~vincent_forename $U $X6 \/ % 11.41/11.59 man $V (skf7 $V) % 11.41/11.59 |- ~accessible_world $X1 $V \/ ~accessible_world $X1 $X1 \/ % 11.41/11.59 ~actual_world $X1 \/ ~agent $X1 $X2 $X7 \/ ~agent $X1 $X5 $X7 \/ % 11.41/11.59 ~be $X1 $Z $X7 $X7 \/ ~event $X1 $X2 \/ ~event $X1 $X5 \/ % 11.41/11.59 ~forename $X1 $X6 \/ ~jules_forename $X1 $X6 \/ ~man $X1 $X7 \/ % 11.41/11.59 ~of $X1 $X6 $X7 \/ ~present $X1 $X2 \/ ~present $X1 $X5 \/ % 11.41/11.59 ~proposition $X1 $V \/ ~proposition $X1 $X1 \/ ~smoke $X1 $X2 \/ % 11.41/11.59 ~ssSkC0 \/ ~state $X1 $Z \/ ~theme $X1 $X2 $V \/ ~theme $X1 $X5 $X1 \/ % 11.41/11.59 ~think_believe_consider $X1 $X2 \/ ~think_believe_consider $X1 $X5 \/ % 11.41/11.59 ~vincent_forename $X1 $X6 \/ man $V (skf7 $V) % 11.41/11.59 |- ~accessible_world $X1 $V \/ ~accessible_world $X1 $X1 \/ % 11.41/11.59 ~actual_world $X1 \/ ~agent $X1 $W $X7 \/ ~agent $X1 $X2 $X7 \/ % 11.41/11.59 ~be $X1 $Z $X7 $X7 \/ ~event $X1 $W \/ ~event $X1 $X2 \/ % 11.41/11.59 ~forename $X1 $X6 \/ ~jules_forename $X1 $X6 \/ ~man $X1 $X7 \/ % 11.41/11.59 ~of $X1 $X6 $X7 \/ ~present $X1 $W \/ ~present $X1 $X2 \/ % 11.41/11.59 ~proposition $X1 $V \/ ~proposition $X1 $X1 \/ ~smoke $X1 $X2 \/ % 11.41/11.59 ~ssSkC0 \/ ~state $X1 $Z \/ ~theme $X1 $W $V \/ ~theme $X1 $X2 $X1 \/ % 11.41/11.59 ~think_believe_consider $X1 $W \/ ~think_believe_consider $X1 $X2 \/ % 11.41/11.59 ~vincent_forename $X1 $X6 \/ man $V (skf7 $V) % 11.41/11.59 |- ~accessible_world $X1 $V \/ ~accessible_world $X1 $X1 \/ % 11.41/11.59 ~actual_world $X1 \/ ~agent $X1 $X2 $X7 \/ ~be $X1 $Z $X7 $X7 \/ % 11.41/11.59 ~event $X1 $X2 \/ ~forename $X1 $X6 \/ ~jules_forename $X1 $X6 \/ % 11.41/11.59 ~man $X1 $X7 \/ ~of $X1 $X6 $X7 \/ ~present $X1 $X2 \/ % 11.41/11.59 ~proposition $X1 $V \/ ~proposition $X1 $X1 \/ ~smoke $X1 $X2 \/ % 11.41/11.59 ~ssSkC0 \/ ~state $X1 $Z \/ ~theme $X1 $X2 $V \/ ~theme $X1 $X2 $X1 \/ % 11.41/11.59 ~think_believe_consider $X1 $X2 \/ ~vincent_forename $X1 $X6 \/ % 11.41/11.59 man $V (skf7 $V) % 11.41/11.59 |- ~accessible_world $U $X1 \/ ~actual_world $U \/ ~agent $U $X5 $X7 \/ % 11.41/11.59 ~agent $X1 $X2 $X3 \/ ~be $U $Z $X3 $X3 \/ ~event $U $X5 \/ % 11.41/11.59 ~event $X1 $X2 \/ ~forename $U $X4 \/ ~forename $U $X6 \/ % 11.41/11.59 ~jules_forename $U $X4 \/ ~man $U $X3 \/ ~man $U $X7 \/ % 11.41/11.59 ~of $U $X4 $X3 \/ ~of $U $X6 $X7 \/ ~present $U $X5 \/ % 11.41/11.59 ~present $X1 $X2 \/ ~proposition $U $X1 \/ ~smoke $X1 $X2 \/ ~ssSkC0 \/ % 11.41/11.59 ~state $U $Z \/ ~theme $U $X5 $X1 \/ ~think_believe_consider $U $X5 \/ % 11.41/11.59 ~vincent_forename $U $X6 \/ man $X1 (skf7 $X1) % 11.41/11.59 |- ~accessible_world $X1 $X1 \/ ~actual_world $X1 \/ ~agent $X1 $X2 $X3 \/ % 11.41/11.59 ~be $X1 $Z $X3 $X3 \/ ~event $X1 $X2 \/ ~forename $X1 $X4 \/ % 11.41/11.59 ~forename $X1 $X6 \/ ~jules_forename $X1 $X4 \/ ~man $X1 $X3 \/ % 11.41/11.59 ~of $X1 $X4 $X3 \/ ~of $X1 $X6 $X3 \/ ~present $X1 $X2 \/ % 11.41/11.59 ~proposition $X1 $X1 \/ ~smoke $X1 $X2 \/ ~ssSkC0 \/ ~state $X1 $Z \/ % 11.41/11.59 ~theme $X1 $X2 $X1 \/ ~think_believe_consider $X1 $X2 \/ % 11.41/11.59 ~vincent_forename $X1 $X6 \/ man $X1 (skf7 $X1) % 11.41/11.59 |- ~accessible_world $U $X1 \/ ~actual_world $U \/ ~agent $U $X5 $X7 \/ % 11.41/11.59 ~agent $X1 $X2 $X7 \/ ~be $U $Z $X7 $X7 \/ ~event $U $X5 \/ % 11.41/11.59 ~event $X1 $X2 \/ ~forename $U $X6 \/ ~jules_forename $U $X6 \/ % 11.41/11.59 ~man $U $X7 \/ ~of $U $X6 $X7 \/ ~present $U $X5 \/ ~present $X1 $X2 \/ % 11.41/11.59 ~proposition $U $X1 \/ ~smoke $X1 $X2 \/ ~ssSkC0 \/ ~state $U $Z \/ % 11.41/11.59 ~theme $U $X5 $X1 \/ ~think_believe_consider $U $X5 \/ % 11.41/11.59 ~vincent_forename $U $X6 \/ man $X1 (skf7 $X1) % 11.41/11.59 |- ~accessible_world $X1 $X1 \/ ~actual_world $X1 \/ ~agent $X1 $X2 $X7 \/ % 11.41/11.59 ~be $X1 $Z $X7 $X7 \/ ~event $X1 $X2 \/ ~forename $X1 $X6 \/ % 11.41/11.59 ~jules_forename $X1 $X6 \/ ~man $X1 $X7 \/ ~of $X1 $X6 $X7 \/ % 11.41/11.59 ~present $X1 $X2 \/ ~proposition $X1 $X1 \/ ~smoke $X1 $X2 \/ ~ssSkC0 \/ % 11.41/11.59 ~state $X1 $Z \/ ~theme $X1 $X2 $X1 \/ % 11.41/11.59 ~think_believe_consider $X1 $X2 \/ ~vincent_forename $X1 $X6 \/ % 11.41/11.59 man $X1 (skf7 $X1) % 11.41/11.59 |- ~accessible_world $W $W \/ ~accessible_world $W $X2 \/ % 11.41/11.59 ~actual_world $W \/ ~agent $W $X (skf7 $W) \/ ~agent $W $X6 $X8 \/ % 11.41/11.59 ~agent $X2 $X3 $X4 \/ ~be $W $X1 $X4 $X4 \/ ~event $W $X \/ % 11.41/11.59 ~event $W $X6 \/ ~event $X2 $X3 \/ ~forename $W $X5 \/ % 11.41/11.59 ~forename $W $X7 \/ ~forename $W $Y \/ ~jules_forename $W $X5 \/ % 11.41/11.59 ~man $W $X4 \/ ~man $W $X8 \/ ~man $W (skf7 $W) \/ ~of $W $X5 $X4 \/ % 11.41/11.59 ~of $W $X7 $X8 \/ ~of $W $Y (skf7 $W) \/ ~present $W $X \/ % 11.41/11.59 ~present $W $X6 \/ ~present $X2 $X3 \/ ~proposition $W $W \/ % 11.41/11.59 ~proposition $W $X2 \/ ~smoke $W $X \/ ~smoke $X2 $X3 \/ ~ssSkC0 \/ % 11.41/11.59 ~state $W $X1 \/ ~theme $W $X $W \/ ~theme $W $X6 $X2 \/ % 11.41/11.59 ~think_believe_consider $W $X \/ ~think_believe_consider $W $X6 \/ % 11.41/11.59 ~vincent_forename $W $X7 \/ ~vincent_forename $W $Y % 11.41/11.59 |- ~accessible_world $W $W \/ ~accessible_world $W $X2 \/ % 11.41/11.59 ~actual_world $W \/ ~agent $W $X $Z \/ ~agent $W $X6 (skf7 $W) \/ % 11.41/11.59 ~agent $X2 $X3 $X4 \/ ~be $W $X1 $X4 $X4 \/ ~event $W $X \/ % 11.41/11.59 ~event $W $X6 \/ ~event $X2 $X3 \/ ~forename $W $X5 \/ % 11.41/11.59 ~forename $W $X7 \/ ~forename $W $Y \/ ~jules_forename $W $X5 \/ % 11.41/11.59 ~man $W $X4 \/ ~man $W $Z \/ ~man $W (skf7 $W) \/ ~of $W $X5 $X4 \/ % 11.41/11.59 ~of $W $X7 (skf7 $W) \/ ~of $W $Y $Z \/ ~present $W $X \/ % 11.41/11.59 ~present $W $X6 \/ ~present $X2 $X3 \/ ~proposition $W $W \/ % 11.41/11.59 ~proposition $W $X2 \/ ~smoke $W $X6 \/ ~smoke $X2 $X3 \/ ~ssSkC0 \/ % 11.41/11.59 ~state $W $X1 \/ ~theme $W $X $W \/ ~theme $W $X6 $X2 \/ % 11.41/11.59 ~think_believe_consider $W $X \/ ~think_believe_consider $W $X6 \/ % 11.41/11.59 ~vincent_forename $W $X7 \/ ~vincent_forename $W $Y % 11.41/11.59 |- ~accessible_world $X2 $U \/ ~accessible_world $X2 $X2 \/ % 11.41/11.59 ~actual_world $X2 \/ ~agent $U $V (skf7 $U) \/ ~agent $X2 $X3 $X4 \/ % 11.41/11.59 ~agent $X2 $X6 $X8 \/ ~be $X2 $X1 $X4 $X4 \/ ~event $U $V \/ % 11.41/11.59 ~event $X2 $X3 \/ ~event $X2 $X6 \/ ~forename $X2 $X5 \/ % 11.41/11.59 ~forename $X2 $X7 \/ ~forename $X2 $Y \/ ~jules_forename $X2 $X5 \/ % 11.41/11.59 ~man $X2 $X4 \/ ~man $X2 $X8 \/ ~of $X2 $X5 $X4 \/ ~of $X2 $X7 $X8 \/ % 11.41/11.59 ~of $X2 $Y $X4 \/ ~present $U $V \/ ~present $X2 $X3 \/ % 11.41/11.59 ~present $X2 $X6 \/ ~proposition $X2 $U \/ ~proposition $X2 $X2 \/ % 11.41/11.59 ~smoke $U $V \/ ~smoke $X2 $X3 \/ ~ssSkC0 \/ ~state $X2 $X1 \/ % 11.41/11.59 ~theme $X2 $X3 $U \/ ~theme $X2 $X6 $X2 \/ % 11.41/11.59 ~think_believe_consider $X2 $X3 \/ ~think_believe_consider $X2 $X6 \/ % 11.41/11.59 ~vincent_forename $X2 $X7 \/ ~vincent_forename $X2 $Y % 11.41/11.59 |- ~accessible_world $X2 $U \/ ~accessible_world $X2 $X2 \/ % 11.41/11.59 ~actual_world $X2 \/ ~agent $U $V (skf7 $U) \/ ~agent $X2 $X $Z \/ % 11.41/11.59 ~agent $X2 $X3 $X4 \/ ~be $X2 $X1 $X4 $X4 \/ ~event $U $V \/ % 11.41/11.59 ~event $X2 $X \/ ~event $X2 $X3 \/ ~forename $X2 $X5 \/ % 11.41/11.59 ~forename $X2 $X7 \/ ~forename $X2 $Y \/ ~jules_forename $X2 $X5 \/ % 11.41/11.59 ~man $X2 $X4 \/ ~man $X2 $Z \/ ~of $X2 $X5 $X4 \/ ~of $X2 $X7 $X4 \/ % 11.41/11.59 ~of $X2 $Y $Z \/ ~present $U $V \/ ~present $X2 $X \/ % 11.41/11.59 ~present $X2 $X3 \/ ~proposition $X2 $U \/ ~proposition $X2 $X2 \/ % 11.41/11.59 ~smoke $U $V \/ ~smoke $X2 $X3 \/ ~ssSkC0 \/ ~state $X2 $X1 \/ % 11.41/11.59 ~theme $X2 $X $U \/ ~theme $X2 $X3 $X2 \/ % 11.41/11.59 ~think_believe_consider $X2 $X \/ ~think_believe_consider $X2 $X3 \/ % 11.41/11.59 ~vincent_forename $X2 $X7 \/ ~vincent_forename $X2 $Y % 11.41/11.59 |- ~accessible_world $W $U \/ ~accessible_world $W $X2 \/ % 11.41/11.59 ~actual_world $W \/ ~agent $U $V (skf7 $U) \/ ~agent $W $X $Z \/ % 11.41/11.59 ~agent $W $X6 $X8 \/ ~agent $X2 $X3 $X8 \/ ~be $W $X1 $X8 $X8 \/ % 11.41/11.59 ~event $U $V \/ ~event $W $X \/ ~event $W $X6 \/ ~event $X2 $X3 \/ % 11.41/11.59 ~forename $W $X7 \/ ~forename $W $Y \/ ~jules_forename $W $X7 \/ % 11.41/11.59 ~man $W $X8 \/ ~man $W $Z \/ ~of $W $X7 $X8 \/ ~of $W $Y $Z \/ % 11.41/11.59 ~present $U $V \/ ~present $W $X \/ ~present $W $X6 \/ % 11.41/11.59 ~present $X2 $X3 \/ ~proposition $W $U \/ ~proposition $W $X2 \/ % 11.41/11.59 ~smoke $U $V \/ ~smoke $X2 $X3 \/ ~ssSkC0 \/ ~state $W $X1 \/ % 11.41/11.59 ~theme $W $X $U \/ ~theme $W $X6 $X2 \/ ~think_believe_consider $W $X \/ % 11.41/11.59 ~think_believe_consider $W $X6 \/ ~vincent_forename $W $X7 \/ % 11.41/11.59 ~vincent_forename $W $Y % 11.41/11.59 |- ~accessible_world $W $W \/ ~accessible_world $W $X2 \/ % 11.41/11.59 ~actual_world $W \/ ~agent $W $X (skf7 $W) \/ ~agent $W $X6 $X8 \/ % 11.41/11.59 ~agent $X2 $X3 $X8 \/ ~be $W $X1 $X8 $X8 \/ ~event $W $X \/ % 11.41/11.59 ~event $W $X6 \/ ~event $X2 $X3 \/ ~forename $W $X7 \/ % 11.41/11.59 ~forename $W $Y \/ ~jules_forename $W $X7 \/ ~man $W $X8 \/ % 11.41/11.59 ~man $W (skf7 $W) \/ ~of $W $X7 $X8 \/ ~of $W $Y (skf7 $W) \/ % 11.41/11.59 ~present $W $X \/ ~present $W $X6 \/ ~present $X2 $X3 \/ % 11.41/11.59 ~proposition $W $W \/ ~proposition $W $X2 \/ ~smoke $W $X \/ % 11.41/11.59 ~smoke $X2 $X3 \/ ~ssSkC0 \/ ~state $W $X1 \/ ~theme $W $X $W \/ % 11.41/11.59 ~theme $W $X6 $X2 \/ ~think_believe_consider $W $X \/ % 11.41/11.59 ~think_believe_consider $W $X6 \/ ~vincent_forename $W $X7 \/ % 11.41/11.59 ~vincent_forename $W $Y % 11.41/11.59 |- ~accessible_world $X2 $U \/ ~accessible_world $X2 $X2 \/ % 11.41/11.59 ~actual_world $X2 \/ ~agent $U $V (skf7 $U) \/ ~agent $X2 $X $Z \/ % 11.41/11.59 ~agent $X2 $X3 $X8 \/ ~be $X2 $X1 $X8 $X8 \/ ~event $U $V \/ % 11.41/11.59 ~event $X2 $X \/ ~event $X2 $X3 \/ ~forename $X2 $X7 \/ % 11.41/11.59 ~forename $X2 $Y \/ ~jules_forename $X2 $X7 \/ ~man $X2 $X8 \/ % 11.41/11.59 ~man $X2 $Z \/ ~of $X2 $X7 $X8 \/ ~of $X2 $Y $Z \/ ~present $U $V \/ % 11.41/11.59 ~present $X2 $X \/ ~present $X2 $X3 \/ ~proposition $X2 $U \/ % 11.41/11.59 ~proposition $X2 $X2 \/ ~smoke $U $V \/ ~smoke $X2 $X3 \/ ~ssSkC0 \/ % 11.41/11.59 ~state $X2 $X1 \/ ~theme $X2 $X $U \/ ~theme $X2 $X3 $X2 \/ % 11.41/11.59 ~think_believe_consider $X2 $X \/ ~think_believe_consider $X2 $X3 \/ % 11.41/11.59 ~vincent_forename $X2 $X7 \/ ~vincent_forename $X2 $Y % 11.41/11.59 |- ~accessible_world $W $U \/ ~accessible_world $W $X2 \/ % 11.41/11.59 ~actual_world $W \/ ~agent $U $V (skf7 $U) \/ ~agent $W $X $Z \/ % 11.41/11.59 ~agent $W $X6 $X8 \/ ~agent $X2 $X3 $Z \/ ~be $W $X1 $Z $Z \/ % 11.41/11.59 ~event $U $V \/ ~event $W $X \/ ~event $W $X6 \/ ~event $X2 $X3 \/ % 11.41/11.59 ~forename $W $X7 \/ ~forename $W $Y \/ ~jules_forename $W $Y \/ % 11.41/11.59 ~man $W $X8 \/ ~man $W $Z \/ ~of $W $X7 $X8 \/ ~of $W $Y $Z \/ % 11.41/11.59 ~present $U $V \/ ~present $W $X \/ ~present $W $X6 \/ % 11.41/11.59 ~present $X2 $X3 \/ ~proposition $W $U \/ ~proposition $W $X2 \/ % 11.41/11.59 ~smoke $U $V \/ ~smoke $X2 $X3 \/ ~ssSkC0 \/ ~state $W $X1 \/ % 11.41/11.59 ~theme $W $X $U \/ ~theme $W $X6 $X2 \/ ~think_believe_consider $W $X \/ % 11.41/11.59 ~think_believe_consider $W $X6 \/ ~vincent_forename $W $X7 \/ % 11.41/11.59 ~vincent_forename $W $Y % 11.41/11.59 |- ~accessible_world $W $W \/ ~accessible_world $W $X2 \/ % 11.41/11.59 ~actual_world $W \/ ~agent $W $X $Z \/ ~agent $W $X6 (skf7 $W) \/ % 11.41/11.59 ~agent $X2 $X3 $Z \/ ~be $W $X1 $Z $Z \/ ~event $W $X \/ % 11.41/11.59 ~event $W $X6 \/ ~event $X2 $X3 \/ ~forename $W $X7 \/ % 11.41/11.59 ~forename $W $Y \/ ~jules_forename $W $Y \/ ~man $W $Z \/ % 11.41/11.59 ~man $W (skf7 $W) \/ ~of $W $X7 (skf7 $W) \/ ~of $W $Y $Z \/ % 11.41/11.59 ~present $W $X \/ ~present $W $X6 \/ ~present $X2 $X3 \/ % 11.41/11.59 ~proposition $W $W \/ ~proposition $W $X2 \/ ~smoke $W $X6 \/ % 11.41/11.59 ~smoke $X2 $X3 \/ ~ssSkC0 \/ ~state $W $X1 \/ ~theme $W $X $W \/ % 11.41/11.59 ~theme $W $X6 $X2 \/ ~think_believe_consider $W $X \/ % 11.41/11.59 ~think_believe_consider $W $X6 \/ ~vincent_forename $W $X7 \/ % 11.41/11.59 ~vincent_forename $W $Y % 11.41/11.59 |- ~accessible_world $X2 $U \/ ~accessible_world $X2 $X2 \/ % 11.41/11.59 ~actual_world $X2 \/ ~agent $U $V (skf7 $U) \/ ~agent $X2 $X3 $Z \/ % 11.41/11.59 ~agent $X2 $X6 $X8 \/ ~be $X2 $X1 $Z $Z \/ ~event $U $V \/ % 11.41/11.59 ~event $X2 $X3 \/ ~event $X2 $X6 \/ ~forename $X2 $X7 \/ % 11.41/11.59 ~forename $X2 $Y \/ ~jules_forename $X2 $Y \/ ~man $X2 $X8 \/ % 11.41/11.59 ~man $X2 $Z \/ ~of $X2 $X7 $X8 \/ ~of $X2 $Y $Z \/ ~present $U $V \/ % 11.41/11.59 ~present $X2 $X3 \/ ~present $X2 $X6 \/ ~proposition $X2 $U \/ % 11.41/11.59 ~proposition $X2 $X2 \/ ~smoke $U $V \/ ~smoke $X2 $X3 \/ ~ssSkC0 \/ % 11.41/11.59 ~state $X2 $X1 \/ ~theme $X2 $X3 $U \/ ~theme $X2 $X6 $X2 \/ % 11.41/11.59 ~think_believe_consider $X2 $X3 \/ ~think_believe_consider $X2 $X6 \/ % 11.41/11.59 ~vincent_forename $X2 $X7 \/ ~vincent_forename $X2 $Y % 11.41/11.59 |- ~accessible_world $W $U \/ ~accessible_world $W $X2 \/ % 11.41/11.59 ~actual_world $W \/ ~agent $U $V (skf7 $U) \/ ~agent $W $X $Z \/ % 11.41/11.59 ~agent $W $X6 $Z \/ ~agent $X2 $X3 $X4 \/ ~be $W $X1 $X4 $X4 \/ % 11.41/11.59 ~event $U $V \/ ~event $W $X \/ ~event $W $X6 \/ ~event $X2 $X3 \/ % 11.41/11.59 ~forename $W $X5 \/ ~forename $W $Y \/ ~jules_forename $W $X5 \/ % 11.41/11.59 ~man $W $X4 \/ ~man $W $Z \/ ~of $W $X5 $X4 \/ ~of $W $Y $Z \/ % 11.41/11.59 ~present $U $V \/ ~present $W $X \/ ~present $W $X6 \/ % 11.41/11.59 ~present $X2 $X3 \/ ~proposition $W $U \/ ~proposition $W $X2 \/ % 11.41/11.59 ~smoke $U $V \/ ~smoke $X2 $X3 \/ ~ssSkC0 \/ ~state $W $X1 \/ % 11.41/11.59 ~theme $W $X $U \/ ~theme $W $X6 $X2 \/ ~think_believe_consider $W $X \/ % 11.41/11.59 ~think_believe_consider $W $X6 \/ ~vincent_forename $W $Y % 11.41/11.59 |- ~accessible_world $W $W \/ ~accessible_world $W $X2 \/ % 11.41/11.59 ~actual_world $W \/ ~agent $W $X (skf7 $W) \/ ~agent $W $X6 (skf7 $W) \/ % 11.41/11.59 ~agent $X2 $X3 $X4 \/ ~be $W $X1 $X4 $X4 \/ ~event $W $X \/ % 11.41/11.59 ~event $W $X6 \/ ~event $X2 $X3 \/ ~forename $W $X5 \/ % 11.41/11.59 ~forename $W $Y \/ ~jules_forename $W $X5 \/ ~man $W $X4 \/ % 11.41/11.59 ~man $W (skf7 $W) \/ ~of $W $X5 $X4 \/ ~of $W $Y (skf7 $W) \/ % 11.41/11.59 ~present $W $X \/ ~present $W $X6 \/ ~present $X2 $X3 \/ % 11.41/11.59 ~proposition $W $W \/ ~proposition $W $X2 \/ ~smoke $W $X \/ % 11.41/11.59 ~smoke $X2 $X3 \/ ~ssSkC0 \/ ~state $W $X1 \/ ~theme $W $X $W \/ % 11.41/11.59 ~theme $W $X6 $X2 \/ ~think_believe_consider $W $X \/ % 11.41/11.59 ~think_believe_consider $W $X6 \/ ~vincent_forename $W $Y % 11.41/11.59 |- ~accessible_world $W $W \/ ~accessible_world $W $X2 \/ % 11.41/11.59 ~actual_world $W \/ ~agent $W $X (skf7 $W) \/ ~agent $W $X6 (skf7 $W) \/ % 11.41/11.59 ~agent $X2 $X3 $X4 \/ ~be $W $X1 $X4 $X4 \/ ~event $W $X \/ % 11.41/11.59 ~event $W $X6 \/ ~event $X2 $X3 \/ ~forename $W $X5 \/ % 11.41/11.59 ~forename $W $Y \/ ~jules_forename $W $X5 \/ ~man $W $X4 \/ % 11.41/11.59 ~man $W (skf7 $W) \/ ~of $W $X5 $X4 \/ ~of $W $Y (skf7 $W) \/ % 11.41/11.59 ~present $W $X \/ ~present $W $X6 \/ ~present $X2 $X3 \/ % 11.41/11.59 ~proposition $W $W \/ ~proposition $W $X2 \/ ~smoke $W $X6 \/ % 11.41/11.59 ~smoke $X2 $X3 \/ ~ssSkC0 \/ ~state $W $X1 \/ ~theme $W $X $W \/ % 11.41/11.59 ~theme $W $X6 $X2 \/ ~think_believe_consider $W $X \/ % 11.41/11.59 ~think_believe_consider $W $X6 \/ ~vincent_forename $W $Y % 11.41/11.59 |- ~accessible_world $W $U \/ ~accessible_world $W $X2 \/ % 11.41/11.59 ~actual_world $W \/ ~agent $U $V (skf7 $U) \/ ~agent $W $X6 $Z \/ % 11.41/11.59 ~agent $X2 $X3 $X4 \/ ~be $W $X1 $X4 $X4 \/ ~event $U $V \/ % 11.41/11.59 ~event $W $X6 \/ ~event $X2 $X3 \/ ~forename $W $X5 \/ % 11.41/11.59 ~forename $W $Y \/ ~jules_forename $W $X5 \/ ~man $W $X4 \/ % 11.41/11.59 ~man $W $Z \/ ~of $W $X5 $X4 \/ ~of $W $Y $Z \/ ~present $U $V \/ % 11.41/11.59 ~present $W $X6 \/ ~present $X2 $X3 \/ ~proposition $W $U \/ % 11.41/11.59 ~proposition $W $X2 \/ ~smoke $U $V \/ ~smoke $X2 $X3 \/ ~ssSkC0 \/ % 11.41/11.59 ~state $W $X1 \/ ~theme $W $X6 $U \/ ~theme $W $X6 $X2 \/ % 11.41/11.59 ~think_believe_consider $W $X6 \/ ~vincent_forename $W $Y % 11.41/11.59 |- ~accessible_world $W $W \/ ~accessible_world $W $X2 \/ % 11.41/11.59 ~actual_world $W \/ ~agent $W $X6 (skf7 $W) \/ ~agent $X2 $X3 $X4 \/ % 11.41/11.59 ~be $W $X1 $X4 $X4 \/ ~event $W $X6 \/ ~event $X2 $X3 \/ % 11.41/11.59 ~forename $W $X5 \/ ~forename $W $Y \/ ~jules_forename $W $X5 \/ % 11.41/11.59 ~man $W $X4 \/ ~man $W (skf7 $W) \/ ~of $W $X5 $X4 \/ % 11.41/11.59 ~of $W $Y (skf7 $W) \/ ~present $W $X6 \/ ~present $X2 $X3 \/ % 11.41/11.59 ~proposition $W $W \/ ~proposition $W $X2 \/ ~smoke $W $X6 \/ % 11.41/11.59 ~smoke $X2 $X3 \/ ~ssSkC0 \/ ~state $W $X1 \/ ~theme $W $X6 $W \/ % 11.41/11.59 ~theme $W $X6 $X2 \/ ~think_believe_consider $W $X6 \/ % 11.41/11.59 ~vincent_forename $W $Y % 11.41/11.59 |- ~accessible_world $X2 $U \/ ~accessible_world $X2 $X2 \/ % 11.41/11.59 ~actual_world $X2 \/ ~agent $U $V (skf7 $U) \/ ~agent $X2 $X3 $X4 \/ % 11.41/11.59 ~agent $X2 $X6 $X4 \/ ~be $X2 $X1 $X4 $X4 \/ ~event $U $V \/ % 11.41/11.59 ~event $X2 $X3 \/ ~event $X2 $X6 \/ ~forename $X2 $X5 \/ % 11.41/11.59 ~forename $X2 $Y \/ ~jules_forename $X2 $X5 \/ ~man $X2 $X4 \/ % 11.41/11.59 ~of $X2 $X5 $X4 \/ ~of $X2 $Y $X4 \/ ~present $U $V \/ % 11.41/11.59 ~present $X2 $X3 \/ ~present $X2 $X6 \/ ~proposition $X2 $U \/ % 11.41/11.59 ~proposition $X2 $X2 \/ ~smoke $U $V \/ ~smoke $X2 $X3 \/ ~ssSkC0 \/ % 11.41/11.59 ~state $X2 $X1 \/ ~theme $X2 $X3 $U \/ ~theme $X2 $X6 $X2 \/ % 11.41/11.59 ~think_believe_consider $X2 $X3 \/ ~think_believe_consider $X2 $X6 \/ % 11.41/11.59 ~vincent_forename $X2 $Y % 11.41/11.59 |- ~accessible_world $X2 $U \/ ~accessible_world $X2 $X2 \/ % 11.41/11.59 ~actual_world $X2 \/ ~agent $U $V (skf7 $U) \/ ~agent $X2 $X $X4 \/ % 11.41/11.59 ~agent $X2 $X3 $X4 \/ ~be $X2 $X1 $X4 $X4 \/ ~event $U $V \/ % 11.41/11.59 ~event $X2 $X \/ ~event $X2 $X3 \/ ~forename $X2 $X5 \/ % 11.41/11.59 ~forename $X2 $Y \/ ~jules_forename $X2 $X5 \/ ~man $X2 $X4 \/ % 11.41/11.59 ~of $X2 $X5 $X4 \/ ~of $X2 $Y $X4 \/ ~present $U $V \/ % 11.41/11.59 ~present $X2 $X \/ ~present $X2 $X3 \/ ~proposition $X2 $U \/ % 11.41/11.59 ~proposition $X2 $X2 \/ ~smoke $U $V \/ ~smoke $X2 $X3 \/ ~ssSkC0 \/ % 11.41/11.59 ~state $X2 $X1 \/ ~theme $X2 $X $U \/ ~theme $X2 $X3 $X2 \/ % 11.41/11.59 ~think_believe_consider $X2 $X \/ ~think_believe_consider $X2 $X3 \/ % 11.41/11.59 ~vincent_forename $X2 $Y % 11.41/11.59 |- ~accessible_world $X2 $U \/ ~accessible_world $X2 $X2 \/ % 11.41/11.59 ~actual_world $X2 \/ ~agent $U $V (skf7 $U) \/ ~agent $X2 $X3 $X4 \/ % 11.41/11.59 ~be $X2 $X1 $X4 $X4 \/ ~event $U $V \/ ~event $X2 $X3 \/ % 11.41/11.59 ~forename $X2 $X5 \/ ~forename $X2 $Y \/ ~jules_forename $X2 $X5 \/ % 11.41/11.59 ~man $X2 $X4 \/ ~of $X2 $X5 $X4 \/ ~of $X2 $Y $X4 \/ ~present $U $V \/ % 11.41/11.59 ~present $X2 $X3 \/ ~proposition $X2 $U \/ ~proposition $X2 $X2 \/ % 11.41/11.59 ~smoke $U $V \/ ~smoke $X2 $X3 \/ ~ssSkC0 \/ ~state $X2 $X1 \/ % 11.41/11.59 ~theme $X2 $X3 $U \/ ~theme $X2 $X3 $X2 \/ % 11.41/11.59 ~think_believe_consider $X2 $X3 \/ ~vincent_forename $X2 $Y % 11.41/11.59 |- ~accessible_world $W $U \/ ~accessible_world $W $X2 \/ % 11.41/11.59 ~actual_world $W \/ ~agent $U $V (skf7 $U) \/ ~agent $W $X $Z \/ % 11.41/11.59 ~agent $W $X6 $Z \/ ~agent $X2 $X3 $Z \/ ~be $W $X1 $Z $Z \/ % 11.41/11.59 ~event $U $V \/ ~event $W $X \/ ~event $W $X6 \/ ~event $X2 $X3 \/ % 11.41/11.59 ~forename $W $Y \/ ~jules_forename $W $Y \/ ~man $W $Z \/ % 11.41/11.59 ~of $W $Y $Z \/ ~present $U $V \/ ~present $W $X \/ ~present $W $X6 \/ % 11.41/11.59 ~present $X2 $X3 \/ ~proposition $W $U \/ ~proposition $W $X2 \/ % 11.41/11.59 ~smoke $U $V \/ ~smoke $X2 $X3 \/ ~ssSkC0 \/ ~state $W $X1 \/ % 11.41/11.59 ~theme $W $X $U \/ ~theme $W $X6 $X2 \/ ~think_believe_consider $W $X \/ % 11.41/11.59 ~think_believe_consider $W $X6 \/ ~vincent_forename $W $Y % 11.41/11.59 |- ~accessible_world $W $U \/ ~accessible_world $W $X2 \/ % 11.41/11.59 ~actual_world $W \/ ~agent $U $V (skf7 $U) \/ ~agent $W $X6 $Z \/ % 11.41/11.59 ~agent $X2 $X3 $Z \/ ~be $W $X1 $Z $Z \/ ~event $U $V \/ % 11.41/11.59 ~event $W $X6 \/ ~event $X2 $X3 \/ ~forename $W $Y \/ % 11.41/11.59 ~jules_forename $W $Y \/ ~man $W $Z \/ ~of $W $Y $Z \/ ~present $U $V \/ % 11.41/11.59 ~present $W $X6 \/ ~present $X2 $X3 \/ ~proposition $W $U \/ % 11.41/11.59 ~proposition $W $X2 \/ ~smoke $U $V \/ ~smoke $X2 $X3 \/ ~ssSkC0 \/ % 11.41/11.59 ~state $W $X1 \/ ~theme $W $X6 $U \/ ~theme $W $X6 $X2 \/ % 11.41/11.59 ~think_believe_consider $W $X6 \/ ~vincent_forename $W $Y % 11.41/11.59 |- ~accessible_world $X2 $U \/ ~accessible_world $X2 $X2 \/ % 11.41/11.59 ~actual_world $X2 \/ ~agent $U $V (skf7 $U) \/ ~agent $X2 $X3 $Z \/ % 11.41/11.59 ~agent $X2 $X6 $Z \/ ~be $X2 $X1 $Z $Z \/ ~event $U $V \/ % 11.41/11.59 ~event $X2 $X3 \/ ~event $X2 $X6 \/ ~forename $X2 $Y \/ % 11.41/11.59 ~jules_forename $X2 $Y \/ ~man $X2 $Z \/ ~of $X2 $Y $Z \/ % 11.41/11.59 ~present $U $V \/ ~present $X2 $X3 \/ ~present $X2 $X6 \/ % 11.41/11.59 ~proposition $X2 $U \/ ~proposition $X2 $X2 \/ ~smoke $U $V \/ % 11.41/11.59 ~smoke $X2 $X3 \/ ~ssSkC0 \/ ~state $X2 $X1 \/ ~theme $X2 $X3 $U \/ % 11.41/11.59 ~theme $X2 $X6 $X2 \/ ~think_believe_consider $X2 $X3 \/ % 11.41/11.59 ~think_believe_consider $X2 $X6 \/ ~vincent_forename $X2 $Y % 11.41/11.59 |- ~accessible_world $X2 $U \/ ~accessible_world $X2 $X2 \/ % 11.41/11.59 ~actual_world $X2 \/ ~agent $U $V (skf7 $U) \/ ~agent $X2 $X $Z \/ % 11.41/11.59 ~agent $X2 $X3 $Z \/ ~be $X2 $X1 $Z $Z \/ ~event $U $V \/ % 11.41/11.59 ~event $X2 $X \/ ~event $X2 $X3 \/ ~forename $X2 $Y \/ % 11.41/11.59 ~jules_forename $X2 $Y \/ ~man $X2 $Z \/ ~of $X2 $Y $Z \/ % 11.41/11.59 ~present $U $V \/ ~present $X2 $X \/ ~present $X2 $X3 \/ % 11.41/11.59 ~proposition $X2 $U \/ ~proposition $X2 $X2 \/ ~smoke $U $V \/ % 11.41/11.59 ~smoke $X2 $X3 \/ ~ssSkC0 \/ ~state $X2 $X1 \/ ~theme $X2 $X $U \/ % 11.41/11.59 ~theme $X2 $X3 $X2 \/ ~think_believe_consider $X2 $X \/ % 11.41/11.59 ~think_believe_consider $X2 $X3 \/ ~vincent_forename $X2 $Y % 11.41/11.59 |- ~accessible_world $X2 $U \/ ~accessible_world $X2 $X2 \/ % 11.41/11.59 ~actual_world $X2 \/ ~agent $U $V (skf7 $U) \/ ~agent $X2 $X3 $Z \/ % 11.41/11.59 ~be $X2 $X1 $Z $Z \/ ~event $U $V \/ ~event $X2 $X3 \/ % 11.41/11.59 ~forename $X2 $Y \/ ~jules_forename $X2 $Y \/ ~man $X2 $Z \/ % 11.41/11.59 ~of $X2 $Y $Z \/ ~present $U $V \/ ~present $X2 $X3 \/ % 11.41/11.59 ~proposition $X2 $U \/ ~proposition $X2 $X2 \/ ~smoke $U $V \/ % 11.41/11.59 ~smoke $X2 $X3 \/ ~ssSkC0 \/ ~state $X2 $X1 \/ ~theme $X2 $X3 $U \/ % 11.41/11.59 ~theme $X2 $X3 $X2 \/ ~think_believe_consider $X2 $X3 \/ % 11.41/11.59 ~vincent_forename $X2 $Y % 11.41/11.59 |- ~accessible_world $W $X2 \/ ~actual_world $W \/ ~agent $W $X6 $Z \/ % 11.41/11.59 ~agent $X2 $V (skf7 $X2) \/ ~agent $X2 $X3 $X4 \/ ~be $W $X1 $X4 $X4 \/ % 11.41/11.59 ~event $W $X6 \/ ~event $X2 $V \/ ~event $X2 $X3 \/ ~forename $W $X5 \/ % 11.41/11.59 ~forename $W $Y \/ ~jules_forename $W $X5 \/ ~man $W $X4 \/ % 11.41/11.59 ~man $W $Z \/ ~of $W $X5 $X4 \/ ~of $W $Y $Z \/ ~present $W $X6 \/ % 11.41/11.59 ~present $X2 $V \/ ~present $X2 $X3 \/ ~proposition $W $X2 \/ % 11.41/11.59 ~smoke $X2 $V \/ ~smoke $X2 $X3 \/ ~ssSkC0 \/ ~state $W $X1 \/ % 11.41/11.59 ~theme $W $X6 $X2 \/ ~think_believe_consider $W $X6 \/ % 11.41/11.59 ~vincent_forename $W $Y % 11.41/11.59 |- ~accessible_world $W $W \/ ~actual_world $W \/ ~agent $W $X3 $X4 \/ % 11.41/11.59 ~agent $W $X6 (skf7 $W) \/ ~be $W $X1 $X4 $X4 \/ ~event $W $X3 \/ % 11.41/11.59 ~event $W $X6 \/ ~forename $W $X5 \/ ~forename $W $Y \/ % 11.41/11.59 ~jules_forename $W $X5 \/ ~man $W $X4 \/ ~man $W (skf7 $W) \/ % 11.41/11.59 ~of $W $X5 $X4 \/ ~of $W $Y (skf7 $W) \/ ~present $W $X3 \/ % 11.41/11.59 ~present $W $X6 \/ ~proposition $W $W \/ ~smoke $W $X3 \/ % 11.41/11.59 ~smoke $W $X6 \/ ~ssSkC0 \/ ~state $W $X1 \/ ~theme $W $X6 $W \/ % 11.41/11.59 ~think_believe_consider $W $X6 \/ ~vincent_forename $W $Y % 11.41/11.59 |- ~accessible_world $W $X2 \/ ~actual_world $W \/ ~agent $W $X6 $Z \/ % 11.41/11.59 ~agent $X2 $X3 (skf7 $X2) \/ ~be $W $X1 (skf7 $X2) (skf7 $X2) \/ % 11.41/11.59 ~event $W $X6 \/ ~event $X2 $X3 \/ ~forename $W $X5 \/ % 11.41/11.59 ~forename $W $Y \/ ~jules_forename $W $X5 \/ ~man $W $Z \/ % 11.41/11.59 ~man $W (skf7 $X2) \/ ~of $W $X5 (skf7 $X2) \/ ~of $W $Y $Z \/ % 11.41/11.59 ~present $W $X6 \/ ~present $X2 $X3 \/ ~proposition $W $X2 \/ % 11.41/11.59 ~smoke $X2 $X3 \/ ~ssSkC0 \/ ~state $W $X1 \/ ~theme $W $X6 $X2 \/ % 11.41/11.59 ~think_believe_consider $W $X6 \/ ~vincent_forename $W $Y % 11.41/11.59 |- ~accessible_world $X2 $X2 \/ ~actual_world $X2 \/ % 11.41/11.59 ~agent $X2 $V (skf7 $X2) \/ ~agent $X2 $X3 $X4 \/ ~be $X2 $X1 $X4 $X4 \/ % 11.41/11.59 ~event $X2 $V \/ ~event $X2 $X3 \/ ~forename $X2 $X5 \/ % 11.41/11.59 ~forename $X2 $Y \/ ~jules_forename $X2 $X5 \/ ~man $X2 $X4 \/ % 11.41/11.59 ~of $X2 $X5 $X4 \/ ~of $X2 $Y $X4 \/ ~present $X2 $V \/ % 11.41/11.59 ~present $X2 $X3 \/ ~proposition $X2 $X2 \/ ~smoke $X2 $V \/ % 11.41/11.59 ~smoke $X2 $X3 \/ ~ssSkC0 \/ ~state $X2 $X1 \/ ~theme $X2 $X3 $X2 \/ % 11.41/11.59 ~think_believe_consider $X2 $X3 \/ ~vincent_forename $X2 $Y % 11.41/11.59 |- ~accessible_world $X2 $X2 \/ ~actual_world $X2 \/ % 11.41/11.59 ~agent $X2 $X3 (skf7 $X2) \/ ~be $X2 $X1 (skf7 $X2) (skf7 $X2) \/ % 11.41/11.59 ~event $X2 $X3 \/ ~forename $X2 $X5 \/ ~forename $X2 $Y \/ % 11.41/11.59 ~jules_forename $X2 $X5 \/ ~man $X2 (skf7 $X2) \/ % 11.41/11.59 ~of $X2 $X5 (skf7 $X2) \/ ~of $X2 $Y (skf7 $X2) \/ ~present $X2 $X3 \/ % 11.41/11.59 ~proposition $X2 $X2 \/ ~smoke $X2 $X3 \/ ~ssSkC0 \/ ~state $X2 $X1 \/ % 11.41/11.59 ~theme $X2 $X3 $X2 \/ ~think_believe_consider $X2 $X3 \/ % 11.41/11.59 ~vincent_forename $X2 $Y % 11.41/11.59 |- ~accessible_world $W $X2 \/ ~actual_world $W \/ ~agent $W $X6 $Z \/ % 11.41/11.59 ~agent $X2 $V (skf7 $X2) \/ ~agent $X2 $X3 $Z \/ ~be $W $X1 $Z $Z \/ % 11.41/11.59 ~event $W $X6 \/ ~event $X2 $V \/ ~event $X2 $X3 \/ ~forename $W $Y \/ % 11.41/11.59 ~jules_forename $W $Y \/ ~man $W $Z \/ ~of $W $Y $Z \/ % 11.41/11.59 ~present $W $X6 \/ ~present $X2 $V \/ ~present $X2 $X3 \/ % 11.41/11.59 ~proposition $W $X2 \/ ~smoke $X2 $V \/ ~smoke $X2 $X3 \/ ~ssSkC0 \/ % 11.41/11.59 ~state $W $X1 \/ ~theme $W $X6 $X2 \/ ~think_believe_consider $W $X6 \/ % 11.41/11.59 ~vincent_forename $W $Y % 11.41/11.59 |- ~accessible_world $W $X2 \/ ~actual_world $W \/ % 11.41/11.59 ~agent $W $X6 (skf7 $X2) \/ ~agent $X2 $X3 (skf7 $X2) \/ % 11.41/11.59 ~be $W $X1 (skf7 $X2) (skf7 $X2) \/ ~event $W $X6 \/ ~event $X2 $X3 \/ % 11.41/11.59 ~forename $W $Y \/ ~jules_forename $W $Y \/ ~man $W (skf7 $X2) \/ % 11.41/11.59 ~of $W $Y (skf7 $X2) \/ ~present $W $X6 \/ ~present $X2 $X3 \/ % 11.41/11.59 ~proposition $W $X2 \/ ~smoke $X2 $X3 \/ ~ssSkC0 \/ ~state $W $X1 \/ % 11.41/11.59 ~theme $W $X6 $X2 \/ ~think_believe_consider $W $X6 \/ % 11.41/11.59 ~vincent_forename $W $Y % 11.41/11.59 |- ~accessible_world $X2 $X2 \/ ~actual_world $X2 \/ % 11.41/11.59 ~agent $X2 $V (skf7 $X2) \/ ~agent $X2 $X3 $Z \/ ~be $X2 $X1 $Z $Z \/ % 11.41/11.59 ~event $X2 $V \/ ~event $X2 $X3 \/ ~forename $X2 $Y \/ % 11.41/11.59 ~jules_forename $X2 $Y \/ ~man $X2 $Z \/ ~of $X2 $Y $Z \/ % 11.41/11.59 ~present $X2 $V \/ ~present $X2 $X3 \/ ~proposition $X2 $X2 \/ % 11.41/11.59 ~smoke $X2 $V \/ ~smoke $X2 $X3 \/ ~ssSkC0 \/ ~state $X2 $X1 \/ % 11.41/11.59 ~theme $X2 $X3 $X2 \/ ~think_believe_consider $X2 $X3 \/ % 11.41/11.59 ~vincent_forename $X2 $Y % 11.41/11.59 |- ~accessible_world $X2 $X2 \/ ~actual_world $X2 \/ % 11.41/11.59 ~agent $X2 $X3 (skf7 $X2) \/ ~be $X2 $X1 (skf7 $X2) (skf7 $X2) \/ % 11.41/11.59 ~event $X2 $X3 \/ ~forename $X2 $Y \/ ~jules_forename $X2 $Y \/ % 11.41/11.59 ~man $X2 (skf7 $X2) \/ ~of $X2 $Y (skf7 $X2) \/ ~present $X2 $X3 \/ % 11.41/11.59 ~proposition $X2 $X2 \/ ~smoke $X2 $X3 \/ ~ssSkC0 \/ ~state $X2 $X1 \/ % 11.41/11.59 ~theme $X2 $X3 $X2 \/ ~think_believe_consider $X2 $X3 \/ % 11.41/11.59 ~vincent_forename $X2 $Y % 11.41/11.59 |- ssSkC0 % 11.41/11.59 |- be skc29 skc37 skc38 skc38 % 11.41/11.59 |- agent skc30 skc36 skc35 % 11.41/11.59 |- of skc29 skc42 skc43 % 11.41/11.59 |- forename skc29 skc32 % 11.41/11.59 |- man skc29 skc35 % 11.41/11.59 |- event skc30 skc36 % 11.41/11.59 |- present skc30 skc36 % 11.41/11.59 |- smoke skc30 skc36 % 11.41/11.59 |- forename skc29 skc34 % 11.41/11.59 |- accessible_world skc29 skc30 % 11.41/11.59 |- forename skc29 skc39 % 11.41/11.59 |- man skc29 skc38 % 11.41/11.59 |- state skc29 skc37 % 11.41/11.59 |- accessible_world skc29 skc40 % 11.41/11.59 |- proposition skc29 skc40 % 11.41/11.59 |- theme skc29 skc31 skc30 % 11.41/11.59 |- of skc29 skc32 skc33 % 11.41/11.59 |- agent skc29 skc31 skc33 % 11.41/11.59 |- of skc29 skc34 skc35 % 11.41/11.59 |- of skc29 skc39 skc38 % 11.41/11.59 |- agent skc29 skc41 skc43 % 11.41/11.59 |- theme skc29 skc41 skc40 % 11.41/11.59 |- think_believe_consider skc29 skc31 % 11.41/11.59 |- present skc29 skc31 % 11.41/11.59 |- event skc29 skc31 % 11.41/11.59 |- man skc29 skc33 % 11.41/11.59 |- vincent_forename skc29 skc32 % 11.41/11.59 |- jules_forename skc29 skc34 % 11.41/11.59 |- proposition skc29 skc30 % 11.41/11.59 |- jules_forename skc29 skc39 % 11.41/11.59 |- man skc29 skc43 % 11.41/11.59 |- forename skc29 skc42 % 11.41/11.59 |- vincent_forename skc29 skc42 % 11.41/11.59 |- event skc29 skc41 % 11.41/11.59 |- present skc29 skc41 % 11.41/11.59 |- think_believe_consider skc29 skc41 % 11.41/11.60 |- ~accessible_world skc29 $U \/ ~accessible_world skc29 $X2 \/ % 11.41/11.60 ~agent $U $V (skf7 $U) \/ ~agent $X2 $X3 skc38 \/ ~agent skc29 $X $Z \/ % 11.41/11.60 ~agent skc29 $X6 $X8 \/ ~event $U $V \/ ~event $X2 $X3 \/ % 11.41/11.60 ~event skc29 $X \/ ~event skc29 $X6 \/ ~forename skc29 $X5 \/ % 11.41/11.60 ~forename skc29 $X7 \/ ~forename skc29 $Y \/ % 11.41/11.60 ~jules_forename skc29 $X5 \/ ~man skc29 $X8 \/ ~man skc29 $Z \/ % 11.41/11.60 ~of skc29 $X5 skc38 \/ ~of skc29 $X7 $X8 \/ ~of skc29 $Y $Z \/ % 11.41/11.60 ~present $U $V \/ ~present $X2 $X3 \/ ~present skc29 $X \/ % 11.41/11.60 ~present skc29 $X6 \/ ~proposition skc29 $U \/ ~proposition skc29 $X2 \/ % 11.41/11.60 ~smoke $U $V \/ ~smoke $X2 $X3 \/ ~theme skc29 $X $U \/ % 11.41/11.60 ~theme skc29 $X6 $X2 \/ ~think_believe_consider skc29 $X \/ % 11.41/11.60 ~think_believe_consider skc29 $X6 \/ ~vincent_forename skc29 $X7 \/ % 11.41/11.60 ~vincent_forename skc29 $Y % 11.41/11.60 |- ~accessible_world skc29 $V \/ ~accessible_world skc29 $X1 \/ % 11.41/11.60 ~agent $X1 $X2 skc38 \/ ~agent skc29 $W $Y \/ ~agent skc29 $X5 $X7 \/ % 11.41/11.60 ~event $X1 $X2 \/ ~event skc29 $W \/ ~event skc29 $X5 \/ % 11.41/11.60 ~forename skc29 $X \/ ~forename skc29 $X4 \/ ~forename skc29 $X6 \/ % 11.41/11.60 ~jules_forename skc29 $X4 \/ ~man skc29 $X7 \/ ~man skc29 $Y \/ % 11.41/11.60 ~of skc29 $X $Y \/ ~of skc29 $X4 skc38 \/ ~of skc29 $X6 $X7 \/ % 11.41/11.60 ~present $X1 $X2 \/ ~present skc29 $W \/ ~present skc29 $X5 \/ % 11.41/11.60 ~proposition skc29 $V \/ ~proposition skc29 $X1 \/ ~smoke $X1 $X2 \/ % 11.41/11.60 ~theme skc29 $W $V \/ ~theme skc29 $X5 $X1 \/ % 11.41/11.60 ~think_believe_consider skc29 $W \/ ~think_believe_consider skc29 $X5 \/ % 11.41/11.60 ~vincent_forename skc29 $X \/ ~vincent_forename skc29 $X6 \/ % 11.41/11.60 man $V (skf7 $V) % 11.41/11.60 |- ~accessible_world skc29 $U \/ ~accessible_world skc29 $X2 \/ % 11.41/11.60 ~agent $U $V (skf7 $U) \/ ~agent $X2 $X3 skc38 \/ % 11.41/11.60 ~agent skc29 $X skc38 \/ ~agent skc29 $X6 $X8 \/ ~event $U $V \/ % 11.41/11.60 ~event $X2 $X3 \/ ~event skc29 $X \/ ~event skc29 $X6 \/ % 11.41/11.60 ~forename skc29 $X7 \/ ~forename skc29 $Y \/ ~jules_forename skc29 $Y \/ % 11.41/11.60 ~man skc29 $X8 \/ ~of skc29 $X7 $X8 \/ ~of skc29 $Y skc38 \/ % 11.41/11.60 ~present $U $V \/ ~present $X2 $X3 \/ ~present skc29 $X \/ % 11.41/11.60 ~present skc29 $X6 \/ ~proposition skc29 $U \/ ~proposition skc29 $X2 \/ % 11.41/11.60 ~smoke $U $V \/ ~smoke $X2 $X3 \/ ~theme skc29 $X $U \/ % 11.41/11.60 ~theme skc29 $X6 $X2 \/ ~think_believe_consider skc29 $X \/ % 11.41/11.60 ~think_believe_consider skc29 $X6 \/ ~vincent_forename skc29 $X7 \/ % 11.41/11.60 ~vincent_forename skc29 $Y % 11.41/11.60 |- ~accessible_world skc29 $U \/ ~accessible_world skc29 $X2 \/ % 11.41/11.60 ~agent $U $V (skf7 $U) \/ ~agent $X2 $X3 skc38 \/ ~agent skc29 $X $Z \/ % 11.41/11.60 ~agent skc29 $X6 skc38 \/ ~event $U $V \/ ~event $X2 $X3 \/ % 11.41/11.60 ~event skc29 $X \/ ~event skc29 $X6 \/ ~forename skc29 $X7 \/ % 11.41/11.60 ~forename skc29 $Y \/ ~jules_forename skc29 $X7 \/ ~man skc29 $Z \/ % 11.41/11.60 ~of skc29 $X7 skc38 \/ ~of skc29 $Y $Z \/ ~present $U $V \/ % 11.41/11.60 ~present $X2 $X3 \/ ~present skc29 $X \/ ~present skc29 $X6 \/ % 11.41/11.60 ~proposition skc29 $U \/ ~proposition skc29 $X2 \/ ~smoke $U $V \/ % 11.41/11.60 ~smoke $X2 $X3 \/ ~theme skc29 $X $U \/ ~theme skc29 $X6 $X2 \/ % 11.41/11.60 ~think_believe_consider skc29 $X \/ ~think_believe_consider skc29 $X6 \/ % 11.41/11.60 ~vincent_forename skc29 $X7 \/ ~vincent_forename skc29 $Y % 11.41/11.60 |- ~accessible_world skc29 $U \/ ~accessible_world skc29 $X2 \/ % 11.41/11.60 ~agent $U $V (skf7 $U) \/ ~agent $X2 $X3 skc38 \/ ~agent skc29 $X $Z \/ % 11.41/11.60 ~agent skc29 $X6 $Z \/ ~event $U $V \/ ~event $X2 $X3 \/ % 11.41/11.60 ~event skc29 $X \/ ~event skc29 $X6 \/ ~forename skc29 $X5 \/ % 11.41/11.60 ~forename skc29 $Y \/ ~jules_forename skc29 $X5 \/ ~man skc29 $Z \/ % 11.41/11.60 ~of skc29 $X5 skc38 \/ ~of skc29 $Y $Z \/ ~present $U $V \/ % 11.41/11.60 ~present $X2 $X3 \/ ~present skc29 $X \/ ~present skc29 $X6 \/ % 11.41/11.60 ~proposition skc29 $U \/ ~proposition skc29 $X2 \/ ~smoke $U $V \/ % 11.41/11.60 ~smoke $X2 $X3 \/ ~theme skc29 $X $U \/ ~theme skc29 $X6 $X2 \/ % 11.41/11.60 ~think_believe_consider skc29 $X \/ ~think_believe_consider skc29 $X6 \/ % 11.41/11.60 ~vincent_forename skc29 $Y % 11.41/11.60 |- ~accessible_world skc29 $X2 \/ ~accessible_world skc29 skc29 \/ % 11.41/11.60 ~agent $X2 $X3 skc38 \/ ~agent skc29 $X $Z \/ % 11.41/11.60 ~agent skc29 $X6 (skf7 skc29) \/ ~event $X2 $X3 \/ ~event skc29 $X \/ % 11.41/11.60 ~event skc29 $X6 \/ ~forename skc29 $X5 \/ ~forename skc29 $X7 \/ % 11.41/11.60 ~forename skc29 $Y \/ ~jules_forename skc29 $X5 \/ ~man skc29 $Z \/ % 11.41/11.60 ~man skc29 (skf7 skc29) \/ ~of skc29 $X5 skc38 \/ % 11.41/11.60 ~of skc29 $X7 (skf7 skc29) \/ ~of skc29 $Y $Z \/ ~present $X2 $X3 \/ % 11.41/11.60 ~present skc29 $X \/ ~present skc29 $X6 \/ ~proposition skc29 $X2 \/ % 11.41/11.60 ~proposition skc29 skc29 \/ ~smoke $X2 $X3 \/ ~smoke skc29 $X6 \/ % 11.41/11.60 ~theme skc29 $X skc29 \/ ~theme skc29 $X6 $X2 \/ % 11.41/11.60 ~think_believe_consider skc29 $X \/ ~think_believe_consider skc29 $X6 \/ % 11.41/11.60 ~vincent_forename skc29 $X7 \/ ~vincent_forename skc29 $Y % 11.41/11.60 |- ~accessible_world skc29 $X2 \/ ~accessible_world skc29 skc29 \/ % 11.41/11.60 ~agent $X2 $X3 skc38 \/ ~agent skc29 $X (skf7 skc29) \/ % 11.41/11.60 ~agent skc29 $X6 $X8 \/ ~event $X2 $X3 \/ ~event skc29 $X \/ % 11.41/11.60 ~event skc29 $X6 \/ ~forename skc29 $X5 \/ ~forename skc29 $X7 \/ % 11.41/11.60 ~forename skc29 $Y \/ ~jules_forename skc29 $X5 \/ ~man skc29 $X8 \/ % 11.41/11.60 ~man skc29 (skf7 skc29) \/ ~of skc29 $X5 skc38 \/ ~of skc29 $X7 $X8 \/ % 11.41/11.60 ~of skc29 $Y (skf7 skc29) \/ ~present $X2 $X3 \/ ~present skc29 $X \/ % 11.41/11.60 ~present skc29 $X6 \/ ~proposition skc29 $X2 \/ % 11.41/11.60 ~proposition skc29 skc29 \/ ~smoke $X2 $X3 \/ ~smoke skc29 $X \/ % 11.41/11.60 ~theme skc29 $X skc29 \/ ~theme skc29 $X6 $X2 \/ % 11.41/11.60 ~think_believe_consider skc29 $X \/ ~think_believe_consider skc29 $X6 \/ % 11.41/11.60 ~vincent_forename skc29 $X7 \/ ~vincent_forename skc29 $Y % 11.41/11.60 |- ~accessible_world skc29 $U \/ ~accessible_world skc29 skc29 \/ % 11.41/11.60 ~agent $U $V (skf7 $U) \/ ~agent skc29 $X3 skc38 \/ % 11.41/11.60 ~agent skc29 $X6 $X8 \/ ~event $U $V \/ ~event skc29 $X3 \/ % 11.41/11.60 ~event skc29 $X6 \/ ~forename skc29 $X5 \/ ~forename skc29 $X7 \/ % 11.41/11.60 ~forename skc29 $Y \/ ~jules_forename skc29 $X5 \/ ~man skc29 $X8 \/ % 11.41/11.60 ~of skc29 $X5 skc38 \/ ~of skc29 $X7 $X8 \/ ~of skc29 $Y skc38 \/ % 11.41/11.60 ~present $U $V \/ ~present skc29 $X3 \/ ~present skc29 $X6 \/ % 11.41/11.60 ~proposition skc29 $U \/ ~proposition skc29 skc29 \/ ~smoke $U $V \/ % 11.41/11.60 ~smoke skc29 $X3 \/ ~theme skc29 $X3 $U \/ ~theme skc29 $X6 skc29 \/ % 11.41/11.60 ~think_believe_consider skc29 $X3 \/ % 11.41/11.60 ~think_believe_consider skc29 $X6 \/ ~vincent_forename skc29 $X7 \/ % 11.41/11.60 ~vincent_forename skc29 $Y % 11.41/11.60 |- ~accessible_world skc29 $U \/ ~accessible_world skc29 skc29 \/ % 11.41/11.60 ~agent $U $V (skf7 $U) \/ ~agent skc29 $X $Z \/ % 11.41/11.60 ~agent skc29 $X3 skc38 \/ ~event $U $V \/ ~event skc29 $X \/ % 11.41/11.60 ~event skc29 $X3 \/ ~forename skc29 $X5 \/ ~forename skc29 $X7 \/ % 11.41/11.60 ~forename skc29 $Y \/ ~jules_forename skc29 $X5 \/ ~man skc29 $Z \/ % 11.41/11.60 ~of skc29 $X5 skc38 \/ ~of skc29 $X7 skc38 \/ ~of skc29 $Y $Z \/ % 11.41/11.60 ~present $U $V \/ ~present skc29 $X \/ ~present skc29 $X3 \/ % 11.41/11.60 ~proposition skc29 $U \/ ~proposition skc29 skc29 \/ ~smoke $U $V \/ % 11.41/11.60 ~smoke skc29 $X3 \/ ~theme skc29 $X $U \/ ~theme skc29 $X3 skc29 \/ % 11.41/11.60 ~think_believe_consider skc29 $X \/ ~think_believe_consider skc29 $X3 \/ % 11.41/11.60 ~vincent_forename skc29 $X7 \/ ~vincent_forename skc29 $Y % 11.41/11.60 |- ~accessible_world skc29 $V \/ ~accessible_world skc29 $X1 \/ % 11.41/11.60 ~agent $X1 $X2 skc38 \/ ~agent skc29 $W skc38 \/ ~agent skc29 $X5 $X7 \/ % 11.41/11.60 ~event $X1 $X2 \/ ~event skc29 $W \/ ~event skc29 $X5 \/ % 11.41/11.60 ~forename skc29 $X4 \/ ~forename skc29 $X6 \/ % 11.41/11.60 ~jules_forename skc29 $X4 \/ ~man skc29 $X7 \/ ~of skc29 $X4 skc38 \/ % 11.41/11.60 ~of skc29 $X6 $X7 \/ ~present $X1 $X2 \/ ~present skc29 $W \/ % 11.41/11.60 ~present skc29 $X5 \/ ~proposition skc29 $V \/ ~proposition skc29 $X1 \/ % 11.41/11.60 ~smoke $X1 $X2 \/ ~theme skc29 $W $V \/ ~theme skc29 $X5 $X1 \/ % 11.41/11.60 ~think_believe_consider skc29 $W \/ ~think_believe_consider skc29 $X5 \/ % 11.41/11.60 ~vincent_forename skc29 $X4 \/ ~vincent_forename skc29 $X6 \/ % 11.41/11.60 man $V (skf7 $V) % 11.41/11.60 |- ~accessible_world skc29 $V \/ ~accessible_world skc29 $X1 \/ % 11.41/11.60 ~agent $X1 $X2 skc38 \/ ~agent skc29 $W $Y \/ ~agent skc29 $X5 skc38 \/ % 11.41/11.60 ~event $X1 $X2 \/ ~event skc29 $W \/ ~event skc29 $X5 \/ % 11.41/11.60 ~forename skc29 $X \/ ~forename skc29 $X6 \/ % 11.41/11.60 ~jules_forename skc29 $X6 \/ ~man skc29 $Y \/ ~of skc29 $X $Y \/ % 11.41/11.60 ~of skc29 $X6 skc38 \/ ~present $X1 $X2 \/ ~present skc29 $W \/ % 11.41/11.60 ~present skc29 $X5 \/ ~proposition skc29 $V \/ ~proposition skc29 $X1 \/ % 11.41/11.60 ~smoke $X1 $X2 \/ ~theme skc29 $W $V \/ ~theme skc29 $X5 $X1 \/ % 11.41/11.60 ~think_believe_consider skc29 $W \/ ~think_believe_consider skc29 $X5 \/ % 11.41/11.60 ~vincent_forename skc29 $X \/ ~vincent_forename skc29 $X6 \/ % 11.41/11.60 man $V (skf7 $V) % 11.41/11.60 |- ~accessible_world skc29 $V \/ ~accessible_world skc29 $X1 \/ % 11.41/11.60 ~agent $X1 $X2 skc38 \/ ~agent skc29 $W $X7 \/ ~agent skc29 $X5 $X7 \/ % 11.41/11.60 ~event $X1 $X2 \/ ~event skc29 $W \/ ~event skc29 $X5 \/ % 11.41/11.60 ~forename skc29 $X4 \/ ~forename skc29 $X6 \/ % 11.41/11.60 ~jules_forename skc29 $X4 \/ ~man skc29 $X7 \/ ~of skc29 $X4 skc38 \/ % 11.41/11.60 ~of skc29 $X6 $X7 \/ ~present $X1 $X2 \/ ~present skc29 $W \/ % 11.41/11.60 ~present skc29 $X5 \/ ~proposition skc29 $V \/ ~proposition skc29 $X1 \/ % 11.41/11.60 ~smoke $X1 $X2 \/ ~theme skc29 $W $V \/ ~theme skc29 $X5 $X1 \/ % 11.41/11.60 ~think_believe_consider skc29 $W \/ ~think_believe_consider skc29 $X5 \/ % 11.41/11.60 ~vincent_forename skc29 $X6 \/ man $V (skf7 $V) % 11.41/11.60 |- ~accessible_world skc29 $U \/ ~accessible_world skc29 skc29 \/ % 11.41/11.60 ~agent $U $V (skf7 $U) \/ ~agent skc29 $X3 skc38 \/ % 11.41/11.60 ~agent skc29 $X6 $X8 \/ ~event $U $V \/ ~event skc29 $X3 \/ % 11.41/11.60 ~event skc29 $X6 \/ ~forename skc29 $X7 \/ ~forename skc29 $Y \/ % 11.41/11.60 ~jules_forename skc29 $Y \/ ~man skc29 $X8 \/ ~of skc29 $X7 $X8 \/ % 11.41/11.60 ~of skc29 $Y skc38 \/ ~present $U $V \/ ~present skc29 $X3 \/ % 11.41/11.60 ~present skc29 $X6 \/ ~proposition skc29 $U \/ % 11.41/11.60 ~proposition skc29 skc29 \/ ~smoke $U $V \/ ~smoke skc29 $X3 \/ % 11.41/11.60 ~theme skc29 $X3 $U \/ ~theme skc29 $X6 skc29 \/ % 11.41/11.60 ~think_believe_consider skc29 $X3 \/ % 11.41/11.60 ~think_believe_consider skc29 $X6 \/ ~vincent_forename skc29 $X7 \/ % 11.41/11.60 ~vincent_forename skc29 $Y % 11.41/11.60 |- ~accessible_world skc29 $U \/ ~accessible_world skc29 skc29 \/ % 11.41/11.60 ~agent $U $V (skf7 $U) \/ ~agent skc29 $X $Z \/ % 11.41/11.60 ~agent skc29 $X3 skc38 \/ ~event $U $V \/ ~event skc29 $X \/ % 11.41/11.60 ~event skc29 $X3 \/ ~forename skc29 $X7 \/ ~forename skc29 $Y \/ % 11.41/11.60 ~jules_forename skc29 $X7 \/ ~man skc29 $Z \/ ~of skc29 $X7 skc38 \/ % 11.41/11.60 ~of skc29 $Y $Z \/ ~present $U $V \/ ~present skc29 $X \/ % 11.41/11.60 ~present skc29 $X3 \/ ~proposition skc29 $U \/ % 11.41/11.60 ~proposition skc29 skc29 \/ ~smoke $U $V \/ ~smoke skc29 $X3 \/ % 11.41/11.60 ~theme skc29 $X $U \/ ~theme skc29 $X3 skc29 \/ % 11.41/11.60 ~think_believe_consider skc29 $X \/ ~think_believe_consider skc29 $X3 \/ % 11.41/11.60 ~vincent_forename skc29 $X7 \/ ~vincent_forename skc29 $Y % 11.41/11.60 |- ~accessible_world skc29 $U \/ ~accessible_world skc29 $X2 \/ % 11.41/11.60 ~agent $U $V (skf7 $U) \/ ~agent $X2 $X3 skc38 \/ ~agent skc29 $X6 $Z \/ % 11.41/11.60 ~event $U $V \/ ~event $X2 $X3 \/ ~event skc29 $X6 \/ % 11.41/11.60 ~forename skc29 $X5 \/ ~forename skc29 $Y \/ % 11.41/11.60 ~jules_forename skc29 $X5 \/ ~man skc29 $Z \/ ~of skc29 $X5 skc38 \/ % 11.41/11.60 ~of skc29 $Y $Z \/ ~present $U $V \/ ~present $X2 $X3 \/ % 11.41/11.60 ~present skc29 $X6 \/ ~proposition skc29 $U \/ ~proposition skc29 $X2 \/ % 11.41/11.60 ~smoke $U $V \/ ~smoke $X2 $X3 \/ ~theme skc29 $X6 $U \/ % 11.41/11.60 ~theme skc29 $X6 $X2 \/ ~think_believe_consider skc29 $X6 \/ % 11.41/11.60 ~vincent_forename skc29 $Y % 11.41/11.60 |- ~accessible_world skc29 $U \/ ~accessible_world skc29 $X2 \/ % 11.41/11.60 ~agent $U $V (skf7 $U) \/ ~agent $X2 $X3 skc38 \/ % 11.41/11.60 ~agent skc29 $X skc38 \/ ~agent skc29 $X6 skc38 \/ ~event $U $V \/ % 11.41/11.60 ~event $X2 $X3 \/ ~event skc29 $X \/ ~event skc29 $X6 \/ % 11.41/11.60 ~forename skc29 $Y \/ ~jules_forename skc29 $Y \/ ~of skc29 $Y skc38 \/ % 11.41/11.60 ~present $U $V \/ ~present $X2 $X3 \/ ~present skc29 $X \/ % 11.41/11.60 ~present skc29 $X6 \/ ~proposition skc29 $U \/ ~proposition skc29 $X2 \/ % 11.41/11.60 ~smoke $U $V \/ ~smoke $X2 $X3 \/ ~theme skc29 $X $U \/ % 11.41/11.60 ~theme skc29 $X6 $X2 \/ ~think_believe_consider skc29 $X \/ % 11.41/11.60 ~think_believe_consider skc29 $X6 \/ ~vincent_forename skc29 $Y % 11.41/11.60 |- ~accessible_world skc29 $V \/ ~accessible_world skc29 skc29 \/ % 11.41/11.60 ~agent skc29 $X2 skc38 \/ ~agent skc29 $X5 $X7 \/ ~event skc29 $X2 \/ % 11.41/11.60 ~event skc29 $X5 \/ ~forename skc29 $X \/ ~forename skc29 $X4 \/ % 11.41/11.60 ~forename skc29 $X6 \/ ~jules_forename skc29 $X4 \/ ~man skc29 $X7 \/ % 11.41/11.60 ~of skc29 $X skc38 \/ ~of skc29 $X4 skc38 \/ ~of skc29 $X6 $X7 \/ % 11.41/11.60 ~present skc29 $X2 \/ ~present skc29 $X5 \/ ~proposition skc29 $V \/ % 11.41/11.60 ~proposition skc29 skc29 \/ ~smoke skc29 $X2 \/ ~theme skc29 $X2 $V \/ % 11.41/11.60 ~theme skc29 $X5 skc29 \/ ~think_believe_consider skc29 $X2 \/ % 11.41/11.60 ~think_believe_consider skc29 $X5 \/ ~vincent_forename skc29 $X \/ % 11.41/11.60 ~vincent_forename skc29 $X6 \/ man $V (skf7 $V) % 11.41/11.60 |- ~accessible_world skc29 $V \/ ~accessible_world skc29 skc29 \/ % 11.41/11.60 ~agent skc29 $W $Y \/ ~agent skc29 $X2 skc38 \/ ~event skc29 $W \/ % 11.41/11.60 ~event skc29 $X2 \/ ~forename skc29 $X \/ ~forename skc29 $X4 \/ % 11.41/11.60 ~forename skc29 $X6 \/ ~jules_forename skc29 $X4 \/ ~man skc29 $Y \/ % 11.41/11.60 ~of skc29 $X $Y \/ ~of skc29 $X4 skc38 \/ ~of skc29 $X6 skc38 \/ % 11.41/11.60 ~present skc29 $W \/ ~present skc29 $X2 \/ ~proposition skc29 $V \/ % 11.41/11.60 ~proposition skc29 skc29 \/ ~smoke skc29 $X2 \/ ~theme skc29 $W $V \/ % 11.41/11.60 ~theme skc29 $X2 skc29 \/ ~think_believe_consider skc29 $W \/ % 11.41/11.60 ~think_believe_consider skc29 $X2 \/ ~vincent_forename skc29 $X \/ % 11.41/11.60 ~vincent_forename skc29 $X6 \/ man $V (skf7 $V) % 11.41/11.60 |- ~accessible_world skc29 $X2 \/ ~accessible_world skc29 skc29 \/ % 11.41/11.60 ~agent $X2 $X3 skc38 \/ ~agent skc29 $X skc38 \/ % 11.41/11.60 ~agent skc29 $X6 (skf7 skc29) \/ ~event $X2 $X3 \/ ~event skc29 $X \/ % 11.41/11.60 ~event skc29 $X6 \/ ~forename skc29 $X7 \/ ~forename skc29 $Y \/ % 11.41/11.60 ~jules_forename skc29 $Y \/ ~man skc29 (skf7 skc29) \/ % 11.41/11.60 ~of skc29 $X7 (skf7 skc29) \/ ~of skc29 $Y skc38 \/ ~present $X2 $X3 \/ % 11.41/11.60 ~present skc29 $X \/ ~present skc29 $X6 \/ ~proposition skc29 $X2 \/ % 11.41/11.60 ~proposition skc29 skc29 \/ ~smoke $X2 $X3 \/ ~smoke skc29 $X6 \/ % 11.41/11.60 ~theme skc29 $X skc29 \/ ~theme skc29 $X6 $X2 \/ % 11.41/11.60 ~think_believe_consider skc29 $X \/ ~think_believe_consider skc29 $X6 \/ % 11.41/11.60 ~vincent_forename skc29 $X7 \/ ~vincent_forename skc29 $Y % 11.41/11.60 |- ~accessible_world skc29 $X2 \/ ~accessible_world skc29 skc29 \/ % 11.41/11.60 ~agent $X2 $X3 skc38 \/ ~agent skc29 $X (skf7 skc29) \/ % 11.41/11.60 ~agent skc29 $X6 skc38 \/ ~event $X2 $X3 \/ ~event skc29 $X \/ % 11.41/11.60 ~event skc29 $X6 \/ ~forename skc29 $X7 \/ ~forename skc29 $Y \/ % 11.41/11.60 ~jules_forename skc29 $X7 \/ ~man skc29 (skf7 skc29) \/ % 11.41/11.60 ~of skc29 $X7 skc38 \/ ~of skc29 $Y (skf7 skc29) \/ ~present $X2 $X3 \/ % 11.41/11.60 ~present skc29 $X \/ ~present skc29 $X6 \/ ~proposition skc29 $X2 \/ % 11.41/11.60 ~proposition skc29 skc29 \/ ~smoke $X2 $X3 \/ ~smoke skc29 $X \/ % 11.41/11.60 ~theme skc29 $X skc29 \/ ~theme skc29 $X6 $X2 \/ % 11.41/11.60 ~think_believe_consider skc29 $X \/ ~think_believe_consider skc29 $X6 \/ % 11.41/11.60 ~vincent_forename skc29 $X7 \/ ~vincent_forename skc29 $Y % 11.41/11.60 |- ~accessible_world skc29 $X2 \/ ~accessible_world skc29 skc29 \/ % 11.41/11.60 ~agent $X2 $X3 skc38 \/ ~agent skc29 $X (skf7 skc29) \/ % 11.41/11.60 ~agent skc29 $X6 (skf7 skc29) \/ ~event $X2 $X3 \/ ~event skc29 $X \/ % 11.41/11.60 ~event skc29 $X6 \/ ~forename skc29 $X5 \/ ~forename skc29 $Y \/ % 11.41/11.60 ~jules_forename skc29 $X5 \/ ~man skc29 (skf7 skc29) \/ % 11.41/11.60 ~of skc29 $X5 skc38 \/ ~of skc29 $Y (skf7 skc29) \/ ~present $X2 $X3 \/ % 11.41/11.60 ~present skc29 $X \/ ~present skc29 $X6 \/ ~proposition skc29 $X2 \/ % 11.41/11.60 ~proposition skc29 skc29 \/ ~smoke $X2 $X3 \/ ~smoke skc29 $X6 \/ % 11.41/11.60 ~theme skc29 $X skc29 \/ ~theme skc29 $X6 $X2 \/ % 11.41/11.60 ~think_believe_consider skc29 $X \/ ~think_believe_consider skc29 $X6 \/ % 11.41/11.60 ~vincent_forename skc29 $Y % 11.41/11.60 |- ~accessible_world skc29 $X2 \/ ~accessible_world skc29 skc29 \/ % 11.41/11.60 ~agent $X2 $X3 skc38 \/ ~agent skc29 $X (skf7 skc29) \/ % 11.41/11.60 ~agent skc29 $X6 (skf7 skc29) \/ ~event $X2 $X3 \/ ~event skc29 $X \/ % 11.41/11.60 ~event skc29 $X6 \/ ~forename skc29 $X5 \/ ~forename skc29 $Y \/ % 11.41/11.60 ~jules_forename skc29 $X5 \/ ~man skc29 (skf7 skc29) \/ % 11.41/11.60 ~of skc29 $X5 skc38 \/ ~of skc29 $Y (skf7 skc29) \/ ~present $X2 $X3 \/ % 11.41/11.60 ~present skc29 $X \/ ~present skc29 $X6 \/ ~proposition skc29 $X2 \/ % 11.41/11.60 ~proposition skc29 skc29 \/ ~smoke $X2 $X3 \/ ~smoke skc29 $X \/ % 11.41/11.60 ~theme skc29 $X skc29 \/ ~theme skc29 $X6 $X2 \/ % 11.41/11.60 ~think_believe_consider skc29 $X \/ ~think_believe_consider skc29 $X6 \/ % 11.41/11.60 ~vincent_forename skc29 $Y % 11.41/11.60 |- ~accessible_world skc29 $U \/ ~accessible_world skc29 skc29 \/ % 11.41/11.60 ~agent $U $V (skf7 $U) \/ ~agent skc29 $X skc38 \/ % 11.41/11.60 ~agent skc29 $X3 skc38 \/ ~event $U $V \/ ~event skc29 $X \/ % 11.41/11.60 ~event skc29 $X3 \/ ~forename skc29 $X5 \/ ~forename skc29 $Y \/ % 11.41/11.60 ~jules_forename skc29 $X5 \/ ~of skc29 $X5 skc38 \/ % 11.41/11.60 ~of skc29 $Y skc38 \/ ~present $U $V \/ ~present skc29 $X \/ % 11.41/11.60 ~present skc29 $X3 \/ ~proposition skc29 $U \/ % 11.41/11.60 ~proposition skc29 skc29 \/ ~smoke $U $V \/ ~smoke skc29 $X3 \/ % 11.41/11.60 ~theme skc29 $X $U \/ ~theme skc29 $X3 skc29 \/ % 11.41/11.60 ~think_believe_consider skc29 $X \/ ~think_believe_consider skc29 $X3 \/ % 11.41/11.60 ~vincent_forename skc29 $Y % 11.41/11.60 |- ~accessible_world skc29 $U \/ ~accessible_world skc29 skc29 \/ % 11.41/11.60 ~agent $U $V (skf7 $U) \/ ~agent skc29 $X3 skc38 \/ % 11.41/11.60 ~agent skc29 $X6 skc38 \/ ~event $U $V \/ ~event skc29 $X3 \/ % 11.41/11.60 ~event skc29 $X6 \/ ~forename skc29 $X5 \/ ~forename skc29 $Y \/ % 11.41/11.60 ~jules_forename skc29 $X5 \/ ~of skc29 $X5 skc38 \/ % 11.41/11.60 ~of skc29 $Y skc38 \/ ~present $U $V \/ ~present skc29 $X3 \/ % 11.41/11.60 ~present skc29 $X6 \/ ~proposition skc29 $U \/ % 11.41/11.60 ~proposition skc29 skc29 \/ ~smoke $U $V \/ ~smoke skc29 $X3 \/ % 11.41/11.60 ~theme skc29 $X3 $U \/ ~theme skc29 $X6 skc29 \/ % 11.41/11.60 ~think_believe_consider skc29 $X3 \/ % 11.41/11.60 ~think_believe_consider skc29 $X6 \/ ~vincent_forename skc29 $Y % 11.41/11.60 |- ~accessible_world skc29 $V \/ ~accessible_world skc29 skc29 \/ % 11.41/11.60 ~agent skc29 $W $Y \/ ~agent skc29 $X2 skc38 \/ ~event skc29 $W \/ % 11.41/11.60 ~event skc29 $X2 \/ ~forename skc29 $X \/ ~forename skc29 $X6 \/ % 11.41/11.60 ~jules_forename skc29 $X6 \/ ~man skc29 $Y \/ ~of skc29 $X $Y \/ % 11.41/11.60 ~of skc29 $X6 skc38 \/ ~present skc29 $W \/ ~present skc29 $X2 \/ % 11.41/11.60 ~proposition skc29 $V \/ ~proposition skc29 skc29 \/ ~smoke skc29 $X2 \/ % 11.41/11.60 ~theme skc29 $W $V \/ ~theme skc29 $X2 skc29 \/ % 11.41/11.60 ~think_believe_consider skc29 $W \/ ~think_believe_consider skc29 $X2 \/ % 11.41/11.60 ~vincent_forename skc29 $X \/ ~vincent_forename skc29 $X6 \/ % 11.41/11.60 man $V (skf7 $V) % 11.41/11.60 |- ~accessible_world skc29 $V \/ ~accessible_world skc29 skc29 \/ % 11.41/11.60 ~agent skc29 $X2 skc38 \/ ~agent skc29 $X5 $X7 \/ ~event skc29 $X2 \/ % 11.41/11.60 ~event skc29 $X5 \/ ~forename skc29 $X4 \/ ~forename skc29 $X6 \/ % 11.41/11.60 ~jules_forename skc29 $X4 \/ ~man skc29 $X7 \/ ~of skc29 $X4 skc38 \/ % 11.41/11.60 ~of skc29 $X6 $X7 \/ ~present skc29 $X2 \/ ~present skc29 $X5 \/ % 11.41/11.60 ~proposition skc29 $V \/ ~proposition skc29 skc29 \/ ~smoke skc29 $X2 \/ % 11.41/11.60 ~theme skc29 $X2 $V \/ ~theme skc29 $X5 skc29 \/ % 11.41/11.60 ~think_believe_consider skc29 $X2 \/ % 11.41/11.60 ~think_believe_consider skc29 $X5 \/ ~vincent_forename skc29 $X4 \/ % 11.41/11.60 ~vincent_forename skc29 $X6 \/ man $V (skf7 $V) % 11.41/11.60 |- ~accessible_world skc29 $X2 \/ ~agent $X2 $V (skf7 $X2) \/ % 11.41/11.60 ~agent $X2 $X3 skc38 \/ ~agent skc29 $X6 $Z \/ ~event $X2 $V \/ % 11.41/11.60 ~event $X2 $X3 \/ ~event skc29 $X6 \/ ~forename skc29 $X5 \/ % 11.41/11.60 ~forename skc29 $Y \/ ~jules_forename skc29 $X5 \/ ~man skc29 $Z \/ % 11.41/11.60 ~of skc29 $X5 skc38 \/ ~of skc29 $Y $Z \/ ~present $X2 $V \/ % 11.41/11.60 ~present $X2 $X3 \/ ~present skc29 $X6 \/ ~proposition skc29 $X2 \/ % 11.41/11.60 ~smoke $X2 $V \/ ~smoke $X2 $X3 \/ ~theme skc29 $X6 $X2 \/ % 11.41/11.60 ~think_believe_consider skc29 $X6 \/ ~vincent_forename skc29 $Y % 11.41/11.60 |- ~accessible_world skc29 $V \/ ~accessible_world skc29 $X1 \/ % 11.41/11.60 ~agent $X1 $X2 skc38 \/ ~agent skc29 $X5 $X7 \/ ~event $X1 $X2 \/ % 11.41/11.60 ~event skc29 $X5 \/ ~forename skc29 $X4 \/ ~forename skc29 $X6 \/ % 11.41/11.60 ~jules_forename skc29 $X4 \/ ~man skc29 $X7 \/ ~of skc29 $X4 skc38 \/ % 11.41/11.60 ~of skc29 $X6 $X7 \/ ~present $X1 $X2 \/ ~present skc29 $X5 \/ % 11.41/11.60 ~proposition skc29 $V \/ ~proposition skc29 $X1 \/ ~smoke $X1 $X2 \/ % 11.41/11.60 ~theme skc29 $X5 $V \/ ~theme skc29 $X5 $X1 \/ % 11.41/11.60 ~think_believe_consider skc29 $X5 \/ ~vincent_forename skc29 $X6 \/ % 11.41/11.60 man $V (skf7 $V) % 11.41/11.60 |- ~accessible_world skc29 $V \/ ~accessible_world skc29 $X1 \/ % 11.41/11.60 ~agent $X1 $X2 skc38 \/ ~agent skc29 $W skc38 \/ % 11.41/11.60 ~agent skc29 $X5 skc38 \/ ~event $X1 $X2 \/ ~event skc29 $W \/ % 11.41/11.60 ~event skc29 $X5 \/ ~forename skc29 $X6 \/ ~jules_forename skc29 $X6 \/ % 11.41/11.60 ~of skc29 $X6 skc38 \/ ~present $X1 $X2 \/ ~present skc29 $W \/ % 11.41/11.60 ~present skc29 $X5 \/ ~proposition skc29 $V \/ ~proposition skc29 $X1 \/ % 11.41/11.60 ~smoke $X1 $X2 \/ ~theme skc29 $W $V \/ ~theme skc29 $X5 $X1 \/ % 11.41/11.60 ~think_believe_consider skc29 $W \/ ~think_believe_consider skc29 $X5 \/ % 11.41/11.60 ~vincent_forename skc29 $X6 \/ man $V (skf7 $V) % 11.41/11.60 |- ~accessible_world skc29 $U \/ ~accessible_world skc29 $X2 \/ % 11.41/11.60 ~agent $U $V (skf7 $U) \/ ~agent $X2 $X3 skc38 \/ % 11.41/11.60 ~agent skc29 $X6 skc38 \/ ~event $U $V \/ ~event $X2 $X3 \/ % 11.41/11.60 ~event skc29 $X6 \/ ~forename skc29 $Y \/ ~jules_forename skc29 $Y \/ % 11.41/11.60 ~of skc29 $Y skc38 \/ ~present $U $V \/ ~present $X2 $X3 \/ % 11.41/11.60 ~present skc29 $X6 \/ ~proposition skc29 $U \/ ~proposition skc29 $X2 \/ % 11.41/11.60 ~smoke $U $V \/ ~smoke $X2 $X3 \/ ~theme skc29 $X6 $U \/ % 11.41/11.60 ~theme skc29 $X6 $X2 \/ ~think_believe_consider skc29 $X6 \/ % 11.41/11.60 ~vincent_forename skc29 $Y % 11.41/11.60 |- ~accessible_world skc29 $U \/ ~accessible_world skc29 skc29 \/ % 11.41/11.60 ~agent $U $V (skf7 $U) \/ ~agent skc29 $X skc38 \/ % 11.41/11.60 ~agent skc29 $X3 skc38 \/ ~event $U $V \/ ~event skc29 $X \/ % 11.41/11.60 ~event skc29 $X3 \/ ~forename skc29 $Y \/ ~jules_forename skc29 $Y \/ % 11.41/11.60 ~of skc29 $Y skc38 \/ ~present $U $V \/ ~present skc29 $X \/ % 11.41/11.60 ~present skc29 $X3 \/ ~proposition skc29 $U \/ % 11.41/11.60 ~proposition skc29 skc29 \/ ~smoke $U $V \/ ~smoke skc29 $X3 \/ % 11.41/11.60 ~theme skc29 $X $U \/ ~theme skc29 $X3 skc29 \/ % 11.41/11.60 ~think_believe_consider skc29 $X \/ ~think_believe_consider skc29 $X3 \/ % 11.41/11.60 ~vincent_forename skc29 $Y % 11.41/11.60 |- ~accessible_world skc29 $U \/ ~accessible_world skc29 skc29 \/ % 11.41/11.60 ~agent $U $V (skf7 $U) \/ ~agent skc29 $X3 skc38 \/ % 11.41/11.60 ~agent skc29 $X6 skc38 \/ ~event $U $V \/ ~event skc29 $X3 \/ % 11.41/11.60 ~event skc29 $X6 \/ ~forename skc29 $Y \/ ~jules_forename skc29 $Y \/ % 11.41/11.60 ~of skc29 $Y skc38 \/ ~present $U $V \/ ~present skc29 $X3 \/ % 11.41/11.60 ~present skc29 $X6 \/ ~proposition skc29 $U \/ % 11.41/11.60 ~proposition skc29 skc29 \/ ~smoke $U $V \/ ~smoke skc29 $X3 \/ % 11.41/11.60 ~theme skc29 $X3 $U \/ ~theme skc29 $X6 skc29 \/ % 11.41/11.60 ~think_believe_consider skc29 $X3 \/ % 11.41/11.60 ~think_believe_consider skc29 $X6 \/ ~vincent_forename skc29 $Y % 11.41/11.60 |- ~accessible_world skc29 $X2 \/ ~accessible_world skc29 skc29 \/ % 11.41/11.60 ~agent $X2 $X3 skc38 \/ ~agent skc29 $X6 (skf7 skc29) \/ % 11.41/11.60 ~event $X2 $X3 \/ ~event skc29 $X6 \/ ~forename skc29 $X5 \/ % 11.41/11.60 ~forename skc29 $Y \/ ~jules_forename skc29 $X5 \/ % 11.41/11.60 ~man skc29 (skf7 skc29) \/ ~of skc29 $X5 skc38 \/ % 11.41/11.60 ~of skc29 $Y (skf7 skc29) \/ ~present $X2 $X3 \/ ~present skc29 $X6 \/ % 11.41/11.60 ~proposition skc29 $X2 \/ ~proposition skc29 skc29 \/ ~smoke $X2 $X3 \/ % 11.41/11.60 ~smoke skc29 $X6 \/ ~theme skc29 $X6 $X2 \/ ~theme skc29 $X6 skc29 \/ % 11.41/11.60 ~think_believe_consider skc29 $X6 \/ ~vincent_forename skc29 $Y % 11.41/11.60 |- ~accessible_world skc29 $V \/ ~accessible_world skc29 skc29 \/ % 11.41/11.60 ~agent skc29 $W skc38 \/ ~agent skc29 $X2 skc38 \/ ~event skc29 $W \/ % 11.41/11.60 ~event skc29 $X2 \/ ~forename skc29 $X4 \/ ~forename skc29 $X6 \/ % 11.41/11.60 ~jules_forename skc29 $X4 \/ ~of skc29 $X4 skc38 \/ % 11.41/11.60 ~of skc29 $X6 skc38 \/ ~present skc29 $W \/ ~present skc29 $X2 \/ % 11.41/11.60 ~proposition skc29 $V \/ ~proposition skc29 skc29 \/ ~smoke skc29 $X2 \/ % 11.41/11.60 ~theme skc29 $W $V \/ ~theme skc29 $X2 skc29 \/ % 11.41/11.60 ~think_believe_consider skc29 $W \/ ~think_believe_consider skc29 $X2 \/ % 11.41/11.60 ~vincent_forename skc29 $X6 \/ man $V (skf7 $V) % 11.41/11.60 |- ~accessible_world skc29 $V \/ ~accessible_world skc29 skc29 \/ % 11.41/11.60 ~agent skc29 $X2 skc38 \/ ~agent skc29 $X5 skc38 \/ ~event skc29 $X2 \/ % 11.41/11.60 ~event skc29 $X5 \/ ~forename skc29 $X4 \/ ~forename skc29 $X6 \/ % 11.41/11.60 ~jules_forename skc29 $X4 \/ ~of skc29 $X4 skc38 \/ % 11.41/11.60 ~of skc29 $X6 skc38 \/ ~present skc29 $X2 \/ ~present skc29 $X5 \/ % 11.41/11.60 ~proposition skc29 $V \/ ~proposition skc29 skc29 \/ ~smoke skc29 $X2 \/ % 11.41/11.60 ~theme skc29 $X2 $V \/ ~theme skc29 $X5 skc29 \/ % 11.41/11.60 ~think_believe_consider skc29 $X2 \/ % 11.41/11.60 ~think_believe_consider skc29 $X5 \/ ~vincent_forename skc29 $X6 \/ % 11.41/11.60 man $V (skf7 $V) % 11.41/11.60 |- ~accessible_world skc29 $U \/ ~accessible_world skc29 skc29 \/ % 11.41/11.60 ~agent $U $V (skf7 $U) \/ ~agent skc29 $X3 skc38 \/ ~event $U $V \/ % 11.41/11.60 ~event skc29 $X3 \/ ~forename skc29 $X5 \/ ~forename skc29 $Y \/ % 11.41/11.60 ~jules_forename skc29 $X5 \/ ~of skc29 $X5 skc38 \/ % 11.41/11.60 ~of skc29 $Y skc38 \/ ~present $U $V \/ ~present skc29 $X3 \/ % 11.41/11.60 ~proposition skc29 $U \/ ~proposition skc29 skc29 \/ ~smoke $U $V \/ % 11.41/11.60 ~smoke skc29 $X3 \/ ~theme skc29 $X3 $U \/ ~theme skc29 $X3 skc29 \/ % 11.41/11.60 ~think_believe_consider skc29 $X3 \/ ~vincent_forename skc29 $Y % 11.41/11.60 |- ~accessible_world skc29 $X1 \/ ~agent $X1 $X2 skc38 \/ % 11.41/11.60 ~agent skc29 $X5 $X7 \/ ~event $X1 $X2 \/ ~event skc29 $X5 \/ % 11.41/11.60 ~forename skc29 $X4 \/ ~forename skc29 $X6 \/ % 11.41/11.60 ~jules_forename skc29 $X4 \/ ~man skc29 $X7 \/ ~of skc29 $X4 skc38 \/ % 11.41/11.60 ~of skc29 $X6 $X7 \/ ~present $X1 $X2 \/ ~present skc29 $X5 \/ % 11.41/11.60 ~proposition skc29 $X1 \/ ~smoke $X1 $X2 \/ ~theme skc29 $X5 $X1 \/ % 11.41/11.60 ~think_believe_consider skc29 $X5 \/ ~vincent_forename skc29 $X6 \/ % 11.41/11.60 man $X1 (skf7 $X1) % 11.41/11.60 |- ~accessible_world skc29 $X2 \/ ~agent $X2 $V (skf7 $X2) \/ % 11.41/11.60 ~agent $X2 $X3 skc38 \/ ~agent skc29 $X6 skc38 \/ ~event $X2 $V \/ % 11.41/11.60 ~event $X2 $X3 \/ ~event skc29 $X6 \/ ~forename skc29 $Y \/ % 11.41/11.60 ~jules_forename skc29 $Y \/ ~of skc29 $Y skc38 \/ ~present $X2 $V \/ % 11.41/11.60 ~present $X2 $X3 \/ ~present skc29 $X6 \/ ~proposition skc29 $X2 \/ % 11.41/11.60 ~smoke $X2 $V \/ ~smoke $X2 $X3 \/ ~theme skc29 $X6 $X2 \/ % 11.41/11.60 ~think_believe_consider skc29 $X6 \/ ~vincent_forename skc29 $Y % 11.41/11.60 |- ~accessible_world skc29 $V \/ ~accessible_world skc29 $X1 \/ % 11.41/11.60 ~agent $X1 $X2 skc38 \/ ~agent skc29 $X5 skc38 \/ ~event $X1 $X2 \/ % 11.41/11.60 ~event skc29 $X5 \/ ~forename skc29 $X6 \/ ~jules_forename skc29 $X6 \/ % 11.41/11.60 ~of skc29 $X6 skc38 \/ ~present $X1 $X2 \/ ~present skc29 $X5 \/ % 11.41/11.60 ~proposition skc29 $V \/ ~proposition skc29 $X1 \/ ~smoke $X1 $X2 \/ % 11.41/11.60 ~theme skc29 $X5 $V \/ ~theme skc29 $X5 $X1 \/ % 11.41/11.60 ~think_believe_consider skc29 $X5 \/ ~vincent_forename skc29 $X6 \/ % 11.41/11.60 man $V (skf7 $V) % 11.41/11.60 |- ~accessible_world skc29 $V \/ ~accessible_world skc29 skc29 \/ % 11.41/11.60 ~agent skc29 $W skc38 \/ ~agent skc29 $X2 skc38 \/ ~event skc29 $W \/ % 11.41/11.60 ~event skc29 $X2 \/ ~forename skc29 $X6 \/ ~jules_forename skc29 $X6 \/ % 11.41/11.60 ~of skc29 $X6 skc38 \/ ~present skc29 $W \/ ~present skc29 $X2 \/ % 11.41/11.60 ~proposition skc29 $V \/ ~proposition skc29 skc29 \/ ~smoke skc29 $X2 \/ % 11.41/11.60 ~theme skc29 $W $V \/ ~theme skc29 $X2 skc29 \/ % 11.41/11.60 ~think_believe_consider skc29 $W \/ ~think_believe_consider skc29 $X2 \/ % 11.41/11.60 ~vincent_forename skc29 $X6 \/ man $V (skf7 $V) % 11.41/11.60 |- ~accessible_world skc29 $V \/ ~accessible_world skc29 skc29 \/ % 11.41/11.60 ~agent skc29 $X2 skc38 \/ ~agent skc29 $X5 skc38 \/ ~event skc29 $X2 \/ % 11.41/11.60 ~event skc29 $X5 \/ ~forename skc29 $X6 \/ ~jules_forename skc29 $X6 \/ % 11.41/11.60 ~of skc29 $X6 skc38 \/ ~present skc29 $X2 \/ ~present skc29 $X5 \/ % 11.41/11.60 ~proposition skc29 $V \/ ~proposition skc29 skc29 \/ ~smoke skc29 $X2 \/ % 11.41/11.60 ~theme skc29 $X2 $V \/ ~theme skc29 $X5 skc29 \/ % 11.41/11.60 ~think_believe_consider skc29 $X2 \/ % 11.41/11.60 ~think_believe_consider skc29 $X5 \/ ~vincent_forename skc29 $X6 \/ % 11.41/11.60 man $V (skf7 $V) % 11.41/11.60 |- ~accessible_world skc29 skc29 \/ ~agent skc29 $X3 skc38 \/ % 11.41/11.60 ~agent skc29 $X6 (skf7 skc29) \/ ~event skc29 $X3 \/ ~event skc29 $X6 \/ % 11.41/11.60 ~forename skc29 $X5 \/ ~forename skc29 $Y \/ % 11.41/11.60 ~jules_forename skc29 $X5 \/ ~man skc29 (skf7 skc29) \/ % 11.41/11.60 ~of skc29 $X5 skc38 \/ ~of skc29 $Y (skf7 skc29) \/ % 11.41/11.60 ~present skc29 $X3 \/ ~present skc29 $X6 \/ ~proposition skc29 skc29 \/ % 11.41/11.60 ~smoke skc29 $X3 \/ ~smoke skc29 $X6 \/ ~theme skc29 $X6 skc29 \/ % 11.41/11.60 ~think_believe_consider skc29 $X6 \/ ~vincent_forename skc29 $Y % 11.41/11.60 |- ~accessible_world skc29 $U \/ ~accessible_world skc29 skc29 \/ % 11.41/11.60 ~agent $U $V (skf7 $U) \/ ~agent skc29 $X3 skc38 \/ ~event $U $V \/ % 11.41/11.60 ~event skc29 $X3 \/ ~forename skc29 $Y \/ ~jules_forename skc29 $Y \/ % 11.41/11.60 ~of skc29 $Y skc38 \/ ~present $U $V \/ ~present skc29 $X3 \/ % 11.41/11.60 ~proposition skc29 $U \/ ~proposition skc29 skc29 \/ ~smoke $U $V \/ % 11.41/11.60 ~smoke skc29 $X3 \/ ~theme skc29 $X3 $U \/ ~theme skc29 $X3 skc29 \/ % 11.41/11.60 ~think_believe_consider skc29 $X3 \/ ~vincent_forename skc29 $Y % 11.41/11.60 |- ~accessible_world skc29 skc29 \/ ~agent skc29 $V (skf7 skc29) \/ % 11.41/11.60 ~agent skc29 $X3 skc38 \/ ~event skc29 $V \/ ~event skc29 $X3 \/ % 11.41/11.60 ~forename skc29 $X5 \/ ~forename skc29 $Y \/ % 11.41/11.60 ~jules_forename skc29 $X5 \/ ~of skc29 $X5 skc38 \/ % 11.41/11.60 ~of skc29 $Y skc38 \/ ~present skc29 $V \/ ~present skc29 $X3 \/ % 11.41/11.60 ~proposition skc29 skc29 \/ ~smoke skc29 $V \/ ~smoke skc29 $X3 \/ % 11.41/11.60 ~theme skc29 $X3 skc29 \/ ~think_believe_consider skc29 $X3 \/ % 11.41/11.60 ~vincent_forename skc29 $Y % 11.41/11.60 |- ~accessible_world skc29 $V \/ ~accessible_world skc29 skc29 \/ % 11.41/11.60 ~agent skc29 $X2 skc38 \/ ~event skc29 $X2 \/ ~forename skc29 $X4 \/ % 11.41/11.60 ~forename skc29 $X6 \/ ~jules_forename skc29 $X4 \/ % 11.41/11.60 ~of skc29 $X4 skc38 \/ ~of skc29 $X6 skc38 \/ ~present skc29 $X2 \/ % 11.41/11.60 ~proposition skc29 $V \/ ~proposition skc29 skc29 \/ ~smoke skc29 $X2 \/ % 11.41/11.60 ~theme skc29 $X2 $V \/ ~theme skc29 $X2 skc29 \/ % 11.41/11.60 ~think_believe_consider skc29 $X2 \/ ~vincent_forename skc29 $X6 \/ % 11.41/11.60 man $V (skf7 $V) % 11.41/11.60 |- ~accessible_world skc29 $X1 \/ ~agent $X1 $X2 skc38 \/ % 11.41/11.60 ~agent skc29 $X5 skc38 \/ ~event $X1 $X2 \/ ~event skc29 $X5 \/ % 11.41/11.60 ~forename skc29 $X6 \/ ~jules_forename skc29 $X6 \/ % 11.41/11.60 ~of skc29 $X6 skc38 \/ ~present $X1 $X2 \/ ~present skc29 $X5 \/ % 11.41/11.60 ~proposition skc29 $X1 \/ ~smoke $X1 $X2 \/ ~theme skc29 $X5 $X1 \/ % 11.41/11.60 ~think_believe_consider skc29 $X5 \/ ~vincent_forename skc29 $X6 \/ % 11.41/11.60 man $X1 (skf7 $X1) % 11.41/11.60 |- ~accessible_world skc29 skc29 \/ ~agent skc29 $V (skf7 skc29) \/ % 11.41/11.60 ~agent skc29 $X3 skc38 \/ ~event skc29 $V \/ ~event skc29 $X3 \/ % 11.41/11.60 ~forename skc29 $Y \/ ~jules_forename skc29 $Y \/ ~of skc29 $Y skc38 \/ % 11.41/11.60 ~present skc29 $V \/ ~present skc29 $X3 \/ ~proposition skc29 skc29 \/ % 11.41/11.60 ~smoke skc29 $V \/ ~smoke skc29 $X3 \/ ~theme skc29 $X3 skc29 \/ % 11.41/11.60 ~think_believe_consider skc29 $X3 \/ ~vincent_forename skc29 $Y % 11.41/11.60 |- ~accessible_world skc29 $V \/ ~accessible_world skc29 skc29 \/ % 11.41/11.60 ~agent skc29 $X2 skc38 \/ ~event skc29 $X2 \/ ~forename skc29 $X6 \/ % 11.41/11.60 ~jules_forename skc29 $X6 \/ ~of skc29 $X6 skc38 \/ % 11.41/11.60 ~present skc29 $X2 \/ ~proposition skc29 $V \/ % 11.41/11.60 ~proposition skc29 skc29 \/ ~smoke skc29 $X2 \/ ~theme skc29 $X2 $V \/ % 11.41/11.60 ~theme skc29 $X2 skc29 \/ ~think_believe_consider skc29 $X2 \/ % 11.41/11.60 ~vincent_forename skc29 $X6 \/ man $V (skf7 $V) % 11.41/11.60 |- ~accessible_world skc29 skc29 \/ ~agent skc29 $X2 skc38 \/ % 11.41/11.60 ~event skc29 $X2 \/ ~forename skc29 $X4 \/ ~forename skc29 $X6 \/ % 11.41/11.60 ~jules_forename skc29 $X4 \/ ~of skc29 $X4 skc38 \/ % 11.41/11.60 ~of skc29 $X6 skc38 \/ ~present skc29 $X2 \/ ~proposition skc29 skc29 \/ % 11.41/11.60 ~smoke skc29 $X2 \/ ~theme skc29 $X2 skc29 \/ % 11.41/11.60 ~think_believe_consider skc29 $X2 \/ ~vincent_forename skc29 $X6 \/ % 11.41/11.60 man skc29 (skf7 skc29) % 11.41/11.60 |- ~accessible_world skc29 skc29 \/ ~agent skc29 $X2 skc38 \/ % 11.41/11.60 ~event skc29 $X2 \/ ~forename skc29 $X6 \/ ~jules_forename skc29 $X6 \/ % 11.41/11.60 ~of skc29 $X6 skc38 \/ ~present skc29 $X2 \/ ~proposition skc29 skc29 \/ % 11.41/11.60 ~smoke skc29 $X2 \/ ~theme skc29 $X2 skc29 \/ % 11.41/11.60 ~think_believe_consider skc29 $X2 \/ ~vincent_forename skc29 $X6 \/ % 11.41/11.60 man skc29 (skf7 skc29) % 11.41/11.60 |- ~accessible_world skc29 skc29 \/ ~agent skc29 skc31 skc38 \/ % 11.41/11.60 ~forename skc29 $_7022 \/ ~jules_forename skc29 $_7022 \/ % 11.41/11.60 ~of skc29 $_7022 skc38 \/ ~proposition skc29 skc29 \/ % 11.41/11.60 ~smoke skc29 skc31 \/ ~theme skc29 skc31 skc29 \/ % 11.41/11.60 ~vincent_forename skc29 $_7022 \/ man skc30 (skf7 skc30) % 11.41/11.60 |- ~accessible_world skc29 skc29 \/ ~agent skc29 skc41 skc38 \/ % 11.41/11.60 ~forename skc29 $_7022 \/ ~jules_forename skc29 $_7022 \/ % 11.41/11.60 ~of skc29 $_7022 skc38 \/ ~proposition skc29 skc29 \/ % 11.41/11.60 ~smoke skc29 skc41 \/ ~theme skc29 skc41 skc29 \/ % 11.41/11.60 ~vincent_forename skc29 $_7022 \/ man skc40 (skf7 skc40) % 11.41/11.60 |- ~accessible_world skc29 skc29 \/ ~agent skc29 skc31 skc38 \/ % 11.41/11.60 ~forename skc29 $_7037 \/ ~forename skc29 $_7038 \/ % 11.41/11.60 ~jules_forename skc29 $_7037 \/ ~of skc29 $_7037 skc38 \/ % 11.41/11.60 ~of skc29 $_7038 skc38 \/ ~proposition skc29 skc29 \/ % 11.41/11.60 ~smoke skc29 skc31 \/ ~theme skc29 skc31 skc29 \/ % 11.41/11.60 ~vincent_forename skc29 $_7038 \/ man skc30 (skf7 skc30) % 11.41/11.60 |- ~accessible_world skc29 skc29 \/ ~agent skc29 skc41 skc38 \/ % 11.41/11.60 ~forename skc29 $_7037 \/ ~forename skc29 $_7038 \/ % 11.41/11.60 ~jules_forename skc29 $_7037 \/ ~of skc29 $_7037 skc38 \/ % 11.41/11.60 ~of skc29 $_7038 skc38 \/ ~proposition skc29 skc29 \/ % 11.41/11.60 ~smoke skc29 skc41 \/ ~theme skc29 skc41 skc29 \/ % 11.41/11.60 ~vincent_forename skc29 $_7038 \/ man skc40 (skf7 skc40) % 11.41/11.61 |- ~accessible_world skc29 skc29 \/ ~agent skc29 $_7053 skc38 \/ % 11.41/11.61 ~agent skc29 skc31 skc38 \/ ~event skc29 $_7053 \/ % 11.41/11.61 ~forename skc29 $_7054 \/ ~jules_forename skc29 $_7054 \/ % 11.41/11.61 ~of skc29 $_7054 skc38 \/ ~present skc29 $_7053 \/ % 11.41/11.61 ~proposition skc29 skc29 \/ ~smoke skc29 skc31 \/ % 11.41/11.61 ~theme skc29 $_7053 skc29 \/ ~think_believe_consider skc29 $_7053 \/ % 11.41/11.61 ~vincent_forename skc29 $_7054 \/ man skc30 (skf7 skc30) % 11.41/11.61 |- ~accessible_world skc29 skc29 \/ ~agent skc29 $_7053 skc38 \/ % 11.41/11.61 ~agent skc29 skc41 skc38 \/ ~event skc29 $_7053 \/ % 11.41/11.61 ~forename skc29 $_7054 \/ ~jules_forename skc29 $_7054 \/ % 11.41/11.61 ~of skc29 $_7054 skc38 \/ ~present skc29 $_7053 \/ % 11.41/11.61 ~proposition skc29 skc29 \/ ~smoke skc29 skc41 \/ % 11.41/11.61 ~theme skc29 $_7053 skc29 \/ ~think_believe_consider skc29 $_7053 \/ % 11.41/11.61 ~vincent_forename skc29 $_7054 \/ man skc40 (skf7 skc40) % 11.41/11.61 |- ~accessible_world skc29 skc29 \/ ~agent skc29 $_7061 skc38 \/ % 11.41/11.61 ~agent skc29 skc31 skc38 \/ ~event skc29 $_7061 \/ % 11.41/11.61 ~forename skc29 $_7062 \/ ~jules_forename skc29 $_7062 \/ % 11.41/11.61 ~of skc29 $_7062 skc38 \/ ~present skc29 $_7061 \/ % 11.41/11.61 ~proposition skc29 skc29 \/ ~smoke skc29 $_7061 \/ % 11.41/11.61 ~theme skc29 $_7061 skc29 \/ ~think_believe_consider skc29 $_7061 \/ % 11.41/11.61 ~vincent_forename skc29 $_7062 \/ man skc30 (skf7 skc30) % 11.41/11.61 |- ~accessible_world skc29 skc29 \/ ~agent skc29 $_7061 skc38 \/ % 11.41/11.61 ~agent skc29 skc41 skc38 \/ ~event skc29 $_7061 \/ % 11.41/11.61 ~forename skc29 $_7062 \/ ~jules_forename skc29 $_7062 \/ % 11.41/11.61 ~of skc29 $_7062 skc38 \/ ~present skc29 $_7061 \/ % 11.41/11.61 ~proposition skc29 skc29 \/ ~smoke skc29 $_7061 \/ % 11.41/11.61 ~theme skc29 $_7061 skc29 \/ ~think_believe_consider skc29 $_7061 \/ % 11.41/11.61 ~vincent_forename skc29 $_7062 \/ man skc40 (skf7 skc40) % 11.41/11.61 |- ~accessible_world skc29 $_7073 \/ ~agent $_7073 $_7074 skc38 \/ % 11.41/11.61 ~agent skc29 skc31 skc38 \/ ~event $_7073 $_7074 \/ % 11.41/11.61 ~forename skc29 $_7076 \/ ~jules_forename skc29 $_7076 \/ % 11.41/11.61 ~of skc29 $_7076 skc38 \/ ~present $_7073 $_7074 \/ % 11.41/11.61 ~proposition skc29 $_7073 \/ ~smoke $_7073 $_7074 \/ % 11.41/11.61 ~theme skc29 skc31 $_7073 \/ ~vincent_forename skc29 $_7076 \/ % 11.41/11.61 man skc30 (skf7 skc30) % 11.41/11.61 |- ~accessible_world skc29 $_7073 \/ ~agent $_7073 $_7074 skc38 \/ % 11.41/11.61 ~agent skc29 skc41 skc38 \/ ~event $_7073 $_7074 \/ % 11.41/11.61 ~forename skc29 $_7076 \/ ~jules_forename skc29 $_7076 \/ % 11.41/11.61 ~of skc29 $_7076 skc38 \/ ~present $_7073 $_7074 \/ % 11.41/11.61 ~proposition skc29 $_7073 \/ ~smoke $_7073 $_7074 \/ % 11.41/11.61 ~theme skc29 skc41 $_7073 \/ ~vincent_forename skc29 $_7076 \/ % 11.41/11.61 man skc40 (skf7 skc40) % 11.41/11.61 |- ~accessible_world skc29 $_7072 \/ ~agent skc29 skc31 skc38 \/ % 11.41/11.61 ~agent skc30 $_7074 skc38 \/ ~event skc30 $_7074 \/ % 11.41/11.61 ~forename skc29 $_7076 \/ ~jules_forename skc29 $_7076 \/ % 11.41/11.61 ~of skc29 $_7076 skc38 \/ ~present skc30 $_7074 \/ % 11.41/11.61 ~proposition skc29 $_7072 \/ ~smoke skc30 $_7074 \/ % 11.41/11.61 ~theme skc29 skc31 $_7072 \/ ~vincent_forename skc29 $_7076 \/ % 11.41/11.61 man $_7072 (skf7 $_7072) % 11.41/11.61 |- ~accessible_world skc29 $_7072 \/ ~agent skc29 skc41 skc38 \/ % 11.41/11.61 ~agent skc40 $_7074 skc38 \/ ~event skc40 $_7074 \/ % 11.41/11.61 ~forename skc29 $_7076 \/ ~jules_forename skc29 $_7076 \/ % 11.41/11.61 ~of skc29 $_7076 skc38 \/ ~present skc40 $_7074 \/ % 11.41/11.61 ~proposition skc29 $_7072 \/ ~smoke skc40 $_7074 \/ % 11.41/11.61 ~theme skc29 skc41 $_7072 \/ ~vincent_forename skc29 $_7076 \/ % 11.41/11.61 man $_7072 (skf7 $_7072) % 11.41/11.61 |- ~agent skc40 $_7099 skc38 \/ ~event skc40 $_7099 \/ % 11.41/11.61 ~present skc40 $_7099 \/ ~smoke skc40 $_7099 \/ man skc40 (skf7 skc40) % 11.41/11.61 |- ~agent skc30 $_7106 skc38 \/ ~event skc30 $_7106 \/ % 11.41/11.61 ~present skc30 $_7106 \/ ~smoke skc30 $_7106 \/ man skc30 (skf7 skc30) % 11.41/11.61 |- ~accessible_world skc29 skc29 \/ ~agent skc29 $_7117 skc38 \/ % 11.41/11.61 ~agent skc29 skc31 skc38 \/ ~event skc29 $_7117 \/ % 11.41/11.61 ~forename skc29 $_7116 \/ ~forename skc29 $_7118 \/ % 11.41/11.61 ~jules_forename skc29 $_7116 \/ ~of skc29 $_7116 skc38 \/ % 11.41/11.61 ~of skc29 $_7118 skc38 \/ ~present skc29 $_7117 \/ % 11.41/11.61 ~proposition skc29 skc29 \/ ~smoke skc29 skc31 \/ % 11.41/11.61 ~theme skc29 $_7117 skc29 \/ ~think_believe_consider skc29 $_7117 \/ % 11.41/11.61 ~vincent_forename skc29 $_7118 \/ man skc30 (skf7 skc30) % 11.41/11.61 |- ~accessible_world skc29 skc29 \/ ~agent skc29 $_7117 skc38 \/ % 11.41/11.61 ~agent skc29 skc41 skc38 \/ ~event skc29 $_7117 \/ % 11.41/11.61 ~forename skc29 $_7116 \/ ~forename skc29 $_7118 \/ % 11.41/11.61 ~jules_forename skc29 $_7116 \/ ~of skc29 $_7116 skc38 \/ % 11.41/11.61 ~of skc29 $_7118 skc38 \/ ~present skc29 $_7117 \/ % 11.41/11.61 ~proposition skc29 skc29 \/ ~smoke skc29 skc41 \/ % 11.41/11.61 ~theme skc29 $_7117 skc29 \/ ~think_believe_consider skc29 $_7117 \/ % 11.41/11.61 ~vincent_forename skc29 $_7118 \/ man skc40 (skf7 skc40) % 11.41/11.61 |- ~accessible_world skc29 skc29 \/ ~agent skc29 $_7127 skc38 \/ % 11.41/11.61 ~agent skc29 skc31 skc38 \/ ~event skc29 $_7127 \/ % 11.41/11.61 ~forename skc29 $_7128 \/ ~forename skc29 $_7129 \/ % 11.41/11.61 ~jules_forename skc29 $_7128 \/ ~of skc29 $_7128 skc38 \/ % 11.41/11.61 ~of skc29 $_7129 skc38 \/ ~present skc29 $_7127 \/ % 11.41/11.61 ~proposition skc29 skc29 \/ ~smoke skc29 $_7127 \/ % 11.41/11.61 ~theme skc29 $_7127 skc29 \/ ~think_believe_consider skc29 $_7127 \/ % 11.41/11.61 ~vincent_forename skc29 $_7129 \/ man skc30 (skf7 skc30) % 11.41/11.61 |- ~accessible_world skc29 skc29 \/ ~agent skc29 $_7127 skc38 \/ % 11.41/11.61 ~agent skc29 skc41 skc38 \/ ~event skc29 $_7127 \/ % 11.41/11.61 ~forename skc29 $_7128 \/ ~forename skc29 $_7129 \/ % 11.41/11.61 ~jules_forename skc29 $_7128 \/ ~of skc29 $_7128 skc38 \/ % 11.41/11.61 ~of skc29 $_7129 skc38 \/ ~present skc29 $_7127 \/ % 11.41/11.61 ~proposition skc29 skc29 \/ ~smoke skc29 $_7127 \/ % 11.41/11.61 ~theme skc29 $_7127 skc29 \/ ~think_believe_consider skc29 $_7127 \/ % 11.41/11.61 ~vincent_forename skc29 $_7129 \/ man skc40 (skf7 skc40) % 11.41/11.61 |- ~accessible_world skc29 $_7159 \/ ~agent $_7159 $_7160 skc38 \/ % 11.41/11.61 ~agent skc29 $_7161 skc38 \/ ~agent skc29 skc31 skc38 \/ % 11.41/11.61 ~event $_7159 $_7160 \/ ~event skc29 $_7161 \/ ~forename skc29 $_7162 \/ % 11.41/11.61 ~jules_forename skc29 $_7162 \/ ~of skc29 $_7162 skc38 \/ % 11.41/11.61 ~present $_7159 $_7160 \/ ~present skc29 $_7161 \/ % 11.41/11.61 ~proposition skc29 $_7159 \/ ~smoke $_7159 $_7160 \/ % 11.41/11.61 ~theme skc29 $_7161 $_7159 \/ ~think_believe_consider skc29 $_7161 \/ % 11.41/11.61 ~vincent_forename skc29 $_7162 \/ man skc30 (skf7 skc30) % 11.41/11.61 |- ~accessible_world skc29 $_7159 \/ ~agent $_7159 $_7160 skc38 \/ % 11.41/11.61 ~agent skc29 $_7161 skc38 \/ ~agent skc29 skc41 skc38 \/ % 11.41/11.61 ~event $_7159 $_7160 \/ ~event skc29 $_7161 \/ ~forename skc29 $_7162 \/ % 11.41/11.61 ~jules_forename skc29 $_7162 \/ ~of skc29 $_7162 skc38 \/ % 11.41/11.61 ~present $_7159 $_7160 \/ ~present skc29 $_7161 \/ % 11.41/11.61 ~proposition skc29 $_7159 \/ ~smoke $_7159 $_7160 \/ % 11.41/11.61 ~theme skc29 $_7161 $_7159 \/ ~think_believe_consider skc29 $_7161 \/ % 11.41/11.61 ~vincent_forename skc29 $_7162 \/ man skc40 (skf7 skc40) % 11.41/11.61 |- ~accessible_world skc29 $_7157 \/ ~agent skc29 $_7158 skc38 \/ % 11.41/11.61 ~agent skc29 skc31 skc38 \/ ~agent skc30 $_7160 skc38 \/ % 11.41/11.61 ~event skc29 $_7158 \/ ~event skc30 $_7160 \/ ~forename skc29 $_7162 \/ % 11.41/11.61 ~jules_forename skc29 $_7162 \/ ~of skc29 $_7162 skc38 \/ % 11.41/11.61 ~present skc29 $_7158 \/ ~present skc30 $_7160 \/ % 11.41/11.61 ~proposition skc29 $_7157 \/ ~smoke skc30 $_7160 \/ % 11.41/11.61 ~theme skc29 $_7158 $_7157 \/ ~think_believe_consider skc29 $_7158 \/ % 11.41/11.61 ~vincent_forename skc29 $_7162 \/ man $_7157 (skf7 $_7157) % 11.41/11.61 |- ~accessible_world skc29 $_7157 \/ ~agent skc29 $_7158 skc38 \/ % 11.41/11.61 ~agent skc29 skc41 skc38 \/ ~agent skc40 $_7160 skc38 \/ % 11.41/11.61 ~event skc29 $_7158 \/ ~event skc40 $_7160 \/ ~forename skc29 $_7162 \/ % 11.41/11.61 ~jules_forename skc29 $_7162 \/ ~of skc29 $_7162 skc38 \/ % 11.41/11.61 ~present skc29 $_7158 \/ ~present skc40 $_7160 \/ % 11.41/11.61 ~proposition skc29 $_7157 \/ ~smoke skc40 $_7160 \/ % 11.41/11.61 ~theme skc29 $_7158 $_7157 \/ ~think_believe_consider skc29 $_7158 \/ % 11.41/11.61 ~vincent_forename skc29 $_7162 \/ man $_7157 (skf7 $_7157) % 11.41/11.61 |- ~accessible_world skc29 $_7193 \/ ~agent $_7193 $_7194 skc38 \/ % 11.41/11.61 ~agent skc29 skc31 $_7198 \/ ~event $_7193 $_7194 \/ % 11.41/11.61 ~forename skc29 $_7195 \/ ~forename skc29 $_7197 \/ % 11.41/11.61 ~jules_forename skc29 $_7195 \/ ~man skc29 $_7198 \/ % 11.41/11.61 ~of skc29 $_7195 skc38 \/ ~of skc29 $_7197 $_7198 \/ % 11.41/11.61 ~present $_7193 $_7194 \/ ~proposition skc29 $_7193 \/ % 11.41/11.61 ~smoke $_7193 $_7194 \/ ~theme skc29 skc31 $_7193 \/ % 11.41/11.61 ~vincent_forename skc29 $_7197 \/ man skc30 (skf7 skc30) % 11.41/11.61 |- ~accessible_world skc29 $_7193 \/ ~agent $_7193 $_7194 skc38 \/ % 11.41/11.61 ~agent skc29 skc41 $_7198 \/ ~event $_7193 $_7194 \/ % 11.41/11.61 ~forename skc29 $_7195 \/ ~forename skc29 $_7197 \/ % 11.41/11.61 ~jules_forename skc29 $_7195 \/ ~man skc29 $_7198 \/ % 11.41/11.61 ~of skc29 $_7195 skc38 \/ ~of skc29 $_7197 $_7198 \/ % 11.41/11.61 ~present $_7193 $_7194 \/ ~proposition skc29 $_7193 \/ % 11.41/11.61 ~smoke $_7193 $_7194 \/ ~theme skc29 skc41 $_7193 \/ % 11.41/11.61 ~vincent_forename skc29 $_7197 \/ man skc40 (skf7 skc40) % 11.41/11.61 |- ~accessible_world skc29 $_7192 \/ ~agent skc29 skc31 $_7198 \/ % 11.41/11.61 ~agent skc30 $_7194 skc38 \/ ~event skc30 $_7194 \/ % 11.41/11.61 ~forename skc29 $_7195 \/ ~forename skc29 $_7197 \/ % 11.41/11.61 ~jules_forename skc29 $_7195 \/ ~man skc29 $_7198 \/ % 11.41/11.61 ~of skc29 $_7195 skc38 \/ ~of skc29 $_7197 $_7198 \/ % 11.41/11.61 ~present skc30 $_7194 \/ ~proposition skc29 $_7192 \/ % 11.41/11.61 ~smoke skc30 $_7194 \/ ~theme skc29 skc31 $_7192 \/ % 11.41/11.61 ~vincent_forename skc29 $_7197 \/ man $_7192 (skf7 $_7192) % 11.41/11.61 |- ~accessible_world skc29 $_7192 \/ ~agent skc29 skc41 $_7198 \/ % 11.41/11.61 ~agent skc40 $_7194 skc38 \/ ~event skc40 $_7194 \/ % 11.41/11.61 ~forename skc29 $_7195 \/ ~forename skc29 $_7197 \/ % 11.41/11.61 ~jules_forename skc29 $_7195 \/ ~man skc29 $_7198 \/ % 11.41/11.61 ~of skc29 $_7195 skc38 \/ ~of skc29 $_7197 $_7198 \/ % 11.41/11.61 ~present skc40 $_7194 \/ ~proposition skc29 $_7192 \/ % 11.41/11.61 ~smoke skc40 $_7194 \/ ~theme skc29 skc41 $_7192 \/ % 11.41/11.61 ~vincent_forename skc29 $_7197 \/ man $_7192 (skf7 $_7192) % 11.41/11.61 |- ~accessible_world skc29 skc29 \/ ~agent skc29 $_7222 skc38 \/ % 11.41/11.61 ~agent skc29 skc31 $_7224 \/ ~event skc29 $_7222 \/ % 11.41/11.61 ~forename skc29 $_7221 \/ ~forename skc29 $_7223 \/ % 11.41/11.61 ~jules_forename skc29 $_7223 \/ ~man skc29 $_7224 \/ % 11.41/11.61 ~of skc29 $_7221 $_7224 \/ ~of skc29 $_7223 skc38 \/ % 11.41/11.61 ~present skc29 $_7222 \/ ~proposition skc29 skc29 \/ % 11.41/11.61 ~smoke skc29 $_7222 \/ ~theme skc29 $_7222 skc29 \/ % 11.41/11.61 ~think_believe_consider skc29 $_7222 \/ % 11.41/11.61 ~vincent_forename skc29 $_7221 \/ ~vincent_forename skc29 $_7223 \/ % 11.41/11.61 man skc30 (skf7 skc30) % 11.41/11.61 |- ~accessible_world skc29 skc29 \/ ~agent skc29 $_7222 skc38 \/ % 11.41/11.61 ~agent skc29 skc41 $_7224 \/ ~event skc29 $_7222 \/ % 11.41/11.61 ~forename skc29 $_7221 \/ ~forename skc29 $_7223 \/ % 11.41/11.61 ~jules_forename skc29 $_7223 \/ ~man skc29 $_7224 \/ % 11.41/11.61 ~of skc29 $_7221 $_7224 \/ ~of skc29 $_7223 skc38 \/ % 11.41/11.61 ~present skc29 $_7222 \/ ~proposition skc29 skc29 \/ % 11.41/11.61 ~smoke skc29 $_7222 \/ ~theme skc29 $_7222 skc29 \/ % 11.41/11.61 ~think_believe_consider skc29 $_7222 \/ % 11.41/11.61 ~vincent_forename skc29 $_7221 \/ ~vincent_forename skc29 $_7223 \/ % 11.41/11.61 man skc40 (skf7 skc40) % 11.41/11.61 |- ~accessible_world skc29 skc29 \/ ~agent skc29 $_7236 $_7238 \/ % 11.41/11.61 ~agent skc29 skc31 skc38 \/ ~event skc29 $_7236 \/ % 11.41/11.61 ~forename skc29 $_7235 \/ ~forename skc29 $_7237 \/ % 11.41/11.61 ~jules_forename skc29 $_7235 \/ ~man skc29 $_7238 \/ % 11.41/11.61 ~of skc29 $_7235 skc38 \/ ~of skc29 $_7237 $_7238 \/ % 11.41/11.61 ~present skc29 $_7236 \/ ~proposition skc29 skc29 \/ % 11.41/11.61 ~smoke skc29 skc31 \/ ~theme skc29 $_7236 skc29 \/ % 11.41/11.61 ~think_believe_consider skc29 $_7236 \/ % 11.41/11.61 ~vincent_forename skc29 $_7235 \/ ~vincent_forename skc29 $_7237 \/ % 11.41/11.61 man skc30 (skf7 skc30) % 11.41/11.61 |- ~accessible_world skc29 skc29 \/ ~agent skc29 $_7236 $_7238 \/ % 11.41/11.61 ~agent skc29 skc41 skc38 \/ ~event skc29 $_7236 \/ % 11.41/11.61 ~forename skc29 $_7235 \/ ~forename skc29 $_7237 \/ % 11.41/11.61 ~jules_forename skc29 $_7235 \/ ~man skc29 $_7238 \/ % 11.41/11.61 ~of skc29 $_7235 skc38 \/ ~of skc29 $_7237 $_7238 \/ % 11.41/11.61 ~present skc29 $_7236 \/ ~proposition skc29 skc29 \/ % 11.41/11.61 ~smoke skc29 skc41 \/ ~theme skc29 $_7236 skc29 \/ % 11.41/11.61 ~think_believe_consider skc29 $_7236 \/ % 11.41/11.61 ~vincent_forename skc29 $_7235 \/ ~vincent_forename skc29 $_7237 \/ % 11.41/11.61 man skc40 (skf7 skc40) % 11.41/11.61 |- ~accessible_world skc29 skc29 \/ ~agent skc29 $_7286 skc38 \/ % 11.41/11.61 ~agent skc29 skc31 $_7289 \/ ~event skc29 $_7286 \/ % 11.41/11.61 ~forename skc29 $_7285 \/ ~forename skc29 $_7287 \/ % 11.41/11.61 ~forename skc29 $_7288 \/ ~jules_forename skc29 $_7287 \/ % 11.41/11.61 ~man skc29 $_7289 \/ ~of skc29 $_7285 $_7289 \/ % 11.41/11.61 ~of skc29 $_7287 skc38 \/ ~of skc29 $_7288 skc38 \/ % 11.41/11.61 ~present skc29 $_7286 \/ ~proposition skc29 skc29 \/ % 11.41/11.61 ~smoke skc29 $_7286 \/ ~theme skc29 $_7286 skc29 \/ % 11.41/11.61 ~think_believe_consider skc29 $_7286 \/ % 11.41/11.61 ~vincent_forename skc29 $_7285 \/ ~vincent_forename skc29 $_7288 \/ % 11.41/11.61 man skc30 (skf7 skc30) % 11.41/11.61 |- ~accessible_world skc29 skc29 \/ ~agent skc29 $_7286 skc38 \/ % 11.41/11.61 ~agent skc29 skc41 $_7289 \/ ~event skc29 $_7286 \/ % 11.41/11.61 ~forename skc29 $_7285 \/ ~forename skc29 $_7287 \/ % 11.41/11.61 ~forename skc29 $_7288 \/ ~jules_forename skc29 $_7287 \/ % 11.41/11.61 ~man skc29 $_7289 \/ ~of skc29 $_7285 $_7289 \/ % 11.41/11.61 ~of skc29 $_7287 skc38 \/ ~of skc29 $_7288 skc38 \/ % 11.41/11.61 ~present skc29 $_7286 \/ ~proposition skc29 skc29 \/ % 11.41/11.61 ~smoke skc29 $_7286 \/ ~theme skc29 $_7286 skc29 \/ % 11.41/11.61 ~think_believe_consider skc29 $_7286 \/ % 11.41/11.61 ~vincent_forename skc29 $_7285 \/ ~vincent_forename skc29 $_7288 \/ % 11.41/11.61 man skc40 (skf7 skc40) % 11.41/11.61 |- ~accessible_world skc29 skc29 \/ ~agent skc29 $_7304 $_7306 \/ % 11.41/11.61 ~agent skc29 skc31 skc38 \/ ~event skc29 $_7304 \/ % 11.41/11.61 ~forename skc29 $_7301 \/ ~forename skc29 $_7303 \/ % 11.41/11.61 ~forename skc29 $_7305 \/ ~jules_forename skc29 $_7303 \/ % 11.41/11.61 ~man skc29 $_7306 \/ ~of skc29 $_7301 skc38 \/ ~of skc29 $_7303 skc38 \/ % 11.41/11.61 ~of skc29 $_7305 $_7306 \/ ~present skc29 $_7304 \/ % 11.41/11.61 ~proposition skc29 skc29 \/ ~smoke skc29 skc31 \/ % 11.41/11.61 ~theme skc29 $_7304 skc29 \/ ~think_believe_consider skc29 $_7304 \/ % 11.41/11.61 ~vincent_forename skc29 $_7301 \/ ~vincent_forename skc29 $_7305 \/ % 11.41/11.61 man skc30 (skf7 skc30) % 11.41/11.61 |- ~accessible_world skc29 skc29 \/ ~agent skc29 $_7304 $_7306 \/ % 11.41/11.61 ~agent skc29 skc41 skc38 \/ ~event skc29 $_7304 \/ % 11.41/11.61 ~forename skc29 $_7301 \/ ~forename skc29 $_7303 \/ % 11.41/11.61 ~forename skc29 $_7305 \/ ~jules_forename skc29 $_7303 \/ % 11.41/11.61 ~man skc29 $_7306 \/ ~of skc29 $_7301 skc38 \/ ~of skc29 $_7303 skc38 \/ % 11.41/11.61 ~of skc29 $_7305 $_7306 \/ ~present skc29 $_7304 \/ % 11.41/11.61 ~proposition skc29 skc29 \/ ~smoke skc29 skc41 \/ % 11.41/11.61 ~theme skc29 $_7304 skc29 \/ ~think_believe_consider skc29 $_7304 \/ % 11.41/11.61 ~vincent_forename skc29 $_7301 \/ ~vincent_forename skc29 $_7305 \/ % 11.41/11.61 man skc40 (skf7 skc40) % 11.41/11.61 |- ~accessible_world skc29 $_7348 \/ ~agent $_7348 $_7349 skc38 \/ % 11.41/11.61 ~agent skc29 $_7351 $_7353 \/ ~agent skc29 skc31 $_7353 \/ % 11.41/11.61 ~event $_7348 $_7349 \/ ~event skc29 $_7351 \/ ~forename skc29 $_7350 \/ % 11.41/11.61 ~forename skc29 $_7352 \/ ~jules_forename skc29 $_7350 \/ % 11.41/11.61 ~man skc29 $_7353 \/ ~of skc29 $_7350 skc38 \/ % 11.41/11.61 ~of skc29 $_7352 $_7353 \/ ~present $_7348 $_7349 \/ % 11.41/11.61 ~present skc29 $_7351 \/ ~proposition skc29 $_7348 \/ % 11.41/11.61 ~smoke $_7348 $_7349 \/ ~theme skc29 $_7351 $_7348 \/ % 11.41/11.61 ~think_believe_consider skc29 $_7351 \/ % 11.41/11.61 ~vincent_forename skc29 $_7352 \/ man skc30 (skf7 skc30) % 11.41/11.61 |- ~accessible_world skc29 $_7348 \/ ~agent $_7348 $_7349 skc38 \/ % 11.41/11.61 ~agent skc29 $_7351 $_7353 \/ ~agent skc29 skc41 $_7353 \/ % 11.41/11.61 ~event $_7348 $_7349 \/ ~event skc29 $_7351 \/ ~forename skc29 $_7350 \/ % 11.41/11.61 ~forename skc29 $_7352 \/ ~jules_forename skc29 $_7350 \/ % 11.41/11.61 ~man skc29 $_7353 \/ ~of skc29 $_7350 skc38 \/ % 11.41/11.61 ~of skc29 $_7352 $_7353 \/ ~present $_7348 $_7349 \/ % 11.41/11.61 ~present skc29 $_7351 \/ ~proposition skc29 $_7348 \/ % 11.41/11.61 ~smoke $_7348 $_7349 \/ ~theme skc29 $_7351 $_7348 \/ % 11.41/11.61 ~think_believe_consider skc29 $_7351 \/ % 11.41/11.61 ~vincent_forename skc29 $_7352 \/ man skc40 (skf7 skc40) % 11.41/11.61 |- ~accessible_world skc29 $_7346 \/ ~agent skc29 $_7347 $_7353 \/ % 11.41/11.61 ~agent skc29 skc31 $_7353 \/ ~agent skc30 $_7349 skc38 \/ % 11.41/11.61 ~event skc29 $_7347 \/ ~event skc30 $_7349 \/ ~forename skc29 $_7350 \/ % 11.41/11.61 ~forename skc29 $_7352 \/ ~jules_forename skc29 $_7350 \/ % 11.41/11.61 ~man skc29 $_7353 \/ ~of skc29 $_7350 skc38 \/ % 11.41/11.61 ~of skc29 $_7352 $_7353 \/ ~present skc29 $_7347 \/ % 11.41/11.61 ~present skc30 $_7349 \/ ~proposition skc29 $_7346 \/ % 11.41/11.61 ~smoke skc30 $_7349 \/ ~theme skc29 $_7347 $_7346 \/ % 11.41/11.61 ~think_believe_consider skc29 $_7347 \/ % 11.41/11.61 ~vincent_forename skc29 $_7352 \/ man $_7346 (skf7 $_7346) % 11.41/11.61 |- ~accessible_world skc29 $_7346 \/ ~agent skc29 $_7347 $_7353 \/ % 11.41/11.61 ~agent skc29 skc41 $_7353 \/ ~agent skc40 $_7349 skc38 \/ % 11.41/11.61 ~event skc29 $_7347 \/ ~event skc40 $_7349 \/ ~forename skc29 $_7350 \/ % 11.41/11.61 ~forename skc29 $_7352 \/ ~jules_forename skc29 $_7350 \/ % 11.41/11.61 ~man skc29 $_7353 \/ ~of skc29 $_7350 skc38 \/ % 11.41/11.61 ~of skc29 $_7352 $_7353 \/ ~present skc29 $_7347 \/ % 11.41/11.61 ~present skc40 $_7349 \/ ~proposition skc29 $_7346 \/ % 11.41/11.61 ~smoke skc40 $_7349 \/ ~theme skc29 $_7347 $_7346 \/ % 11.41/11.61 ~think_believe_consider skc29 $_7347 \/ % 11.41/11.61 ~vincent_forename skc29 $_7352 \/ man $_7346 (skf7 $_7346) % 11.41/11.61 |- ~accessible_world skc29 $_7413 \/ ~agent $_7413 $_7414 skc38 \/ % 11.41/11.61 ~agent skc29 $_7415 skc38 \/ ~agent skc29 skc31 $_7417 \/ % 11.41/11.61 ~event $_7413 $_7414 \/ ~event skc29 $_7415 \/ ~forename skc29 $_7412 \/ % 11.41/11.61 ~forename skc29 $_7416 \/ ~jules_forename skc29 $_7416 \/ % 11.41/11.61 ~man skc29 $_7417 \/ ~of skc29 $_7412 $_7417 \/ % 11.41/11.61 ~of skc29 $_7416 skc38 \/ ~present $_7413 $_7414 \/ % 11.41/11.61 ~present skc29 $_7415 \/ ~proposition skc29 $_7413 \/ % 11.41/11.61 ~smoke $_7413 $_7414 \/ ~theme skc29 $_7415 $_7413 \/ % 11.41/11.61 ~think_believe_consider skc29 $_7415 \/ % 11.41/11.61 ~vincent_forename skc29 $_7412 \/ ~vincent_forename skc29 $_7416 \/ % 11.41/11.61 man skc30 (skf7 skc30) % 11.41/11.61 |- ~accessible_world skc29 $_7413 \/ ~agent $_7413 $_7414 skc38 \/ % 11.41/11.61 ~agent skc29 $_7415 skc38 \/ ~agent skc29 skc41 $_7417 \/ % 11.41/11.61 ~event $_7413 $_7414 \/ ~event skc29 $_7415 \/ ~forename skc29 $_7412 \/ % 11.41/11.61 ~forename skc29 $_7416 \/ ~jules_forename skc29 $_7416 \/ % 11.41/11.61 ~man skc29 $_7417 \/ ~of skc29 $_7412 $_7417 \/ % 11.41/11.61 ~of skc29 $_7416 skc38 \/ ~present $_7413 $_7414 \/ % 11.41/11.61 ~present skc29 $_7415 \/ ~proposition skc29 $_7413 \/ % 11.41/11.61 ~smoke $_7413 $_7414 \/ ~theme skc29 $_7415 $_7413 \/ % 11.41/11.61 ~think_believe_consider skc29 $_7415 \/ % 11.41/11.61 ~vincent_forename skc29 $_7412 \/ ~vincent_forename skc29 $_7416 \/ % 11.41/11.61 man skc40 (skf7 skc40) % 11.41/11.61 |- ~accessible_world skc29 $_7410 \/ ~agent skc29 $_7411 $_7417 \/ % 11.41/11.61 ~agent skc29 skc31 skc38 \/ ~agent skc30 $_7414 skc38 \/ % 11.41/11.61 ~event skc29 $_7411 \/ ~event skc30 $_7414 \/ ~forename skc29 $_7412 \/ % 11.41/11.61 ~forename skc29 $_7416 \/ ~jules_forename skc29 $_7416 \/ % 11.41/11.61 ~man skc29 $_7417 \/ ~of skc29 $_7412 $_7417 \/ % 11.41/11.61 ~of skc29 $_7416 skc38 \/ ~present skc29 $_7411 \/ % 11.41/11.61 ~present skc30 $_7414 \/ ~proposition skc29 $_7410 \/ % 11.41/11.61 ~smoke skc30 $_7414 \/ ~theme skc29 $_7411 $_7410 \/ % 11.41/11.61 ~think_believe_consider skc29 $_7411 \/ % 11.41/11.61 ~vincent_forename skc29 $_7412 \/ ~vincent_forename skc29 $_7416 \/ % 11.41/11.61 man $_7410 (skf7 $_7410) % 11.41/11.61 |- ~accessible_world skc29 $_7410 \/ ~agent skc29 $_7411 $_7417 \/ % 11.41/11.61 ~agent skc29 skc41 skc38 \/ ~agent skc40 $_7414 skc38 \/ % 11.41/11.61 ~event skc29 $_7411 \/ ~event skc40 $_7414 \/ ~forename skc29 $_7412 \/ % 11.41/11.61 ~forename skc29 $_7416 \/ ~jules_forename skc29 $_7416 \/ % 11.41/11.61 ~man skc29 $_7417 \/ ~of skc29 $_7412 $_7417 \/ % 11.41/11.61 ~of skc29 $_7416 skc38 \/ ~present skc29 $_7411 \/ % 11.41/11.61 ~present skc40 $_7414 \/ ~proposition skc29 $_7410 \/ % 11.41/11.61 ~smoke skc40 $_7414 \/ ~theme skc29 $_7411 $_7410 \/ % 11.41/11.61 ~think_believe_consider skc29 $_7411 \/ % 11.41/11.61 ~vincent_forename skc29 $_7412 \/ ~vincent_forename skc29 $_7416 \/ % 11.41/11.61 man $_7410 (skf7 $_7410) % 11.41/11.61 |- ~accessible_world skc29 $_7458 \/ ~agent $_7458 $_7459 skc38 \/ % 11.41/11.61 ~agent skc29 $_7461 $_7463 \/ ~agent skc29 skc31 skc38 \/ % 11.41/11.61 ~event $_7458 $_7459 \/ ~event skc29 $_7461 \/ ~forename skc29 $_7460 \/ % 11.41/11.61 ~forename skc29 $_7462 \/ ~jules_forename skc29 $_7460 \/ % 11.41/11.61 ~man skc29 $_7463 \/ ~of skc29 $_7460 skc38 \/ % 11.41/11.61 ~of skc29 $_7462 $_7463 \/ ~present $_7458 $_7459 \/ % 11.41/11.61 ~present skc29 $_7461 \/ ~proposition skc29 $_7458 \/ % 11.41/11.61 ~smoke $_7458 $_7459 \/ ~theme skc29 $_7461 $_7458 \/ % 11.41/11.61 ~think_believe_consider skc29 $_7461 \/ % 11.41/11.61 ~vincent_forename skc29 $_7460 \/ ~vincent_forename skc29 $_7462 \/ % 11.41/11.61 man skc30 (skf7 skc30) % 11.41/11.61 |- ~accessible_world skc29 $_7458 \/ ~agent $_7458 $_7459 skc38 \/ % 11.41/11.61 ~agent skc29 $_7461 $_7463 \/ ~agent skc29 skc41 skc38 \/ % 11.41/11.61 ~event $_7458 $_7459 \/ ~event skc29 $_7461 \/ ~forename skc29 $_7460 \/ % 11.41/11.61 ~forename skc29 $_7462 \/ ~jules_forename skc29 $_7460 \/ % 11.41/11.61 ~man skc29 $_7463 \/ ~of skc29 $_7460 skc38 \/ % 11.41/11.61 ~of skc29 $_7462 $_7463 \/ ~present $_7458 $_7459 \/ % 11.41/11.61 ~present skc29 $_7461 \/ ~proposition skc29 $_7458 \/ % 11.41/11.61 ~smoke $_7458 $_7459 \/ ~theme skc29 $_7461 $_7458 \/ % 11.41/11.61 ~think_believe_consider skc29 $_7461 \/ % 11.41/11.61 ~vincent_forename skc29 $_7460 \/ ~vincent_forename skc29 $_7462 \/ % 11.41/11.61 man skc40 (skf7 skc40) % 11.41/11.61 |- ~accessible_world skc29 $_7456 \/ ~agent skc29 $_7457 skc38 \/ % 11.41/11.61 ~agent skc29 skc31 $_7463 \/ ~agent skc30 $_7459 skc38 \/ % 11.41/11.61 ~event skc29 $_7457 \/ ~event skc30 $_7459 \/ ~forename skc29 $_7460 \/ % 11.41/11.61 ~forename skc29 $_7462 \/ ~jules_forename skc29 $_7460 \/ % 11.41/11.61 ~man skc29 $_7463 \/ ~of skc29 $_7460 skc38 \/ % 11.41/11.61 ~of skc29 $_7462 $_7463 \/ ~present skc29 $_7457 \/ % 11.41/11.61 ~present skc30 $_7459 \/ ~proposition skc29 $_7456 \/ % 11.41/11.61 ~smoke skc30 $_7459 \/ ~theme skc29 $_7457 $_7456 \/ % 11.41/11.61 ~think_believe_consider skc29 $_7457 \/ % 11.41/11.61 ~vincent_forename skc29 $_7460 \/ ~vincent_forename skc29 $_7462 \/ % 11.41/11.61 man $_7456 (skf7 $_7456) % 11.41/11.61 |- ~accessible_world skc29 $_7456 \/ ~agent skc29 $_7457 skc38 \/ % 11.41/11.61 ~agent skc29 skc41 $_7463 \/ ~agent skc40 $_7459 skc38 \/ % 11.41/11.61 ~event skc29 $_7457 \/ ~event skc40 $_7459 \/ ~forename skc29 $_7460 \/ % 11.41/11.61 ~forename skc29 $_7462 \/ ~jules_forename skc29 $_7460 \/ % 11.41/11.61 ~man skc29 $_7463 \/ ~of skc29 $_7460 skc38 \/ % 11.41/11.61 ~of skc29 $_7462 $_7463 \/ ~present skc29 $_7457 \/ % 11.41/11.61 ~present skc40 $_7459 \/ ~proposition skc29 $_7456 \/ % 11.41/11.61 ~smoke skc40 $_7459 \/ ~theme skc29 $_7457 $_7456 \/ % 11.41/11.61 ~think_believe_consider skc29 $_7457 \/ % 11.41/11.61 ~vincent_forename skc29 $_7460 \/ ~vincent_forename skc29 $_7462 \/ % 11.41/11.61 man $_7456 (skf7 $_7456) % 11.41/11.61 |- ~accessible_world skc29 $_7564 \/ ~agent $_7564 $_7565 skc38 \/ % 11.41/11.61 ~agent skc29 $_7567 $_7569 \/ ~agent skc29 skc31 $_7570 \/ % 11.41/11.61 ~event $_7564 $_7565 \/ ~event skc29 $_7567 \/ ~forename skc29 $_7563 \/ % 11.41/11.61 ~forename skc29 $_7566 \/ ~forename skc29 $_7568 \/ % 11.41/11.61 ~jules_forename skc29 $_7566 \/ ~man skc29 $_7569 \/ % 11.41/11.61 ~man skc29 $_7570 \/ ~of skc29 $_7563 $_7570 \/ % 11.41/11.61 ~of skc29 $_7566 skc38 \/ ~of skc29 $_7568 $_7569 \/ % 11.41/11.61 ~present $_7564 $_7565 \/ ~present skc29 $_7567 \/ % 11.41/11.61 ~proposition skc29 $_7564 \/ ~smoke $_7564 $_7565 \/ % 11.41/11.61 ~theme skc29 $_7567 $_7564 \/ ~think_believe_consider skc29 $_7567 \/ % 11.41/11.61 ~vincent_forename skc29 $_7563 \/ ~vincent_forename skc29 $_7568 \/ % 11.41/11.61 man skc30 (skf7 skc30) % 11.41/11.61 |- ~accessible_world skc29 $_7564 \/ ~agent $_7564 $_7565 skc38 \/ % 11.41/11.61 ~agent skc29 $_7567 $_7569 \/ ~agent skc29 skc41 $_7570 \/ % 11.41/11.61 ~event $_7564 $_7565 \/ ~event skc29 $_7567 \/ ~forename skc29 $_7563 \/ % 11.41/11.61 ~forename skc29 $_7566 \/ ~forename skc29 $_7568 \/ % 11.41/11.61 ~jules_forename skc29 $_7566 \/ ~man skc29 $_7569 \/ % 11.41/11.61 ~man skc29 $_7570 \/ ~of skc29 $_7563 $_7570 \/ % 11.41/11.61 ~of skc29 $_7566 skc38 \/ ~of skc29 $_7568 $_7569 \/ % 11.41/11.61 ~present $_7564 $_7565 \/ ~present skc29 $_7567 \/ % 11.41/11.61 ~proposition skc29 $_7564 \/ ~smoke $_7564 $_7565 \/ % 11.41/11.61 ~theme skc29 $_7567 $_7564 \/ ~think_believe_consider skc29 $_7567 \/ % 11.41/11.61 ~vincent_forename skc29 $_7563 \/ ~vincent_forename skc29 $_7568 \/ % 11.41/11.61 man skc40 (skf7 skc40) % 11.41/11.61 |- ~accessible_world skc29 $_7561 \/ ~agent skc29 $_7562 $_7570 \/ % 11.41/11.61 ~agent skc29 skc31 $_7569 \/ ~agent skc30 $_7565 skc38 \/ % 11.41/11.61 ~event skc29 $_7562 \/ ~event skc30 $_7565 \/ ~forename skc29 $_7563 \/ % 11.41/11.61 ~forename skc29 $_7566 \/ ~forename skc29 $_7568 \/ % 11.41/11.61 ~jules_forename skc29 $_7566 \/ ~man skc29 $_7569 \/ % 11.41/11.61 ~man skc29 $_7570 \/ ~of skc29 $_7563 $_7570 \/ % 11.41/11.61 ~of skc29 $_7566 skc38 \/ ~of skc29 $_7568 $_7569 \/ % 11.41/11.61 ~present skc29 $_7562 \/ ~present skc30 $_7565 \/ % 11.41/11.61 ~proposition skc29 $_7561 \/ ~smoke skc30 $_7565 \/ % 11.41/11.61 ~theme skc29 $_7562 $_7561 \/ ~think_believe_consider skc29 $_7562 \/ % 11.41/11.61 ~vincent_forename skc29 $_7563 \/ ~vincent_forename skc29 $_7568 \/ % 11.41/11.61 man $_7561 (skf7 $_7561) % 11.41/11.61 |- ~accessible_world skc29 $_7561 \/ ~agent skc29 $_7562 $_7570 \/ % 11.41/11.61 ~agent skc29 skc41 $_7569 \/ ~agent skc40 $_7565 skc38 \/ % 11.41/11.61 ~event skc29 $_7562 \/ ~event skc40 $_7565 \/ ~forename skc29 $_7563 \/ % 11.41/11.61 ~forename skc29 $_7566 \/ ~forename skc29 $_7568 \/ % 11.41/11.61 ~jules_forename skc29 $_7566 \/ ~man skc29 $_7569 \/ % 11.41/11.61 ~man skc29 $_7570 \/ ~of skc29 $_7563 $_7570 \/ % 11.41/11.61 ~of skc29 $_7566 skc38 \/ ~of skc29 $_7568 $_7569 \/ % 11.41/11.61 ~present skc29 $_7562 \/ ~present skc40 $_7565 \/ % 11.41/11.61 ~proposition skc29 $_7561 \/ ~smoke skc40 $_7565 \/ % 11.41/11.61 ~theme skc29 $_7562 $_7561 \/ ~think_believe_consider skc29 $_7562 \/ % 11.41/11.61 ~vincent_forename skc29 $_7563 \/ ~vincent_forename skc29 $_7568 \/ % 11.41/11.61 man $_7561 (skf7 $_7561) % 11.41/11.61 |- ~agent skc40 $_7589 skc38 \/ ~event skc40 $_7589 \/ % 11.41/11.61 ~present skc40 $_7589 \/ ~smoke skc40 $_7589 \/ man skc30 (skf7 skc30) % 11.41/11.61 |- ~agent skc30 $_7610 skc38 \/ ~event skc30 $_7610 \/ % 11.41/11.61 ~present skc30 $_7610 \/ ~smoke skc30 $_7610 \/ man skc40 (skf7 skc40) % 11.41/11.61 SZS output end Saturation for /export/starexec/sandbox2/benchmark/theBenchmark.p % 11.41/11.61 %------------------------------------------------------------------------------