TSTP Solution File: NLP025-1 by Metis---2.4
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Metis---2.4
% Problem : NLP025-1 : TPTP v8.1.0. Released v2.4.0.
% Transfm : none
% Format : tptp:raw
% Command : metis --show proof --show saturation %s
% Computer : n029.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 600s
% DateTime : Mon Jul 18 03:14:00 EDT 2022
% Result : Satisfiable 0.37s 0.59s
% Output : Saturation 0.47s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----WARNING: Could not form TPTP format derivation
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.07/0.12 % Problem : NLP025-1 : TPTP v8.1.0. Released v2.4.0.
% 0.07/0.12 % Command : metis --show proof --show saturation %s
% 0.12/0.33 % Computer : n029.cluster.edu
% 0.12/0.33 % Model : x86_64 x86_64
% 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.33 % Memory : 8042.1875MB
% 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.33 % CPULimit : 300
% 0.12/0.33 % WCLimit : 600
% 0.12/0.33 % DateTime : Fri Jul 1 09:07:09 EDT 2022
% 0.12/0.33 % CPUTime :
% 0.12/0.33 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% 0.37/0.59 % SZS status Satisfiable for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.37/0.59
% 0.37/0.59 SZS output start Saturation for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.37/0.59 |- ~dance $U $V \/ event $U $V
% 0.37/0.59 |- ~event $U $V \/ eventuality $U $V
% 0.37/0.59 |- ~eventuality $U $V \/ thing $U $V
% 0.37/0.59 |- ~thing $U $V \/ singleton $U $V
% 0.37/0.59 |- ~eventuality $U $V \/ specific $U $V
% 0.37/0.59 |- ~eventuality $U $V \/ nonexistent $U $V
% 0.37/0.59 |- ~eventuality $U $V \/ unisex $U $V
% 0.37/0.59 |- ~desire_want $U $V \/ event $U $V
% 0.37/0.59 |- ~proposition $U $V \/ relation $U $V
% 0.37/0.59 |- ~relation $U $V \/ abstraction $U $V
% 0.37/0.59 |- ~abstraction $U $V \/ thing $U $V
% 0.37/0.59 |- ~abstraction $U $V \/ nonhuman $U $V
% 0.37/0.59 |- ~abstraction $U $V \/ general $U $V
% 0.37/0.59 |- ~abstraction $U $V \/ unisex $U $V
% 0.37/0.60 |- ~forename $U $V \/ relname $U $V
% 0.37/0.60 |- ~relname $U $V \/ relation $U $V
% 0.37/0.60 |- ~mia_forename $U $V \/ forename $U $V
% 0.37/0.60 |- ~woman $U $V \/ human_person $U $V
% 0.37/0.60 |- ~human_person $U $V \/ organism $U $V
% 0.37/0.60 |- ~organism $U $V \/ entity $U $V
% 0.37/0.60 |- ~entity $U $V \/ thing $U $V
% 0.37/0.60 |- ~entity $U $V \/ specific $U $V
% 0.37/0.60 |- ~entity $U $V \/ existent $U $V
% 0.37/0.60 |- ~organism $U $V \/ impartial $U $V
% 0.37/0.60 |- ~organism $U $V \/ living $U $V
% 0.37/0.60 |- ~human_person $U $V \/ human $U $V
% 0.37/0.60 |- ~human_person $U $V \/ animate $U $V
% 0.37/0.60 |- ~woman $U $V \/ female $U $V
% 0.37/0.60 |- ~vincent_forename $U $V \/ forename $U $V
% 0.37/0.60 |- ~man $U $V \/ human_person $U $V
% 0.37/0.60 |- ~man $U $V \/ male $U $V
% 0.37/0.60 |- ~male $U $V \/ ~unisex $U $V
% 0.37/0.60 |- ~female $U $V \/ ~unisex $U $V
% 0.37/0.60 |- ~general $U $V \/ ~specific $U $V
% 0.37/0.60 |- ~human $U $V \/ ~nonhuman $U $V
% 0.37/0.60 |- ~female $U $V \/ ~male $U $V
% 0.37/0.60 |- ~existent $U $V \/ ~nonexistent $U $V
% 0.37/0.60 |- ~accessible_world $U $V \/ ~dance $U $W \/ dance $V $W
% 0.37/0.60 |- ~accessible_world $U $V \/ ~event $U $W \/ event $V $W
% 0.37/0.60 |- ~accessible_world $U $V \/ ~eventuality $U $W \/ eventuality $V $W
% 0.37/0.60 |- ~accessible_world $U $V \/ ~thing $U $W \/ thing $V $W
% 0.37/0.60 |- ~accessible_world $U $V \/ ~singleton $U $W \/ singleton $V $W
% 0.37/0.60 |- ~accessible_world $U $V \/ ~specific $U $W \/ specific $V $W
% 0.37/0.60 |- ~accessible_world $U $V \/ ~nonexistent $U $W \/ nonexistent $V $W
% 0.37/0.60 |- ~accessible_world $U $V \/ ~unisex $U $W \/ unisex $V $W
% 0.37/0.60 |- ~accessible_world $U $V \/ ~present $U $W \/ present $V $W
% 0.37/0.60 |- ~accessible_world $U $V \/ ~desire_want $U $W \/ desire_want $V $W
% 0.37/0.60 |- ~accessible_world $U $V \/ ~proposition $U $W \/ proposition $V $W
% 0.37/0.60 |- ~accessible_world $U $V \/ ~relation $U $W \/ relation $V $W
% 0.37/0.60 |- ~abstraction $U $W \/ ~accessible_world $U $V \/ abstraction $V $W
% 0.37/0.60 |- ~accessible_world $U $V \/ ~nonhuman $U $W \/ nonhuman $V $W
% 0.37/0.60 |- ~accessible_world $U $V \/ ~general $U $W \/ general $V $W
% 0.37/0.60 |- ~accessible_world $U $V \/ ~forename $U $W \/ forename $V $W
% 0.37/0.60 |- ~accessible_world $U $V \/ ~relname $U $W \/ relname $V $W
% 0.37/0.60 |- ~accessible_world $U $V \/ ~mia_forename $U $W \/ mia_forename $V $W
% 0.37/0.60 |- ~accessible_world $U $V \/ ~woman $U $W \/ woman $V $W
% 0.37/0.60 |- ~accessible_world $U $V \/ ~human_person $U $W \/ human_person $V $W
% 0.37/0.60 |- ~accessible_world $U $V \/ ~organism $U $W \/ organism $V $W
% 0.37/0.60 |- ~accessible_world $U $V \/ ~entity $U $W \/ entity $V $W
% 0.37/0.60 |- ~accessible_world $U $V \/ ~existent $U $W \/ existent $V $W
% 0.37/0.60 |- ~accessible_world $U $V \/ ~impartial $U $W \/ impartial $V $W
% 0.37/0.60 |- ~accessible_world $U $V \/ ~living $U $W \/ living $V $W
% 0.37/0.60 |- ~accessible_world $U $V \/ ~human $U $W \/ human $V $W
% 0.37/0.60 |- ~accessible_world $U $V \/ ~animate $U $W \/ animate $V $W
% 0.37/0.60 |- ~accessible_world $U $V \/ ~female $U $W \/ female $V $W
% 0.37/0.60 |- ~accessible_world $U $V \/ ~vincent_forename $U $W \/
% 0.37/0.60 vincent_forename $V $W
% 0.37/0.60 |- ~accessible_world $U $V \/ ~man $U $W \/ man $V $W
% 0.37/0.60 |- ~accessible_world $U $V \/ ~male $U $W \/ male $V $W
% 0.37/0.60 |- ~accessible_world $U $V \/ ~agent $U $W $X \/ agent $V $W $X
% 0.37/0.60 |- ~accessible_world $U $V \/ ~theme $U $W $X \/ theme $V $W $X
% 0.37/0.60 |- ~accessible_world $U $V \/ ~of $U $W $X \/ of $V $W $X
% 0.37/0.60 |- ~entity $U $X \/ ~forename $U $V \/ ~forename $U $W \/ ~of $U $V $X \/
% 0.37/0.60 ~of $U $W $X \/ $W = $V
% 0.37/0.60 |- ~desire_want $U $V \/ ~desire_want $U $Y \/ ~proposition $U $W \/
% 0.37/0.60 ~proposition $U $X \/ ~theme $U $V $W \/ ~theme $U $Y $X \/ $X = $W
% 0.37/0.60 |- actual_world skc6
% 0.37/0.60 |- event skc8 skc11
% 0.37/0.60 |- woman skc6 skc10
% 0.37/0.60 |- present skc8 skc11
% 0.37/0.60 |- dance skc8 skc11
% 0.37/0.60 |- forename skc6 skc9
% 0.37/0.60 |- mia_forename skc6 skc9
% 0.37/0.60 |- proposition skc6 skc8
% 0.37/0.60 |- accessible_world skc6 skc8
% 0.37/0.60 |- desire_want skc6 skc7
% 0.37/0.60 |- present skc6 skc7
% 0.37/0.60 |- of skc6 skc9 skc10
% 0.37/0.60 |- agent skc6 skc7 skc10
% 0.37/0.60 |- agent skc8 skc11 skc10
% 0.37/0.60 |- theme skc6 skc7 skc8
% 0.37/0.60 |- ~accessible_world $U $Y \/ ~actual_world $U \/ ~agent $U $X $X2 \/
% 0.37/0.60 ~agent $Y $X1 $X2 \/ ~dance $Y $X1 \/ ~desire_want $U $X \/
% 0.37/0.60 ~event $Y $X1 \/ ~forename $U $V \/ ~forename $U $Z \/ ~man $U $W \/
% 0.37/0.60 ~mia_forename $U $Z \/ ~of $U $V $W \/ ~of $U $Z $X2 \/
% 0.37/0.60 ~present $U $X \/ ~present $Y $X1 \/ ~proposition $U $Y \/
% 0.37/0.60 ~theme $U $X $Y \/ ~vincent_forename $U $V \/ ~woman $U $X2 \/
% 0.37/0.60 present $U (skf3 $U $X3)
% 0.37/0.60 |- ~accessible_world $U $Y \/ ~actual_world $U \/ ~agent $U $X $X2 \/
% 0.37/0.60 ~agent $Y $X1 $X2 \/ ~dance $Y $X1 \/ ~desire_want $U $X \/
% 0.37/0.60 ~event $Y $X1 \/ ~forename $U $V \/ ~forename $U $Z \/ ~man $U $W \/
% 0.37/0.60 ~mia_forename $U $Z \/ ~of $U $V $W \/ ~of $U $Z $X2 \/
% 0.37/0.60 ~present $U $X \/ ~present $Y $X1 \/ ~proposition $U $Y \/
% 0.37/0.60 ~theme $U $X $Y \/ ~vincent_forename $U $V \/ ~woman $U $X2 \/
% 0.37/0.60 desire_want $U (skf3 $U $X3)
% 0.37/0.60 |- ~accessible_world $U $Y \/ ~actual_world $U \/ ~agent $U $X $X2 \/
% 0.37/0.60 ~agent $Y $X1 $X2 \/ ~dance $Y $X1 \/ ~desire_want $U $X \/
% 0.37/0.60 ~event $Y $X1 \/ ~forename $U $V \/ ~forename $U $Z \/ ~man $U $W \/
% 0.37/0.60 ~mia_forename $U $Z \/ ~of $U $V $W \/ ~of $U $Z $X2 \/
% 0.37/0.60 ~present $U $X \/ ~present $Y $X1 \/ ~proposition $U $Y \/
% 0.37/0.60 ~theme $U $X $Y \/ ~vincent_forename $U $V \/ ~woman $U $X2 \/
% 0.37/0.60 accessible_world $U (skf4 $W $U)
% 0.37/0.60 |- ~accessible_world $U $Y \/ ~actual_world $U \/ ~agent $U $X $X2 \/
% 0.37/0.60 ~agent $Y $X1 $X2 \/ ~dance $Y $X1 \/ ~desire_want $U $X \/
% 0.37/0.60 ~event $Y $X1 \/ ~forename $U $V \/ ~forename $U $Z \/ ~man $U $W \/
% 0.37/0.60 ~mia_forename $U $Z \/ ~of $U $V $W \/ ~of $U $Z $X2 \/
% 0.37/0.60 ~present $U $X \/ ~present $Y $X1 \/ ~proposition $U $Y \/
% 0.37/0.60 ~theme $U $X $Y \/ ~vincent_forename $U $V \/ ~woman $U $X2 \/
% 0.37/0.60 proposition $U (skf4 $W $U)
% 0.37/0.60 |- ~accessible_world $U $Y \/ ~actual_world $U \/ ~agent $U $X $X2 \/
% 0.37/0.60 ~agent $Y $X1 $X2 \/ ~dance $Y $X1 \/ ~desire_want $U $X \/
% 0.37/0.60 ~event $Y $X1 \/ ~forename $U $V \/ ~forename $U $Z \/ ~man $U $W \/
% 0.37/0.60 ~mia_forename $U $Z \/ ~of $U $V $W \/ ~of $U $Z $X2 \/
% 0.37/0.60 ~present $U $X \/ ~present $Y $X1 \/ ~proposition $U $Y \/
% 0.37/0.60 ~theme $U $X $Y \/ ~vincent_forename $U $V \/ ~woman $U $X2 \/
% 0.37/0.60 agent $U (skf3 $U $W) $W
% 0.37/0.60 |- ~accessible_world $U $Y \/ ~actual_world $U \/ ~agent $U $X $X2 \/
% 0.37/0.60 ~agent $Y $X1 $X2 \/ ~dance $Y $X1 \/ ~desire_want $U $X \/
% 0.37/0.60 ~event $Y $X1 \/ ~forename $U $V \/ ~forename $U $Z \/ ~man $U $W \/
% 0.37/0.60 ~mia_forename $U $Z \/ ~of $U $V $W \/ ~of $U $Z $X2 \/
% 0.37/0.60 ~present $U $X \/ ~present $Y $X1 \/ ~proposition $U $Y \/
% 0.37/0.60 ~theme $U $X $Y \/ ~vincent_forename $U $V \/ ~woman $U $X2 \/
% 0.37/0.60 event (skf4 $W $X3) (skf5 $X3 $W)
% 0.37/0.60 |- ~accessible_world $U $Y \/ ~actual_world $U \/ ~agent $U $X $X2 \/
% 0.37/0.60 ~agent $Y $X1 $X2 \/ ~dance $Y $X1 \/ ~desire_want $U $X \/
% 0.37/0.60 ~event $Y $X1 \/ ~forename $U $V \/ ~forename $U $Z \/ ~man $U $W \/
% 0.37/0.60 ~mia_forename $U $Z \/ ~of $U $V $W \/ ~of $U $Z $X2 \/
% 0.37/0.60 ~present $U $X \/ ~present $Y $X1 \/ ~proposition $U $Y \/
% 0.37/0.60 ~theme $U $X $Y \/ ~vincent_forename $U $V \/ ~woman $U $X2 \/
% 0.37/0.60 dance (skf4 $W $X3) (skf5 $X3 $W)
% 0.37/0.60 |- ~accessible_world $U $Y \/ ~actual_world $U \/ ~agent $U $X $X2 \/
% 0.37/0.60 ~agent $Y $X1 $X2 \/ ~dance $Y $X1 \/ ~desire_want $U $X \/
% 0.37/0.60 ~event $Y $X1 \/ ~forename $U $V \/ ~forename $U $Z \/ ~man $U $W \/
% 0.37/0.60 ~mia_forename $U $Z \/ ~of $U $V $W \/ ~of $U $Z $X2 \/
% 0.37/0.60 ~present $U $X \/ ~present $Y $X1 \/ ~proposition $U $Y \/
% 0.37/0.60 ~theme $U $X $Y \/ ~vincent_forename $U $V \/ ~woman $U $X2 \/
% 0.37/0.60 present (skf4 $W $X3) (skf5 $X3 $W)
% 0.37/0.60 |- ~accessible_world $U $Y \/ ~actual_world $U \/ ~agent $U $X $X2 \/
% 0.37/0.60 ~agent $Y $X1 $X2 \/ ~dance $Y $X1 \/ ~desire_want $U $X \/
% 0.37/0.60 ~event $Y $X1 \/ ~forename $U $V \/ ~forename $U $Z \/ ~man $U $W \/
% 0.37/0.60 ~mia_forename $U $Z \/ ~of $U $V $W \/ ~of $U $Z $X2 \/
% 0.37/0.60 ~present $U $X \/ ~present $Y $X1 \/ ~proposition $U $Y \/
% 0.37/0.60 ~theme $U $X $Y \/ ~vincent_forename $U $V \/ ~woman $U $X2 \/
% 0.37/0.60 agent (skf4 $W $X3) (skf5 $X3 $W) $W
% 0.37/0.60 |- ~accessible_world $U $Y \/ ~actual_world $U \/ ~agent $U $X $X2 \/
% 0.37/0.60 ~agent $Y $X1 $X2 \/ ~dance $Y $X1 \/ ~desire_want $U $X \/
% 0.37/0.60 ~event $Y $X1 \/ ~forename $U $V \/ ~forename $U $Z \/ ~man $U $W \/
% 0.37/0.60 ~mia_forename $U $Z \/ ~of $U $V $W \/ ~of $U $Z $X2 \/
% 0.37/0.60 ~present $U $X \/ ~present $Y $X1 \/ ~proposition $U $Y \/
% 0.37/0.60 ~theme $U $X $Y \/ ~vincent_forename $U $V \/ ~woman $U $X2 \/
% 0.37/0.60 theme $U (skf3 $U $W) (skf4 $W $U)
% 0.37/0.60 |- ~accessible_world $Y $Y \/ ~actual_world $Y \/ ~agent $Y $X1 $X2 \/
% 0.37/0.60 ~dance $Y $X1 \/ ~desire_want $Y $X1 \/ ~event $Y $X1 \/
% 0.37/0.60 ~forename $Y $V \/ ~forename $Y $Z \/ ~man $Y $W \/
% 0.37/0.60 ~mia_forename $Y $Z \/ ~of $Y $V $W \/ ~of $Y $Z $X2 \/
% 0.37/0.60 ~present $Y $X1 \/ ~proposition $Y $Y \/ ~theme $Y $X1 $Y \/
% 0.37/0.60 ~vincent_forename $Y $V \/ ~woman $Y $X2 \/ present $Y (skf3 $Y $X3)
% 0.37/0.60 |- ~accessible_world $U $Y \/ ~actual_world $U \/ ~agent $U $X $X2 \/
% 0.37/0.60 ~agent $Y $X1 $X2 \/ ~dance $Y $X1 \/ ~desire_want $U $X \/
% 0.37/0.60 ~event $Y $X1 \/ ~forename $U $Z \/ ~man $U $X2 \/
% 0.37/0.60 ~mia_forename $U $Z \/ ~of $U $Z $X2 \/ ~present $U $X \/
% 0.37/0.60 ~present $Y $X1 \/ ~proposition $U $Y \/ ~theme $U $X $Y \/
% 0.37/0.60 ~vincent_forename $U $Z \/ ~woman $U $X2 \/ present $U (skf3 $U $X3)
% 0.37/0.60 |- ~accessible_world $Y $Y \/ ~actual_world $Y \/ ~agent $Y $X1 $X2 \/
% 0.37/0.60 ~dance $Y $X1 \/ ~desire_want $Y $X1 \/ ~event $Y $X1 \/
% 0.37/0.60 ~forename $Y $Z \/ ~man $Y $X2 \/ ~mia_forename $Y $Z \/
% 0.37/0.60 ~of $Y $Z $X2 \/ ~present $Y $X1 \/ ~proposition $Y $Y \/
% 0.37/0.60 ~theme $Y $X1 $Y \/ ~vincent_forename $Y $Z \/ ~woman $Y $X2 \/
% 0.37/0.60 present $Y (skf3 $Y $X3)
% 0.37/0.60 |- ~accessible_world $Y $Y \/ ~actual_world $Y \/ ~agent $Y $X1 $X2 \/
% 0.37/0.60 ~dance $Y $X1 \/ ~desire_want $Y $X1 \/ ~event $Y $X1 \/
% 0.37/0.60 ~forename $Y $V \/ ~forename $Y $Z \/ ~man $Y $W \/
% 0.37/0.60 ~mia_forename $Y $Z \/ ~of $Y $V $W \/ ~of $Y $Z $X2 \/
% 0.37/0.60 ~present $Y $X1 \/ ~proposition $Y $Y \/ ~theme $Y $X1 $Y \/
% 0.37/0.60 ~vincent_forename $Y $V \/ ~woman $Y $X2 \/ desire_want $Y (skf3 $Y $X3)
% 0.37/0.60 |- ~accessible_world $U $Y \/ ~actual_world $U \/ ~agent $U $X $X2 \/
% 0.37/0.60 ~agent $Y $X1 $X2 \/ ~dance $Y $X1 \/ ~desire_want $U $X \/
% 0.37/0.60 ~event $Y $X1 \/ ~forename $U $Z \/ ~man $U $X2 \/
% 0.37/0.60 ~mia_forename $U $Z \/ ~of $U $Z $X2 \/ ~present $U $X \/
% 0.37/0.60 ~present $Y $X1 \/ ~proposition $U $Y \/ ~theme $U $X $Y \/
% 0.37/0.60 ~vincent_forename $U $Z \/ ~woman $U $X2 \/ desire_want $U (skf3 $U $X3)
% 0.37/0.60 |- ~accessible_world $Y $Y \/ ~actual_world $Y \/ ~agent $Y $X1 $X2 \/
% 0.37/0.60 ~dance $Y $X1 \/ ~desire_want $Y $X1 \/ ~event $Y $X1 \/
% 0.37/0.60 ~forename $Y $Z \/ ~man $Y $X2 \/ ~mia_forename $Y $Z \/
% 0.37/0.60 ~of $Y $Z $X2 \/ ~present $Y $X1 \/ ~proposition $Y $Y \/
% 0.37/0.60 ~theme $Y $X1 $Y \/ ~vincent_forename $Y $Z \/ ~woman $Y $X2 \/
% 0.37/0.60 desire_want $Y (skf3 $Y $X3)
% 0.37/0.60 |- ~accessible_world $Y $Y \/ ~actual_world $Y \/ ~agent $Y $X1 $X2 \/
% 0.37/0.60 ~dance $Y $X1 \/ ~desire_want $Y $X1 \/ ~event $Y $X1 \/
% 0.37/0.60 ~forename $Y $V \/ ~forename $Y $Z \/ ~man $Y $W \/
% 0.37/0.60 ~mia_forename $Y $Z \/ ~of $Y $V $W \/ ~of $Y $Z $X2 \/
% 0.37/0.60 ~present $Y $X1 \/ ~proposition $Y $Y \/ ~theme $Y $X1 $Y \/
% 0.37/0.60 ~vincent_forename $Y $V \/ ~woman $Y $X2 \/
% 0.37/0.60 accessible_world $Y (skf4 $W $Y)
% 0.37/0.60 |- ~accessible_world $U $Y \/ ~actual_world $U \/ ~agent $U $X $X2 \/
% 0.37/0.60 ~agent $Y $X1 $X2 \/ ~dance $Y $X1 \/ ~desire_want $U $X \/
% 0.37/0.60 ~event $Y $X1 \/ ~forename $U $Z \/ ~man $U $X2 \/
% 0.37/0.60 ~mia_forename $U $Z \/ ~of $U $Z $X2 \/ ~present $U $X \/
% 0.37/0.60 ~present $Y $X1 \/ ~proposition $U $Y \/ ~theme $U $X $Y \/
% 0.37/0.60 ~vincent_forename $U $Z \/ ~woman $U $X2 \/
% 0.37/0.60 accessible_world $U (skf4 $X2 $U)
% 0.37/0.60 |- ~accessible_world $Y $Y \/ ~actual_world $Y \/ ~agent $Y $X1 $X2 \/
% 0.37/0.60 ~dance $Y $X1 \/ ~desire_want $Y $X1 \/ ~event $Y $X1 \/
% 0.37/0.60 ~forename $Y $Z \/ ~man $Y $X2 \/ ~mia_forename $Y $Z \/
% 0.37/0.60 ~of $Y $Z $X2 \/ ~present $Y $X1 \/ ~proposition $Y $Y \/
% 0.37/0.60 ~theme $Y $X1 $Y \/ ~vincent_forename $Y $Z \/ ~woman $Y $X2 \/
% 0.37/0.60 accessible_world $Y (skf4 $X2 $Y)
% 0.37/0.60 |- ~accessible_world $Y $Y \/ ~actual_world $Y \/ ~agent $Y $X1 $X2 \/
% 0.37/0.60 ~dance $Y $X1 \/ ~desire_want $Y $X1 \/ ~event $Y $X1 \/
% 0.37/0.60 ~forename $Y $V \/ ~forename $Y $Z \/ ~man $Y $W \/
% 0.37/0.60 ~mia_forename $Y $Z \/ ~of $Y $V $W \/ ~of $Y $Z $X2 \/
% 0.37/0.60 ~present $Y $X1 \/ ~proposition $Y $Y \/ ~theme $Y $X1 $Y \/
% 0.37/0.60 ~vincent_forename $Y $V \/ ~woman $Y $X2 \/ proposition $Y (skf4 $W $Y)
% 0.37/0.60 |- ~accessible_world $U $Y \/ ~actual_world $U \/ ~agent $U $X $X2 \/
% 0.37/0.60 ~agent $Y $X1 $X2 \/ ~dance $Y $X1 \/ ~desire_want $U $X \/
% 0.37/0.60 ~event $Y $X1 \/ ~forename $U $Z \/ ~man $U $X2 \/
% 0.37/0.60 ~mia_forename $U $Z \/ ~of $U $Z $X2 \/ ~present $U $X \/
% 0.37/0.60 ~present $Y $X1 \/ ~proposition $U $Y \/ ~theme $U $X $Y \/
% 0.37/0.60 ~vincent_forename $U $Z \/ ~woman $U $X2 \/ proposition $U (skf4 $X2 $U)
% 0.37/0.60 |- ~accessible_world $Y $Y \/ ~actual_world $Y \/ ~agent $Y $X1 $X2 \/
% 0.37/0.60 ~dance $Y $X1 \/ ~desire_want $Y $X1 \/ ~event $Y $X1 \/
% 0.37/0.60 ~forename $Y $Z \/ ~man $Y $X2 \/ ~mia_forename $Y $Z \/
% 0.37/0.60 ~of $Y $Z $X2 \/ ~present $Y $X1 \/ ~proposition $Y $Y \/
% 0.37/0.60 ~theme $Y $X1 $Y \/ ~vincent_forename $Y $Z \/ ~woman $Y $X2 \/
% 0.37/0.60 proposition $Y (skf4 $X2 $Y)
% 0.37/0.60 |- ~accessible_world $Y $Y \/ ~actual_world $Y \/ ~agent $Y $X1 $X2 \/
% 0.37/0.60 ~dance $Y $X1 \/ ~desire_want $Y $X1 \/ ~event $Y $X1 \/
% 0.37/0.60 ~forename $Y $V \/ ~forename $Y $Z \/ ~man $Y $W \/
% 0.37/0.60 ~mia_forename $Y $Z \/ ~of $Y $V $W \/ ~of $Y $Z $X2 \/
% 0.37/0.60 ~present $Y $X1 \/ ~proposition $Y $Y \/ ~theme $Y $X1 $Y \/
% 0.37/0.60 ~vincent_forename $Y $V \/ ~woman $Y $X2 \/ agent $Y (skf3 $Y $W) $W
% 0.37/0.60 |- ~accessible_world $U $Y \/ ~actual_world $U \/ ~agent $U $X $X2 \/
% 0.37/0.60 ~agent $Y $X1 $X2 \/ ~dance $Y $X1 \/ ~desire_want $U $X \/
% 0.37/0.60 ~event $Y $X1 \/ ~forename $U $Z \/ ~man $U $X2 \/
% 0.37/0.60 ~mia_forename $U $Z \/ ~of $U $Z $X2 \/ ~present $U $X \/
% 0.37/0.60 ~present $Y $X1 \/ ~proposition $U $Y \/ ~theme $U $X $Y \/
% 0.37/0.60 ~vincent_forename $U $Z \/ ~woman $U $X2 \/ agent $U (skf3 $U $X2) $X2
% 0.37/0.60 |- ~accessible_world $Y $Y \/ ~actual_world $Y \/ ~agent $Y $X1 $X2 \/
% 0.37/0.60 ~dance $Y $X1 \/ ~desire_want $Y $X1 \/ ~event $Y $X1 \/
% 0.37/0.60 ~forename $Y $Z \/ ~man $Y $X2 \/ ~mia_forename $Y $Z \/
% 0.37/0.60 ~of $Y $Z $X2 \/ ~present $Y $X1 \/ ~proposition $Y $Y \/
% 0.37/0.60 ~theme $Y $X1 $Y \/ ~vincent_forename $Y $Z \/ ~woman $Y $X2 \/
% 0.37/0.60 agent $Y (skf3 $Y $X2) $X2
% 0.37/0.60 |- ~accessible_world $Y $Y \/ ~actual_world $Y \/ ~agent $Y $X1 $X2 \/
% 0.37/0.60 ~dance $Y $X1 \/ ~desire_want $Y $X1 \/ ~event $Y $X1 \/
% 0.37/0.60 ~forename $Y $V \/ ~forename $Y $Z \/ ~man $Y $W \/
% 0.37/0.60 ~mia_forename $Y $Z \/ ~of $Y $V $W \/ ~of $Y $Z $X2 \/
% 0.37/0.60 ~present $Y $X1 \/ ~proposition $Y $Y \/ ~theme $Y $X1 $Y \/
% 0.37/0.60 ~vincent_forename $Y $V \/ ~woman $Y $X2 \/
% 0.37/0.60 event (skf4 $W $X3) (skf5 $X3 $W)
% 0.37/0.60 |- ~accessible_world $U $Y \/ ~actual_world $U \/ ~agent $U $X $X2 \/
% 0.37/0.60 ~agent $Y $X1 $X2 \/ ~dance $Y $X1 \/ ~desire_want $U $X \/
% 0.37/0.60 ~event $Y $X1 \/ ~forename $U $Z \/ ~man $U $X2 \/
% 0.37/0.60 ~mia_forename $U $Z \/ ~of $U $Z $X2 \/ ~present $U $X \/
% 0.37/0.60 ~present $Y $X1 \/ ~proposition $U $Y \/ ~theme $U $X $Y \/
% 0.37/0.60 ~vincent_forename $U $Z \/ ~woman $U $X2 \/
% 0.37/0.60 event (skf4 $X2 $X3) (skf5 $X3 $X2)
% 0.37/0.60 |- ~accessible_world $Y $Y \/ ~actual_world $Y \/ ~agent $Y $X1 $X2 \/
% 0.37/0.60 ~dance $Y $X1 \/ ~desire_want $Y $X1 \/ ~event $Y $X1 \/
% 0.37/0.60 ~forename $Y $Z \/ ~man $Y $X2 \/ ~mia_forename $Y $Z \/
% 0.37/0.60 ~of $Y $Z $X2 \/ ~present $Y $X1 \/ ~proposition $Y $Y \/
% 0.37/0.60 ~theme $Y $X1 $Y \/ ~vincent_forename $Y $Z \/ ~woman $Y $X2 \/
% 0.37/0.60 event (skf4 $X2 $X3) (skf5 $X3 $X2)
% 0.37/0.60 |- ~accessible_world $Y $Y \/ ~actual_world $Y \/ ~agent $Y $X1 $X2 \/
% 0.37/0.60 ~dance $Y $X1 \/ ~desire_want $Y $X1 \/ ~event $Y $X1 \/
% 0.37/0.60 ~forename $Y $V \/ ~forename $Y $Z \/ ~man $Y $W \/
% 0.37/0.60 ~mia_forename $Y $Z \/ ~of $Y $V $W \/ ~of $Y $Z $X2 \/
% 0.37/0.60 ~present $Y $X1 \/ ~proposition $Y $Y \/ ~theme $Y $X1 $Y \/
% 0.37/0.60 ~vincent_forename $Y $V \/ ~woman $Y $X2 \/
% 0.37/0.60 dance (skf4 $W $X3) (skf5 $X3 $W)
% 0.37/0.60 |- ~accessible_world $U $Y \/ ~actual_world $U \/ ~agent $U $X $X2 \/
% 0.37/0.60 ~agent $Y $X1 $X2 \/ ~dance $Y $X1 \/ ~desire_want $U $X \/
% 0.37/0.60 ~event $Y $X1 \/ ~forename $U $Z \/ ~man $U $X2 \/
% 0.37/0.60 ~mia_forename $U $Z \/ ~of $U $Z $X2 \/ ~present $U $X \/
% 0.37/0.60 ~present $Y $X1 \/ ~proposition $U $Y \/ ~theme $U $X $Y \/
% 0.37/0.60 ~vincent_forename $U $Z \/ ~woman $U $X2 \/
% 0.37/0.60 dance (skf4 $X2 $X3) (skf5 $X3 $X2)
% 0.37/0.60 |- ~accessible_world $Y $Y \/ ~actual_world $Y \/ ~agent $Y $X1 $X2 \/
% 0.37/0.60 ~dance $Y $X1 \/ ~desire_want $Y $X1 \/ ~event $Y $X1 \/
% 0.37/0.60 ~forename $Y $Z \/ ~man $Y $X2 \/ ~mia_forename $Y $Z \/
% 0.37/0.60 ~of $Y $Z $X2 \/ ~present $Y $X1 \/ ~proposition $Y $Y \/
% 0.37/0.60 ~theme $Y $X1 $Y \/ ~vincent_forename $Y $Z \/ ~woman $Y $X2 \/
% 0.37/0.60 dance (skf4 $X2 $X3) (skf5 $X3 $X2)
% 0.37/0.60 |- ~accessible_world $Y $Y \/ ~actual_world $Y \/ ~agent $Y $X1 $X2 \/
% 0.37/0.60 ~dance $Y $X1 \/ ~desire_want $Y $X1 \/ ~event $Y $X1 \/
% 0.37/0.60 ~forename $Y $V \/ ~forename $Y $Z \/ ~man $Y $W \/
% 0.37/0.60 ~mia_forename $Y $Z \/ ~of $Y $V $W \/ ~of $Y $Z $X2 \/
% 0.37/0.60 ~present $Y $X1 \/ ~proposition $Y $Y \/ ~theme $Y $X1 $Y \/
% 0.37/0.60 ~vincent_forename $Y $V \/ ~woman $Y $X2 \/
% 0.37/0.60 present (skf4 $W $X3) (skf5 $X3 $W)
% 0.37/0.60 |- ~accessible_world $U $Y \/ ~actual_world $U \/ ~agent $U $X $X2 \/
% 0.37/0.60 ~agent $Y $X1 $X2 \/ ~dance $Y $X1 \/ ~desire_want $U $X \/
% 0.37/0.60 ~event $Y $X1 \/ ~forename $U $Z \/ ~man $U $X2 \/
% 0.37/0.60 ~mia_forename $U $Z \/ ~of $U $Z $X2 \/ ~present $U $X \/
% 0.37/0.60 ~present $Y $X1 \/ ~proposition $U $Y \/ ~theme $U $X $Y \/
% 0.37/0.60 ~vincent_forename $U $Z \/ ~woman $U $X2 \/
% 0.37/0.60 present (skf4 $X2 $X3) (skf5 $X3 $X2)
% 0.37/0.60 |- ~accessible_world $Y $Y \/ ~actual_world $Y \/ ~agent $Y $X1 $X2 \/
% 0.37/0.60 ~dance $Y $X1 \/ ~desire_want $Y $X1 \/ ~event $Y $X1 \/
% 0.37/0.60 ~forename $Y $Z \/ ~man $Y $X2 \/ ~mia_forename $Y $Z \/
% 0.37/0.60 ~of $Y $Z $X2 \/ ~present $Y $X1 \/ ~proposition $Y $Y \/
% 0.37/0.60 ~theme $Y $X1 $Y \/ ~vincent_forename $Y $Z \/ ~woman $Y $X2 \/
% 0.37/0.60 present (skf4 $X2 $X3) (skf5 $X3 $X2)
% 0.37/0.61 |- ~accessible_world $Y $Y \/ ~actual_world $Y \/ ~agent $Y $X1 $X2 \/
% 0.37/0.61 ~dance $Y $X1 \/ ~desire_want $Y $X1 \/ ~event $Y $X1 \/
% 0.37/0.61 ~forename $Y $V \/ ~forename $Y $Z \/ ~man $Y $W \/
% 0.37/0.61 ~mia_forename $Y $Z \/ ~of $Y $V $W \/ ~of $Y $Z $X2 \/
% 0.37/0.61 ~present $Y $X1 \/ ~proposition $Y $Y \/ ~theme $Y $X1 $Y \/
% 0.37/0.61 ~vincent_forename $Y $V \/ ~woman $Y $X2 \/
% 0.37/0.61 agent (skf4 $W $X3) (skf5 $X3 $W) $W
% 0.37/0.61 |- ~accessible_world $U $Y \/ ~actual_world $U \/ ~agent $U $X $X2 \/
% 0.37/0.61 ~agent $Y $X1 $X2 \/ ~dance $Y $X1 \/ ~desire_want $U $X \/
% 0.37/0.61 ~event $Y $X1 \/ ~forename $U $Z \/ ~man $U $X2 \/
% 0.37/0.61 ~mia_forename $U $Z \/ ~of $U $Z $X2 \/ ~present $U $X \/
% 0.37/0.61 ~present $Y $X1 \/ ~proposition $U $Y \/ ~theme $U $X $Y \/
% 0.37/0.61 ~vincent_forename $U $Z \/ ~woman $U $X2 \/
% 0.37/0.61 agent (skf4 $X2 $X3) (skf5 $X3 $X2) $X2
% 0.37/0.61 |- ~accessible_world $Y $Y \/ ~actual_world $Y \/ ~agent $Y $X1 $X2 \/
% 0.37/0.61 ~dance $Y $X1 \/ ~desire_want $Y $X1 \/ ~event $Y $X1 \/
% 0.37/0.61 ~forename $Y $Z \/ ~man $Y $X2 \/ ~mia_forename $Y $Z \/
% 0.37/0.61 ~of $Y $Z $X2 \/ ~present $Y $X1 \/ ~proposition $Y $Y \/
% 0.37/0.61 ~theme $Y $X1 $Y \/ ~vincent_forename $Y $Z \/ ~woman $Y $X2 \/
% 0.37/0.61 agent (skf4 $X2 $X3) (skf5 $X3 $X2) $X2
% 0.37/0.61 |- ~accessible_world $Y $Y \/ ~actual_world $Y \/ ~agent $Y $X1 $X2 \/
% 0.37/0.61 ~dance $Y $X1 \/ ~desire_want $Y $X1 \/ ~event $Y $X1 \/
% 0.37/0.61 ~forename $Y $V \/ ~forename $Y $Z \/ ~man $Y $W \/
% 0.37/0.61 ~mia_forename $Y $Z \/ ~of $Y $V $W \/ ~of $Y $Z $X2 \/
% 0.37/0.61 ~present $Y $X1 \/ ~proposition $Y $Y \/ ~theme $Y $X1 $Y \/
% 0.37/0.61 ~vincent_forename $Y $V \/ ~woman $Y $X2 \/
% 0.37/0.61 theme $Y (skf3 $Y $W) (skf4 $W $Y)
% 0.37/0.61 |- ~accessible_world $U $Y \/ ~actual_world $U \/ ~agent $U $X $X2 \/
% 0.37/0.61 ~agent $Y $X1 $X2 \/ ~dance $Y $X1 \/ ~desire_want $U $X \/
% 0.37/0.61 ~event $Y $X1 \/ ~forename $U $Z \/ ~man $U $X2 \/
% 0.37/0.61 ~mia_forename $U $Z \/ ~of $U $Z $X2 \/ ~present $U $X \/
% 0.37/0.61 ~present $Y $X1 \/ ~proposition $U $Y \/ ~theme $U $X $Y \/
% 0.37/0.61 ~vincent_forename $U $Z \/ ~woman $U $X2 \/
% 0.37/0.61 theme $U (skf3 $U $X2) (skf4 $X2 $U)
% 0.37/0.61 |- ~accessible_world $Y $Y \/ ~actual_world $Y \/ ~agent $Y $X1 $X2 \/
% 0.37/0.61 ~dance $Y $X1 \/ ~desire_want $Y $X1 \/ ~event $Y $X1 \/
% 0.37/0.61 ~forename $Y $Z \/ ~man $Y $X2 \/ ~mia_forename $Y $Z \/
% 0.37/0.61 ~of $Y $Z $X2 \/ ~present $Y $X1 \/ ~proposition $Y $Y \/
% 0.37/0.61 ~theme $Y $X1 $Y \/ ~vincent_forename $Y $Z \/ ~woman $Y $X2 \/
% 0.37/0.61 theme $Y (skf3 $Y $X2) (skf4 $X2 $Y)
% 0.37/0.61 |- relname skc6 skc9
% 0.37/0.61 |- human_person skc6 skc10
% 0.37/0.61 |- organism skc6 skc10
% 0.37/0.61 |- eventuality skc8 skc11
% 0.37/0.61 |- thing skc8 skc11
% 0.37/0.61 |- singleton skc8 skc11
% 0.37/0.61 |- specific skc8 skc11
% 0.37/0.61 |- ~general skc8 skc11
% 0.37/0.61 |- nonexistent skc8 skc11
% 0.37/0.61 |- unisex skc8 skc11
% 0.37/0.61 |- event skc6 skc7
% 0.37/0.61 |- eventuality skc6 skc7
% 0.37/0.61 |- unisex skc6 skc7
% 0.37/0.61 |- nonexistent skc6 skc7
% 0.37/0.61 |- specific skc6 skc7
% 0.37/0.61 |- thing skc6 skc7
% 0.37/0.61 |- ~general skc6 skc7
% 0.37/0.61 |- singleton skc6 skc7
% 0.37/0.61 |- relation skc6 skc8
% 0.37/0.61 |- abstraction skc6 skc8
% 0.37/0.61 |- thing skc6 skc8
% 0.37/0.61 |- singleton skc6 skc8
% 0.37/0.61 |- nonhuman skc6 skc8
% 0.37/0.61 |- general skc6 skc8
% 0.37/0.61 |- unisex skc6 skc8
% 0.37/0.61 |- relation skc6 skc9
% 0.37/0.61 |- abstraction skc6 skc9
% 0.37/0.61 |- unisex skc6 skc9
% 0.37/0.61 |- general skc6 skc9
% 0.37/0.61 |- nonhuman skc6 skc9
% 0.37/0.61 |- thing skc6 skc9
% 0.37/0.61 |- singleton skc6 skc9
% 0.37/0.61 |- entity skc6 skc10
% 0.37/0.61 |- thing skc6 skc10
% 0.37/0.61 |- singleton skc6 skc10
% 0.37/0.61 |- specific skc6 skc10
% 0.37/0.61 |- ~general skc6 skc10
% 0.37/0.61 |- existent skc6 skc10
% 0.37/0.61 |- impartial skc6 skc10
% 0.37/0.61 |- living skc6 skc10
% 0.37/0.61 |- human skc6 skc10
% 0.37/0.61 |- animate skc6 skc10
% 0.37/0.61 |- female skc6 skc10
% 0.37/0.61 |- ~male skc6 skc7
% 0.37/0.61 |- ~male skc6 skc8
% 0.37/0.61 |- ~male skc6 skc9
% 0.37/0.61 |- ~male skc8 skc11
% 0.37/0.61 |- ~female skc6 skc7
% 0.37/0.61 |- ~female skc6 skc8
% 0.37/0.61 |- ~female skc6 skc9
% 0.37/0.61 |- ~female skc8 skc11
% 0.37/0.61 |- ~human skc6 skc8
% 0.37/0.61 |- ~human skc6 skc9
% 0.37/0.61 |- ~existent skc6 skc7
% 0.37/0.61 |- ~existent skc8 skc11
% 0.37/0.61 |- ~accessible_world skc8 $_75 \/ dance $_75 skc11
% 0.37/0.61 |- ~accessible_world skc6 $_79 \/ event $_79 skc7
% 0.37/0.61 |- ~accessible_world skc8 $_79 \/ event $_79 skc11
% 0.37/0.61 |- event skc8 skc7
% 0.37/0.61 |- ~accessible_world skc8 $V \/ event $V skc7
% 0.37/0.61 |- eventuality skc8 skc7
% 0.37/0.61 |- unisex skc8 skc7
% 0.37/0.61 |- nonexistent skc8 skc7
% 0.37/0.61 |- specific skc8 skc7
% 0.37/0.61 |- thing skc8 skc7
% 0.37/0.61 |- ~general skc8 skc7
% 0.37/0.61 |- singleton skc8 skc7
% 0.37/0.61 |- ~female skc8 skc7
% 0.37/0.61 |- ~male skc8 skc7
% 0.37/0.61 |- ~existent skc8 skc7
% 0.37/0.61 |- ~accessible_world skc6 $_85 \/ eventuality $_85 skc7
% 0.37/0.61 |- ~accessible_world skc8 $_85 \/ eventuality $_85 skc11
% 0.37/0.61 |- ~accessible_world skc8 $_85 \/ eventuality $_85 skc7
% 0.37/0.61 |- ~accessible_world skc6 $_91 \/ thing $_91 skc10
% 0.37/0.61 |- ~accessible_world skc6 $_91 \/ thing $_91 skc7
% 0.37/0.61 |- ~accessible_world skc6 $_91 \/ thing $_91 skc8
% 0.37/0.61 |- ~accessible_world skc6 $_91 \/ thing $_91 skc9
% 0.37/0.61 |- ~accessible_world skc8 $_91 \/ thing $_91 skc11
% 0.37/0.61 |- ~accessible_world skc8 $_91 \/ thing $_91 skc7
% 0.37/0.61 |- thing skc8 skc8
% 0.37/0.61 |- ~accessible_world skc8 $V \/ thing $V skc8
% 0.37/0.61 |- singleton skc8 skc8
% 0.37/0.61 |- thing skc8 skc10
% 0.37/0.61 |- ~accessible_world skc8 $V \/ thing $V skc10
% 0.37/0.61 |- singleton skc8 skc10
% 0.37/0.61 |- thing skc8 skc9
% 0.37/0.61 |- ~accessible_world skc8 $V \/ thing $V skc9
% 0.37/0.61 |- singleton skc8 skc9
% 0.37/0.61 |- ~accessible_world skc6 $_103 \/ singleton $_103 skc10
% 0.37/0.61 |- ~accessible_world skc6 $_103 \/ singleton $_103 skc7
% 0.37/0.61 |- ~accessible_world skc6 $_103 \/ singleton $_103 skc8
% 0.37/0.61 |- ~accessible_world skc6 $_103 \/ singleton $_103 skc9
% 0.37/0.61 |- ~accessible_world skc8 $_103 \/ singleton $_103 skc10
% 0.37/0.61 |- ~accessible_world skc8 $_103 \/ singleton $_103 skc11
% 0.37/0.61 |- ~accessible_world skc8 $_103 \/ singleton $_103 skc7
% 0.37/0.61 |- ~accessible_world skc8 $_103 \/ singleton $_103 skc8
% 0.37/0.61 |- ~accessible_world skc8 $_103 \/ singleton $_103 skc9
% 0.37/0.61 |- ~accessible_world skc6 $_115 \/ specific $_115 skc10
% 0.37/0.61 |- ~accessible_world skc6 $_115 \/ specific $_115 skc7
% 0.37/0.61 |- ~accessible_world skc8 $_115 \/ specific $_115 skc11
% 0.37/0.61 |- ~accessible_world skc8 $_115 \/ specific $_115 skc7
% 0.37/0.61 |- specific skc8 skc10
% 0.37/0.61 |- ~accessible_world skc8 $V \/ specific $V skc10
% 0.37/0.61 |- ~general skc8 skc10
% 0.37/0.61 |- ~accessible_world skc6 $_123 \/ nonexistent $_123 skc7
% 0.37/0.61 |- ~accessible_world skc8 $_123 \/ nonexistent $_123 skc11
% 0.37/0.61 |- ~accessible_world skc8 $_123 \/ nonexistent $_123 skc7
% 0.37/0.61 |- ~accessible_world skc6 $_129 \/ unisex $_129 skc7
% 0.37/0.61 |- ~accessible_world skc6 $_129 \/ unisex $_129 skc8
% 0.37/0.61 |- ~accessible_world skc6 $_129 \/ unisex $_129 skc9
% 0.37/0.61 |- ~accessible_world skc8 $_129 \/ unisex $_129 skc11
% 0.37/0.61 |- ~accessible_world skc8 $_129 \/ unisex $_129 skc7
% 0.37/0.61 |- unisex skc8 skc8
% 0.37/0.61 |- ~accessible_world skc8 $V \/ unisex $V skc8
% 0.37/0.61 |- ~female skc8 skc8
% 0.37/0.61 |- ~male skc8 skc8
% 0.37/0.61 |- unisex skc8 skc9
% 0.37/0.61 |- ~accessible_world skc8 $V \/ unisex $V skc9
% 0.37/0.61 |- ~female skc8 skc9
% 0.37/0.61 |- ~male skc8 skc9
% 0.37/0.61 |- ~accessible_world skc6 $_139 \/ present $_139 skc7
% 0.37/0.61 |- ~accessible_world skc8 $_139 \/ present $_139 skc11
% 0.37/0.61 |- present skc8 skc7
% 0.37/0.61 |- ~accessible_world skc8 $V \/ present $V skc7
% 0.37/0.61 |- ~accessible_world skc6 $_145 \/ desire_want $_145 skc7
% 0.37/0.61 |- desire_want skc8 skc7
% 0.37/0.61 |- ~accessible_world skc8 $V \/ desire_want $V skc7
% 0.37/0.61 |- ~accessible_world skc6 $_150 \/ proposition $_150 skc8
% 0.37/0.61 |- proposition skc8 skc8
% 0.37/0.61 |- ~accessible_world skc8 $V \/ proposition $V skc8
% 0.37/0.61 |- relation skc8 skc8
% 0.37/0.61 |- abstraction skc8 skc8
% 0.37/0.61 |- general skc8 skc8
% 0.37/0.61 |- nonhuman skc8 skc8
% 0.37/0.61 |- ~human skc8 skc8
% 0.37/0.61 |- ~accessible_world skc6 $_155 \/ relation $_155 skc8
% 0.37/0.61 |- ~accessible_world skc6 $_155 \/ relation $_155 skc9
% 0.37/0.61 |- ~accessible_world skc8 $_155 \/ relation $_155 skc8
% 0.37/0.61 |- relation skc8 skc9
% 0.37/0.61 |- ~accessible_world skc8 $V \/ relation $V skc9
% 0.37/0.61 |- abstraction skc8 skc9
% 0.37/0.61 |- general skc8 skc9
% 0.37/0.61 |- nonhuman skc8 skc9
% 0.37/0.61 |- ~human skc8 skc9
% 0.37/0.61 |- ~abstraction skc6 $_163 \/ abstraction skc8 $_163
% 0.37/0.61 |- ~accessible_world skc6 $_166 \/ nonhuman $_166 skc8
% 0.37/0.61 |- ~accessible_world skc6 $_166 \/ nonhuman $_166 skc9
% 0.37/0.61 |- ~accessible_world skc8 $_166 \/ nonhuman $_166 skc8
% 0.37/0.61 |- ~accessible_world skc8 $_166 \/ nonhuman $_166 skc9
% 0.37/0.61 |- ~accessible_world skc6 $_173 \/ general $_173 skc8
% 0.37/0.61 |- ~accessible_world skc6 $_173 \/ general $_173 skc9
% 0.37/0.61 |- ~accessible_world skc8 $_173 \/ general $_173 skc8
% 0.37/0.61 |- ~accessible_world skc8 $_173 \/ general $_173 skc9
% 0.37/0.61 |- ~accessible_world skc6 $_180 \/ forename $_180 skc9
% 0.37/0.61 |- forename skc8 skc9
% 0.37/0.61 |- ~accessible_world skc8 $V \/ forename $V skc9
% 0.37/0.61 |- relname skc8 skc9
% 0.37/0.61 |- ~accessible_world skc6 $_185 \/ relname $_185 skc9
% 0.37/0.61 |- ~accessible_world skc8 $_185 \/ relname $_185 skc9
% 0.37/0.61 |- ~accessible_world skc6 $_190 \/ mia_forename $_190 skc9
% 0.37/0.61 |- mia_forename skc8 skc9
% 0.37/0.61 |- ~accessible_world skc8 $V \/ mia_forename $V skc9
% 0.37/0.61 |- ~accessible_world skc6 $_195 \/ woman $_195 skc10
% 0.37/0.61 |- woman skc8 skc10
% 0.37/0.61 |- ~accessible_world skc8 $V \/ woman $V skc10
% 0.37/0.61 |- female skc8 skc10
% 0.37/0.61 |- human_person skc8 skc10
% 0.37/0.61 |- animate skc8 skc10
% 0.37/0.61 |- human skc8 skc10
% 0.37/0.61 |- organism skc8 skc10
% 0.37/0.61 |- living skc8 skc10
% 0.37/0.61 |- impartial skc8 skc10
% 0.37/0.61 |- entity skc8 skc10
% 0.37/0.61 |- existent skc8 skc10
% 0.37/0.61 |- ~accessible_world skc6 $_200 \/ human_person $_200 skc10
% 0.37/0.61 |- ~accessible_world skc8 $_200 \/ human_person $_200 skc10
% 0.37/0.61 |- ~accessible_world skc6 $_205 \/ organism $_205 skc10
% 0.37/0.61 |- ~accessible_world skc8 $_205 \/ organism $_205 skc10
% 0.37/0.61 |- ~accessible_world skc6 $_210 \/ entity $_210 skc10
% 0.37/0.61 |- ~accessible_world skc8 $_210 \/ entity $_210 skc10
% 0.37/0.61 |- ~accessible_world skc6 $_215 \/ existent $_215 skc10
% 0.37/0.61 |- ~accessible_world skc8 $_215 \/ existent $_215 skc10
% 0.37/0.61 |- ~accessible_world skc6 $_220 \/ impartial $_220 skc10
% 0.37/0.61 |- ~accessible_world skc8 $_220 \/ impartial $_220 skc10
% 0.37/0.61 |- ~accessible_world skc6 $_225 \/ living $_225 skc10
% 0.37/0.61 |- ~accessible_world skc8 $_225 \/ living $_225 skc10
% 0.37/0.62 |- ~accessible_world skc6 $_230 \/ human $_230 skc10
% 0.37/0.62 |- ~accessible_world skc8 $_230 \/ human $_230 skc10
% 0.37/0.62 |- ~accessible_world skc6 $_235 \/ animate $_235 skc10
% 0.37/0.62 |- ~accessible_world skc8 $_235 \/ animate $_235 skc10
% 0.37/0.62 |- ~accessible_world skc6 $_240 \/ female $_240 skc10
% 0.37/0.62 |- ~accessible_world skc8 $_240 \/ female $_240 skc10
% 0.37/0.62 |- ~accessible_world skc6 $_254 \/ agent $_254 skc7 skc10
% 0.37/0.62 |- ~accessible_world skc8 $_254 \/ agent $_254 skc11 skc10
% 0.37/0.62 |- agent skc8 skc7 skc10
% 0.37/0.62 |- ~accessible_world skc8 $V \/ agent $V skc7 skc10
% 0.37/0.62 |- ~accessible_world skc6 $_261 \/ theme $_261 skc7 skc8
% 0.37/0.62 |- theme skc8 skc7 skc8
% 0.37/0.62 |- ~accessible_world skc8 $V \/ theme $V skc7 skc8
% 0.37/0.62 |- ~accessible_world skc6 $_267 \/ of $_267 skc9 skc10
% 0.37/0.62 |- of skc8 skc9 skc10
% 0.37/0.62 |- ~accessible_world skc8 $V \/ of $V skc9 skc10
% 0.37/0.62 |- ~forename skc6 $_274 \/ ~of skc6 $_274 skc10 \/ $_274 = skc9
% 0.37/0.62 |- ~forename skc8 $_274 \/ ~of skc8 $_274 skc10 \/ $_274 = skc9
% 0.37/0.62 |- ~desire_want skc6 $_282 \/ ~proposition skc6 $_281 \/
% 0.37/0.62 ~theme skc6 $_282 $_281 \/ $_281 = skc8
% 0.37/0.62 |- ~desire_want skc8 $_282 \/ ~proposition skc8 $_281 \/
% 0.37/0.62 ~theme skc8 $_282 $_281 \/ $_281 = skc8
% 0.37/0.62 |- ~agent skc6 skc7 $_368 \/ ~agent skc8 $_367 $_368 \/
% 0.37/0.62 ~dance skc8 $_367 \/ ~event skc8 $_367 \/ ~forename skc6 $_370 \/
% 0.37/0.62 ~man skc6 $_368 \/ ~mia_forename skc6 $_370 \/ ~of skc6 $_370 $_368 \/
% 0.37/0.62 ~present skc8 $_367 \/ ~vincent_forename skc6 $_370 \/
% 0.37/0.62 ~woman skc6 $_368 \/ accessible_world skc6 (skf4 $_368 skc6)
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/
% 0.37/0.62 ~agent skc8 $_367 $_368 \/ ~agent skc8 skc7 $_368 \/
% 0.37/0.62 ~dance skc8 $_367 \/ ~event skc8 $_367 \/ ~forename skc8 $_370 \/
% 0.37/0.62 ~man skc8 $_368 \/ ~mia_forename skc8 $_370 \/ ~of skc8 $_370 $_368 \/
% 0.37/0.62 ~present skc8 $_367 \/ ~vincent_forename skc8 $_370 \/
% 0.37/0.62 ~woman skc8 $_368 \/ accessible_world skc8 (skf4 $_368 skc8)
% 0.37/0.62 |- ~man skc6 skc10 \/ ~vincent_forename skc6 skc9 \/
% 0.37/0.62 accessible_world skc6 (skf4 skc10 skc6)
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/ ~man skc8 skc10 \/
% 0.37/0.62 ~vincent_forename skc8 skc9 \/ accessible_world skc8 (skf4 skc10 skc8)
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/ ~dance skc8 skc7 \/
% 0.37/0.62 ~forename skc8 $_385 \/ ~man skc8 $_386 \/ ~of skc8 $_385 $_386 \/
% 0.37/0.62 ~vincent_forename skc8 $_385 \/ accessible_world skc8 (skf4 $_386 skc8)
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/ ~dance skc8 skc7 \/
% 0.37/0.62 ~forename skc8 $_397 \/ ~man skc8 $_398 \/ ~of skc8 $_397 $_398 \/
% 0.37/0.62 ~vincent_forename skc8 $_397 \/ proposition skc8 (skf4 $_398 skc8)
% 0.37/0.62 |- ~agent skc6 skc7 $_406 \/ ~agent skc8 $_405 $_406 \/
% 0.37/0.62 ~dance skc8 $_405 \/ ~event skc8 $_405 \/ ~forename skc6 $_408 \/
% 0.37/0.62 ~man skc6 $_406 \/ ~mia_forename skc6 $_408 \/ ~of skc6 $_408 $_406 \/
% 0.37/0.62 ~present skc8 $_405 \/ ~vincent_forename skc6 $_408 \/
% 0.37/0.62 ~woman skc6 $_406 \/ proposition skc6 (skf4 $_406 skc6)
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/
% 0.37/0.62 ~agent skc8 $_405 $_406 \/ ~agent skc8 skc7 $_406 \/
% 0.37/0.62 ~dance skc8 $_405 \/ ~event skc8 $_405 \/ ~forename skc8 $_408 \/
% 0.37/0.62 ~man skc8 $_406 \/ ~mia_forename skc8 $_408 \/ ~of skc8 $_408 $_406 \/
% 0.37/0.62 ~present skc8 $_405 \/ ~vincent_forename skc8 $_408 \/
% 0.37/0.62 ~woman skc8 $_406 \/ proposition skc8 (skf4 $_406 skc8)
% 0.37/0.62 |- ~man skc6 skc10 \/ ~vincent_forename skc6 skc9 \/
% 0.37/0.62 proposition skc6 (skf4 skc10 skc6)
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/ ~man skc8 skc10 \/
% 0.37/0.62 ~vincent_forename skc8 skc9 \/ proposition skc8 (skf4 skc10 skc8)
% 0.37/0.62 |- ~agent skc6 skc7 $_420 \/ ~agent skc8 $_419 $_420 \/
% 0.37/0.62 ~dance skc8 $_419 \/ ~event skc8 $_419 \/ ~forename skc6 $_422 \/
% 0.37/0.62 ~man skc6 $_420 \/ ~mia_forename skc6 $_422 \/ ~of skc6 $_422 $_420 \/
% 0.37/0.62 ~present skc8 $_419 \/ ~vincent_forename skc6 $_422 \/
% 0.37/0.62 ~woman skc6 $_420 \/ agent skc6 (skf3 skc6 $_420) $_420
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/
% 0.37/0.62 ~agent skc8 $_419 $_420 \/ ~agent skc8 skc7 $_420 \/
% 0.37/0.62 ~dance skc8 $_419 \/ ~event skc8 $_419 \/ ~forename skc8 $_422 \/
% 0.37/0.62 ~man skc8 $_420 \/ ~mia_forename skc8 $_422 \/ ~of skc8 $_422 $_420 \/
% 0.37/0.62 ~present skc8 $_419 \/ ~vincent_forename skc8 $_422 \/
% 0.37/0.62 ~woman skc8 $_420 \/ agent skc8 (skf3 skc8 $_420) $_420
% 0.37/0.62 |- ~man skc6 skc10 \/ ~vincent_forename skc6 skc9 \/
% 0.37/0.62 agent skc6 (skf3 skc6 skc10) skc10
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/ ~man skc8 skc10 \/
% 0.37/0.62 ~vincent_forename skc8 skc9 \/ agent skc8 (skf3 skc8 skc10) skc10
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/ ~dance skc8 skc7 \/
% 0.37/0.62 ~forename skc8 $_437 \/ ~man skc8 $_438 \/ ~of skc8 $_437 $_438 \/
% 0.37/0.62 ~vincent_forename skc8 $_437 \/ agent skc8 (skf3 skc8 $_438) $_438
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/ ~dance skc8 skc7 \/
% 0.37/0.62 ~forename skc8 $_449 \/ ~man skc8 $_450 \/ ~of skc8 $_449 $_450 \/
% 0.37/0.62 ~vincent_forename skc8 $_449 \/
% 0.37/0.62 theme skc8 (skf3 skc8 $_450) (skf4 $_450 skc8)
% 0.37/0.62 |- ~agent skc6 skc7 $_458 \/ ~agent skc8 $_457 $_458 \/
% 0.37/0.62 ~dance skc8 $_457 \/ ~event skc8 $_457 \/ ~forename skc6 $_460 \/
% 0.37/0.62 ~man skc6 $_458 \/ ~mia_forename skc6 $_460 \/ ~of skc6 $_460 $_458 \/
% 0.37/0.62 ~present skc8 $_457 \/ ~vincent_forename skc6 $_460 \/
% 0.37/0.62 ~woman skc6 $_458 \/ theme skc6 (skf3 skc6 $_458) (skf4 $_458 skc6)
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/
% 0.37/0.62 ~agent skc8 $_457 $_458 \/ ~agent skc8 skc7 $_458 \/
% 0.37/0.62 ~dance skc8 $_457 \/ ~event skc8 $_457 \/ ~forename skc8 $_460 \/
% 0.37/0.62 ~man skc8 $_458 \/ ~mia_forename skc8 $_460 \/ ~of skc8 $_460 $_458 \/
% 0.37/0.62 ~present skc8 $_457 \/ ~vincent_forename skc8 $_460 \/
% 0.37/0.62 ~woman skc8 $_458 \/ theme skc8 (skf3 skc8 $_458) (skf4 $_458 skc8)
% 0.37/0.62 |- ~man skc6 skc10 \/ ~vincent_forename skc6 skc9 \/
% 0.37/0.62 theme skc6 (skf3 skc6 skc10) (skf4 skc10 skc6)
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/ ~man skc8 skc10 \/
% 0.37/0.62 ~vincent_forename skc8 skc9 \/
% 0.37/0.62 theme skc8 (skf3 skc8 skc10) (skf4 skc10 skc8)
% 0.37/0.62 |- ~agent skc6 skc7 $_472 \/ ~agent skc8 $_471 $_472 \/
% 0.37/0.62 ~dance skc8 $_471 \/ ~event skc8 $_471 \/ ~forename skc6 $_475 \/
% 0.37/0.62 ~man skc6 $_472 \/ ~mia_forename skc6 $_475 \/ ~of skc6 $_475 $_472 \/
% 0.37/0.62 ~present skc8 $_471 \/ ~vincent_forename skc6 $_475 \/
% 0.37/0.62 ~woman skc6 $_472 \/ present skc6 (skf3 skc6 $_473)
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/
% 0.37/0.62 ~agent skc8 $_471 $_472 \/ ~agent skc8 skc7 $_472 \/
% 0.37/0.62 ~dance skc8 $_471 \/ ~event skc8 $_471 \/ ~forename skc8 $_475 \/
% 0.37/0.62 ~man skc8 $_472 \/ ~mia_forename skc8 $_475 \/ ~of skc8 $_475 $_472 \/
% 0.37/0.62 ~present skc8 $_471 \/ ~vincent_forename skc8 $_475 \/
% 0.37/0.62 ~woman skc8 $_472 \/ present skc8 (skf3 skc8 $_473)
% 0.37/0.62 |- ~man skc6 skc10 \/ ~vincent_forename skc6 skc9 \/
% 0.37/0.62 present skc6 (skf3 skc6 $_481)
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/ ~man skc8 skc10 \/
% 0.37/0.62 ~vincent_forename skc8 skc9 \/ present skc8 (skf3 skc8 $_488)
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/ ~dance skc8 skc7 \/
% 0.37/0.62 ~forename skc8 $_497 \/ ~man skc8 $_498 \/ ~of skc8 $_497 $_498 \/
% 0.37/0.62 ~vincent_forename skc8 $_497 \/ desire_want skc8 (skf3 skc8 $_500)
% 0.37/0.62 |- ~agent skc6 skc7 $_508 \/ ~agent skc8 $_507 $_508 \/
% 0.37/0.62 ~dance skc8 $_507 \/ ~event skc8 $_507 \/ ~forename skc6 $_511 \/
% 0.37/0.62 ~man skc6 $_508 \/ ~mia_forename skc6 $_511 \/ ~of skc6 $_511 $_508 \/
% 0.37/0.62 ~present skc8 $_507 \/ ~vincent_forename skc6 $_511 \/
% 0.37/0.62 ~woman skc6 $_508 \/ desire_want skc6 (skf3 skc6 $_509)
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/
% 0.37/0.62 ~agent skc8 $_507 $_508 \/ ~agent skc8 skc7 $_508 \/
% 0.37/0.62 ~dance skc8 $_507 \/ ~event skc8 $_507 \/ ~forename skc8 $_511 \/
% 0.37/0.62 ~man skc8 $_508 \/ ~mia_forename skc8 $_511 \/ ~of skc8 $_511 $_508 \/
% 0.37/0.62 ~present skc8 $_507 \/ ~vincent_forename skc8 $_511 \/
% 0.37/0.62 ~woman skc8 $_508 \/ desire_want skc8 (skf3 skc8 $_509)
% 0.37/0.62 |- ~man skc6 skc10 \/ ~vincent_forename skc6 skc9 \/
% 0.37/0.62 desire_want skc6 (skf3 skc6 $_517)
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/ ~man skc8 skc10 \/
% 0.37/0.62 ~vincent_forename skc8 skc9 \/ desire_want skc8 (skf3 skc8 $_524)
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/ ~dance skc8 skc7 \/
% 0.37/0.62 ~forename skc8 $_533 \/ ~man skc8 $_534 \/ ~of skc8 $_533 $_534 \/
% 0.37/0.62 ~vincent_forename skc8 $_533 \/ present skc8 (skf3 skc8 $_536)
% 0.37/0.62 |- ~agent skc6 skc7 $_544 \/ ~agent skc8 $_543 $_544 \/
% 0.37/0.62 ~dance skc8 $_543 \/ ~event skc8 $_543 \/ ~forename skc6 $_547 \/
% 0.37/0.62 ~man skc6 $_544 \/ ~mia_forename skc6 $_547 \/ ~of skc6 $_547 $_544 \/
% 0.37/0.62 ~present skc8 $_543 \/ ~vincent_forename skc6 $_547 \/
% 0.37/0.62 ~woman skc6 $_544 \/ present (skf4 $_544 $_545) (skf5 $_545 $_544)
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/
% 0.37/0.62 ~agent skc8 $_543 $_544 \/ ~agent skc8 skc7 $_544 \/
% 0.37/0.62 ~dance skc8 $_543 \/ ~event skc8 $_543 \/ ~forename skc8 $_547 \/
% 0.37/0.62 ~man skc8 $_544 \/ ~mia_forename skc8 $_547 \/ ~of skc8 $_547 $_544 \/
% 0.37/0.62 ~present skc8 $_543 \/ ~vincent_forename skc8 $_547 \/
% 0.37/0.62 ~woman skc8 $_544 \/ present (skf4 $_544 $_545) (skf5 $_545 $_544)
% 0.37/0.62 |- ~man skc6 skc10 \/ ~vincent_forename skc6 skc9 \/
% 0.37/0.62 present (skf4 skc10 $_553) (skf5 $_553 skc10)
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/ ~man skc8 skc10 \/
% 0.37/0.62 ~vincent_forename skc8 skc9 \/
% 0.37/0.62 present (skf4 skc10 $_560) (skf5 $_560 skc10)
% 0.37/0.62 |- ~agent skc6 skc7 $_565 \/ ~agent skc8 $_564 $_565 \/
% 0.37/0.62 ~dance skc8 $_564 \/ ~event skc8 $_564 \/ ~forename skc6 $_568 \/
% 0.37/0.62 ~man skc6 $_565 \/ ~mia_forename skc6 $_568 \/ ~of skc6 $_568 $_565 \/
% 0.37/0.62 ~present skc8 $_564 \/ ~vincent_forename skc6 $_568 \/
% 0.37/0.62 ~woman skc6 $_565 \/ dance (skf4 $_565 $_566) (skf5 $_566 $_565)
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/
% 0.37/0.62 ~agent skc8 $_564 $_565 \/ ~agent skc8 skc7 $_565 \/
% 0.37/0.62 ~dance skc8 $_564 \/ ~event skc8 $_564 \/ ~forename skc8 $_568 \/
% 0.37/0.62 ~man skc8 $_565 \/ ~mia_forename skc8 $_568 \/ ~of skc8 $_568 $_565 \/
% 0.37/0.62 ~present skc8 $_564 \/ ~vincent_forename skc8 $_568 \/
% 0.37/0.62 ~woman skc8 $_565 \/ dance (skf4 $_565 $_566) (skf5 $_566 $_565)
% 0.37/0.62 |- ~man skc6 skc10 \/ ~vincent_forename skc6 skc9 \/
% 0.37/0.62 dance (skf4 skc10 $_574) (skf5 $_574 skc10)
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/ ~man skc8 skc10 \/
% 0.37/0.62 ~vincent_forename skc8 skc9 \/
% 0.37/0.62 dance (skf4 skc10 $_581) (skf5 $_581 skc10)
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/ ~dance skc8 skc7 \/
% 0.37/0.62 ~forename skc8 $_590 \/ ~man skc8 $_591 \/ ~of skc8 $_590 $_591 \/
% 0.37/0.62 ~vincent_forename skc8 $_590 \/
% 0.37/0.62 dance (skf4 $_591 $_593) (skf5 $_593 $_591)
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/ ~dance skc8 skc7 \/
% 0.37/0.62 ~forename skc8 $_605 \/ ~man skc8 $_606 \/ ~of skc8 $_605 $_606 \/
% 0.37/0.62 ~vincent_forename skc8 $_605 \/
% 0.37/0.62 event (skf4 $_606 $_608) (skf5 $_608 $_606)
% 0.37/0.62 |- ~agent skc6 skc7 $_616 \/ ~agent skc8 $_615 $_616 \/
% 0.37/0.62 ~dance skc8 $_615 \/ ~event skc8 $_615 \/ ~forename skc6 $_619 \/
% 0.37/0.62 ~man skc6 $_616 \/ ~mia_forename skc6 $_619 \/ ~of skc6 $_619 $_616 \/
% 0.37/0.62 ~present skc8 $_615 \/ ~vincent_forename skc6 $_619 \/
% 0.37/0.62 ~woman skc6 $_616 \/ event (skf4 $_616 $_617) (skf5 $_617 $_616)
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/
% 0.37/0.62 ~agent skc8 $_615 $_616 \/ ~agent skc8 skc7 $_616 \/
% 0.37/0.62 ~dance skc8 $_615 \/ ~event skc8 $_615 \/ ~forename skc8 $_619 \/
% 0.37/0.62 ~man skc8 $_616 \/ ~mia_forename skc8 $_619 \/ ~of skc8 $_619 $_616 \/
% 0.37/0.62 ~present skc8 $_615 \/ ~vincent_forename skc8 $_619 \/
% 0.37/0.62 ~woman skc8 $_616 \/ event (skf4 $_616 $_617) (skf5 $_617 $_616)
% 0.37/0.62 |- ~man skc6 skc10 \/ ~vincent_forename skc6 skc9 \/
% 0.37/0.62 event (skf4 skc10 $_625) (skf5 $_625 skc10)
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/ ~man skc8 skc10 \/
% 0.37/0.62 ~vincent_forename skc8 skc9 \/
% 0.37/0.62 event (skf4 skc10 $_632) (skf5 $_632 skc10)
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/ ~dance skc8 skc7 \/
% 0.37/0.62 ~forename skc8 $_641 \/ ~man skc8 $_642 \/ ~of skc8 $_641 $_642 \/
% 0.37/0.62 ~vincent_forename skc8 $_641 \/
% 0.37/0.62 present (skf4 $_642 $_644) (skf5 $_644 $_642)
% 0.37/0.62 |- ~agent skc6 skc7 $_652 \/ ~agent skc8 $_651 $_652 \/
% 0.37/0.62 ~dance skc8 $_651 \/ ~event skc8 $_651 \/ ~forename skc6 $_655 \/
% 0.37/0.62 ~man skc6 $_652 \/ ~mia_forename skc6 $_655 \/ ~of skc6 $_655 $_652 \/
% 0.37/0.62 ~present skc8 $_651 \/ ~vincent_forename skc6 $_655 \/
% 0.37/0.62 ~woman skc6 $_652 \/ agent (skf4 $_652 $_653) (skf5 $_653 $_652) $_652
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/
% 0.37/0.62 ~agent skc8 $_651 $_652 \/ ~agent skc8 skc7 $_652 \/
% 0.37/0.62 ~dance skc8 $_651 \/ ~event skc8 $_651 \/ ~forename skc8 $_655 \/
% 0.37/0.62 ~man skc8 $_652 \/ ~mia_forename skc8 $_655 \/ ~of skc8 $_655 $_652 \/
% 0.37/0.62 ~present skc8 $_651 \/ ~vincent_forename skc8 $_655 \/
% 0.37/0.62 ~woman skc8 $_652 \/ agent (skf4 $_652 $_653) (skf5 $_653 $_652) $_652
% 0.37/0.62 |- ~man skc6 skc10 \/ ~vincent_forename skc6 skc9 \/
% 0.37/0.62 agent (skf4 skc10 $_661) (skf5 $_661 skc10) skc10
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/ ~man skc8 skc10 \/
% 0.37/0.62 ~vincent_forename skc8 skc9 \/
% 0.37/0.62 agent (skf4 skc10 $_668) (skf5 $_668 skc10) skc10
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/ ~dance skc8 skc7 \/
% 0.37/0.62 ~forename skc8 $_677 \/ ~man skc8 $_678 \/ ~of skc8 $_677 $_678 \/
% 0.37/0.62 ~vincent_forename skc8 $_677 \/
% 0.37/0.62 agent (skf4 $_678 $_680) (skf5 $_680 $_678) $_678
% 0.37/0.62 |- ~agent skc6 skc7 $_690 \/ ~agent skc8 $_689 $_690 \/
% 0.37/0.62 ~dance skc8 $_689 \/ ~event skc8 $_689 \/ ~forename skc6 $_686 \/
% 0.37/0.62 ~forename skc6 $_692 \/ ~man skc6 $_687 \/ ~mia_forename skc6 $_692 \/
% 0.37/0.62 ~of skc6 $_686 $_687 \/ ~of skc6 $_692 $_690 \/ ~present skc8 $_689 \/
% 0.37/0.62 ~vincent_forename skc6 $_686 \/ ~woman skc6 $_690 \/
% 0.37/0.62 proposition skc6 (skf4 $_687 skc6)
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/
% 0.37/0.62 ~agent skc8 $_689 $_690 \/ ~agent skc8 skc7 $_690 \/
% 0.37/0.62 ~dance skc8 $_689 \/ ~event skc8 $_689 \/ ~forename skc8 $_686 \/
% 0.37/0.62 ~forename skc8 $_692 \/ ~man skc8 $_687 \/ ~mia_forename skc8 $_692 \/
% 0.37/0.62 ~of skc8 $_686 $_687 \/ ~of skc8 $_692 $_690 \/ ~present skc8 $_689 \/
% 0.37/0.62 ~vincent_forename skc8 $_686 \/ ~woman skc8 $_690 \/
% 0.37/0.62 proposition skc8 (skf4 $_687 skc8)
% 0.37/0.62 |- ~agent skc8 $_695 skc10 \/ ~dance skc8 $_695 \/ ~event skc8 $_695 \/
% 0.37/0.62 ~forename skc6 $_693 \/ ~man skc6 $_694 \/ ~of skc6 $_693 $_694 \/
% 0.37/0.62 ~present skc8 $_695 \/ ~vincent_forename skc6 $_693 \/
% 0.37/0.62 proposition skc6 (skf4 $_694 skc6)
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/
% 0.37/0.62 ~agent skc8 $_703 skc10 \/ ~dance skc8 $_703 \/ ~event skc8 $_703 \/
% 0.37/0.62 ~forename skc8 $_701 \/ ~man skc8 $_702 \/ ~of skc8 $_701 $_702 \/
% 0.37/0.62 ~present skc8 $_703 \/ ~vincent_forename skc8 $_701 \/
% 0.37/0.62 proposition skc8 (skf4 $_702 skc8)
% 0.37/0.62 |- ~agent skc6 skc7 $_714 \/ ~agent skc8 $_713 $_714 \/
% 0.37/0.62 ~dance skc8 $_713 \/ ~event skc8 $_713 \/ ~forename skc6 $_710 \/
% 0.37/0.62 ~forename skc6 $_716 \/ ~man skc6 $_711 \/ ~mia_forename skc6 $_716 \/
% 0.37/0.62 ~of skc6 $_710 $_711 \/ ~of skc6 $_716 $_714 \/ ~present skc8 $_713 \/
% 0.37/0.62 ~vincent_forename skc6 $_710 \/ ~woman skc6 $_714 \/
% 0.37/0.62 accessible_world skc6 (skf4 $_711 skc6)
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/
% 0.37/0.62 ~agent skc8 $_713 $_714 \/ ~agent skc8 skc7 $_714 \/
% 0.37/0.62 ~dance skc8 $_713 \/ ~event skc8 $_713 \/ ~forename skc8 $_710 \/
% 0.37/0.62 ~forename skc8 $_716 \/ ~man skc8 $_711 \/ ~mia_forename skc8 $_716 \/
% 0.37/0.62 ~of skc8 $_710 $_711 \/ ~of skc8 $_716 $_714 \/ ~present skc8 $_713 \/
% 0.37/0.62 ~vincent_forename skc8 $_710 \/ ~woman skc8 $_714 \/
% 0.37/0.62 accessible_world skc8 (skf4 $_711 skc8)
% 0.37/0.62 |- ~agent skc8 $_719 skc10 \/ ~dance skc8 $_719 \/ ~event skc8 $_719 \/
% 0.37/0.62 ~forename skc6 $_717 \/ ~man skc6 $_718 \/ ~of skc6 $_717 $_718 \/
% 0.37/0.62 ~present skc8 $_719 \/ ~vincent_forename skc6 $_717 \/
% 0.37/0.62 accessible_world skc6 (skf4 $_718 skc6)
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/
% 0.37/0.62 ~agent skc8 $_727 skc10 \/ ~dance skc8 $_727 \/ ~event skc8 $_727 \/
% 0.37/0.62 ~forename skc8 $_725 \/ ~man skc8 $_726 \/ ~of skc8 $_725 $_726 \/
% 0.37/0.62 ~present skc8 $_727 \/ ~vincent_forename skc8 $_725 \/
% 0.37/0.62 accessible_world skc8 (skf4 $_726 skc8)
% 0.37/0.62 |- ~agent skc6 skc7 $_738 \/ ~agent skc8 $_737 $_738 \/
% 0.37/0.62 ~dance skc8 $_737 \/ ~event skc8 $_737 \/ ~forename skc6 $_734 \/
% 0.37/0.62 ~forename skc6 $_740 \/ ~man skc6 $_735 \/ ~mia_forename skc6 $_740 \/
% 0.37/0.62 ~of skc6 $_734 $_735 \/ ~of skc6 $_740 $_738 \/ ~present skc8 $_737 \/
% 0.37/0.62 ~vincent_forename skc6 $_734 \/ ~woman skc6 $_738 \/
% 0.37/0.62 agent skc6 (skf3 skc6 $_735) $_735
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/
% 0.37/0.62 ~agent skc8 $_737 $_738 \/ ~agent skc8 skc7 $_738 \/
% 0.37/0.62 ~dance skc8 $_737 \/ ~event skc8 $_737 \/ ~forename skc8 $_734 \/
% 0.37/0.62 ~forename skc8 $_740 \/ ~man skc8 $_735 \/ ~mia_forename skc8 $_740 \/
% 0.37/0.62 ~of skc8 $_734 $_735 \/ ~of skc8 $_740 $_738 \/ ~present skc8 $_737 \/
% 0.37/0.62 ~vincent_forename skc8 $_734 \/ ~woman skc8 $_738 \/
% 0.37/0.62 agent skc8 (skf3 skc8 $_735) $_735
% 0.37/0.62 |- ~agent skc8 $_743 skc10 \/ ~dance skc8 $_743 \/ ~event skc8 $_743 \/
% 0.37/0.62 ~forename skc6 $_741 \/ ~man skc6 $_742 \/ ~of skc6 $_741 $_742 \/
% 0.37/0.62 ~present skc8 $_743 \/ ~vincent_forename skc6 $_741 \/
% 0.37/0.62 agent skc6 (skf3 skc6 $_742) $_742
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/
% 0.37/0.62 ~agent skc8 $_751 skc10 \/ ~dance skc8 $_751 \/ ~event skc8 $_751 \/
% 0.37/0.62 ~forename skc8 $_749 \/ ~man skc8 $_750 \/ ~of skc8 $_749 $_750 \/
% 0.37/0.62 ~present skc8 $_751 \/ ~vincent_forename skc8 $_749 \/
% 0.37/0.62 agent skc8 (skf3 skc8 $_750) $_750
% 0.37/0.62 |- ~agent skc6 skc7 $_762 \/ ~agent skc8 $_761 $_762 \/
% 0.37/0.62 ~dance skc8 $_761 \/ ~event skc8 $_761 \/ ~forename skc6 $_758 \/
% 0.37/0.62 ~forename skc6 $_764 \/ ~man skc6 $_759 \/ ~mia_forename skc6 $_764 \/
% 0.37/0.62 ~of skc6 $_758 $_759 \/ ~of skc6 $_764 $_762 \/ ~present skc8 $_761 \/
% 0.37/0.62 ~vincent_forename skc6 $_758 \/ ~woman skc6 $_762 \/
% 0.37/0.62 theme skc6 (skf3 skc6 $_759) (skf4 $_759 skc6)
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/
% 0.37/0.62 ~agent skc8 $_761 $_762 \/ ~agent skc8 skc7 $_762 \/
% 0.37/0.62 ~dance skc8 $_761 \/ ~event skc8 $_761 \/ ~forename skc8 $_758 \/
% 0.37/0.62 ~forename skc8 $_764 \/ ~man skc8 $_759 \/ ~mia_forename skc8 $_764 \/
% 0.37/0.62 ~of skc8 $_758 $_759 \/ ~of skc8 $_764 $_762 \/ ~present skc8 $_761 \/
% 0.37/0.62 ~vincent_forename skc8 $_758 \/ ~woman skc8 $_762 \/
% 0.37/0.62 theme skc8 (skf3 skc8 $_759) (skf4 $_759 skc8)
% 0.37/0.62 |- ~agent skc8 $_767 skc10 \/ ~dance skc8 $_767 \/ ~event skc8 $_767 \/
% 0.37/0.62 ~forename skc6 $_765 \/ ~man skc6 $_766 \/ ~of skc6 $_765 $_766 \/
% 0.37/0.62 ~present skc8 $_767 \/ ~vincent_forename skc6 $_765 \/
% 0.37/0.62 theme skc6 (skf3 skc6 $_766) (skf4 $_766 skc6)
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/
% 0.37/0.62 ~agent skc8 $_775 skc10 \/ ~dance skc8 $_775 \/ ~event skc8 $_775 \/
% 0.37/0.62 ~forename skc8 $_773 \/ ~man skc8 $_774 \/ ~of skc8 $_773 $_774 \/
% 0.37/0.62 ~present skc8 $_775 \/ ~vincent_forename skc8 $_773 \/
% 0.37/0.62 theme skc8 (skf3 skc8 $_774) (skf4 $_774 skc8)
% 0.37/0.62 |- ~agent skc6 skc7 $_786 \/ ~agent skc8 $_785 $_786 \/
% 0.37/0.62 ~dance skc8 $_785 \/ ~event skc8 $_785 \/ ~forename skc6 $_782 \/
% 0.37/0.62 ~forename skc6 $_789 \/ ~man skc6 $_783 \/ ~mia_forename skc6 $_789 \/
% 0.37/0.62 ~of skc6 $_782 $_783 \/ ~of skc6 $_789 $_786 \/ ~present skc8 $_785 \/
% 0.37/0.62 ~vincent_forename skc6 $_782 \/ ~woman skc6 $_786 \/
% 0.37/0.62 desire_want skc6 (skf3 skc6 $_787)
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/
% 0.37/0.62 ~agent skc8 $_785 $_786 \/ ~agent skc8 skc7 $_786 \/
% 0.37/0.62 ~dance skc8 $_785 \/ ~event skc8 $_785 \/ ~forename skc8 $_782 \/
% 0.37/0.62 ~forename skc8 $_789 \/ ~man skc8 $_783 \/ ~mia_forename skc8 $_789 \/
% 0.37/0.62 ~of skc8 $_782 $_783 \/ ~of skc8 $_789 $_786 \/ ~present skc8 $_785 \/
% 0.37/0.62 ~vincent_forename skc8 $_782 \/ ~woman skc8 $_786 \/
% 0.37/0.62 desire_want skc8 (skf3 skc8 $_787)
% 0.37/0.62 |- ~agent skc8 $_792 skc10 \/ ~dance skc8 $_792 \/ ~event skc8 $_792 \/
% 0.37/0.62 ~forename skc6 $_790 \/ ~man skc6 $_791 \/ ~of skc6 $_790 $_791 \/
% 0.37/0.62 ~present skc8 $_792 \/ ~vincent_forename skc6 $_790 \/
% 0.37/0.62 desire_want skc6 (skf3 skc6 $_794)
% 0.37/0.62 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/
% 0.37/0.62 ~agent skc8 $_802 skc10 \/ ~dance skc8 $_802 \/ ~event skc8 $_802 \/
% 0.37/0.62 ~forename skc8 $_800 \/ ~man skc8 $_801 \/ ~of skc8 $_800 $_801 \/
% 0.37/0.62 ~present skc8 $_802 \/ ~vincent_forename skc8 $_800 \/
% 0.37/0.62 desire_want skc8 (skf3 skc8 $_804)
% 0.37/0.62 |- ~agent skc6 skc7 $_815 \/ ~agent skc8 $_814 $_815 \/
% 0.37/0.62 ~dance skc8 $_814 \/ ~event skc8 $_814 \/ ~forename skc6 $_811 \/
% 0.37/0.62 ~forename skc6 $_818 \/ ~man skc6 $_812 \/ ~mia_forename skc6 $_818 \/
% 0.37/0.62 ~of skc6 $_811 $_812 \/ ~of skc6 $_818 $_815 \/ ~present skc8 $_814 \/
% 0.37/0.62 ~vincent_forename skc6 $_811 \/ ~woman skc6 $_815 \/
% 0.37/0.62 present skc6 (skf3 skc6 $_816)
% 0.37/0.63 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/
% 0.37/0.63 ~agent skc8 $_814 $_815 \/ ~agent skc8 skc7 $_815 \/
% 0.37/0.63 ~dance skc8 $_814 \/ ~event skc8 $_814 \/ ~forename skc8 $_811 \/
% 0.37/0.63 ~forename skc8 $_818 \/ ~man skc8 $_812 \/ ~mia_forename skc8 $_818 \/
% 0.37/0.63 ~of skc8 $_811 $_812 \/ ~of skc8 $_818 $_815 \/ ~present skc8 $_814 \/
% 0.37/0.63 ~vincent_forename skc8 $_811 \/ ~woman skc8 $_815 \/
% 0.37/0.63 present skc8 (skf3 skc8 $_816)
% 0.37/0.63 |- ~agent skc8 $_821 skc10 \/ ~dance skc8 $_821 \/ ~event skc8 $_821 \/
% 0.37/0.63 ~forename skc6 $_819 \/ ~man skc6 $_820 \/ ~of skc6 $_819 $_820 \/
% 0.37/0.63 ~present skc8 $_821 \/ ~vincent_forename skc6 $_819 \/
% 0.37/0.63 present skc6 (skf3 skc6 $_823)
% 0.37/0.63 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/
% 0.37/0.63 ~agent skc8 $_831 skc10 \/ ~dance skc8 $_831 \/ ~event skc8 $_831 \/
% 0.37/0.63 ~forename skc8 $_829 \/ ~man skc8 $_830 \/ ~of skc8 $_829 $_830 \/
% 0.37/0.63 ~present skc8 $_831 \/ ~vincent_forename skc8 $_829 \/
% 0.37/0.63 present skc8 (skf3 skc8 $_833)
% 0.37/0.63 |- ~agent skc6 skc7 $_844 \/ ~agent skc8 $_843 $_844 \/
% 0.37/0.63 ~dance skc8 $_843 \/ ~event skc8 $_843 \/ ~forename skc6 $_840 \/
% 0.37/0.63 ~forename skc6 $_847 \/ ~man skc6 $_841 \/ ~mia_forename skc6 $_847 \/
% 0.37/0.63 ~of skc6 $_840 $_841 \/ ~of skc6 $_847 $_844 \/ ~present skc8 $_843 \/
% 0.37/0.63 ~vincent_forename skc6 $_840 \/ ~woman skc6 $_844 \/
% 0.37/0.63 event (skf4 $_841 $_845) (skf5 $_845 $_841)
% 0.37/0.63 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/
% 0.37/0.63 ~agent skc8 $_843 $_844 \/ ~agent skc8 skc7 $_844 \/
% 0.37/0.63 ~dance skc8 $_843 \/ ~event skc8 $_843 \/ ~forename skc8 $_840 \/
% 0.37/0.63 ~forename skc8 $_847 \/ ~man skc8 $_841 \/ ~mia_forename skc8 $_847 \/
% 0.37/0.63 ~of skc8 $_840 $_841 \/ ~of skc8 $_847 $_844 \/ ~present skc8 $_843 \/
% 0.37/0.63 ~vincent_forename skc8 $_840 \/ ~woman skc8 $_844 \/
% 0.37/0.63 event (skf4 $_841 $_845) (skf5 $_845 $_841)
% 0.37/0.63 |- ~agent skc8 $_850 skc10 \/ ~dance skc8 $_850 \/ ~event skc8 $_850 \/
% 0.37/0.63 ~forename skc6 $_848 \/ ~man skc6 $_849 \/ ~of skc6 $_848 $_849 \/
% 0.37/0.63 ~present skc8 $_850 \/ ~vincent_forename skc6 $_848 \/
% 0.37/0.63 event (skf4 $_849 $_852) (skf5 $_852 $_849)
% 0.37/0.63 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/
% 0.37/0.63 ~agent skc8 $_860 skc10 \/ ~dance skc8 $_860 \/ ~event skc8 $_860 \/
% 0.37/0.63 ~forename skc8 $_858 \/ ~man skc8 $_859 \/ ~of skc8 $_858 $_859 \/
% 0.37/0.63 ~present skc8 $_860 \/ ~vincent_forename skc8 $_858 \/
% 0.37/0.63 event (skf4 $_859 $_862) (skf5 $_862 $_859)
% 0.37/0.63 |- ~agent skc6 skc7 $_873 \/ ~agent skc8 $_872 $_873 \/
% 0.37/0.63 ~dance skc8 $_872 \/ ~event skc8 $_872 \/ ~forename skc6 $_869 \/
% 0.37/0.63 ~forename skc6 $_876 \/ ~man skc6 $_870 \/ ~mia_forename skc6 $_876 \/
% 0.37/0.63 ~of skc6 $_869 $_870 \/ ~of skc6 $_876 $_873 \/ ~present skc8 $_872 \/
% 0.37/0.63 ~vincent_forename skc6 $_869 \/ ~woman skc6 $_873 \/
% 0.37/0.63 present (skf4 $_870 $_874) (skf5 $_874 $_870)
% 0.37/0.63 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/
% 0.37/0.63 ~agent skc8 $_872 $_873 \/ ~agent skc8 skc7 $_873 \/
% 0.37/0.63 ~dance skc8 $_872 \/ ~event skc8 $_872 \/ ~forename skc8 $_869 \/
% 0.37/0.63 ~forename skc8 $_876 \/ ~man skc8 $_870 \/ ~mia_forename skc8 $_876 \/
% 0.37/0.63 ~of skc8 $_869 $_870 \/ ~of skc8 $_876 $_873 \/ ~present skc8 $_872 \/
% 0.37/0.63 ~vincent_forename skc8 $_869 \/ ~woman skc8 $_873 \/
% 0.37/0.63 present (skf4 $_870 $_874) (skf5 $_874 $_870)
% 0.37/0.63 |- ~agent skc8 $_879 skc10 \/ ~dance skc8 $_879 \/ ~event skc8 $_879 \/
% 0.37/0.63 ~forename skc6 $_877 \/ ~man skc6 $_878 \/ ~of skc6 $_877 $_878 \/
% 0.37/0.63 ~present skc8 $_879 \/ ~vincent_forename skc6 $_877 \/
% 0.37/0.63 present (skf4 $_878 $_881) (skf5 $_881 $_878)
% 0.47/0.63 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/
% 0.47/0.63 ~agent skc8 $_889 skc10 \/ ~dance skc8 $_889 \/ ~event skc8 $_889 \/
% 0.47/0.63 ~forename skc8 $_887 \/ ~man skc8 $_888 \/ ~of skc8 $_887 $_888 \/
% 0.47/0.63 ~present skc8 $_889 \/ ~vincent_forename skc8 $_887 \/
% 0.47/0.63 present (skf4 $_888 $_891) (skf5 $_891 $_888)
% 0.47/0.63 |- ~agent skc6 skc7 $_902 \/ ~agent skc8 $_901 $_902 \/
% 0.47/0.63 ~dance skc8 $_901 \/ ~event skc8 $_901 \/ ~forename skc6 $_898 \/
% 0.47/0.63 ~forename skc6 $_905 \/ ~man skc6 $_899 \/ ~mia_forename skc6 $_905 \/
% 0.47/0.63 ~of skc6 $_898 $_899 \/ ~of skc6 $_905 $_902 \/ ~present skc8 $_901 \/
% 0.47/0.63 ~vincent_forename skc6 $_898 \/ ~woman skc6 $_902 \/
% 0.47/0.63 dance (skf4 $_899 $_903) (skf5 $_903 $_899)
% 0.47/0.63 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/
% 0.47/0.63 ~agent skc8 $_901 $_902 \/ ~agent skc8 skc7 $_902 \/
% 0.47/0.63 ~dance skc8 $_901 \/ ~event skc8 $_901 \/ ~forename skc8 $_898 \/
% 0.47/0.63 ~forename skc8 $_905 \/ ~man skc8 $_899 \/ ~mia_forename skc8 $_905 \/
% 0.47/0.63 ~of skc8 $_898 $_899 \/ ~of skc8 $_905 $_902 \/ ~present skc8 $_901 \/
% 0.47/0.63 ~vincent_forename skc8 $_898 \/ ~woman skc8 $_902 \/
% 0.47/0.63 dance (skf4 $_899 $_903) (skf5 $_903 $_899)
% 0.47/0.63 |- ~agent skc8 $_908 skc10 \/ ~dance skc8 $_908 \/ ~event skc8 $_908 \/
% 0.47/0.63 ~forename skc6 $_906 \/ ~man skc6 $_907 \/ ~of skc6 $_906 $_907 \/
% 0.47/0.63 ~present skc8 $_908 \/ ~vincent_forename skc6 $_906 \/
% 0.47/0.63 dance (skf4 $_907 $_910) (skf5 $_910 $_907)
% 0.47/0.63 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/
% 0.47/0.63 ~agent skc8 $_918 skc10 \/ ~dance skc8 $_918 \/ ~event skc8 $_918 \/
% 0.47/0.63 ~forename skc8 $_916 \/ ~man skc8 $_917 \/ ~of skc8 $_916 $_917 \/
% 0.47/0.63 ~present skc8 $_918 \/ ~vincent_forename skc8 $_916 \/
% 0.47/0.63 dance (skf4 $_917 $_920) (skf5 $_920 $_917)
% 0.47/0.63 |- ~agent skc6 skc7 $_931 \/ ~agent skc8 $_930 $_931 \/
% 0.47/0.63 ~dance skc8 $_930 \/ ~event skc8 $_930 \/ ~forename skc6 $_927 \/
% 0.47/0.63 ~forename skc6 $_934 \/ ~man skc6 $_928 \/ ~mia_forename skc6 $_934 \/
% 0.47/0.63 ~of skc6 $_927 $_928 \/ ~of skc6 $_934 $_931 \/ ~present skc8 $_930 \/
% 0.47/0.63 ~vincent_forename skc6 $_927 \/ ~woman skc6 $_931 \/
% 0.47/0.63 agent (skf4 $_928 $_932) (skf5 $_932 $_928) $_928
% 0.47/0.63 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/
% 0.47/0.63 ~agent skc8 $_930 $_931 \/ ~agent skc8 skc7 $_931 \/
% 0.47/0.63 ~dance skc8 $_930 \/ ~event skc8 $_930 \/ ~forename skc8 $_927 \/
% 0.47/0.63 ~forename skc8 $_934 \/ ~man skc8 $_928 \/ ~mia_forename skc8 $_934 \/
% 0.47/0.63 ~of skc8 $_927 $_928 \/ ~of skc8 $_934 $_931 \/ ~present skc8 $_930 \/
% 0.47/0.63 ~vincent_forename skc8 $_927 \/ ~woman skc8 $_931 \/
% 0.47/0.63 agent (skf4 $_928 $_932) (skf5 $_932 $_928) $_928
% 0.47/0.63 |- ~agent skc8 $_937 skc10 \/ ~dance skc8 $_937 \/ ~event skc8 $_937 \/
% 0.47/0.63 ~forename skc6 $_935 \/ ~man skc6 $_936 \/ ~of skc6 $_935 $_936 \/
% 0.47/0.63 ~present skc8 $_937 \/ ~vincent_forename skc6 $_935 \/
% 0.47/0.63 agent (skf4 $_936 $_939) (skf5 $_939 $_936) $_936
% 0.47/0.63 |- ~accessible_world skc8 skc8 \/ ~actual_world skc8 \/
% 0.47/0.63 ~agent skc8 $_947 skc10 \/ ~dance skc8 $_947 \/ ~event skc8 $_947 \/
% 0.47/0.63 ~forename skc8 $_945 \/ ~man skc8 $_946 \/ ~of skc8 $_945 $_946 \/
% 0.47/0.63 ~present skc8 $_947 \/ ~vincent_forename skc8 $_945 \/
% 0.47/0.63 agent (skf4 $_946 $_949) (skf5 $_949 $_946) $_946
% 0.47/0.63 SZS output end Saturation for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 0.47/0.63
%------------------------------------------------------------------------------