%------------------------------------------------------------------------------
% File : Beagle---0.9.52
% Problem : NLP035+1 : TPTP v9.0.0. Released v2.4.0.
% Transfm : none
% Format : tptp:raw
% Command : java -Dfile.encoding=UTF-8 -Xms512M -Xmx4G -Xss10M -jar /export/starexec/sandbox2/solver/bin/beagle.jar -auto -q -proof -print tff -smtsolver /export/starexec/sandbox2/solver/bin/cvc4-1.4-x86_64-linux-opt -liasolver cooper -t %d %s
% Computer : n013.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 : 300s
% DateTime : Wed Apr 9 07:47:59 PM UTC 2025
% Result : CounterSatisfiable 20.83s 7.65s
% Output : Assurance 0s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.02/0.08 % Problem : NLP035+1 : TPTP v9.0.0. Released v2.4.0.
% 0.02/0.09 % Command : java -Dfile.encoding=UTF-8 -Xms512M -Xmx4G -Xss10M -jar /export/starexec/sandbox2/solver/bin/beagle.jar -auto -q -proof -print tff -smtsolver /export/starexec/sandbox2/solver/bin/cvc4-1.4-x86_64-linux-opt -liasolver cooper -t %d %s
% 0.08/0.29 % Computer : n013.cluster.edu
% 0.08/0.29 % Model : x86_64 x86_64
% 0.08/0.29 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.08/0.29 % Memory : 8042.1875MB
% 0.08/0.29 % OS : Linux 3.10.0-693.el7.x86_64
% 0.08/0.29 % CPULimit : 300
% 0.08/0.29 % WCLimit : 300
% 0.08/0.29 % DateTime : Tue Apr 8 08:12:32 EDT 2025
% 0.08/0.29 % CPUTime :
% 20.83/7.65
% 20.83/7.65 % SZS status CounterSatisfiable for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 20.83/7.65
% 20.83/7.65 % SZS output start Saturation for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 20.83/7.66 %$ with > member > at > agent > young > three > table > sit > present > hamburger > guy > group > event > actual_world > #nlpp > #skF_17 > #skF_6 > #skF_4 > #skF_11 > #skF_10 > #skF_8 > #skF_14 > #skF_18 > #skF_2 > #skF_16 > #skF_1 > #skF_7 > #skF_13 > #skF_3 > #skF_12 > #skF_9 > #skF_5 > #skF_15
% 20.83/7.66
% 20.83/7.66 %Foreground sorts:
% 20.83/7.66
% 20.83/7.66
% 20.83/7.66 %Background operators:
% 20.83/7.66
% 20.83/7.66
% 20.83/7.66 %Foreground operators:
% 20.83/7.66 tff(guy, type, guy: ($i * $i) > $o).
% 20.83/7.66 tff(member, type, member: ($i * $i * $i) > $o).
% 20.83/7.66 tff('#skF_17', type, '#skF_17': ($i * $i * $i * $i) > $i).
% 20.83/7.66 tff('#skF_6', type, '#skF_6': ($i * $i) > $i).
% 20.83/7.66 tff('#skF_4', type, '#skF_4': $i > $i).
% 20.83/7.66 tff(present, type, present: ($i * $i) > $o).
% 20.83/7.66 tff(three, type, three: ($i * $i) > $o).
% 20.83/7.66 tff('#skF_11', type, '#skF_11': $i).
% 20.83/7.66 tff(young, type, young: ($i * $i) > $o).
% 20.83/7.66 tff(actual_world, type, actual_world: $i > $o).
% 20.83/7.66 tff(agent, type, agent: ($i * $i * $i) > $o).
% 20.83/7.66 tff('#skF_10', type, '#skF_10': $i).
% 20.83/7.66 tff('#skF_8', type, '#skF_8': ($i * $i * $i * $i) > $i).
% 20.83/7.66 tff('#skF_14', type, '#skF_14': ($i * $i) > $i).
% 20.83/7.66 tff('#skF_18', type, '#skF_18': ($i * $i) > $i).
% 20.83/7.67 tff(group, type, group: ($i * $i) > $o).
% 20.83/7.67 tff('#skF_2', type, '#skF_2': $i).
% 20.83/7.67 tff('#skF_16', type, '#skF_16': ($i * $i * $i * $i) > $i).
% 20.83/7.67 tff(hamburger, type, hamburger: ($i * $i) > $o).
% 20.83/7.67 tff(event, type, event: ($i * $i) > $o).
% 20.83/7.67 tff('#skF_1', type, '#skF_1': $i).
% 20.83/7.67 tff('#skF_7', type, '#skF_7': ($i * $i * $i * $i) > $i).
% 20.83/7.67 tff('#skF_13', type, '#skF_13': $i > $i).
% 20.83/7.67 tff(table, type, table: ($i * $i) > $o).
% 20.83/7.67 tff('#skF_3', type, '#skF_3': $i > $i).
% 20.83/7.67 tff('#skF_12', type, '#skF_12': $i > $i).
% 20.83/7.67 tff(at, type, at: ($i * $i * $i) > $o).
% 20.83/7.67 tff('#skF_9', type, '#skF_9': ($i * $i) > $i).
% 20.83/7.67 tff('#skF_5', type, '#skF_5': ($i * $i) > $i).
% 20.83/7.67 tff('#skF_15', type, '#skF_15': ($i * $i) > $i).
% 20.83/7.67 tff(sit, type, sit: ($i * $i) > $o).
% 20.83/7.67 tff(with, type, with: ($i * $i * $i) > $o).
% 20.83/7.67
% 20.83/7.67 %Saturated clause set:
% 20.83/7.67 tff(c_4869, plain, (![X6_241, V_1337, X_1336, Y_1335]: (~at('#skF_10', '#skF_14'(X6_241, '#skF_15'('#skF_10', V_1337)), X_1336) | ~sit('#skF_10', '#skF_14'(X6_241, '#skF_15'('#skF_10', V_1337))) | ~present('#skF_10', '#skF_14'(X6_241, '#skF_15'('#skF_10', V_1337))) | ~agent('#skF_10', '#skF_14'(X6_241, '#skF_15'('#skF_10', V_1337)), '#skF_16'('#skF_10', V_1337, X_1336, Y_1335)) | ~event('#skF_10', '#skF_14'(X6_241, '#skF_15'('#skF_10', V_1337))) | ~young('#skF_10', '#skF_17'('#skF_10', V_1337, X_1336, Y_1335)) | ~guy('#skF_10', '#skF_17'('#skF_10', V_1337, X_1336, Y_1335)) | ~group('#skF_10', Y_1335) | ~three('#skF_10', Y_1335) | ~table('#skF_10', X_1336) | member('#skF_10', '#skF_18'('#skF_10', V_1337), V_1337) | ~group('#skF_10', V_1337) | ~member('#skF_10', '#skF_15'('#skF_10', V_1337), '#skF_13'(X6_241)) | ~member('#skF_10', X6_241, '#skF_11')))).
% 20.83/7.67 tff(c_4861, plain, (![X6_241, V_1332, X_1331, Y_1330]: (~at('#skF_10', '#skF_14'(X6_241, '#skF_15'('#skF_10', V_1332)), X_1331) | ~sit('#skF_10', '#skF_14'(X6_241, '#skF_15'('#skF_10', V_1332))) | ~present('#skF_10', '#skF_14'(X6_241, '#skF_15'('#skF_10', V_1332))) | ~agent('#skF_10', '#skF_14'(X6_241, '#skF_15'('#skF_10', V_1332)), '#skF_16'('#skF_10', V_1332, X_1331, Y_1330)) | ~event('#skF_10', '#skF_14'(X6_241, '#skF_15'('#skF_10', V_1332))) | ~young('#skF_10', '#skF_17'('#skF_10', V_1332, X_1331, Y_1330)) | ~guy('#skF_10', '#skF_17'('#skF_10', V_1332, X_1331, Y_1330)) | ~group('#skF_10', Y_1330) | ~three('#skF_10', Y_1330) | ~table('#skF_10', X_1331) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_1332)) | ~group('#skF_10', V_1332) | ~member('#skF_10', '#skF_15'('#skF_10', V_1332), '#skF_13'(X6_241)) | ~member('#skF_10', X6_241, '#skF_11')))).
% 20.83/7.67 tff(c_4818, plain, (![X6_241, V_1240, X_1239, Y_1238]: (~at('#skF_10', '#skF_14'(X6_241, '#skF_15'('#skF_10', V_1240)), X_1239) | ~sit('#skF_10', '#skF_14'(X6_241, '#skF_15'('#skF_10', V_1240))) | ~present('#skF_10', '#skF_14'(X6_241, '#skF_15'('#skF_10', V_1240))) | ~agent('#skF_10', '#skF_14'(X6_241, '#skF_15'('#skF_10', V_1240)), '#skF_16'('#skF_10', V_1240, X_1239, Y_1238)) | ~event('#skF_10', '#skF_14'(X6_241, '#skF_15'('#skF_10', V_1240))) | member('#skF_10', '#skF_17'('#skF_10', V_1240, X_1239, Y_1238), Y_1238) | ~group('#skF_10', Y_1238) | ~three('#skF_10', Y_1238) | ~table('#skF_10', X_1239) | member('#skF_10', '#skF_18'('#skF_10', V_1240), V_1240) | ~group('#skF_10', V_1240) | ~member('#skF_10', '#skF_15'('#skF_10', V_1240), '#skF_13'(X6_241)) | ~member('#skF_10', X6_241, '#skF_11')))).
% 20.83/7.68 tff(c_4773, plain, (![X6_241, V_1190, X_1189, Y_1188]: (~at('#skF_10', '#skF_14'(X6_241, '#skF_15'('#skF_10', V_1190)), X_1189) | ~sit('#skF_10', '#skF_14'(X6_241, '#skF_15'('#skF_10', V_1190))) | ~present('#skF_10', '#skF_14'(X6_241, '#skF_15'('#skF_10', V_1190))) | ~agent('#skF_10', '#skF_14'(X6_241, '#skF_15'('#skF_10', V_1190)), '#skF_16'('#skF_10', V_1190, X_1189, Y_1188)) | ~event('#skF_10', '#skF_14'(X6_241, '#skF_15'('#skF_10', V_1190))) | member('#skF_10', '#skF_17'('#skF_10', V_1190, X_1189, Y_1188), Y_1188) | ~group('#skF_10', Y_1188) | ~three('#skF_10', Y_1188) | ~table('#skF_10', X_1189) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_1190)) | ~group('#skF_10', V_1190) | ~member('#skF_10', '#skF_15'('#skF_10', V_1190), '#skF_13'(X6_241)) | ~member('#skF_10', X6_241, '#skF_11')))).
% 20.83/7.68 tff(c_4862, plain, (![X1_346, U_260, V_306, X_339, Y_340]: (~with(U_260, X1_346, '#skF_15'(U_260, V_306)) | ~at(U_260, X1_346, X_339) | ~sit(U_260, X1_346) | ~present(U_260, X1_346) | ~agent(U_260, X1_346, '#skF_16'(U_260, V_306, X_339, Y_340)) | ~event(U_260, X1_346) | ~young(U_260, '#skF_17'(U_260, V_306, X_339, Y_340)) | ~guy(U_260, '#skF_17'(U_260, V_306, X_339, Y_340)) | ~group(U_260, Y_340) | ~three(U_260, Y_340) | ~table(U_260, X_339) | member(U_260, '#skF_18'(U_260, V_306), V_306) | ~group(U_260, V_306) | ~actual_world(U_260)))).
% 20.83/7.68 tff(c_4854, plain, (![X1_346, U_260, V_306, X_339, Y_340]: (~with(U_260, X1_346, '#skF_15'(U_260, V_306)) | ~at(U_260, X1_346, X_339) | ~sit(U_260, X1_346) | ~present(U_260, X1_346) | ~agent(U_260, X1_346, '#skF_16'(U_260, V_306, X_339, Y_340)) | ~event(U_260, X1_346) | ~young(U_260, '#skF_17'(U_260, V_306, X_339, Y_340)) | ~guy(U_260, '#skF_17'(U_260, V_306, X_339, Y_340)) | ~group(U_260, Y_340) | ~three(U_260, Y_340) | ~table(U_260, X_339) | ~hamburger(U_260, '#skF_18'(U_260, V_306)) | ~group(U_260, V_306) | ~actual_world(U_260)))).
% 20.83/7.68 tff(c_4157, plain, (![X6_241, X6_829, X_831]: (agent('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241))), X6_241) | ~member('#skF_10', X6_241, '#skF_11') | agent('#skF_10', '#skF_14'(X6_829, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_831, '#skF_13'(X6_829))), X6_829) | ~member('#skF_10', X6_829, '#skF_11') | ~young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_831, '#skF_13'(X6_829))) | ~guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_831, '#skF_13'(X6_829))) | ~group('#skF_10', '#skF_13'(X6_829)) | ~three('#skF_10', '#skF_13'(X6_829)) | ~table('#skF_10', X_831) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.83/7.68 tff(c_4158, plain, (![X6_241, X6_829, X_831]: (event('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | agent('#skF_10', '#skF_14'(X6_829, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_831, '#skF_13'(X6_829))), X6_829) | ~member('#skF_10', X6_829, '#skF_11') | ~young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_831, '#skF_13'(X6_829))) | ~guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_831, '#skF_13'(X6_829))) | ~group('#skF_10', '#skF_13'(X6_829)) | ~three('#skF_10', '#skF_13'(X6_829)) | ~table('#skF_10', X_831) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.83/7.68 tff(c_4159, plain, (![X6_241, X6_829, X_831]: (sit('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | agent('#skF_10', '#skF_14'(X6_829, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_831, '#skF_13'(X6_829))), X6_829) | ~member('#skF_10', X6_829, '#skF_11') | ~young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_831, '#skF_13'(X6_829))) | ~guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_831, '#skF_13'(X6_829))) | ~group('#skF_10', '#skF_13'(X6_829)) | ~three('#skF_10', '#skF_13'(X6_829)) | ~table('#skF_10', X_831) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.83/7.68 tff(c_4192, plain, (![X6_241, X6_832, X_833]: (sit('#skF_10', '#skF_14'(X6_241, '#skF_16'('#skF_10', '#skF_13'(X6_832), X_833, '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | agent('#skF_10', '#skF_14'(X6_832, '#skF_18'('#skF_10', '#skF_13'(X6_832))), X6_832) | ~member('#skF_10', X6_832, '#skF_11') | ~young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_832), X_833, '#skF_13'(X6_241))) | ~guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_832), X_833, '#skF_13'(X6_241))) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_833) | ~group('#skF_10', '#skF_13'(X6_832))))).
% 20.83/7.68 tff(c_4193, plain, (![X6_241, X6_832, X_833]: (present('#skF_10', '#skF_14'(X6_241, '#skF_16'('#skF_10', '#skF_13'(X6_832), X_833, '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | agent('#skF_10', '#skF_14'(X6_832, '#skF_18'('#skF_10', '#skF_13'(X6_832))), X6_832) | ~member('#skF_10', X6_832, '#skF_11') | ~young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_832), X_833, '#skF_13'(X6_241))) | ~guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_832), X_833, '#skF_13'(X6_241))) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_833) | ~group('#skF_10', '#skF_13'(X6_832))))).
% 20.83/7.68 tff(c_3950, plain, (![X6_241, X6_802, X_804]: (agent('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241))), X6_241) | ~member('#skF_10', X6_241, '#skF_11') | event('#skF_10', '#skF_14'(X6_802, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_804, '#skF_13'(X6_802)))) | ~member('#skF_10', X6_802, '#skF_11') | ~young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_804, '#skF_13'(X6_802))) | ~guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_804, '#skF_13'(X6_802))) | ~group('#skF_10', '#skF_13'(X6_802)) | ~three('#skF_10', '#skF_13'(X6_802)) | ~table('#skF_10', X_804) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.83/7.68 tff(c_4160, plain, (![X6_241, X6_829, X_831]: (present('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | agent('#skF_10', '#skF_14'(X6_829, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_831, '#skF_13'(X6_829))), X6_829) | ~member('#skF_10', X6_829, '#skF_11') | ~young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_831, '#skF_13'(X6_829))) | ~guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_831, '#skF_13'(X6_829))) | ~group('#skF_10', '#skF_13'(X6_829)) | ~three('#skF_10', '#skF_13'(X6_829)) | ~table('#skF_10', X_831) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.68 tff(c_3953, plain, (![X6_241, X6_802, X_804]: (present('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | event('#skF_10', '#skF_14'(X6_802, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_804, '#skF_13'(X6_802)))) | ~member('#skF_10', X6_802, '#skF_11') | ~young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_804, '#skF_13'(X6_802))) | ~guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_804, '#skF_13'(X6_802))) | ~group('#skF_10', '#skF_13'(X6_802)) | ~three('#skF_10', '#skF_13'(X6_802)) | ~table('#skF_10', X_804) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.68 tff(c_4063, plain, (![X6_241, X6_811, X_812]: (sit('#skF_10', '#skF_14'(X6_241, '#skF_16'('#skF_10', '#skF_13'(X6_811), X_812, '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | event('#skF_10', '#skF_14'(X6_811, '#skF_18'('#skF_10', '#skF_13'(X6_811)))) | ~member('#skF_10', X6_811, '#skF_11') | ~young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_811), X_812, '#skF_13'(X6_241))) | ~guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_811), X_812, '#skF_13'(X6_241))) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_812) | ~group('#skF_10', '#skF_13'(X6_811))))).
% 20.94/7.69 tff(c_4127, plain, (![X6_241, X6_817, X_819]: (sit('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | present('#skF_10', '#skF_14'(X6_817, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_819, '#skF_13'(X6_817)))) | ~member('#skF_10', X6_817, '#skF_11') | ~young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_819, '#skF_13'(X6_817))) | ~guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_819, '#skF_13'(X6_817))) | ~group('#skF_10', '#skF_13'(X6_817)) | ~three('#skF_10', '#skF_13'(X6_817)) | ~table('#skF_10', X_819) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.69 tff(c_4099, plain, (![X6_241, X6_814, X_816]: (present('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | sit('#skF_10', '#skF_14'(X6_814, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_816, '#skF_13'(X6_814)))) | ~member('#skF_10', X6_814, '#skF_11') | ~young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_816, '#skF_13'(X6_814))) | ~guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_816, '#skF_13'(X6_814))) | ~group('#skF_10', '#skF_13'(X6_814)) | ~three('#skF_10', '#skF_13'(X6_814)) | ~table('#skF_10', X_816) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.69 tff(c_4126, plain, (![X6_241, X6_817, X_819]: (event('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | present('#skF_10', '#skF_14'(X6_817, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_819, '#skF_13'(X6_817)))) | ~member('#skF_10', X6_817, '#skF_11') | ~young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_819, '#skF_13'(X6_817))) | ~guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_819, '#skF_13'(X6_817))) | ~group('#skF_10', '#skF_13'(X6_817)) | ~three('#skF_10', '#skF_13'(X6_817)) | ~table('#skF_10', X_819) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.69 tff(c_4023, plain, (![X6_241, X6_808, X_809]: (event('#skF_10', '#skF_14'(X6_241, '#skF_16'('#skF_10', '#skF_13'(X6_808), X_809, '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | sit('#skF_10', '#skF_14'(X6_808, '#skF_18'('#skF_10', '#skF_13'(X6_808)))) | ~member('#skF_10', X6_808, '#skF_11') | ~young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_808), X_809, '#skF_13'(X6_241))) | ~guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_808), X_809, '#skF_13'(X6_241))) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_809) | ~group('#skF_10', '#skF_13'(X6_808))))).
% 20.94/7.69 tff(c_3951, plain, (![X6_241, X6_802, X_804]: (event('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | event('#skF_10', '#skF_14'(X6_802, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_804, '#skF_13'(X6_802)))) | ~member('#skF_10', X6_802, '#skF_11') | ~young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_804, '#skF_13'(X6_802))) | ~guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_804, '#skF_13'(X6_802))) | ~group('#skF_10', '#skF_13'(X6_802)) | ~three('#skF_10', '#skF_13'(X6_802)) | ~table('#skF_10', X_804) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.69 tff(c_4024, plain, (![X6_241, X6_808, X_809]: (sit('#skF_10', '#skF_14'(X6_241, '#skF_16'('#skF_10', '#skF_13'(X6_808), X_809, '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | sit('#skF_10', '#skF_14'(X6_808, '#skF_18'('#skF_10', '#skF_13'(X6_808)))) | ~member('#skF_10', X6_808, '#skF_11') | ~young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_808), X_809, '#skF_13'(X6_241))) | ~guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_808), X_809, '#skF_13'(X6_241))) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_809) | ~group('#skF_10', '#skF_13'(X6_808))))).
% 20.94/7.69 tff(c_4128, plain, (![X6_241, X6_817, X_819]: (present('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | present('#skF_10', '#skF_14'(X6_817, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_819, '#skF_13'(X6_817)))) | ~member('#skF_10', X6_817, '#skF_11') | ~young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_819, '#skF_13'(X6_817))) | ~guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_819, '#skF_13'(X6_817))) | ~group('#skF_10', '#skF_13'(X6_817)) | ~three('#skF_10', '#skF_13'(X6_817)) | ~table('#skF_10', X_819) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.69 tff(c_4161, plain, (![X6_241, X6_829, X_831]: (hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_241))) | ~member('#skF_10', X6_241, '#skF_11') | agent('#skF_10', '#skF_14'(X6_829, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_831, '#skF_13'(X6_829))), X6_829) | ~member('#skF_10', X6_829, '#skF_11') | ~young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_831, '#skF_13'(X6_829))) | ~guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_831, '#skF_13'(X6_829))) | ~group('#skF_10', '#skF_13'(X6_829)) | ~three('#skF_10', '#skF_13'(X6_829)) | ~table('#skF_10', X_831) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.69 tff(c_4194, plain, (![X6_832, X_833, X6_241]: (hamburger('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_832), X_833, '#skF_13'(X6_241))) | ~member('#skF_10', X6_241, '#skF_11') | agent('#skF_10', '#skF_14'(X6_832, '#skF_18'('#skF_10', '#skF_13'(X6_832))), X6_832) | ~member('#skF_10', X6_832, '#skF_11') | ~young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_832), X_833, '#skF_13'(X6_241))) | ~guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_832), X_833, '#skF_13'(X6_241))) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_833) | ~group('#skF_10', '#skF_13'(X6_832))))).
% 20.94/7.69 tff(c_4065, plain, (![X6_811, X_812, X6_241]: (hamburger('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_811), X_812, '#skF_13'(X6_241))) | ~member('#skF_10', X6_241, '#skF_11') | event('#skF_10', '#skF_14'(X6_811, '#skF_18'('#skF_10', '#skF_13'(X6_811)))) | ~member('#skF_10', X6_811, '#skF_11') | ~young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_811), X_812, '#skF_13'(X6_241))) | ~guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_811), X_812, '#skF_13'(X6_241))) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_812) | ~group('#skF_10', '#skF_13'(X6_811))))).
% 20.94/7.69 tff(c_3883, plain, (![X6_241, X6_754, X_755]: (sit('#skF_10', '#skF_14'(X6_241, '#skF_16'('#skF_10', '#skF_13'(X6_754), X_755, '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_754))) | ~member('#skF_10', X6_754, '#skF_11') | ~young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_754), X_755, '#skF_13'(X6_241))) | ~guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_754), X_755, '#skF_13'(X6_241))) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_755) | ~group('#skF_10', '#skF_13'(X6_754))))).
% 20.94/7.69 tff(c_4129, plain, (![X6_241, X6_817, X_819]: (hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_241))) | ~member('#skF_10', X6_241, '#skF_11') | present('#skF_10', '#skF_14'(X6_817, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_819, '#skF_13'(X6_817)))) | ~member('#skF_10', X6_817, '#skF_11') | ~young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_819, '#skF_13'(X6_817))) | ~guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_819, '#skF_13'(X6_817))) | ~group('#skF_10', '#skF_13'(X6_817)) | ~three('#skF_10', '#skF_13'(X6_817)) | ~table('#skF_10', X_819) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.69 tff(c_4026, plain, (![X6_808, X_809, X6_241]: (hamburger('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_808), X_809, '#skF_13'(X6_241))) | ~member('#skF_10', X6_241, '#skF_11') | sit('#skF_10', '#skF_14'(X6_808, '#skF_18'('#skF_10', '#skF_13'(X6_808)))) | ~member('#skF_10', X6_808, '#skF_11') | ~young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_808), X_809, '#skF_13'(X6_241))) | ~guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_808), X_809, '#skF_13'(X6_241))) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_809) | ~group('#skF_10', '#skF_13'(X6_808))))).
% 20.94/7.69 tff(c_3987, plain, (![X6_805, X_806, X6_241]: (hamburger('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_805), X_806, '#skF_13'(X6_241))) | ~member('#skF_10', X6_241, '#skF_11') | present('#skF_10', '#skF_14'(X6_805, '#skF_18'('#skF_10', '#skF_13'(X6_805)))) | ~member('#skF_10', X6_805, '#skF_11') | ~young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_805), X_806, '#skF_13'(X6_241))) | ~guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_805), X_806, '#skF_13'(X6_241))) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_806) | ~group('#skF_10', '#skF_13'(X6_805))))).
% 20.94/7.69 tff(c_3954, plain, (![X6_241, X6_802, X_804]: (hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_241))) | ~member('#skF_10', X6_241, '#skF_11') | event('#skF_10', '#skF_14'(X6_802, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_804, '#skF_13'(X6_802)))) | ~member('#skF_10', X6_802, '#skF_11') | ~young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_804, '#skF_13'(X6_802))) | ~guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_804, '#skF_13'(X6_802))) | ~group('#skF_10', '#skF_13'(X6_802)) | ~three('#skF_10', '#skF_13'(X6_802)) | ~table('#skF_10', X_804) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.69 tff(c_4800, plain, (![X6_1216, X6_1215, X_1217]: (agent('#skF_10', '#skF_14'(X6_1216, '#skF_16'('#skF_10', '#skF_13'(X6_1215), X_1217, '#skF_13'(X6_1216))), X6_1216) | agent('#skF_10', '#skF_14'(X6_1215, '#skF_18'('#skF_10', '#skF_13'(X6_1215))), X6_1215) | ~member('#skF_10', X6_1215, '#skF_11') | agent('#skF_10', '#skF_14'(X6_1216, '#skF_17'('#skF_10', '#skF_13'(X6_1215), X_1217, '#skF_13'(X6_1216))), X6_1216) | ~member('#skF_10', X6_1216, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_1216)) | ~three('#skF_10', '#skF_13'(X6_1216)) | ~table('#skF_10', X_1217) | ~group('#skF_10', '#skF_13'(X6_1215))))).
% 20.94/7.69 tff(c_3885, plain, (![X6_754, X_755, X6_241]: (hamburger('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_754), X_755, '#skF_13'(X6_241))) | ~member('#skF_10', X6_241, '#skF_11') | hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_754))) | ~member('#skF_10', X6_754, '#skF_11') | ~young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_754), X_755, '#skF_13'(X6_241))) | ~guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_754), X_755, '#skF_13'(X6_241))) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_755) | ~group('#skF_10', '#skF_13'(X6_754))))).
% 20.94/7.69 tff(c_4738, plain, (![X6_1127, X6_1126, X_1128]: (agent('#skF_10', '#skF_14'(X6_1127, '#skF_16'('#skF_10', '#skF_13'(X6_1126), X_1128, '#skF_13'(X6_1127))), X6_1127) | agent('#skF_10', '#skF_14'(X6_1126, '#skF_18'('#skF_10', '#skF_13'(X6_1126))), X6_1126) | ~member('#skF_10', X6_1126, '#skF_11') | present('#skF_10', '#skF_14'(X6_1127, '#skF_17'('#skF_10', '#skF_13'(X6_1126), X_1128, '#skF_13'(X6_1127)))) | ~member('#skF_10', X6_1127, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_1127)) | ~three('#skF_10', '#skF_13'(X6_1127)) | ~table('#skF_10', X_1128) | ~group('#skF_10', '#skF_13'(X6_1126))))).
% 20.94/7.69 tff(c_3320, plain, (![X6_241, X6_685, X_687]: (present('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | agent('#skF_10', '#skF_14'(X6_685, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_687, '#skF_13'(X6_685))), X6_685) | agent('#skF_10', '#skF_14'(X6_685, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_687, '#skF_13'(X6_685))), X6_685) | ~member('#skF_10', X6_685, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_685)) | ~three('#skF_10', '#skF_13'(X6_685)) | ~table('#skF_10', X_687) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.69 tff(c_4698, plain, (![X6_1121, X6_1120, X_1122]: (agent('#skF_10', '#skF_14'(X6_1121, '#skF_16'('#skF_10', '#skF_13'(X6_1120), X_1122, '#skF_13'(X6_1121))), X6_1121) | agent('#skF_10', '#skF_14'(X6_1120, '#skF_18'('#skF_10', '#skF_13'(X6_1120))), X6_1120) | ~member('#skF_10', X6_1120, '#skF_11') | sit('#skF_10', '#skF_14'(X6_1121, '#skF_17'('#skF_10', '#skF_13'(X6_1120), X_1122, '#skF_13'(X6_1121)))) | ~member('#skF_10', X6_1121, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_1121)) | ~three('#skF_10', '#skF_13'(X6_1121)) | ~table('#skF_10', X_1122) | ~group('#skF_10', '#skF_13'(X6_1120))))).
% 20.94/7.69 tff(c_4811, plain, (![X1_346, U_260, V_306, X_339, Y_340]: (~with(U_260, X1_346, '#skF_15'(U_260, V_306)) | ~at(U_260, X1_346, X_339) | ~sit(U_260, X1_346) | ~present(U_260, X1_346) | ~agent(U_260, X1_346, '#skF_16'(U_260, V_306, X_339, Y_340)) | ~event(U_260, X1_346) | member(U_260, '#skF_17'(U_260, V_306, X_339, Y_340), Y_340) | ~group(U_260, Y_340) | ~three(U_260, Y_340) | ~table(U_260, X_339) | member(U_260, '#skF_18'(U_260, V_306), V_306) | ~group(U_260, V_306) | ~actual_world(U_260)))).
% 20.94/7.69 tff(c_4801, plain, (![X6_1216, X6_1215, X_1217]: (event('#skF_10', '#skF_14'(X6_1216, '#skF_16'('#skF_10', '#skF_13'(X6_1215), X_1217, '#skF_13'(X6_1216)))) | agent('#skF_10', '#skF_14'(X6_1215, '#skF_18'('#skF_10', '#skF_13'(X6_1215))), X6_1215) | ~member('#skF_10', X6_1215, '#skF_11') | agent('#skF_10', '#skF_14'(X6_1216, '#skF_17'('#skF_10', '#skF_13'(X6_1215), X_1217, '#skF_13'(X6_1216))), X6_1216) | ~member('#skF_10', X6_1216, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_1216)) | ~three('#skF_10', '#skF_13'(X6_1216)) | ~table('#skF_10', X_1217) | ~group('#skF_10', '#skF_13'(X6_1215))))).
% 20.94/7.69 tff(c_3318, plain, (![X6_241, X6_685, X_687]: (event('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | agent('#skF_10', '#skF_14'(X6_685, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_687, '#skF_13'(X6_685))), X6_685) | agent('#skF_10', '#skF_14'(X6_685, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_687, '#skF_13'(X6_685))), X6_685) | ~member('#skF_10', X6_685, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_685)) | ~three('#skF_10', '#skF_13'(X6_685)) | ~table('#skF_10', X_687) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.70 tff(c_4802, plain, (![X6_1216, X6_1215, X_1217]: (sit('#skF_10', '#skF_14'(X6_1216, '#skF_16'('#skF_10', '#skF_13'(X6_1215), X_1217, '#skF_13'(X6_1216)))) | agent('#skF_10', '#skF_14'(X6_1215, '#skF_18'('#skF_10', '#skF_13'(X6_1215))), X6_1215) | ~member('#skF_10', X6_1215, '#skF_11') | agent('#skF_10', '#skF_14'(X6_1216, '#skF_17'('#skF_10', '#skF_13'(X6_1215), X_1217, '#skF_13'(X6_1216))), X6_1216) | ~member('#skF_10', X6_1216, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_1216)) | ~three('#skF_10', '#skF_13'(X6_1216)) | ~table('#skF_10', X_1217) | ~group('#skF_10', '#skF_13'(X6_1215))))).
% 20.94/7.70 tff(c_4803, plain, (![X6_1216, X6_1215, X_1217]: (present('#skF_10', '#skF_14'(X6_1216, '#skF_16'('#skF_10', '#skF_13'(X6_1215), X_1217, '#skF_13'(X6_1216)))) | agent('#skF_10', '#skF_14'(X6_1215, '#skF_18'('#skF_10', '#skF_13'(X6_1215))), X6_1215) | ~member('#skF_10', X6_1215, '#skF_11') | agent('#skF_10', '#skF_14'(X6_1216, '#skF_17'('#skF_10', '#skF_13'(X6_1215), X_1217, '#skF_13'(X6_1216))), X6_1216) | ~member('#skF_10', X6_1216, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_1216)) | ~three('#skF_10', '#skF_13'(X6_1216)) | ~table('#skF_10', X_1217) | ~group('#skF_10', '#skF_13'(X6_1215))))).
% 20.94/7.70 tff(c_4718, plain, (![X6_1124, X6_1123, X_1125]: (agent('#skF_10', '#skF_14'(X6_1124, '#skF_16'('#skF_10', '#skF_13'(X6_1123), X_1125, '#skF_13'(X6_1124))), X6_1124) | agent('#skF_10', '#skF_14'(X6_1123, '#skF_18'('#skF_10', '#skF_13'(X6_1123))), X6_1123) | ~member('#skF_10', X6_1123, '#skF_11') | event('#skF_10', '#skF_14'(X6_1124, '#skF_17'('#skF_10', '#skF_13'(X6_1123), X_1125, '#skF_13'(X6_1124)))) | ~member('#skF_10', X6_1124, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_1124)) | ~three('#skF_10', '#skF_13'(X6_1124)) | ~table('#skF_10', X_1125) | ~group('#skF_10', '#skF_13'(X6_1123))))).
% 20.94/7.70 tff(c_4677, plain, (![X6_1117, X6_1118, X_1119]: (agent('#skF_10', '#skF_14'(X6_1117, '#skF_16'('#skF_10', '#skF_13'(X6_1118), X_1119, '#skF_13'(X6_1117))), X6_1117) | agent('#skF_10', '#skF_14'(X6_1117, '#skF_17'('#skF_10', '#skF_13'(X6_1118), X_1119, '#skF_13'(X6_1117))), X6_1117) | ~member('#skF_10', X6_1117, '#skF_11') | sit('#skF_10', '#skF_14'(X6_1118, '#skF_18'('#skF_10', '#skF_13'(X6_1118)))) | ~member('#skF_10', X6_1118, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_1117)) | ~three('#skF_10', '#skF_13'(X6_1117)) | ~table('#skF_10', X_1119) | ~group('#skF_10', '#skF_13'(X6_1118))))).
% 20.94/7.70 tff(c_3084, plain, (![X6_241, X6_658, X_660]: (agent('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241))), X6_241) | ~member('#skF_10', X6_241, '#skF_11') | agent('#skF_10', '#skF_14'(X6_658, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_660, '#skF_13'(X6_658))), X6_658) | ~member('#skF_10', X6_658, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_660, '#skF_13'(X6_658)), '#skF_13'(X6_658)) | ~group('#skF_10', '#skF_13'(X6_658)) | ~three('#skF_10', '#skF_13'(X6_658)) | ~table('#skF_10', X_660) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.70 tff(c_4739, plain, (![X6_1127, X6_1126, X_1128]: (event('#skF_10', '#skF_14'(X6_1127, '#skF_16'('#skF_10', '#skF_13'(X6_1126), X_1128, '#skF_13'(X6_1127)))) | agent('#skF_10', '#skF_14'(X6_1126, '#skF_18'('#skF_10', '#skF_13'(X6_1126))), X6_1126) | ~member('#skF_10', X6_1126, '#skF_11') | present('#skF_10', '#skF_14'(X6_1127, '#skF_17'('#skF_10', '#skF_13'(X6_1126), X_1128, '#skF_13'(X6_1127)))) | ~member('#skF_10', X6_1127, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_1127)) | ~three('#skF_10', '#skF_13'(X6_1127)) | ~table('#skF_10', X_1128) | ~group('#skF_10', '#skF_13'(X6_1126))))).
% 20.94/7.70 tff(c_3007, plain, (![X6_241, X6_652, X_654]: (agent('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241))), X6_241) | ~member('#skF_10', X6_241, '#skF_11') | present('#skF_10', '#skF_14'(X6_652, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_654, '#skF_13'(X6_652)))) | sit('#skF_10', '#skF_14'(X6_652, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_654, '#skF_13'(X6_652)))) | ~member('#skF_10', X6_652, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_652)) | ~three('#skF_10', '#skF_13'(X6_652)) | ~table('#skF_10', X_654) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.70 tff(c_3036, plain, (![X6_241, X6_655, X_657]: (agent('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241))), X6_241) | ~member('#skF_10', X6_241, '#skF_11') | event('#skF_10', '#skF_14'(X6_655, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_657, '#skF_13'(X6_655)))) | sit('#skF_10', '#skF_14'(X6_655, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_657, '#skF_13'(X6_655)))) | ~member('#skF_10', X6_655, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_655)) | ~three('#skF_10', '#skF_13'(X6_655)) | ~table('#skF_10', X_657) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.70 tff(c_3260, plain, (![X6_241, X6_679, X_681]: (event('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | agent('#skF_10', '#skF_14'(X6_679, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_681, '#skF_13'(X6_679))), X6_679) | present('#skF_10', '#skF_14'(X6_679, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_681, '#skF_13'(X6_679)))) | ~member('#skF_10', X6_679, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_679)) | ~three('#skF_10', '#skF_13'(X6_679)) | ~table('#skF_10', X_681) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.70 tff(c_4658, plain, (![X6_1115, X6_1114, X_1116]: (event('#skF_10', '#skF_14'(X6_1115, '#skF_16'('#skF_10', '#skF_13'(X6_1114), X_1116, '#skF_13'(X6_1115)))) | present('#skF_10', '#skF_14'(X6_1114, '#skF_18'('#skF_10', '#skF_13'(X6_1114)))) | ~member('#skF_10', X6_1114, '#skF_11') | agent('#skF_10', '#skF_14'(X6_1115, '#skF_17'('#skF_10', '#skF_13'(X6_1114), X_1116, '#skF_13'(X6_1115))), X6_1115) | ~member('#skF_10', X6_1115, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_1115)) | ~three('#skF_10', '#skF_13'(X6_1115)) | ~table('#skF_10', X_1116) | ~group('#skF_10', '#skF_13'(X6_1114))))).
% 20.94/7.70 tff(c_3202, plain, (![X6_241, X6_673, X_675]: (event('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | present('#skF_10', '#skF_14'(X6_673, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_675, '#skF_13'(X6_673)))) | agent('#skF_10', '#skF_14'(X6_673, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_675, '#skF_13'(X6_673))), X6_673) | ~member('#skF_10', X6_673, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_673)) | ~three('#skF_10', '#skF_13'(X6_673)) | ~table('#skF_10', X_675) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.70 tff(c_3290, plain, (![X6_241, X6_682, X_684]: (sit('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | event('#skF_10', '#skF_14'(X6_682, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_684, '#skF_13'(X6_682)))) | agent('#skF_10', '#skF_14'(X6_682, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_684, '#skF_13'(X6_682))), X6_682) | ~member('#skF_10', X6_682, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_682)) | ~three('#skF_10', '#skF_13'(X6_682)) | ~table('#skF_10', X_684) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.70 tff(c_3261, plain, (![X6_241, X6_679, X_681]: (sit('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | agent('#skF_10', '#skF_14'(X6_679, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_681, '#skF_13'(X6_679))), X6_679) | present('#skF_10', '#skF_14'(X6_679, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_681, '#skF_13'(X6_679)))) | ~member('#skF_10', X6_679, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_679)) | ~three('#skF_10', '#skF_13'(X6_679)) | ~table('#skF_10', X_681) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.70 tff(c_4766, plain, (![X1_346, U_260, V_306, X_339, Y_340]: (~with(U_260, X1_346, '#skF_15'(U_260, V_306)) | ~at(U_260, X1_346, X_339) | ~sit(U_260, X1_346) | ~present(U_260, X1_346) | ~agent(U_260, X1_346, '#skF_16'(U_260, V_306, X_339, Y_340)) | ~event(U_260, X1_346) | member(U_260, '#skF_17'(U_260, V_306, X_339, Y_340), Y_340) | ~group(U_260, Y_340) | ~three(U_260, Y_340) | ~table(U_260, X_339) | ~hamburger(U_260, '#skF_18'(U_260, V_306)) | ~group(U_260, V_306) | ~actual_world(U_260)))).
% 20.94/7.70 tff(c_2949, plain, (![X6_241, X6_646, X_648]: (agent('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241))), X6_241) | ~member('#skF_10', X6_241, '#skF_11') | sit('#skF_10', '#skF_14'(X6_646, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_648, '#skF_13'(X6_646)))) | present('#skF_10', '#skF_14'(X6_646, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_648, '#skF_13'(X6_646)))) | ~member('#skF_10', X6_646, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_646)) | ~three('#skF_10', '#skF_13'(X6_646)) | ~table('#skF_10', X_648) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.70 tff(c_4639, plain, (![X6_1112, X6_1111, X_1113]: (sit('#skF_10', '#skF_14'(X6_1112, '#skF_16'('#skF_10', '#skF_13'(X6_1111), X_1113, '#skF_13'(X6_1112)))) | event('#skF_10', '#skF_14'(X6_1111, '#skF_18'('#skF_10', '#skF_13'(X6_1111)))) | ~member('#skF_10', X6_1111, '#skF_11') | agent('#skF_10', '#skF_14'(X6_1112, '#skF_17'('#skF_10', '#skF_13'(X6_1111), X_1113, '#skF_13'(X6_1112))), X6_1112) | ~member('#skF_10', X6_1112, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_1112)) | ~three('#skF_10', '#skF_13'(X6_1112)) | ~table('#skF_10', X_1113) | ~group('#skF_10', '#skF_13'(X6_1111))))).
% 20.94/7.70 tff(c_4659, plain, (![X6_1115, X6_1114, X_1116]: (sit('#skF_10', '#skF_14'(X6_1115, '#skF_16'('#skF_10', '#skF_13'(X6_1114), X_1116, '#skF_13'(X6_1115)))) | present('#skF_10', '#skF_14'(X6_1114, '#skF_18'('#skF_10', '#skF_13'(X6_1114)))) | ~member('#skF_10', X6_1114, '#skF_11') | agent('#skF_10', '#skF_14'(X6_1115, '#skF_17'('#skF_10', '#skF_13'(X6_1114), X_1116, '#skF_13'(X6_1115))), X6_1115) | ~member('#skF_10', X6_1115, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_1115)) | ~three('#skF_10', '#skF_13'(X6_1115)) | ~table('#skF_10', X_1116) | ~group('#skF_10', '#skF_13'(X6_1114))))).
% 20.94/7.70 tff(c_3203, plain, (![X6_241, X6_673, X_675]: (sit('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | present('#skF_10', '#skF_14'(X6_673, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_675, '#skF_13'(X6_673)))) | agent('#skF_10', '#skF_14'(X6_673, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_675, '#skF_13'(X6_673))), X6_673) | ~member('#skF_10', X6_673, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_673)) | ~three('#skF_10', '#skF_13'(X6_673)) | ~table('#skF_10', X_675) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.70 tff(c_3175, plain, (![X6_241, X6_670, X_672]: (present('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | agent('#skF_10', '#skF_14'(X6_670, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_672, '#skF_13'(X6_670))), X6_670) | sit('#skF_10', '#skF_14'(X6_670, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_672, '#skF_13'(X6_670)))) | ~member('#skF_10', X6_670, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_670)) | ~three('#skF_10', '#skF_13'(X6_670)) | ~table('#skF_10', X_672) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.70 tff(c_4581, plain, (![X6_1018, X6_1019, X_1020]: (agent('#skF_10', '#skF_14'(X6_1018, '#skF_16'('#skF_10', '#skF_13'(X6_1019), X_1020, '#skF_13'(X6_1018))), X6_1018) | event('#skF_10', '#skF_14'(X6_1018, '#skF_17'('#skF_10', '#skF_13'(X6_1019), X_1020, '#skF_13'(X6_1018)))) | ~member('#skF_10', X6_1018, '#skF_11') | sit('#skF_10', '#skF_14'(X6_1019, '#skF_18'('#skF_10', '#skF_13'(X6_1019)))) | ~member('#skF_10', X6_1019, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_1018)) | ~three('#skF_10', '#skF_13'(X6_1018)) | ~table('#skF_10', X_1020) | ~group('#skF_10', '#skF_13'(X6_1019))))).
% 20.94/7.70 tff(c_4720, plain, (![X6_1124, X6_1123, X_1125]: (sit('#skF_10', '#skF_14'(X6_1124, '#skF_16'('#skF_10', '#skF_13'(X6_1123), X_1125, '#skF_13'(X6_1124)))) | agent('#skF_10', '#skF_14'(X6_1123, '#skF_18'('#skF_10', '#skF_13'(X6_1123))), X6_1123) | ~member('#skF_10', X6_1123, '#skF_11') | event('#skF_10', '#skF_14'(X6_1124, '#skF_17'('#skF_10', '#skF_13'(X6_1123), X_1125, '#skF_13'(X6_1124)))) | ~member('#skF_10', X6_1124, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_1124)) | ~three('#skF_10', '#skF_13'(X6_1124)) | ~table('#skF_10', X_1125) | ~group('#skF_10', '#skF_13'(X6_1123))))).
% 20.94/7.70 tff(c_4541, plain, (![X6_1012, X6_1013, X_1014]: (agent('#skF_10', '#skF_14'(X6_1012, '#skF_16'('#skF_10', '#skF_13'(X6_1013), X_1014, '#skF_13'(X6_1012))), X6_1012) | sit('#skF_10', '#skF_14'(X6_1012, '#skF_17'('#skF_10', '#skF_13'(X6_1013), X_1014, '#skF_13'(X6_1012)))) | ~member('#skF_10', X6_1012, '#skF_11') | event('#skF_10', '#skF_14'(X6_1013, '#skF_18'('#skF_10', '#skF_13'(X6_1013)))) | ~member('#skF_10', X6_1013, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_1012)) | ~three('#skF_10', '#skF_13'(X6_1012)) | ~table('#skF_10', X_1014) | ~group('#skF_10', '#skF_13'(X6_1013))))).
% 20.94/7.70 tff(c_3146, plain, (![X6_241, X6_667, X_669]: (present('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | agent('#skF_10', '#skF_14'(X6_667, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_669, '#skF_13'(X6_667))), X6_667) | event('#skF_10', '#skF_14'(X6_667, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_669, '#skF_13'(X6_667)))) | ~member('#skF_10', X6_667, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_667)) | ~three('#skF_10', '#skF_13'(X6_667)) | ~table('#skF_10', X_669) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.70 tff(c_4721, plain, (![X6_1124, X6_1123, X_1125]: (present('#skF_10', '#skF_14'(X6_1124, '#skF_16'('#skF_10', '#skF_13'(X6_1123), X_1125, '#skF_13'(X6_1124)))) | agent('#skF_10', '#skF_14'(X6_1123, '#skF_18'('#skF_10', '#skF_13'(X6_1123))), X6_1123) | ~member('#skF_10', X6_1123, '#skF_11') | event('#skF_10', '#skF_14'(X6_1124, '#skF_17'('#skF_10', '#skF_13'(X6_1123), X_1125, '#skF_13'(X6_1124)))) | ~member('#skF_10', X6_1124, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_1124)) | ~three('#skF_10', '#skF_13'(X6_1124)) | ~table('#skF_10', X_1125) | ~group('#skF_10', '#skF_13'(X6_1123))))).
% 20.94/7.70 tff(c_3144, plain, (![X6_241, X6_667, X_669]: (event('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | agent('#skF_10', '#skF_14'(X6_667, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_669, '#skF_13'(X6_667))), X6_667) | event('#skF_10', '#skF_14'(X6_667, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_669, '#skF_13'(X6_667)))) | ~member('#skF_10', X6_667, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_667)) | ~three('#skF_10', '#skF_13'(X6_667)) | ~table('#skF_10', X_669) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.70 tff(c_3289, plain, (![X6_241, X6_682, X_684]: (event('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | event('#skF_10', '#skF_14'(X6_682, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_684, '#skF_13'(X6_682)))) | agent('#skF_10', '#skF_14'(X6_682, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_684, '#skF_13'(X6_682))), X6_682) | ~member('#skF_10', X6_682, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_682)) | ~three('#skF_10', '#skF_13'(X6_682)) | ~table('#skF_10', X_684) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.70 tff(c_4660, plain, (![X6_1115, X6_1114, X_1116]: (present('#skF_10', '#skF_14'(X6_1115, '#skF_16'('#skF_10', '#skF_13'(X6_1114), X_1116, '#skF_13'(X6_1115)))) | present('#skF_10', '#skF_14'(X6_1114, '#skF_18'('#skF_10', '#skF_13'(X6_1114)))) | ~member('#skF_10', X6_1114, '#skF_11') | agent('#skF_10', '#skF_14'(X6_1115, '#skF_17'('#skF_10', '#skF_13'(X6_1114), X_1116, '#skF_13'(X6_1115))), X6_1115) | ~member('#skF_10', X6_1115, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_1115)) | ~three('#skF_10', '#skF_13'(X6_1115)) | ~table('#skF_10', X_1116) | ~group('#skF_10', '#skF_13'(X6_1114))))).
% 20.94/7.70 tff(c_3262, plain, (![X6_241, X6_679, X_681]: (present('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | agent('#skF_10', '#skF_14'(X6_679, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_681, '#skF_13'(X6_679))), X6_679) | present('#skF_10', '#skF_14'(X6_679, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_681, '#skF_13'(X6_679)))) | ~member('#skF_10', X6_679, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_679)) | ~three('#skF_10', '#skF_13'(X6_679)) | ~table('#skF_10', X_681) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.70 tff(c_3232, plain, (![X6_241, X6_676, X_678]: (sit('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | sit('#skF_10', '#skF_14'(X6_676, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_678, '#skF_13'(X6_676)))) | agent('#skF_10', '#skF_14'(X6_676, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_678, '#skF_13'(X6_676))), X6_676) | ~member('#skF_10', X6_676, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_676)) | ~three('#skF_10', '#skF_13'(X6_676)) | ~table('#skF_10', X_678) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.70 tff(c_4441, plain, (![X6_997, X6_998, X_999]: (agent('#skF_10', '#skF_14'(X6_997, '#skF_16'('#skF_10', '#skF_13'(X6_998), X_999, '#skF_13'(X6_997))), X6_997) | sit('#skF_10', '#skF_14'(X6_997, '#skF_17'('#skF_10', '#skF_13'(X6_998), X_999, '#skF_13'(X6_997)))) | ~member('#skF_10', X6_997, '#skF_11') | sit('#skF_10', '#skF_14'(X6_998, '#skF_18'('#skF_10', '#skF_13'(X6_998)))) | ~member('#skF_10', X6_998, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_997)) | ~three('#skF_10', '#skF_13'(X6_997)) | ~table('#skF_10', X_999) | ~group('#skF_10', '#skF_13'(X6_998))))).
% 20.94/7.70 tff(c_4700, plain, (![X6_1121, X6_1120, X_1122]: (sit('#skF_10', '#skF_14'(X6_1121, '#skF_16'('#skF_10', '#skF_13'(X6_1120), X_1122, '#skF_13'(X6_1121)))) | agent('#skF_10', '#skF_14'(X6_1120, '#skF_18'('#skF_10', '#skF_13'(X6_1120))), X6_1120) | ~member('#skF_10', X6_1120, '#skF_11') | sit('#skF_10', '#skF_14'(X6_1121, '#skF_17'('#skF_10', '#skF_13'(X6_1120), X_1122, '#skF_13'(X6_1121)))) | ~member('#skF_10', X6_1121, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_1121)) | ~three('#skF_10', '#skF_13'(X6_1121)) | ~table('#skF_10', X_1122) | ~group('#skF_10', '#skF_13'(X6_1120))))).
% 20.94/7.70 tff(c_4719, plain, (![X6_1124, X6_1123, X_1125]: (event('#skF_10', '#skF_14'(X6_1124, '#skF_16'('#skF_10', '#skF_13'(X6_1123), X_1125, '#skF_13'(X6_1124)))) | agent('#skF_10', '#skF_14'(X6_1123, '#skF_18'('#skF_10', '#skF_13'(X6_1123))), X6_1123) | ~member('#skF_10', X6_1123, '#skF_11') | event('#skF_10', '#skF_14'(X6_1124, '#skF_17'('#skF_10', '#skF_13'(X6_1123), X_1125, '#skF_13'(X6_1124)))) | ~member('#skF_10', X6_1124, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_1124)) | ~three('#skF_10', '#skF_13'(X6_1124)) | ~table('#skF_10', X_1125) | ~group('#skF_10', '#skF_13'(X6_1123))))).
% 20.94/7.70 tff(c_4741, plain, (![X6_1127, X6_1126, X_1128]: (present('#skF_10', '#skF_14'(X6_1127, '#skF_16'('#skF_10', '#skF_13'(X6_1126), X_1128, '#skF_13'(X6_1127)))) | agent('#skF_10', '#skF_14'(X6_1126, '#skF_18'('#skF_10', '#skF_13'(X6_1126))), X6_1126) | ~member('#skF_10', X6_1126, '#skF_11') | present('#skF_10', '#skF_14'(X6_1127, '#skF_17'('#skF_10', '#skF_13'(X6_1126), X_1128, '#skF_13'(X6_1127)))) | ~member('#skF_10', X6_1127, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_1127)) | ~three('#skF_10', '#skF_13'(X6_1127)) | ~table('#skF_10', X_1128) | ~group('#skF_10', '#skF_13'(X6_1126))))).
% 20.94/7.70 tff(c_2603, plain, (![X6_241, X6_592, X_594]: (agent('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241))), X6_241) | ~member('#skF_10', X6_241, '#skF_11') | present('#skF_10', '#skF_14'(X6_592, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_594, '#skF_13'(X6_592)))) | ~member('#skF_10', X6_592, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_594, '#skF_13'(X6_592)), '#skF_13'(X6_592)) | ~group('#skF_10', '#skF_13'(X6_592)) | ~three('#skF_10', '#skF_13'(X6_592)) | ~table('#skF_10', X_594) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.70 tff(c_2680, plain, (![X6_241, X6_598, X_600]: (agent('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241))), X6_241) | ~member('#skF_10', X6_241, '#skF_11') | event('#skF_10', '#skF_14'(X6_598, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_600, '#skF_13'(X6_598)))) | ~member('#skF_10', X6_598, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_600, '#skF_13'(X6_598)), '#skF_13'(X6_598)) | ~group('#skF_10', '#skF_13'(X6_598)) | ~three('#skF_10', '#skF_13'(X6_598)) | ~table('#skF_10', X_600) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.70 tff(c_2526, plain, (![X6_241, X6_586, X_588]: (agent('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241))), X6_241) | ~member('#skF_10', X6_241, '#skF_11') | sit('#skF_10', '#skF_14'(X6_586, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_588, '#skF_13'(X6_586)))) | ~member('#skF_10', X6_586, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_588, '#skF_13'(X6_586)), '#skF_13'(X6_586)) | ~group('#skF_10', '#skF_13'(X6_586)) | ~three('#skF_10', '#skF_13'(X6_586)) | ~table('#skF_10', X_588) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.71 tff(c_2331, plain, (![X6_241, X6_532, X_533]: (agent('#skF_10', '#skF_14'(X6_241, '#skF_17'('#skF_10', '#skF_13'(X6_532), X_533, '#skF_13'(X6_241))), X6_241) | ~member('#skF_10', X6_241, '#skF_11') | sit('#skF_10', '#skF_14'(X6_532, '#skF_18'('#skF_10', '#skF_13'(X6_532)))) | ~member('#skF_10', X6_532, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_532), X_533, '#skF_13'(X6_241)), '#skF_13'(X6_241)) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_533) | ~group('#skF_10', '#skF_13'(X6_532))))).
% 20.94/7.71 tff(c_3087, plain, (![X6_241, X6_658, X_660]: (present('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | agent('#skF_10', '#skF_14'(X6_658, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_660, '#skF_13'(X6_658))), X6_658) | ~member('#skF_10', X6_658, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_660, '#skF_13'(X6_658)), '#skF_13'(X6_658)) | ~group('#skF_10', '#skF_13'(X6_658)) | ~three('#skF_10', '#skF_13'(X6_658)) | ~table('#skF_10', X_660) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.71 tff(c_3085, plain, (![X6_241, X6_658, X_660]: (event('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | agent('#skF_10', '#skF_14'(X6_658, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_660, '#skF_13'(X6_658))), X6_658) | ~member('#skF_10', X6_658, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_660, '#skF_13'(X6_658)), '#skF_13'(X6_658)) | ~group('#skF_10', '#skF_13'(X6_658)) | ~three('#skF_10', '#skF_13'(X6_658)) | ~table('#skF_10', X_660) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.71 tff(c_4502, plain, (![X6_1006, X6_1007, X_1008]: (event('#skF_10', '#skF_14'(X6_1006, '#skF_16'('#skF_10', '#skF_13'(X6_1007), X_1008, '#skF_13'(X6_1006)))) | sit('#skF_10', '#skF_14'(X6_1006, '#skF_17'('#skF_10', '#skF_13'(X6_1007), X_1008, '#skF_13'(X6_1006)))) | ~member('#skF_10', X6_1006, '#skF_11') | present('#skF_10', '#skF_14'(X6_1007, '#skF_18'('#skF_10', '#skF_13'(X6_1007)))) | ~member('#skF_10', X6_1007, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_1006)) | ~three('#skF_10', '#skF_13'(X6_1006)) | ~table('#skF_10', X_1008) | ~group('#skF_10', '#skF_13'(X6_1007))))).
% 20.94/7.71 tff(c_2890, plain, (![X6_241, X6_628, X_630]: (present('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | sit('#skF_10', '#skF_14'(X6_628, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_630, '#skF_13'(X6_628)))) | event('#skF_10', '#skF_14'(X6_628, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_630, '#skF_13'(X6_628)))) | ~member('#skF_10', X6_628, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_628)) | ~three('#skF_10', '#skF_13'(X6_628)) | ~table('#skF_10', X_630) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.71 tff(c_3008, plain, (![X6_241, X6_652, X_654]: (event('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | present('#skF_10', '#skF_14'(X6_652, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_654, '#skF_13'(X6_652)))) | sit('#skF_10', '#skF_14'(X6_652, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_654, '#skF_13'(X6_652)))) | ~member('#skF_10', X6_652, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_652)) | ~three('#skF_10', '#skF_13'(X6_652)) | ~table('#skF_10', X_654) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.71 tff(c_4563, plain, (![X6_1015, X6_1016, X_1017]: (sit('#skF_10', '#skF_14'(X6_1015, '#skF_16'('#skF_10', '#skF_13'(X6_1016), X_1017, '#skF_13'(X6_1015)))) | present('#skF_10', '#skF_14'(X6_1015, '#skF_17'('#skF_10', '#skF_13'(X6_1016), X_1017, '#skF_13'(X6_1015)))) | ~member('#skF_10', X6_1015, '#skF_11') | event('#skF_10', '#skF_14'(X6_1016, '#skF_18'('#skF_10', '#skF_13'(X6_1016)))) | ~member('#skF_10', X6_1016, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_1015)) | ~three('#skF_10', '#skF_13'(X6_1015)) | ~table('#skF_10', X_1017) | ~group('#skF_10', '#skF_13'(X6_1016))))).
% 20.94/7.71 tff(c_4522, plain, (![X6_1009, X6_1010, X_1011]: (event('#skF_10', '#skF_14'(X6_1009, '#skF_16'('#skF_10', '#skF_13'(X6_1010), X_1011, '#skF_13'(X6_1009)))) | present('#skF_10', '#skF_14'(X6_1009, '#skF_17'('#skF_10', '#skF_13'(X6_1010), X_1011, '#skF_13'(X6_1009)))) | ~member('#skF_10', X6_1009, '#skF_11') | sit('#skF_10', '#skF_14'(X6_1010, '#skF_18'('#skF_10', '#skF_13'(X6_1010)))) | ~member('#skF_10', X6_1010, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_1009)) | ~three('#skF_10', '#skF_13'(X6_1009)) | ~table('#skF_10', X_1011) | ~group('#skF_10', '#skF_13'(X6_1010))))).
% 20.94/7.71 tff(c_4584, plain, (![X6_1018, X6_1019, X_1020]: (present('#skF_10', '#skF_14'(X6_1018, '#skF_16'('#skF_10', '#skF_13'(X6_1019), X_1020, '#skF_13'(X6_1018)))) | event('#skF_10', '#skF_14'(X6_1018, '#skF_17'('#skF_10', '#skF_13'(X6_1019), X_1020, '#skF_13'(X6_1018)))) | ~member('#skF_10', X6_1018, '#skF_11') | sit('#skF_10', '#skF_14'(X6_1019, '#skF_18'('#skF_10', '#skF_13'(X6_1019)))) | ~member('#skF_10', X6_1019, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_1018)) | ~three('#skF_10', '#skF_13'(X6_1018)) | ~table('#skF_10', X_1020) | ~group('#skF_10', '#skF_13'(X6_1019))))).
% 20.94/7.71 tff(c_3113, plain, (![X6_241, X_662, X6_663]: (agent('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241))), X6_241) | ~member('#skF_10', X6_241, '#skF_11') | hamburger('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_662, '#skF_13'(X6_663))) | agent('#skF_10', '#skF_14'(X6_663, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_662, '#skF_13'(X6_663))), X6_663) | ~member('#skF_10', X6_663, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_663)) | ~three('#skF_10', '#skF_13'(X6_663)) | ~table('#skF_10', X_662) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.71 tff(c_3321, plain, (![X6_241, X6_685, X_687]: (hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_241))) | ~member('#skF_10', X6_241, '#skF_11') | agent('#skF_10', '#skF_14'(X6_685, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_687, '#skF_13'(X6_685))), X6_685) | agent('#skF_10', '#skF_14'(X6_685, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_687, '#skF_13'(X6_685))), X6_685) | ~member('#skF_10', X6_685, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_685)) | ~three('#skF_10', '#skF_13'(X6_685)) | ~table('#skF_10', X_687) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.71 tff(c_2888, plain, (![X6_241, X6_628, X_630]: (event('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | sit('#skF_10', '#skF_14'(X6_628, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_630, '#skF_13'(X6_628)))) | event('#skF_10', '#skF_14'(X6_628, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_630, '#skF_13'(X6_628)))) | ~member('#skF_10', X6_628, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_628)) | ~three('#skF_10', '#skF_13'(X6_628)) | ~table('#skF_10', X_630) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.71 tff(c_4442, plain, (![X6_997, X6_998, X_999]: (event('#skF_10', '#skF_14'(X6_997, '#skF_16'('#skF_10', '#skF_13'(X6_998), X_999, '#skF_13'(X6_997)))) | sit('#skF_10', '#skF_14'(X6_997, '#skF_17'('#skF_10', '#skF_13'(X6_998), X_999, '#skF_13'(X6_997)))) | ~member('#skF_10', X6_997, '#skF_11') | sit('#skF_10', '#skF_14'(X6_998, '#skF_18'('#skF_10', '#skF_13'(X6_998)))) | ~member('#skF_10', X6_998, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_997)) | ~three('#skF_10', '#skF_13'(X6_997)) | ~table('#skF_10', X_999) | ~group('#skF_10', '#skF_13'(X6_998))))).
% 20.94/7.71 tff(c_2981, plain, (![X6_241, X6_649, X_651]: (present('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | event('#skF_10', '#skF_14'(X6_649, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_651, '#skF_13'(X6_649)))) | present('#skF_10', '#skF_14'(X6_649, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_651, '#skF_13'(X6_649)))) | ~member('#skF_10', X6_649, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_649)) | ~three('#skF_10', '#skF_13'(X6_649)) | ~table('#skF_10', X_651) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.71 tff(c_4523, plain, (![X6_1009, X6_1010, X_1011]: (sit('#skF_10', '#skF_14'(X6_1009, '#skF_16'('#skF_10', '#skF_13'(X6_1010), X_1011, '#skF_13'(X6_1009)))) | present('#skF_10', '#skF_14'(X6_1009, '#skF_17'('#skF_10', '#skF_13'(X6_1010), X_1011, '#skF_13'(X6_1009)))) | ~member('#skF_10', X6_1009, '#skF_11') | sit('#skF_10', '#skF_14'(X6_1010, '#skF_18'('#skF_10', '#skF_13'(X6_1010)))) | ~member('#skF_10', X6_1010, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_1009)) | ~three('#skF_10', '#skF_13'(X6_1009)) | ~table('#skF_10', X_1011) | ~group('#skF_10', '#skF_13'(X6_1010))))).
% 20.94/7.71 tff(c_2478, plain, (![X6_241, X6_583, X_585]: (agent('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241))), X6_241) | ~member('#skF_10', X6_241, '#skF_11') | agent('#skF_10', '#skF_14'(X6_583, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_585, '#skF_13'(X6_583))), X6_583) | hamburger('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_585, '#skF_13'(X6_583))) | ~member('#skF_10', X6_583, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_583)) | ~three('#skF_10', '#skF_13'(X6_583)) | ~table('#skF_10', X_585) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.71 tff(c_4423, plain, (![X6_994, X6_995, X_996]: (sit('#skF_10', '#skF_14'(X6_994, '#skF_16'('#skF_10', '#skF_13'(X6_995), X_996, '#skF_13'(X6_994)))) | present('#skF_10', '#skF_14'(X6_994, '#skF_17'('#skF_10', '#skF_13'(X6_995), X_996, '#skF_13'(X6_994)))) | ~member('#skF_10', X6_994, '#skF_11') | present('#skF_10', '#skF_14'(X6_995, '#skF_18'('#skF_10', '#skF_13'(X6_995)))) | ~member('#skF_10', X6_995, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_994)) | ~three('#skF_10', '#skF_13'(X6_994)) | ~table('#skF_10', X_996) | ~group('#skF_10', '#skF_13'(X6_995))))).
% 20.94/7.71 tff(c_4444, plain, (![X6_997, X6_998, X_999]: (present('#skF_10', '#skF_14'(X6_997, '#skF_16'('#skF_10', '#skF_13'(X6_998), X_999, '#skF_13'(X6_997)))) | sit('#skF_10', '#skF_14'(X6_997, '#skF_17'('#skF_10', '#skF_13'(X6_998), X_999, '#skF_13'(X6_997)))) | ~member('#skF_10', X6_997, '#skF_11') | sit('#skF_10', '#skF_14'(X6_998, '#skF_18'('#skF_10', '#skF_13'(X6_998)))) | ~member('#skF_10', X6_998, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_997)) | ~three('#skF_10', '#skF_13'(X6_997)) | ~table('#skF_10', X_999) | ~group('#skF_10', '#skF_13'(X6_998))))).
% 20.94/7.71 tff(c_4482, plain, (![X6_1003, X6_1004, X_1005]: (event('#skF_10', '#skF_14'(X6_1003, '#skF_16'('#skF_10', '#skF_13'(X6_1004), X_1005, '#skF_13'(X6_1003)))) | event('#skF_10', '#skF_14'(X6_1003, '#skF_17'('#skF_10', '#skF_13'(X6_1004), X_1005, '#skF_13'(X6_1003)))) | ~member('#skF_10', X6_1003, '#skF_11') | present('#skF_10', '#skF_14'(X6_1004, '#skF_18'('#skF_10', '#skF_13'(X6_1004)))) | ~member('#skF_10', X6_1004, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_1003)) | ~three('#skF_10', '#skF_13'(X6_1003)) | ~table('#skF_10', X_1005) | ~group('#skF_10', '#skF_13'(X6_1004))))).
% 20.94/7.71 tff(c_4504, plain, (![X6_1006, X6_1007, X_1008]: (present('#skF_10', '#skF_14'(X6_1006, '#skF_16'('#skF_10', '#skF_13'(X6_1007), X_1008, '#skF_13'(X6_1006)))) | sit('#skF_10', '#skF_14'(X6_1006, '#skF_17'('#skF_10', '#skF_13'(X6_1007), X_1008, '#skF_13'(X6_1006)))) | ~member('#skF_10', X6_1006, '#skF_11') | present('#skF_10', '#skF_14'(X6_1007, '#skF_18'('#skF_10', '#skF_13'(X6_1007)))) | ~member('#skF_10', X6_1007, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_1006)) | ~three('#skF_10', '#skF_13'(X6_1006)) | ~table('#skF_10', X_1008) | ~group('#skF_10', '#skF_13'(X6_1007))))).
% 20.94/7.71 tff(c_4542, plain, (![X6_1012, X6_1013, X_1014]: (event('#skF_10', '#skF_14'(X6_1012, '#skF_16'('#skF_10', '#skF_13'(X6_1013), X_1014, '#skF_13'(X6_1012)))) | sit('#skF_10', '#skF_14'(X6_1012, '#skF_17'('#skF_10', '#skF_13'(X6_1013), X_1014, '#skF_13'(X6_1012)))) | ~member('#skF_10', X6_1012, '#skF_11') | event('#skF_10', '#skF_14'(X6_1013, '#skF_18'('#skF_10', '#skF_13'(X6_1013)))) | ~member('#skF_10', X6_1013, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_1012)) | ~three('#skF_10', '#skF_13'(X6_1012)) | ~table('#skF_10', X_1014) | ~group('#skF_10', '#skF_13'(X6_1013))))).
% 20.94/7.71 tff(c_4484, plain, (![X6_1003, X6_1004, X_1005]: (present('#skF_10', '#skF_14'(X6_1003, '#skF_16'('#skF_10', '#skF_13'(X6_1004), X_1005, '#skF_13'(X6_1003)))) | event('#skF_10', '#skF_14'(X6_1003, '#skF_17'('#skF_10', '#skF_13'(X6_1004), X_1005, '#skF_13'(X6_1003)))) | ~member('#skF_10', X6_1003, '#skF_11') | present('#skF_10', '#skF_14'(X6_1004, '#skF_18'('#skF_10', '#skF_13'(X6_1004)))) | ~member('#skF_10', X6_1004, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_1003)) | ~three('#skF_10', '#skF_13'(X6_1003)) | ~table('#skF_10', X_1005) | ~group('#skF_10', '#skF_13'(X6_1004))))).
% 20.94/7.71 tff(c_4524, plain, (![X6_1009, X6_1010, X_1011]: (present('#skF_10', '#skF_14'(X6_1009, '#skF_16'('#skF_10', '#skF_13'(X6_1010), X_1011, '#skF_13'(X6_1009)))) | present('#skF_10', '#skF_14'(X6_1009, '#skF_17'('#skF_10', '#skF_13'(X6_1010), X_1011, '#skF_13'(X6_1009)))) | ~member('#skF_10', X6_1009, '#skF_11') | sit('#skF_10', '#skF_14'(X6_1010, '#skF_18'('#skF_10', '#skF_13'(X6_1010)))) | ~member('#skF_10', X6_1010, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_1009)) | ~three('#skF_10', '#skF_13'(X6_1009)) | ~table('#skF_10', X_1011) | ~group('#skF_10', '#skF_13'(X6_1010))))).
% 20.94/7.71 tff(c_4464, plain, (![X6_1000, X6_1001, X_1002]: (present('#skF_10', '#skF_14'(X6_1000, '#skF_16'('#skF_10', '#skF_13'(X6_1001), X_1002, '#skF_13'(X6_1000)))) | event('#skF_10', '#skF_14'(X6_1000, '#skF_17'('#skF_10', '#skF_13'(X6_1001), X_1002, '#skF_13'(X6_1000)))) | ~member('#skF_10', X6_1000, '#skF_11') | event('#skF_10', '#skF_14'(X6_1001, '#skF_18'('#skF_10', '#skF_13'(X6_1001)))) | ~member('#skF_10', X6_1001, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_1000)) | ~three('#skF_10', '#skF_13'(X6_1000)) | ~table('#skF_10', X_1002) | ~group('#skF_10', '#skF_13'(X6_1001))))).
% 20.94/7.71 tff(c_4503, plain, (![X6_1006, X6_1007, X_1008]: (sit('#skF_10', '#skF_14'(X6_1006, '#skF_16'('#skF_10', '#skF_13'(X6_1007), X_1008, '#skF_13'(X6_1006)))) | sit('#skF_10', '#skF_14'(X6_1006, '#skF_17'('#skF_10', '#skF_13'(X6_1007), X_1008, '#skF_13'(X6_1006)))) | ~member('#skF_10', X6_1006, '#skF_11') | present('#skF_10', '#skF_14'(X6_1007, '#skF_18'('#skF_10', '#skF_13'(X6_1007)))) | ~member('#skF_10', X6_1007, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_1006)) | ~three('#skF_10', '#skF_13'(X6_1006)) | ~table('#skF_10', X_1008) | ~group('#skF_10', '#skF_13'(X6_1007))))).
% 20.94/7.71 tff(c_4543, plain, (![X6_1012, X6_1013, X_1014]: (sit('#skF_10', '#skF_14'(X6_1012, '#skF_16'('#skF_10', '#skF_13'(X6_1013), X_1014, '#skF_13'(X6_1012)))) | sit('#skF_10', '#skF_14'(X6_1012, '#skF_17'('#skF_10', '#skF_13'(X6_1013), X_1014, '#skF_13'(X6_1012)))) | ~member('#skF_10', X6_1012, '#skF_11') | event('#skF_10', '#skF_14'(X6_1013, '#skF_18'('#skF_10', '#skF_13'(X6_1013)))) | ~member('#skF_10', X6_1013, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_1012)) | ~three('#skF_10', '#skF_13'(X6_1012)) | ~table('#skF_10', X_1014) | ~group('#skF_10', '#skF_13'(X6_1013))))).
% 20.94/7.71 tff(c_4564, plain, (![X6_1015, X6_1016, X_1017]: (present('#skF_10', '#skF_14'(X6_1015, '#skF_16'('#skF_10', '#skF_13'(X6_1016), X_1017, '#skF_13'(X6_1015)))) | present('#skF_10', '#skF_14'(X6_1015, '#skF_17'('#skF_10', '#skF_13'(X6_1016), X_1017, '#skF_13'(X6_1015)))) | ~member('#skF_10', X6_1015, '#skF_11') | event('#skF_10', '#skF_14'(X6_1016, '#skF_18'('#skF_10', '#skF_13'(X6_1016)))) | ~member('#skF_10', X6_1016, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_1015)) | ~three('#skF_10', '#skF_13'(X6_1015)) | ~table('#skF_10', X_1017) | ~group('#skF_10', '#skF_13'(X6_1016))))).
% 20.94/7.71 tff(c_4582, plain, (![X6_1018, X6_1019, X_1020]: (event('#skF_10', '#skF_14'(X6_1018, '#skF_16'('#skF_10', '#skF_13'(X6_1019), X_1020, '#skF_13'(X6_1018)))) | event('#skF_10', '#skF_14'(X6_1018, '#skF_17'('#skF_10', '#skF_13'(X6_1019), X_1020, '#skF_13'(X6_1018)))) | ~member('#skF_10', X6_1018, '#skF_11') | sit('#skF_10', '#skF_14'(X6_1019, '#skF_18'('#skF_10', '#skF_13'(X6_1019)))) | ~member('#skF_10', X6_1019, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_1018)) | ~three('#skF_10', '#skF_13'(X6_1018)) | ~table('#skF_10', X_1020) | ~group('#skF_10', '#skF_13'(X6_1019))))).
% 20.94/7.71 tff(c_4562, plain, (![X6_1015, X6_1016, X_1017]: (event('#skF_10', '#skF_14'(X6_1015, '#skF_16'('#skF_10', '#skF_13'(X6_1016), X_1017, '#skF_13'(X6_1015)))) | present('#skF_10', '#skF_14'(X6_1015, '#skF_17'('#skF_10', '#skF_13'(X6_1016), X_1017, '#skF_13'(X6_1015)))) | ~member('#skF_10', X6_1015, '#skF_11') | event('#skF_10', '#skF_14'(X6_1016, '#skF_18'('#skF_10', '#skF_13'(X6_1016)))) | ~member('#skF_10', X6_1016, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_1015)) | ~three('#skF_10', '#skF_13'(X6_1015)) | ~table('#skF_10', X_1017) | ~group('#skF_10', '#skF_13'(X6_1016))))).
% 20.94/7.71 tff(c_4583, plain, (![X6_1018, X6_1019, X_1020]: (sit('#skF_10', '#skF_14'(X6_1018, '#skF_16'('#skF_10', '#skF_13'(X6_1019), X_1020, '#skF_13'(X6_1018)))) | event('#skF_10', '#skF_14'(X6_1018, '#skF_17'('#skF_10', '#skF_13'(X6_1019), X_1020, '#skF_13'(X6_1018)))) | ~member('#skF_10', X6_1018, '#skF_11') | sit('#skF_10', '#skF_14'(X6_1019, '#skF_18'('#skF_10', '#skF_13'(X6_1019)))) | ~member('#skF_10', X6_1019, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_1018)) | ~three('#skF_10', '#skF_13'(X6_1018)) | ~table('#skF_10', X_1020) | ~group('#skF_10', '#skF_13'(X6_1019))))).
% 20.94/7.71 tff(c_4424, plain, (![X6_994, X6_995, X_996]: (present('#skF_10', '#skF_14'(X6_994, '#skF_16'('#skF_10', '#skF_13'(X6_995), X_996, '#skF_13'(X6_994)))) | present('#skF_10', '#skF_14'(X6_994, '#skF_17'('#skF_10', '#skF_13'(X6_995), X_996, '#skF_13'(X6_994)))) | ~member('#skF_10', X6_994, '#skF_11') | present('#skF_10', '#skF_14'(X6_995, '#skF_18'('#skF_10', '#skF_13'(X6_995)))) | ~member('#skF_10', X6_995, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_994)) | ~three('#skF_10', '#skF_13'(X6_994)) | ~table('#skF_10', X_996) | ~group('#skF_10', '#skF_13'(X6_995))))).
% 20.94/7.71 tff(c_4443, plain, (![X6_997, X6_998, X_999]: (sit('#skF_10', '#skF_14'(X6_997, '#skF_16'('#skF_10', '#skF_13'(X6_998), X_999, '#skF_13'(X6_997)))) | sit('#skF_10', '#skF_14'(X6_997, '#skF_17'('#skF_10', '#skF_13'(X6_998), X_999, '#skF_13'(X6_997)))) | ~member('#skF_10', X6_997, '#skF_11') | sit('#skF_10', '#skF_14'(X6_998, '#skF_18'('#skF_10', '#skF_13'(X6_998)))) | ~member('#skF_10', X6_998, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_997)) | ~three('#skF_10', '#skF_13'(X6_997)) | ~table('#skF_10', X_999) | ~group('#skF_10', '#skF_13'(X6_998))))).
% 20.94/7.71 tff(c_4462, plain, (![X6_1000, X6_1001, X_1002]: (event('#skF_10', '#skF_14'(X6_1000, '#skF_16'('#skF_10', '#skF_13'(X6_1001), X_1002, '#skF_13'(X6_1000)))) | event('#skF_10', '#skF_14'(X6_1000, '#skF_17'('#skF_10', '#skF_13'(X6_1001), X_1002, '#skF_13'(X6_1000)))) | ~member('#skF_10', X6_1000, '#skF_11') | event('#skF_10', '#skF_14'(X6_1001, '#skF_18'('#skF_10', '#skF_13'(X6_1001)))) | ~member('#skF_10', X6_1001, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_1000)) | ~three('#skF_10', '#skF_13'(X6_1000)) | ~table('#skF_10', X_1002) | ~group('#skF_10', '#skF_13'(X6_1001))))).
% 20.94/7.71 tff(c_2332, plain, (![X6_241, X6_532, X_533]: (event('#skF_10', '#skF_14'(X6_241, '#skF_17'('#skF_10', '#skF_13'(X6_532), X_533, '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | sit('#skF_10', '#skF_14'(X6_532, '#skF_18'('#skF_10', '#skF_13'(X6_532)))) | ~member('#skF_10', X6_532, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_532), X_533, '#skF_13'(X6_241)), '#skF_13'(X6_241)) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_533) | ~group('#skF_10', '#skF_13'(X6_532))))).
% 20.94/7.71 tff(c_2295, plain, (![X6_241, X6_529, X_530]: (present('#skF_10', '#skF_14'(X6_241, '#skF_17'('#skF_10', '#skF_13'(X6_529), X_530, '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | event('#skF_10', '#skF_14'(X6_529, '#skF_18'('#skF_10', '#skF_13'(X6_529)))) | ~member('#skF_10', X6_529, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_529), X_530, '#skF_13'(X6_241)), '#skF_13'(X6_241)) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_530) | ~group('#skF_10', '#skF_13'(X6_529))))).
% 20.94/7.71 tff(c_2294, plain, (![X6_241, X6_529, X_530]: (sit('#skF_10', '#skF_14'(X6_241, '#skF_17'('#skF_10', '#skF_13'(X6_529), X_530, '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | event('#skF_10', '#skF_14'(X6_529, '#skF_18'('#skF_10', '#skF_13'(X6_529)))) | ~member('#skF_10', X6_529, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_529), X_530, '#skF_13'(X6_241)), '#skF_13'(X6_241)) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_530) | ~group('#skF_10', '#skF_13'(X6_529))))).
% 20.94/7.72 tff(c_2334, plain, (![X6_241, X6_532, X_533]: (present('#skF_10', '#skF_14'(X6_241, '#skF_17'('#skF_10', '#skF_13'(X6_532), X_533, '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | sit('#skF_10', '#skF_14'(X6_532, '#skF_18'('#skF_10', '#skF_13'(X6_532)))) | ~member('#skF_10', X6_532, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_532), X_533, '#skF_13'(X6_241)), '#skF_13'(X6_241)) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_533) | ~group('#skF_10', '#skF_13'(X6_532))))).
% 20.94/7.72 tff(c_2372, plain, (![X6_241, X6_535, X_536]: (sit('#skF_10', '#skF_14'(X6_241, '#skF_17'('#skF_10', '#skF_13'(X6_535), X_536, '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | present('#skF_10', '#skF_14'(X6_535, '#skF_18'('#skF_10', '#skF_13'(X6_535)))) | ~member('#skF_10', X6_535, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_535), X_536, '#skF_13'(X6_241)), '#skF_13'(X6_241)) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_536) | ~group('#skF_10', '#skF_13'(X6_535))))).
% 20.94/7.72 tff(c_2371, plain, (![X6_241, X6_535, X_536]: (event('#skF_10', '#skF_14'(X6_241, '#skF_17'('#skF_10', '#skF_13'(X6_535), X_536, '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | present('#skF_10', '#skF_14'(X6_535, '#skF_18'('#skF_10', '#skF_13'(X6_535)))) | ~member('#skF_10', X6_535, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_535), X_536, '#skF_13'(X6_241)), '#skF_13'(X6_241)) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_536) | ~group('#skF_10', '#skF_13'(X6_535))))).
% 20.94/7.72 tff(c_2293, plain, (![X6_241, X6_529, X_530]: (event('#skF_10', '#skF_14'(X6_241, '#skF_17'('#skF_10', '#skF_13'(X6_529), X_530, '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | event('#skF_10', '#skF_14'(X6_529, '#skF_18'('#skF_10', '#skF_13'(X6_529)))) | ~member('#skF_10', X6_529, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_529), X_530, '#skF_13'(X6_241)), '#skF_13'(X6_241)) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_530) | ~group('#skF_10', '#skF_13'(X6_529))))).
% 20.94/7.72 tff(c_2333, plain, (![X6_241, X6_532, X_533]: (sit('#skF_10', '#skF_14'(X6_241, '#skF_17'('#skF_10', '#skF_13'(X6_532), X_533, '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | sit('#skF_10', '#skF_14'(X6_532, '#skF_18'('#skF_10', '#skF_13'(X6_532)))) | ~member('#skF_10', X6_532, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_532), X_533, '#skF_13'(X6_241)), '#skF_13'(X6_241)) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_533) | ~group('#skF_10', '#skF_13'(X6_532))))).
% 20.94/7.72 tff(c_2373, plain, (![X6_241, X6_535, X_536]: (present('#skF_10', '#skF_14'(X6_241, '#skF_17'('#skF_10', '#skF_13'(X6_535), X_536, '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | present('#skF_10', '#skF_14'(X6_535, '#skF_18'('#skF_10', '#skF_13'(X6_535)))) | ~member('#skF_10', X6_535, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_535), X_536, '#skF_13'(X6_241)), '#skF_13'(X6_241)) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_536) | ~group('#skF_10', '#skF_13'(X6_535))))).
% 20.94/7.72 tff(c_3116, plain, (![X6_241, X_662, X6_663]: (present('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | hamburger('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_662, '#skF_13'(X6_663))) | agent('#skF_10', '#skF_14'(X6_663, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_662, '#skF_13'(X6_663))), X6_663) | ~member('#skF_10', X6_663, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_663)) | ~three('#skF_10', '#skF_13'(X6_663)) | ~table('#skF_10', X_662) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.72 tff(c_3115, plain, (![X6_241, X_662, X6_663]: (sit('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | hamburger('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_662, '#skF_13'(X6_663))) | agent('#skF_10', '#skF_14'(X6_663, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_662, '#skF_13'(X6_663))), X6_663) | ~member('#skF_10', X6_663, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_663)) | ~three('#skF_10', '#skF_13'(X6_663)) | ~table('#skF_10', X_662) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.72 tff(c_3114, plain, (![X6_241, X_662, X6_663]: (event('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | hamburger('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_662, '#skF_13'(X6_663))) | agent('#skF_10', '#skF_14'(X6_663, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_662, '#skF_13'(X6_663))), X6_663) | ~member('#skF_10', X6_663, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_663)) | ~three('#skF_10', '#skF_13'(X6_663)) | ~table('#skF_10', X_662) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.72 tff(c_2555, plain, (![X6_241, X_590, X6_591]: (agent('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241))), X6_241) | ~member('#skF_10', X6_241, '#skF_11') | hamburger('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_590, '#skF_13'(X6_591))) | sit('#skF_10', '#skF_14'(X6_591, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_590, '#skF_13'(X6_591)))) | ~member('#skF_10', X6_591, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_591)) | ~three('#skF_10', '#skF_13'(X6_591)) | ~table('#skF_10', X_590) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.72 tff(c_4316, plain, (![X6_852, X6_850, X_851]: (agent('#skF_10', '#skF_14'(X6_852, '#skF_16'('#skF_10', '#skF_13'(X6_850), X_851, '#skF_13'(X6_852))), X6_852) | hamburger('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_850), X_851, '#skF_13'(X6_852))) | ~member('#skF_10', X6_852, '#skF_11') | sit('#skF_10', '#skF_14'(X6_850, '#skF_18'('#skF_10', '#skF_13'(X6_850)))) | ~member('#skF_10', X6_850, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_852)) | ~three('#skF_10', '#skF_13'(X6_852)) | ~table('#skF_10', X_851) | ~group('#skF_10', '#skF_13'(X6_850))))).
% 20.94/7.72 tff(c_2709, plain, (![X6_241, X_602, X6_603]: (agent('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241))), X6_241) | ~member('#skF_10', X6_241, '#skF_11') | hamburger('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_602, '#skF_13'(X6_603))) | event('#skF_10', '#skF_14'(X6_603, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_602, '#skF_13'(X6_603)))) | ~member('#skF_10', X6_603, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_603)) | ~three('#skF_10', '#skF_13'(X6_603)) | ~table('#skF_10', X_602) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.72 tff(c_2632, plain, (![X6_241, X_596, X6_597]: (agent('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241))), X6_241) | ~member('#skF_10', X6_241, '#skF_11') | hamburger('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_596, '#skF_13'(X6_597))) | present('#skF_10', '#skF_14'(X6_597, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_596, '#skF_13'(X6_597)))) | ~member('#skF_10', X6_597, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_597)) | ~three('#skF_10', '#skF_13'(X6_597)) | ~table('#skF_10', X_596) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.72 tff(c_4364, plain, (![X6_936, X6_934, X_935]: (event('#skF_10', '#skF_14'(X6_936, '#skF_16'('#skF_10', '#skF_13'(X6_934), X_935, '#skF_13'(X6_936)))) | agent('#skF_10', '#skF_14'(X6_934, '#skF_18'('#skF_10', '#skF_13'(X6_934))), X6_934) | ~member('#skF_10', X6_934, '#skF_11') | hamburger('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_934), X_935, '#skF_13'(X6_936))) | ~member('#skF_10', X6_936, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_936)) | ~three('#skF_10', '#skF_13'(X6_936)) | ~table('#skF_10', X_935) | ~group('#skF_10', '#skF_13'(X6_934))))).
% 20.94/7.72 tff(c_4365, plain, (![X6_936, X6_934, X_935]: (sit('#skF_10', '#skF_14'(X6_936, '#skF_16'('#skF_10', '#skF_13'(X6_934), X_935, '#skF_13'(X6_936)))) | agent('#skF_10', '#skF_14'(X6_934, '#skF_18'('#skF_10', '#skF_13'(X6_934))), X6_934) | ~member('#skF_10', X6_934, '#skF_11') | hamburger('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_934), X_935, '#skF_13'(X6_936))) | ~member('#skF_10', X6_936, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_936)) | ~three('#skF_10', '#skF_13'(X6_936)) | ~table('#skF_10', X_935) | ~group('#skF_10', '#skF_13'(X6_934))))).
% 20.94/7.72 tff(c_3147, plain, (![X6_241, X6_667, X_669]: (hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_241))) | ~member('#skF_10', X6_241, '#skF_11') | agent('#skF_10', '#skF_14'(X6_667, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_669, '#skF_13'(X6_667))), X6_667) | event('#skF_10', '#skF_14'(X6_667, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_669, '#skF_13'(X6_667)))) | ~member('#skF_10', X6_667, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_667)) | ~three('#skF_10', '#skF_13'(X6_667)) | ~table('#skF_10', X_669) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.72 tff(c_4256, plain, (![X6_843, X6_841, X_842]: (agent('#skF_10', '#skF_14'(X6_843, '#skF_16'('#skF_10', '#skF_13'(X6_841), X_842, '#skF_13'(X6_843))), X6_843) | hamburger('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_841), X_842, '#skF_13'(X6_843))) | ~member('#skF_10', X6_843, '#skF_11') | present('#skF_10', '#skF_14'(X6_841, '#skF_18'('#skF_10', '#skF_13'(X6_841)))) | ~member('#skF_10', X6_841, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_843)) | ~three('#skF_10', '#skF_13'(X6_843)) | ~table('#skF_10', X_842) | ~group('#skF_10', '#skF_13'(X6_841))))).
% 20.94/7.72 tff(c_4216, plain, (![X6_836, X6_835, X_837]: (agent('#skF_10', '#skF_14'(X6_836, '#skF_16'('#skF_10', '#skF_13'(X6_835), X_837, '#skF_13'(X6_836))), X6_836) | hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_835))) | ~member('#skF_10', X6_835, '#skF_11') | present('#skF_10', '#skF_14'(X6_836, '#skF_17'('#skF_10', '#skF_13'(X6_835), X_837, '#skF_13'(X6_836)))) | ~member('#skF_10', X6_836, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_836)) | ~three('#skF_10', '#skF_13'(X6_836)) | ~table('#skF_10', X_837) | ~group('#skF_10', '#skF_13'(X6_835))))).
% 20.94/7.72 tff(c_4236, plain, (![X6_839, X6_838, X_840]: (agent('#skF_10', '#skF_14'(X6_839, '#skF_16'('#skF_10', '#skF_13'(X6_838), X_840, '#skF_13'(X6_839))), X6_839) | hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_838))) | ~member('#skF_10', X6_838, '#skF_11') | sit('#skF_10', '#skF_14'(X6_839, '#skF_17'('#skF_10', '#skF_13'(X6_838), X_840, '#skF_13'(X6_839)))) | ~member('#skF_10', X6_839, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_839)) | ~three('#skF_10', '#skF_13'(X6_839)) | ~table('#skF_10', X_840) | ~group('#skF_10', '#skF_13'(X6_838))))).
% 20.94/7.72 tff(c_4384, plain, (![X6_937, X6_938, X_939]: (event('#skF_10', '#skF_14'(X6_937, '#skF_16'('#skF_10', '#skF_13'(X6_938), X_939, '#skF_13'(X6_937)))) | agent('#skF_10', '#skF_14'(X6_937, '#skF_17'('#skF_10', '#skF_13'(X6_938), X_939, '#skF_13'(X6_937))), X6_937) | ~member('#skF_10', X6_937, '#skF_11') | hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_938))) | ~member('#skF_10', X6_938, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_937)) | ~three('#skF_10', '#skF_13'(X6_937)) | ~table('#skF_10', X_939) | ~group('#skF_10', '#skF_13'(X6_938))))).
% 20.94/7.72 tff(c_4366, plain, (![X6_936, X6_934, X_935]: (present('#skF_10', '#skF_14'(X6_936, '#skF_16'('#skF_10', '#skF_13'(X6_934), X_935, '#skF_13'(X6_936)))) | agent('#skF_10', '#skF_14'(X6_934, '#skF_18'('#skF_10', '#skF_13'(X6_934))), X6_934) | ~member('#skF_10', X6_934, '#skF_11') | hamburger('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_934), X_935, '#skF_13'(X6_936))) | ~member('#skF_10', X6_936, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_936)) | ~three('#skF_10', '#skF_13'(X6_936)) | ~table('#skF_10', X_935) | ~group('#skF_10', '#skF_13'(X6_934))))).
% 20.94/7.72 tff(c_4385, plain, (![X6_937, X6_938, X_939]: (sit('#skF_10', '#skF_14'(X6_937, '#skF_16'('#skF_10', '#skF_13'(X6_938), X_939, '#skF_13'(X6_937)))) | agent('#skF_10', '#skF_14'(X6_937, '#skF_17'('#skF_10', '#skF_13'(X6_938), X_939, '#skF_13'(X6_937))), X6_937) | ~member('#skF_10', X6_937, '#skF_11') | hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_938))) | ~member('#skF_10', X6_938, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_937)) | ~three('#skF_10', '#skF_13'(X6_937)) | ~table('#skF_10', X_939) | ~group('#skF_10', '#skF_13'(X6_938))))).
% 20.94/7.72 tff(c_4386, plain, (![X6_937, X6_938, X_939]: (present('#skF_10', '#skF_14'(X6_937, '#skF_16'('#skF_10', '#skF_13'(X6_938), X_939, '#skF_13'(X6_937)))) | agent('#skF_10', '#skF_14'(X6_937, '#skF_17'('#skF_10', '#skF_13'(X6_938), X_939, '#skF_13'(X6_937))), X6_937) | ~member('#skF_10', X6_937, '#skF_11') | hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_938))) | ~member('#skF_10', X6_938, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_937)) | ~three('#skF_10', '#skF_13'(X6_937)) | ~table('#skF_10', X_939) | ~group('#skF_10', '#skF_13'(X6_938))))).
% 20.94/7.72 tff(c_4296, plain, (![X6_849, X6_847, X_848]: (agent('#skF_10', '#skF_14'(X6_849, '#skF_16'('#skF_10', '#skF_13'(X6_847), X_848, '#skF_13'(X6_849))), X6_849) | event('#skF_10', '#skF_14'(X6_847, '#skF_18'('#skF_10', '#skF_13'(X6_847)))) | ~member('#skF_10', X6_847, '#skF_11') | hamburger('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_847), X_848, '#skF_13'(X6_849))) | ~member('#skF_10', X6_849, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_849)) | ~three('#skF_10', '#skF_13'(X6_849)) | ~table('#skF_10', X_848) | ~group('#skF_10', '#skF_13'(X6_847))))).
% 20.94/7.72 tff(c_2089, plain, (![X6_241, X6_511, X_512]: (agent('#skF_10', '#skF_14'(X6_241, '#skF_17'('#skF_10', '#skF_13'(X6_511), X_512, '#skF_13'(X6_241))), X6_241) | ~member('#skF_10', X6_241, '#skF_11') | hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_511))) | ~member('#skF_10', X6_511, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_511), X_512, '#skF_13'(X6_241)), '#skF_13'(X6_241)) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_512) | ~group('#skF_10', '#skF_13'(X6_511))))).
% 20.94/7.72 tff(c_2143, plain, (![X6_241, X_515, X6_516]: (agent('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241))), X6_241) | ~member('#skF_10', X6_241, '#skF_11') | hamburger('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_515, '#skF_13'(X6_516))) | ~member('#skF_10', X6_516, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_515, '#skF_13'(X6_516)), '#skF_13'(X6_516)) | ~group('#skF_10', '#skF_13'(X6_516)) | ~three('#skF_10', '#skF_13'(X6_516)) | ~table('#skF_10', X_515) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.72 tff(c_2558, plain, (![X6_241, X_590, X6_591]: (present('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | hamburger('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_590, '#skF_13'(X6_591))) | sit('#skF_10', '#skF_14'(X6_591, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_590, '#skF_13'(X6_591)))) | ~member('#skF_10', X6_591, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_591)) | ~three('#skF_10', '#skF_13'(X6_591)) | ~table('#skF_10', X_590) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.72 tff(c_2633, plain, (![X6_241, X_596, X6_597]: (event('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | hamburger('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_596, '#skF_13'(X6_597))) | present('#skF_10', '#skF_14'(X6_597, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_596, '#skF_13'(X6_597)))) | ~member('#skF_10', X6_597, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_597)) | ~three('#skF_10', '#skF_13'(X6_597)) | ~table('#skF_10', X_596) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.72 tff(c_2711, plain, (![X6_241, X_602, X6_603]: (sit('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | hamburger('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_602, '#skF_13'(X6_603))) | event('#skF_10', '#skF_14'(X6_603, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_602, '#skF_13'(X6_603)))) | ~member('#skF_10', X6_603, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_603)) | ~three('#skF_10', '#skF_13'(X6_603)) | ~table('#skF_10', X_602) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.72 tff(c_2712, plain, (![X6_241, X_602, X6_603]: (present('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | hamburger('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_602, '#skF_13'(X6_603))) | event('#skF_10', '#skF_14'(X6_603, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_602, '#skF_13'(X6_603)))) | ~member('#skF_10', X6_603, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_603)) | ~three('#skF_10', '#skF_13'(X6_603)) | ~table('#skF_10', X_602) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.72 tff(c_2556, plain, (![X6_241, X_590, X6_591]: (event('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | hamburger('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_590, '#skF_13'(X6_591))) | sit('#skF_10', '#skF_14'(X6_591, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_590, '#skF_13'(X6_591)))) | ~member('#skF_10', X6_591, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_591)) | ~three('#skF_10', '#skF_13'(X6_591)) | ~table('#skF_10', X_590) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.72 tff(c_4298, plain, (![X6_849, X6_847, X_848]: (sit('#skF_10', '#skF_14'(X6_849, '#skF_16'('#skF_10', '#skF_13'(X6_847), X_848, '#skF_13'(X6_849)))) | event('#skF_10', '#skF_14'(X6_847, '#skF_18'('#skF_10', '#skF_13'(X6_847)))) | ~member('#skF_10', X6_847, '#skF_11') | hamburger('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_847), X_848, '#skF_13'(X6_849))) | ~member('#skF_10', X6_849, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_849)) | ~three('#skF_10', '#skF_13'(X6_849)) | ~table('#skF_10', X_848) | ~group('#skF_10', '#skF_13'(X6_847))))).
% 20.94/7.72 tff(c_4257, plain, (![X6_843, X6_841, X_842]: (event('#skF_10', '#skF_14'(X6_843, '#skF_16'('#skF_10', '#skF_13'(X6_841), X_842, '#skF_13'(X6_843)))) | hamburger('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_841), X_842, '#skF_13'(X6_843))) | ~member('#skF_10', X6_843, '#skF_11') | present('#skF_10', '#skF_14'(X6_841, '#skF_18'('#skF_10', '#skF_13'(X6_841)))) | ~member('#skF_10', X6_841, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_843)) | ~three('#skF_10', '#skF_13'(X6_843)) | ~table('#skF_10', X_842) | ~group('#skF_10', '#skF_13'(X6_841))))).
% 20.94/7.72 tff(c_2634, plain, (![X6_241, X_596, X6_597]: (sit('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | hamburger('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_596, '#skF_13'(X6_597))) | present('#skF_10', '#skF_14'(X6_597, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_596, '#skF_13'(X6_597)))) | ~member('#skF_10', X6_597, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_597)) | ~three('#skF_10', '#skF_13'(X6_597)) | ~table('#skF_10', X_596) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.72 tff(c_4258, plain, (![X6_843, X6_841, X_842]: (sit('#skF_10', '#skF_14'(X6_843, '#skF_16'('#skF_10', '#skF_13'(X6_841), X_842, '#skF_13'(X6_843)))) | hamburger('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_841), X_842, '#skF_13'(X6_843))) | ~member('#skF_10', X6_843, '#skF_11') | present('#skF_10', '#skF_14'(X6_841, '#skF_18'('#skF_10', '#skF_13'(X6_841)))) | ~member('#skF_10', X6_841, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_843)) | ~three('#skF_10', '#skF_13'(X6_843)) | ~table('#skF_10', X_842) | ~group('#skF_10', '#skF_13'(X6_841))))).
% 20.94/7.72 tff(c_4239, plain, (![X6_839, X6_838, X_840]: (present('#skF_10', '#skF_14'(X6_839, '#skF_16'('#skF_10', '#skF_13'(X6_838), X_840, '#skF_13'(X6_839)))) | hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_838))) | ~member('#skF_10', X6_838, '#skF_11') | sit('#skF_10', '#skF_14'(X6_839, '#skF_17'('#skF_10', '#skF_13'(X6_838), X_840, '#skF_13'(X6_839)))) | ~member('#skF_10', X6_839, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_839)) | ~three('#skF_10', '#skF_13'(X6_839)) | ~table('#skF_10', X_840) | ~group('#skF_10', '#skF_13'(X6_838))))).
% 20.94/7.72 tff(c_4279, plain, (![X6_845, X6_844, X_846]: (present('#skF_10', '#skF_14'(X6_845, '#skF_16'('#skF_10', '#skF_13'(X6_844), X_846, '#skF_13'(X6_845)))) | hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_844))) | ~member('#skF_10', X6_844, '#skF_11') | event('#skF_10', '#skF_14'(X6_845, '#skF_17'('#skF_10', '#skF_13'(X6_844), X_846, '#skF_13'(X6_845)))) | ~member('#skF_10', X6_845, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_845)) | ~three('#skF_10', '#skF_13'(X6_845)) | ~table('#skF_10', X_846) | ~group('#skF_10', '#skF_13'(X6_844))))).
% 20.94/7.72 tff(c_4317, plain, (![X6_852, X6_850, X_851]: (event('#skF_10', '#skF_14'(X6_852, '#skF_16'('#skF_10', '#skF_13'(X6_850), X_851, '#skF_13'(X6_852)))) | hamburger('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_850), X_851, '#skF_13'(X6_852))) | ~member('#skF_10', X6_852, '#skF_11') | sit('#skF_10', '#skF_14'(X6_850, '#skF_18'('#skF_10', '#skF_13'(X6_850)))) | ~member('#skF_10', X6_850, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_852)) | ~three('#skF_10', '#skF_13'(X6_852)) | ~table('#skF_10', X_851) | ~group('#skF_10', '#skF_13'(X6_850))))).
% 20.94/7.72 tff(c_4217, plain, (![X6_836, X6_835, X_837]: (event('#skF_10', '#skF_14'(X6_836, '#skF_16'('#skF_10', '#skF_13'(X6_835), X_837, '#skF_13'(X6_836)))) | hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_835))) | ~member('#skF_10', X6_835, '#skF_11') | present('#skF_10', '#skF_14'(X6_836, '#skF_17'('#skF_10', '#skF_13'(X6_835), X_837, '#skF_13'(X6_836)))) | ~member('#skF_10', X6_836, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_836)) | ~three('#skF_10', '#skF_13'(X6_836)) | ~table('#skF_10', X_837) | ~group('#skF_10', '#skF_13'(X6_835))))).
% 20.94/7.73 tff(c_4218, plain, (![X6_836, X6_835, X_837]: (sit('#skF_10', '#skF_14'(X6_836, '#skF_16'('#skF_10', '#skF_13'(X6_835), X_837, '#skF_13'(X6_836)))) | hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_835))) | ~member('#skF_10', X6_835, '#skF_11') | present('#skF_10', '#skF_14'(X6_836, '#skF_17'('#skF_10', '#skF_13'(X6_835), X_837, '#skF_13'(X6_836)))) | ~member('#skF_10', X6_836, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_836)) | ~three('#skF_10', '#skF_13'(X6_836)) | ~table('#skF_10', X_837) | ~group('#skF_10', '#skF_13'(X6_835))))).
% 20.94/7.73 tff(c_4237, plain, (![X6_839, X6_838, X_840]: (event('#skF_10', '#skF_14'(X6_839, '#skF_16'('#skF_10', '#skF_13'(X6_838), X_840, '#skF_13'(X6_839)))) | hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_838))) | ~member('#skF_10', X6_838, '#skF_11') | sit('#skF_10', '#skF_14'(X6_839, '#skF_17'('#skF_10', '#skF_13'(X6_838), X_840, '#skF_13'(X6_839)))) | ~member('#skF_10', X6_839, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_839)) | ~three('#skF_10', '#skF_13'(X6_839)) | ~table('#skF_10', X_840) | ~group('#skF_10', '#skF_13'(X6_838))))).
% 20.94/7.73 tff(c_4278, plain, (![X6_845, X6_844, X_846]: (sit('#skF_10', '#skF_14'(X6_845, '#skF_16'('#skF_10', '#skF_13'(X6_844), X_846, '#skF_13'(X6_845)))) | hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_844))) | ~member('#skF_10', X6_844, '#skF_11') | event('#skF_10', '#skF_14'(X6_845, '#skF_17'('#skF_10', '#skF_13'(X6_844), X_846, '#skF_13'(X6_845)))) | ~member('#skF_10', X6_845, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_845)) | ~three('#skF_10', '#skF_13'(X6_845)) | ~table('#skF_10', X_846) | ~group('#skF_10', '#skF_13'(X6_844))))).
% 20.94/7.73 tff(c_4319, plain, (![X6_852, X6_850, X_851]: (present('#skF_10', '#skF_14'(X6_852, '#skF_16'('#skF_10', '#skF_13'(X6_850), X_851, '#skF_13'(X6_852)))) | hamburger('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_850), X_851, '#skF_13'(X6_852))) | ~member('#skF_10', X6_852, '#skF_11') | sit('#skF_10', '#skF_14'(X6_850, '#skF_18'('#skF_10', '#skF_13'(X6_850)))) | ~member('#skF_10', X6_850, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_852)) | ~three('#skF_10', '#skF_13'(X6_852)) | ~table('#skF_10', X_851) | ~group('#skF_10', '#skF_13'(X6_850))))).
% 20.94/7.73 tff(c_4299, plain, (![X6_849, X6_847, X_848]: (present('#skF_10', '#skF_14'(X6_849, '#skF_16'('#skF_10', '#skF_13'(X6_847), X_848, '#skF_13'(X6_849)))) | event('#skF_10', '#skF_14'(X6_847, '#skF_18'('#skF_10', '#skF_13'(X6_847)))) | ~member('#skF_10', X6_847, '#skF_11') | hamburger('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_847), X_848, '#skF_13'(X6_849))) | ~member('#skF_10', X6_849, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_849)) | ~three('#skF_10', '#skF_13'(X6_849)) | ~table('#skF_10', X_848) | ~group('#skF_10', '#skF_13'(X6_847))))).
% 20.94/7.73 tff(c_2557, plain, (![X6_241, X_590, X6_591]: (sit('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | hamburger('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_590, '#skF_13'(X6_591))) | sit('#skF_10', '#skF_14'(X6_591, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_590, '#skF_13'(X6_591)))) | ~member('#skF_10', X6_591, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_591)) | ~three('#skF_10', '#skF_13'(X6_591)) | ~table('#skF_10', X_590) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.73 tff(c_2635, plain, (![X6_241, X_596, X6_597]: (present('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | hamburger('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_596, '#skF_13'(X6_597))) | present('#skF_10', '#skF_14'(X6_597, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_596, '#skF_13'(X6_597)))) | ~member('#skF_10', X6_597, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_597)) | ~three('#skF_10', '#skF_13'(X6_597)) | ~table('#skF_10', X_596) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.73 tff(c_2710, plain, (![X6_241, X_602, X6_603]: (event('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | hamburger('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_602, '#skF_13'(X6_603))) | event('#skF_10', '#skF_14'(X6_603, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_602, '#skF_13'(X6_603)))) | ~member('#skF_10', X6_603, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_603)) | ~three('#skF_10', '#skF_13'(X6_603)) | ~table('#skF_10', X_602) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.73 tff(c_4259, plain, (![X6_843, X6_841, X_842]: (present('#skF_10', '#skF_14'(X6_843, '#skF_16'('#skF_10', '#skF_13'(X6_841), X_842, '#skF_13'(X6_843)))) | hamburger('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_841), X_842, '#skF_13'(X6_843))) | ~member('#skF_10', X6_843, '#skF_11') | present('#skF_10', '#skF_14'(X6_841, '#skF_18'('#skF_10', '#skF_13'(X6_841)))) | ~member('#skF_10', X6_841, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_843)) | ~three('#skF_10', '#skF_13'(X6_843)) | ~table('#skF_10', X_842) | ~group('#skF_10', '#skF_13'(X6_841))))).
% 20.94/7.73 tff(c_4297, plain, (![X6_849, X6_847, X_848]: (event('#skF_10', '#skF_14'(X6_849, '#skF_16'('#skF_10', '#skF_13'(X6_847), X_848, '#skF_13'(X6_849)))) | event('#skF_10', '#skF_14'(X6_847, '#skF_18'('#skF_10', '#skF_13'(X6_847)))) | ~member('#skF_10', X6_847, '#skF_11') | hamburger('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_847), X_848, '#skF_13'(X6_849))) | ~member('#skF_10', X6_849, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_849)) | ~three('#skF_10', '#skF_13'(X6_849)) | ~table('#skF_10', X_848) | ~group('#skF_10', '#skF_13'(X6_847))))).
% 20.94/7.73 tff(c_4219, plain, (![X6_836, X6_835, X_837]: (present('#skF_10', '#skF_14'(X6_836, '#skF_16'('#skF_10', '#skF_13'(X6_835), X_837, '#skF_13'(X6_836)))) | hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_835))) | ~member('#skF_10', X6_835, '#skF_11') | present('#skF_10', '#skF_14'(X6_836, '#skF_17'('#skF_10', '#skF_13'(X6_835), X_837, '#skF_13'(X6_836)))) | ~member('#skF_10', X6_836, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_836)) | ~three('#skF_10', '#skF_13'(X6_836)) | ~table('#skF_10', X_837) | ~group('#skF_10', '#skF_13'(X6_835))))).
% 20.94/7.73 tff(c_4238, plain, (![X6_839, X6_838, X_840]: (sit('#skF_10', '#skF_14'(X6_839, '#skF_16'('#skF_10', '#skF_13'(X6_838), X_840, '#skF_13'(X6_839)))) | hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_838))) | ~member('#skF_10', X6_838, '#skF_11') | sit('#skF_10', '#skF_14'(X6_839, '#skF_17'('#skF_10', '#skF_13'(X6_838), X_840, '#skF_13'(X6_839)))) | ~member('#skF_10', X6_839, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_839)) | ~three('#skF_10', '#skF_13'(X6_839)) | ~table('#skF_10', X_840) | ~group('#skF_10', '#skF_13'(X6_838))))).
% 20.94/7.73 tff(c_4277, plain, (![X6_845, X6_844, X_846]: (event('#skF_10', '#skF_14'(X6_845, '#skF_16'('#skF_10', '#skF_13'(X6_844), X_846, '#skF_13'(X6_845)))) | hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_844))) | ~member('#skF_10', X6_844, '#skF_11') | event('#skF_10', '#skF_14'(X6_845, '#skF_17'('#skF_10', '#skF_13'(X6_844), X_846, '#skF_13'(X6_845)))) | ~member('#skF_10', X6_845, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_845)) | ~three('#skF_10', '#skF_13'(X6_845)) | ~table('#skF_10', X_846) | ~group('#skF_10', '#skF_13'(X6_844))))).
% 20.94/7.73 tff(c_4318, plain, (![X6_852, X6_850, X_851]: (sit('#skF_10', '#skF_14'(X6_852, '#skF_16'('#skF_10', '#skF_13'(X6_850), X_851, '#skF_13'(X6_852)))) | hamburger('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_850), X_851, '#skF_13'(X6_852))) | ~member('#skF_10', X6_852, '#skF_11') | sit('#skF_10', '#skF_14'(X6_850, '#skF_18'('#skF_10', '#skF_13'(X6_850)))) | ~member('#skF_10', X6_850, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_852)) | ~three('#skF_10', '#skF_13'(X6_852)) | ~table('#skF_10', X_851) | ~group('#skF_10', '#skF_13'(X6_850))))).
% 20.94/7.73 tff(c_2335, plain, (![X6_532, X_533, X6_241]: (hamburger('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_532), X_533, '#skF_13'(X6_241))) | ~member('#skF_10', X6_241, '#skF_11') | sit('#skF_10', '#skF_14'(X6_532, '#skF_18'('#skF_10', '#skF_13'(X6_532)))) | ~member('#skF_10', X6_532, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_532), X_533, '#skF_13'(X6_241)), '#skF_13'(X6_241)) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_533) | ~group('#skF_10', '#skF_13'(X6_532))))).
% 20.94/7.73 tff(c_2144, plain, (![X6_241, X_515, X6_516]: (event('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | hamburger('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_515, '#skF_13'(X6_516))) | ~member('#skF_10', X6_516, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_515, '#skF_13'(X6_516)), '#skF_13'(X6_516)) | ~group('#skF_10', '#skF_13'(X6_516)) | ~three('#skF_10', '#skF_13'(X6_516)) | ~table('#skF_10', X_515) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.73 tff(c_2684, plain, (![X6_241, X6_598, X_600]: (hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_241))) | ~member('#skF_10', X6_241, '#skF_11') | event('#skF_10', '#skF_14'(X6_598, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_600, '#skF_13'(X6_598)))) | ~member('#skF_10', X6_598, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_600, '#skF_13'(X6_598)), '#skF_13'(X6_598)) | ~group('#skF_10', '#skF_13'(X6_598)) | ~three('#skF_10', '#skF_13'(X6_598)) | ~table('#skF_10', X_600) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.73 tff(c_2374, plain, (![X6_535, X_536, X6_241]: (hamburger('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_535), X_536, '#skF_13'(X6_241))) | ~member('#skF_10', X6_241, '#skF_11') | present('#skF_10', '#skF_14'(X6_535, '#skF_18'('#skF_10', '#skF_13'(X6_535)))) | ~member('#skF_10', X6_535, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_535), X_536, '#skF_13'(X6_241)), '#skF_13'(X6_241)) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_536) | ~group('#skF_10', '#skF_13'(X6_535))))).
% 20.94/7.73 tff(c_2530, plain, (![X6_241, X6_586, X_588]: (hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_241))) | ~member('#skF_10', X6_241, '#skF_11') | sit('#skF_10', '#skF_14'(X6_586, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_588, '#skF_13'(X6_586)))) | ~member('#skF_10', X6_586, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_588, '#skF_13'(X6_586)), '#skF_13'(X6_586)) | ~group('#skF_10', '#skF_13'(X6_586)) | ~three('#skF_10', '#skF_13'(X6_586)) | ~table('#skF_10', X_588) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.73 tff(c_2607, plain, (![X6_241, X6_592, X_594]: (hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_241))) | ~member('#skF_10', X6_241, '#skF_11') | present('#skF_10', '#skF_14'(X6_592, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_594, '#skF_13'(X6_592)))) | ~member('#skF_10', X6_592, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_594, '#skF_13'(X6_592)), '#skF_13'(X6_592)) | ~group('#skF_10', '#skF_13'(X6_592)) | ~three('#skF_10', '#skF_13'(X6_592)) | ~table('#skF_10', X_594) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.73 tff(c_3631, plain, (![X6_241, X_717, Y_718]: (agent('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241))), X6_241) | ~member('#skF_10', X6_241, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_717, Y_718), Y_718) | ~young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_717, Y_718)) | ~guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_717, Y_718)) | ~group('#skF_10', Y_718) | ~three('#skF_10', Y_718) | ~table('#skF_10', X_717) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.73 tff(c_3610, plain, (![X6_241, V_716, X_717]: (agent('#skF_10', '#skF_14'(X6_241, '#skF_16'('#skF_10', V_716, X_717, '#skF_13'(X6_241))), X6_241) | ~member('#skF_10', X6_241, '#skF_11') | ~young('#skF_10', '#skF_17'('#skF_10', V_716, X_717, '#skF_13'(X6_241))) | ~guy('#skF_10', '#skF_17'('#skF_10', V_716, X_717, '#skF_13'(X6_241))) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_717) | member('#skF_10', '#skF_18'('#skF_10', V_716), V_716) | ~group('#skF_10', V_716)))).
% 20.94/7.73 tff(c_3117, plain, (![X6_241, X_662, X6_663]: (hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_241))) | ~member('#skF_10', X6_241, '#skF_11') | hamburger('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_662, '#skF_13'(X6_663))) | agent('#skF_10', '#skF_14'(X6_663, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_662, '#skF_13'(X6_663))), X6_663) | ~member('#skF_10', X6_663, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_663)) | ~three('#skF_10', '#skF_13'(X6_663)) | ~table('#skF_10', X_662) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.73 tff(c_2172, plain, (![X6_241, X_518, X6_519]: (agent('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241))), X6_241) | ~member('#skF_10', X6_241, '#skF_11') | hamburger('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_518, '#skF_13'(X6_519))) | hamburger('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_518, '#skF_13'(X6_519))) | ~member('#skF_10', X6_519, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_519)) | ~three('#skF_10', '#skF_13'(X6_519)) | ~table('#skF_10', X_518) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.73 tff(c_3911, plain, (![X6_771, X6_769, X_770]: (agent('#skF_10', '#skF_14'(X6_771, '#skF_16'('#skF_10', '#skF_13'(X6_769), X_770, '#skF_13'(X6_771))), X6_771) | hamburger('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_769), X_770, '#skF_13'(X6_771))) | ~member('#skF_10', X6_771, '#skF_11') | hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_769))) | ~member('#skF_10', X6_769, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_771)) | ~three('#skF_10', '#skF_13'(X6_771)) | ~table('#skF_10', X_770) | ~group('#skF_10', '#skF_13'(X6_769))))).
% 20.94/7.73 tff(c_3619, plain, (![X6_241, V_716, X_717]: (present('#skF_10', '#skF_14'(X6_241, '#skF_16'('#skF_10', V_716, X_717, '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | ~young('#skF_10', '#skF_17'('#skF_10', V_716, X_717, '#skF_13'(X6_241))) | ~guy('#skF_10', '#skF_17'('#skF_10', V_716, X_717, '#skF_13'(X6_241))) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_717) | member('#skF_10', '#skF_18'('#skF_10', V_716), V_716) | ~group('#skF_10', V_716)))).
% 20.94/7.73 tff(c_3616, plain, (![X6_241, V_716, X_717]: (sit('#skF_10', '#skF_14'(X6_241, '#skF_16'('#skF_10', V_716, X_717, '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | ~young('#skF_10', '#skF_17'('#skF_10', V_716, X_717, '#skF_13'(X6_241))) | ~guy('#skF_10', '#skF_17'('#skF_10', V_716, X_717, '#skF_13'(X6_241))) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_717) | member('#skF_10', '#skF_18'('#skF_10', V_716), V_716) | ~group('#skF_10', V_716)))).
% 20.94/7.73 tff(c_3634, plain, (![X6_241, X_717, Y_718]: (event('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_717, Y_718), Y_718) | ~young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_717, Y_718)) | ~guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_717, Y_718)) | ~group('#skF_10', Y_718) | ~three('#skF_10', Y_718) | ~table('#skF_10', X_717) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.73 tff(c_3637, plain, (![X6_241, X_717, Y_718]: (sit('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_717, Y_718), Y_718) | ~young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_717, Y_718)) | ~guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_717, Y_718)) | ~group('#skF_10', Y_718) | ~three('#skF_10', Y_718) | ~table('#skF_10', X_717) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.73 tff(c_3640, plain, (![X6_241, X_717, Y_718]: (present('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_717, Y_718), Y_718) | ~young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_717, Y_718)) | ~guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_717, Y_718)) | ~group('#skF_10', Y_718) | ~three('#skF_10', Y_718) | ~table('#skF_10', X_717) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.73 tff(c_3613, plain, (![X6_241, V_716, X_717]: (event('#skF_10', '#skF_14'(X6_241, '#skF_16'('#skF_10', V_716, X_717, '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | ~young('#skF_10', '#skF_17'('#skF_10', V_716, X_717, '#skF_13'(X6_241))) | ~guy('#skF_10', '#skF_17'('#skF_10', V_716, X_717, '#skF_13'(X6_241))) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_717) | member('#skF_10', '#skF_18'('#skF_10', V_716), V_716) | ~group('#skF_10', V_716)))).
% 20.94/7.73 tff(c_3369, plain, (![X6_241, V_694, X_695]: (agent('#skF_10', '#skF_14'(X6_241, '#skF_16'('#skF_10', V_694, X_695, '#skF_13'(X6_241))), X6_241) | ~member('#skF_10', X6_241, '#skF_11') | ~young('#skF_10', '#skF_17'('#skF_10', V_694, X_695, '#skF_13'(X6_241))) | ~guy('#skF_10', '#skF_17'('#skF_10', V_694, X_695, '#skF_13'(X6_241))) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_695) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_694)) | ~group('#skF_10', V_694)))).
% 20.94/7.73 tff(c_2205, plain, (![X6_241, X6_520, X_522]: (hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_241))) | ~member('#skF_10', X6_241, '#skF_11') | event('#skF_10', '#skF_14'(X6_520, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_522, '#skF_13'(X6_520)))) | hamburger('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_522, '#skF_13'(X6_520))) | ~member('#skF_10', X6_520, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_520)) | ~three('#skF_10', '#skF_13'(X6_520)) | ~table('#skF_10', X_522) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.73 tff(c_2174, plain, (![X6_241, X_518, X6_519]: (sit('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | hamburger('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_518, '#skF_13'(X6_519))) | hamburger('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_518, '#skF_13'(X6_519))) | ~member('#skF_10', X6_519, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_519)) | ~three('#skF_10', '#skF_13'(X6_519)) | ~table('#skF_10', X_518) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.73 tff(c_2173, plain, (![X6_241, X_518, X6_519]: (event('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | hamburger('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_518, '#skF_13'(X6_519))) | hamburger('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_518, '#skF_13'(X6_519))) | ~member('#skF_10', X6_519, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_519)) | ~three('#skF_10', '#skF_13'(X6_519)) | ~table('#skF_10', X_518) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.73 tff(c_2175, plain, (![X6_241, X_518, X6_519]: (present('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | hamburger('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_518, '#skF_13'(X6_519))) | hamburger('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_518, '#skF_13'(X6_519))) | ~member('#skF_10', X6_519, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_519)) | ~three('#skF_10', '#skF_13'(X6_519)) | ~table('#skF_10', X_518) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.73 tff(c_2234, plain, (![X6_241, X6_523, X_525]: (hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_241))) | ~member('#skF_10', X6_241, '#skF_11') | sit('#skF_10', '#skF_14'(X6_523, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_525, '#skF_13'(X6_523)))) | hamburger('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_525, '#skF_13'(X6_523))) | ~member('#skF_10', X6_523, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_523)) | ~three('#skF_10', '#skF_13'(X6_523)) | ~table('#skF_10', X_525) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.73 tff(c_2263, plain, (![X6_241, X6_526, X_528]: (hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_241))) | ~member('#skF_10', X6_241, '#skF_11') | present('#skF_10', '#skF_14'(X6_526, '#skF_16'('#skF_10', '#skF_13'(X6_241), X_528, '#skF_13'(X6_526)))) | hamburger('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_528, '#skF_13'(X6_526))) | ~member('#skF_10', X6_526, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_526)) | ~three('#skF_10', '#skF_13'(X6_526)) | ~table('#skF_10', X_528) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.73 tff(c_2636, plain, (![X6_241, X_596, X6_597]: (hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_241))) | ~member('#skF_10', X6_241, '#skF_11') | hamburger('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_596, '#skF_13'(X6_597))) | present('#skF_10', '#skF_14'(X6_597, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_596, '#skF_13'(X6_597)))) | ~member('#skF_10', X6_597, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_597)) | ~three('#skF_10', '#skF_13'(X6_597)) | ~table('#skF_10', X_596) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.73 tff(c_2713, plain, (![X6_241, X_602, X6_603]: (hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_241))) | ~member('#skF_10', X6_241, '#skF_11') | hamburger('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_602, '#skF_13'(X6_603))) | event('#skF_10', '#skF_14'(X6_603, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_602, '#skF_13'(X6_603)))) | ~member('#skF_10', X6_603, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_603)) | ~three('#skF_10', '#skF_13'(X6_603)) | ~table('#skF_10', X_602) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.73 tff(c_2559, plain, (![X6_241, X_590, X6_591]: (hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_241))) | ~member('#skF_10', X6_241, '#skF_11') | hamburger('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_590, '#skF_13'(X6_591))) | sit('#skF_10', '#skF_14'(X6_591, '#skF_17'('#skF_10', '#skF_13'(X6_241), X_590, '#skF_13'(X6_591)))) | ~member('#skF_10', X6_591, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_591)) | ~three('#skF_10', '#skF_13'(X6_591)) | ~table('#skF_10', X_590) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.73 tff(c_2093, plain, (![X6_511, X_512, X6_241]: (hamburger('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_511), X_512, '#skF_13'(X6_241))) | ~member('#skF_10', X6_241, '#skF_11') | hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_511))) | ~member('#skF_10', X6_511, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_511), X_512, '#skF_13'(X6_241)), '#skF_13'(X6_241)) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_512) | ~group('#skF_10', '#skF_13'(X6_511))))).
% 20.94/7.74 tff(c_3375, plain, (![X6_241, V_694, X_695]: (sit('#skF_10', '#skF_14'(X6_241, '#skF_16'('#skF_10', V_694, X_695, '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | ~young('#skF_10', '#skF_17'('#skF_10', V_694, X_695, '#skF_13'(X6_241))) | ~guy('#skF_10', '#skF_17'('#skF_10', V_694, X_695, '#skF_13'(X6_241))) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_695) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_694)) | ~group('#skF_10', V_694)))).
% 20.94/7.74 tff(c_3372, plain, (![X6_241, V_694, X_695]: (event('#skF_10', '#skF_14'(X6_241, '#skF_16'('#skF_10', V_694, X_695, '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | ~young('#skF_10', '#skF_17'('#skF_10', V_694, X_695, '#skF_13'(X6_241))) | ~guy('#skF_10', '#skF_17'('#skF_10', V_694, X_695, '#skF_13'(X6_241))) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_695) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_694)) | ~group('#skF_10', V_694)))).
% 20.94/7.74 tff(c_3378, plain, (![X6_241, V_694, X_695]: (present('#skF_10', '#skF_14'(X6_241, '#skF_16'('#skF_10', V_694, X_695, '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | ~young('#skF_10', '#skF_17'('#skF_10', V_694, X_695, '#skF_13'(X6_241))) | ~guy('#skF_10', '#skF_17'('#skF_10', V_694, X_695, '#skF_13'(X6_241))) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_695) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_694)) | ~group('#skF_10', V_694)))).
% 20.94/7.74 tff(c_3622, plain, (![V_716, X_717, X6_241]: (hamburger('#skF_10', '#skF_16'('#skF_10', V_716, X_717, '#skF_13'(X6_241))) | ~member('#skF_10', X6_241, '#skF_11') | ~young('#skF_10', '#skF_17'('#skF_10', V_716, X_717, '#skF_13'(X6_241))) | ~guy('#skF_10', '#skF_17'('#skF_10', V_716, X_717, '#skF_13'(X6_241))) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_717) | member('#skF_10', '#skF_18'('#skF_10', V_716), V_716) | ~group('#skF_10', V_716)))).
% 20.94/7.74 tff(c_3643, plain, (![X6_241, X_717, Y_718]: (hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_241))) | ~member('#skF_10', X6_241, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_717, Y_718), Y_718) | ~young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_717, Y_718)) | ~guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_717, Y_718)) | ~group('#skF_10', Y_718) | ~three('#skF_10', Y_718) | ~table('#skF_10', X_717) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.74 tff(c_3721, plain, (![X6_241, X_722]: (agent('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241))), X6_241) | ~member('#skF_10', X6_241, '#skF_11') | ~guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_722, '#skF_11')) | young('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_722, '#skF_11')) | ~table('#skF_10', X_722) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.74 tff(c_3723, plain, (![X6_241, X_722]: (sit('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | ~guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_722, '#skF_11')) | young('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_722, '#skF_11')) | ~table('#skF_10', X_722) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.74 tff(c_3724, plain, (![X6_241, X_722]: (present('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | ~guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_722, '#skF_11')) | young('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_722, '#skF_11')) | ~table('#skF_10', X_722) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.74 tff(c_3722, plain, (![X6_241, X_722]: (event('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | ~guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_722, '#skF_11')) | young('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_722, '#skF_11')) | ~table('#skF_10', X_722) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.74 tff(c_3725, plain, (![X6_241, X_722]: (hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_241))) | ~member('#skF_10', X6_241, '#skF_11') | ~guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_722, '#skF_11')) | young('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_722, '#skF_11')) | ~table('#skF_10', X_722) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.74 tff(c_3844, plain, (![X6_729, X_412]: (~member('#skF_10', X6_729, '#skF_11') | ~table('#skF_10', X_412) | ~group('#skF_10', '#skF_13'(X6_729)) | guy('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_729), X_412, '#skF_11'))))).
% 20.94/7.74 tff(c_3781, plain, (![V_445, X_446]: (guy('#skF_10', '#skF_16'('#skF_10', V_445, X_446, '#skF_11')) | ~table('#skF_10', X_446) | member('#skF_10', '#skF_18'('#skF_10', V_445), V_445) | ~group('#skF_10', V_445)))).
% 20.94/7.74 tff(c_3690, plain, (![V_439, X_440]: (~guy('#skF_10', '#skF_17'('#skF_10', V_439, X_440, '#skF_11')) | young('#skF_10', '#skF_16'('#skF_10', V_439, X_440, '#skF_11')) | ~table('#skF_10', X_440) | member('#skF_10', '#skF_18'('#skF_10', V_439), V_439) | ~group('#skF_10', V_439)))).
% 20.94/7.74 tff(c_3552, plain, (![U_260, V_306, X_339, Y_340]: (member(U_260, '#skF_16'(U_260, V_306, X_339, Y_340), Y_340) | ~young(U_260, '#skF_17'(U_260, V_306, X_339, Y_340)) | ~guy(U_260, '#skF_17'(U_260, V_306, X_339, Y_340)) | ~group(U_260, Y_340) | ~three(U_260, Y_340) | ~table(U_260, X_339) | member(U_260, '#skF_18'(U_260, V_306), V_306) | ~group(U_260, V_306) | ~actual_world(U_260)))).
% 20.94/7.74 tff(c_2176, plain, (![X6_241, X_518, X6_519]: (hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_241))) | ~member('#skF_10', X6_241, '#skF_11') | hamburger('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_518, '#skF_13'(X6_519))) | hamburger('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_518, '#skF_13'(X6_519))) | ~member('#skF_10', X6_519, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_519)) | ~three('#skF_10', '#skF_13'(X6_519)) | ~table('#skF_10', X_518) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.74 tff(c_3381, plain, (![V_694, X_695, X6_241]: (hamburger('#skF_10', '#skF_16'('#skF_10', V_694, X_695, '#skF_13'(X6_241))) | ~member('#skF_10', X6_241, '#skF_11') | ~young('#skF_10', '#skF_17'('#skF_10', V_694, X_695, '#skF_13'(X6_241))) | ~guy('#skF_10', '#skF_17'('#skF_10', V_694, X_695, '#skF_13'(X6_241))) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_695) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_694)) | ~group('#skF_10', V_694)))).
% 20.94/7.74 tff(c_3501, plain, (![V_405, X_406]: (~guy('#skF_10', '#skF_17'('#skF_10', V_405, X_406, '#skF_11')) | guy('#skF_10', '#skF_16'('#skF_10', V_405, X_406, '#skF_11')) | ~table('#skF_10', X_406) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_405)) | ~group('#skF_10', V_405)))).
% 20.94/7.74 tff(c_3444, plain, (![V_405, X_406]: (~guy('#skF_10', '#skF_17'('#skF_10', V_405, X_406, '#skF_11')) | young('#skF_10', '#skF_16'('#skF_10', V_405, X_406, '#skF_11')) | ~table('#skF_10', X_406) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_405)) | ~group('#skF_10', V_405)))).
% 20.94/7.74 tff(c_3337, plain, (![U_260, V_306, X_339, Y_340]: (member(U_260, '#skF_16'(U_260, V_306, X_339, Y_340), Y_340) | ~young(U_260, '#skF_17'(U_260, V_306, X_339, Y_340)) | ~guy(U_260, '#skF_17'(U_260, V_306, X_339, Y_340)) | ~group(U_260, Y_340) | ~three(U_260, Y_340) | ~table(U_260, X_339) | ~hamburger(U_260, '#skF_18'(U_260, V_306)) | ~group(U_260, V_306) | ~actual_world(U_260)))).
% 20.94/7.74 tff(c_3079, plain, (![X6_658, V_659, X_660]: (agent('#skF_10', '#skF_14'(X6_658, '#skF_16'('#skF_10', V_659, X_660, '#skF_13'(X6_658))), X6_658) | agent('#skF_10', '#skF_14'(X6_658, '#skF_17'('#skF_10', V_659, X_660, '#skF_13'(X6_658))), X6_658) | ~member('#skF_10', X6_658, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_658)) | ~three('#skF_10', '#skF_13'(X6_658)) | ~table('#skF_10', X_660) | member('#skF_10', '#skF_18'('#skF_10', V_659), V_659) | ~group('#skF_10', V_659)))).
% 20.94/7.74 tff(c_3080, plain, (![X6_658, V_659, X_660]: (event('#skF_10', '#skF_14'(X6_658, '#skF_16'('#skF_10', V_659, X_660, '#skF_13'(X6_658)))) | agent('#skF_10', '#skF_14'(X6_658, '#skF_17'('#skF_10', V_659, X_660, '#skF_13'(X6_658))), X6_658) | ~member('#skF_10', X6_658, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_658)) | ~three('#skF_10', '#skF_13'(X6_658)) | ~table('#skF_10', X_660) | member('#skF_10', '#skF_18'('#skF_10', V_659), V_659) | ~group('#skF_10', V_659)))).
% 20.94/7.74 tff(c_2598, plain, (![X6_592, V_593, X_594]: (agent('#skF_10', '#skF_14'(X6_592, '#skF_16'('#skF_10', V_593, X_594, '#skF_13'(X6_592))), X6_592) | present('#skF_10', '#skF_14'(X6_592, '#skF_17'('#skF_10', V_593, X_594, '#skF_13'(X6_592)))) | ~member('#skF_10', X6_592, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_592)) | ~three('#skF_10', '#skF_13'(X6_592)) | ~table('#skF_10', X_594) | member('#skF_10', '#skF_18'('#skF_10', V_593), V_593) | ~group('#skF_10', V_593)))).
% 20.94/7.74 tff(c_3081, plain, (![X6_658, V_659, X_660]: (sit('#skF_10', '#skF_14'(X6_658, '#skF_16'('#skF_10', V_659, X_660, '#skF_13'(X6_658)))) | agent('#skF_10', '#skF_14'(X6_658, '#skF_17'('#skF_10', V_659, X_660, '#skF_13'(X6_658))), X6_658) | ~member('#skF_10', X6_658, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_658)) | ~three('#skF_10', '#skF_13'(X6_658)) | ~table('#skF_10', X_660) | member('#skF_10', '#skF_18'('#skF_10', V_659), V_659) | ~group('#skF_10', V_659)))).
% 20.94/7.74 tff(c_3082, plain, (![X6_658, V_659, X_660]: (present('#skF_10', '#skF_14'(X6_658, '#skF_16'('#skF_10', V_659, X_660, '#skF_13'(X6_658)))) | agent('#skF_10', '#skF_14'(X6_658, '#skF_17'('#skF_10', V_659, X_660, '#skF_13'(X6_658))), X6_658) | ~member('#skF_10', X6_658, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_658)) | ~three('#skF_10', '#skF_13'(X6_658)) | ~table('#skF_10', X_660) | member('#skF_10', '#skF_18'('#skF_10', V_659), V_659) | ~group('#skF_10', V_659)))).
% 20.94/7.74 tff(c_2521, plain, (![X6_586, V_587, X_588]: (agent('#skF_10', '#skF_14'(X6_586, '#skF_16'('#skF_10', V_587, X_588, '#skF_13'(X6_586))), X6_586) | sit('#skF_10', '#skF_14'(X6_586, '#skF_17'('#skF_10', V_587, X_588, '#skF_13'(X6_586)))) | ~member('#skF_10', X6_586, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_586)) | ~three('#skF_10', '#skF_13'(X6_586)) | ~table('#skF_10', X_588) | member('#skF_10', '#skF_18'('#skF_10', V_587), V_587) | ~group('#skF_10', V_587)))).
% 20.94/7.74 tff(c_2675, plain, (![X6_598, V_599, X_600]: (agent('#skF_10', '#skF_14'(X6_598, '#skF_16'('#skF_10', V_599, X_600, '#skF_13'(X6_598))), X6_598) | event('#skF_10', '#skF_14'(X6_598, '#skF_17'('#skF_10', V_599, X_600, '#skF_13'(X6_598)))) | ~member('#skF_10', X6_598, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_598)) | ~three('#skF_10', '#skF_13'(X6_598)) | ~table('#skF_10', X_600) | member('#skF_10', '#skF_18'('#skF_10', V_599), V_599) | ~group('#skF_10', V_599)))).
% 20.94/7.74 tff(c_2729, plain, (![X6_604, V_605, X_606]: (agent('#skF_10', '#skF_14'(X6_604, '#skF_16'('#skF_10', V_605, X_606, '#skF_13'(X6_604))), X6_604) | agent('#skF_10', '#skF_14'(X6_604, '#skF_17'('#skF_10', V_605, X_606, '#skF_13'(X6_604))), X6_604) | ~member('#skF_10', X6_604, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_604)) | ~three('#skF_10', '#skF_13'(X6_604)) | ~table('#skF_10', X_606) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_605)) | ~group('#skF_10', V_605)))).
% 20.94/7.74 tff(c_3083, plain, (![V_659, X_660, X6_658]: (hamburger('#skF_10', '#skF_16'('#skF_10', V_659, X_660, '#skF_13'(X6_658))) | agent('#skF_10', '#skF_14'(X6_658, '#skF_17'('#skF_10', V_659, X_660, '#skF_13'(X6_658))), X6_658) | ~member('#skF_10', X6_658, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_658)) | ~three('#skF_10', '#skF_13'(X6_658)) | ~table('#skF_10', X_660) | member('#skF_10', '#skF_18'('#skF_10', V_659), V_659) | ~group('#skF_10', V_659)))).
% 20.94/7.74 tff(c_1658, plain, (![X6_241, V_436, X_437]: (agent('#skF_10', '#skF_14'(X6_241, '#skF_17'('#skF_10', V_436, X_437, '#skF_13'(X6_241))), X6_241) | ~member('#skF_10', X6_241, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', V_436, X_437, '#skF_13'(X6_241)), '#skF_13'(X6_241)) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_437) | member('#skF_10', '#skF_18'('#skF_10', V_436), V_436) | ~group('#skF_10', V_436)))).
% 20.94/7.74 tff(c_2522, plain, (![X6_586, V_587, X_588]: (event('#skF_10', '#skF_14'(X6_586, '#skF_16'('#skF_10', V_587, X_588, '#skF_13'(X6_586)))) | sit('#skF_10', '#skF_14'(X6_586, '#skF_17'('#skF_10', V_587, X_588, '#skF_13'(X6_586)))) | ~member('#skF_10', X6_586, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_586)) | ~three('#skF_10', '#skF_13'(X6_586)) | ~table('#skF_10', X_588) | member('#skF_10', '#skF_18'('#skF_10', V_587), V_587) | ~group('#skF_10', V_587)))).
% 20.94/7.74 tff(c_2524, plain, (![X6_586, V_587, X_588]: (present('#skF_10', '#skF_14'(X6_586, '#skF_16'('#skF_10', V_587, X_588, '#skF_13'(X6_586)))) | sit('#skF_10', '#skF_14'(X6_586, '#skF_17'('#skF_10', V_587, X_588, '#skF_13'(X6_586)))) | ~member('#skF_10', X6_586, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_586)) | ~three('#skF_10', '#skF_13'(X6_586)) | ~table('#skF_10', X_588) | member('#skF_10', '#skF_18'('#skF_10', V_587), V_587) | ~group('#skF_10', V_587)))).
% 20.94/7.74 tff(c_2599, plain, (![X6_592, V_593, X_594]: (event('#skF_10', '#skF_14'(X6_592, '#skF_16'('#skF_10', V_593, X_594, '#skF_13'(X6_592)))) | present('#skF_10', '#skF_14'(X6_592, '#skF_17'('#skF_10', V_593, X_594, '#skF_13'(X6_592)))) | ~member('#skF_10', X6_592, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_592)) | ~three('#skF_10', '#skF_13'(X6_592)) | ~table('#skF_10', X_594) | member('#skF_10', '#skF_18'('#skF_10', V_593), V_593) | ~group('#skF_10', V_593)))).
% 20.94/7.74 tff(c_2600, plain, (![X6_592, V_593, X_594]: (sit('#skF_10', '#skF_14'(X6_592, '#skF_16'('#skF_10', V_593, X_594, '#skF_13'(X6_592)))) | present('#skF_10', '#skF_14'(X6_592, '#skF_17'('#skF_10', V_593, X_594, '#skF_13'(X6_592)))) | ~member('#skF_10', X6_592, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_592)) | ~three('#skF_10', '#skF_13'(X6_592)) | ~table('#skF_10', X_594) | member('#skF_10', '#skF_18'('#skF_10', V_593), V_593) | ~group('#skF_10', V_593)))).
% 20.94/7.74 tff(c_2417, plain, (![X6_544, V_545, X_546]: (agent('#skF_10', '#skF_14'(X6_544, '#skF_16'('#skF_10', V_545, X_546, '#skF_13'(X6_544))), X6_544) | sit('#skF_10', '#skF_14'(X6_544, '#skF_17'('#skF_10', V_545, X_546, '#skF_13'(X6_544)))) | ~member('#skF_10', X6_544, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_544)) | ~three('#skF_10', '#skF_13'(X6_544)) | ~table('#skF_10', X_546) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_545)) | ~group('#skF_10', V_545)))).
% 20.94/7.74 tff(c_2396, plain, (![X6_538, V_539, X_540]: (agent('#skF_10', '#skF_14'(X6_538, '#skF_16'('#skF_10', V_539, X_540, '#skF_13'(X6_538))), X6_538) | present('#skF_10', '#skF_14'(X6_538, '#skF_17'('#skF_10', V_539, X_540, '#skF_13'(X6_538)))) | ~member('#skF_10', X6_538, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_538)) | ~three('#skF_10', '#skF_13'(X6_538)) | ~table('#skF_10', X_540) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_539)) | ~group('#skF_10', V_539)))).
% 20.94/7.74 tff(c_2438, plain, (![X6_550, V_551, X_552]: (agent('#skF_10', '#skF_14'(X6_550, '#skF_16'('#skF_10', V_551, X_552, '#skF_13'(X6_550))), X6_550) | event('#skF_10', '#skF_14'(X6_550, '#skF_17'('#skF_10', V_551, X_552, '#skF_13'(X6_550)))) | ~member('#skF_10', X6_550, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_550)) | ~three('#skF_10', '#skF_13'(X6_550)) | ~table('#skF_10', X_552) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_551)) | ~group('#skF_10', V_551)))).
% 20.94/7.74 tff(c_2732, plain, (![X6_604, V_605, X_606]: (present('#skF_10', '#skF_14'(X6_604, '#skF_16'('#skF_10', V_605, X_606, '#skF_13'(X6_604)))) | agent('#skF_10', '#skF_14'(X6_604, '#skF_17'('#skF_10', V_605, X_606, '#skF_13'(X6_604))), X6_604) | ~member('#skF_10', X6_604, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_604)) | ~three('#skF_10', '#skF_13'(X6_604)) | ~table('#skF_10', X_606) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_605)) | ~group('#skF_10', V_605)))).
% 20.94/7.74 tff(c_2678, plain, (![X6_598, V_599, X_600]: (present('#skF_10', '#skF_14'(X6_598, '#skF_16'('#skF_10', V_599, X_600, '#skF_13'(X6_598)))) | event('#skF_10', '#skF_14'(X6_598, '#skF_17'('#skF_10', V_599, X_600, '#skF_13'(X6_598)))) | ~member('#skF_10', X6_598, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_598)) | ~three('#skF_10', '#skF_13'(X6_598)) | ~table('#skF_10', X_600) | member('#skF_10', '#skF_18'('#skF_10', V_599), V_599) | ~group('#skF_10', V_599)))).
% 20.94/7.74 tff(c_2677, plain, (![X6_598, V_599, X_600]: (sit('#skF_10', '#skF_14'(X6_598, '#skF_16'('#skF_10', V_599, X_600, '#skF_13'(X6_598)))) | event('#skF_10', '#skF_14'(X6_598, '#skF_17'('#skF_10', V_599, X_600, '#skF_13'(X6_598)))) | ~member('#skF_10', X6_598, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_598)) | ~three('#skF_10', '#skF_13'(X6_598)) | ~table('#skF_10', X_600) | member('#skF_10', '#skF_18'('#skF_10', V_599), V_599) | ~group('#skF_10', V_599)))).
% 20.94/7.74 tff(c_2730, plain, (![X6_604, V_605, X_606]: (event('#skF_10', '#skF_14'(X6_604, '#skF_16'('#skF_10', V_605, X_606, '#skF_13'(X6_604)))) | agent('#skF_10', '#skF_14'(X6_604, '#skF_17'('#skF_10', V_605, X_606, '#skF_13'(X6_604))), X6_604) | ~member('#skF_10', X6_604, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_604)) | ~three('#skF_10', '#skF_13'(X6_604)) | ~table('#skF_10', X_606) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_605)) | ~group('#skF_10', V_605)))).
% 20.94/7.74 tff(c_2731, plain, (![X6_604, V_605, X_606]: (sit('#skF_10', '#skF_14'(X6_604, '#skF_16'('#skF_10', V_605, X_606, '#skF_13'(X6_604)))) | agent('#skF_10', '#skF_14'(X6_604, '#skF_17'('#skF_10', V_605, X_606, '#skF_13'(X6_604))), X6_604) | ~member('#skF_10', X6_604, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_604)) | ~three('#skF_10', '#skF_13'(X6_604)) | ~table('#skF_10', X_606) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_605)) | ~group('#skF_10', V_605)))).
% 20.94/7.74 tff(c_2523, plain, (![X6_586, V_587, X_588]: (sit('#skF_10', '#skF_14'(X6_586, '#skF_16'('#skF_10', V_587, X_588, '#skF_13'(X6_586)))) | sit('#skF_10', '#skF_14'(X6_586, '#skF_17'('#skF_10', V_587, X_588, '#skF_13'(X6_586)))) | ~member('#skF_10', X6_586, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_586)) | ~three('#skF_10', '#skF_13'(X6_586)) | ~table('#skF_10', X_588) | member('#skF_10', '#skF_18'('#skF_10', V_587), V_587) | ~group('#skF_10', V_587)))).
% 20.94/7.74 tff(c_2676, plain, (![X6_598, V_599, X_600]: (event('#skF_10', '#skF_14'(X6_598, '#skF_16'('#skF_10', V_599, X_600, '#skF_13'(X6_598)))) | event('#skF_10', '#skF_14'(X6_598, '#skF_17'('#skF_10', V_599, X_600, '#skF_13'(X6_598)))) | ~member('#skF_10', X6_598, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_598)) | ~three('#skF_10', '#skF_13'(X6_598)) | ~table('#skF_10', X_600) | member('#skF_10', '#skF_18'('#skF_10', V_599), V_599) | ~group('#skF_10', V_599)))).
% 20.94/7.74 tff(c_2601, plain, (![X6_592, V_593, X_594]: (present('#skF_10', '#skF_14'(X6_592, '#skF_16'('#skF_10', V_593, X_594, '#skF_13'(X6_592)))) | present('#skF_10', '#skF_14'(X6_592, '#skF_17'('#skF_10', V_593, X_594, '#skF_13'(X6_592)))) | ~member('#skF_10', X6_592, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_592)) | ~three('#skF_10', '#skF_13'(X6_592)) | ~table('#skF_10', X_594) | member('#skF_10', '#skF_18'('#skF_10', V_593), V_593) | ~group('#skF_10', V_593)))).
% 20.94/7.74 tff(c_1679, plain, (![X6_241, X_437, Y_438]: (agent('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241))), X6_241) | ~member('#skF_10', X6_241, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_437, Y_438), Y_438) | member('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_437, Y_438), Y_438) | ~group('#skF_10', Y_438) | ~three('#skF_10', Y_438) | ~table('#skF_10', X_437) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.74 tff(c_2733, plain, (![V_605, X_606, X6_604]: (hamburger('#skF_10', '#skF_16'('#skF_10', V_605, X_606, '#skF_13'(X6_604))) | agent('#skF_10', '#skF_14'(X6_604, '#skF_17'('#skF_10', V_605, X_606, '#skF_13'(X6_604))), X6_604) | ~member('#skF_10', X6_604, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_604)) | ~three('#skF_10', '#skF_13'(X6_604)) | ~table('#skF_10', X_606) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_605)) | ~group('#skF_10', V_605)))).
% 20.94/7.74 tff(c_1534, plain, (![X6_241, V_402, X_403]: (agent('#skF_10', '#skF_14'(X6_241, '#skF_17'('#skF_10', V_402, X_403, '#skF_13'(X6_241))), X6_241) | ~member('#skF_10', X6_241, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', V_402, X_403, '#skF_13'(X6_241)), '#skF_13'(X6_241)) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_403) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_402)) | ~group('#skF_10', V_402)))).
% 20.94/7.75 tff(c_2679, plain, (![V_599, X_600, X6_598]: (hamburger('#skF_10', '#skF_16'('#skF_10', V_599, X_600, '#skF_13'(X6_598))) | event('#skF_10', '#skF_14'(X6_598, '#skF_17'('#skF_10', V_599, X_600, '#skF_13'(X6_598)))) | ~member('#skF_10', X6_598, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_598)) | ~three('#skF_10', '#skF_13'(X6_598)) | ~table('#skF_10', X_600) | member('#skF_10', '#skF_18'('#skF_10', V_599), V_599) | ~group('#skF_10', V_599)))).
% 20.94/7.75 tff(c_1661, plain, (![X6_241, V_436, X_437]: (event('#skF_10', '#skF_14'(X6_241, '#skF_17'('#skF_10', V_436, X_437, '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', V_436, X_437, '#skF_13'(X6_241)), '#skF_13'(X6_241)) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_437) | member('#skF_10', '#skF_18'('#skF_10', V_436), V_436) | ~group('#skF_10', V_436)))).
% 20.94/7.75 tff(c_2602, plain, (![V_593, X_594, X6_592]: (hamburger('#skF_10', '#skF_16'('#skF_10', V_593, X_594, '#skF_13'(X6_592))) | present('#skF_10', '#skF_14'(X6_592, '#skF_17'('#skF_10', V_593, X_594, '#skF_13'(X6_592)))) | ~member('#skF_10', X6_592, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_592)) | ~three('#skF_10', '#skF_13'(X6_592)) | ~table('#skF_10', X_594) | member('#skF_10', '#skF_18'('#skF_10', V_593), V_593) | ~group('#skF_10', V_593)))).
% 20.94/7.75 tff(c_1667, plain, (![X6_241, V_436, X_437]: (present('#skF_10', '#skF_14'(X6_241, '#skF_17'('#skF_10', V_436, X_437, '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', V_436, X_437, '#skF_13'(X6_241)), '#skF_13'(X6_241)) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_437) | member('#skF_10', '#skF_18'('#skF_10', V_436), V_436) | ~group('#skF_10', V_436)))).
% 20.94/7.75 tff(c_2525, plain, (![V_587, X_588, X6_586]: (hamburger('#skF_10', '#skF_16'('#skF_10', V_587, X_588, '#skF_13'(X6_586))) | sit('#skF_10', '#skF_14'(X6_586, '#skF_17'('#skF_10', V_587, X_588, '#skF_13'(X6_586)))) | ~member('#skF_10', X6_586, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_586)) | ~three('#skF_10', '#skF_13'(X6_586)) | ~table('#skF_10', X_588) | member('#skF_10', '#skF_18'('#skF_10', V_587), V_587) | ~group('#skF_10', V_587)))).
% 20.94/7.75 tff(c_1664, plain, (![X6_241, V_436, X_437]: (sit('#skF_10', '#skF_14'(X6_241, '#skF_17'('#skF_10', V_436, X_437, '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', V_436, X_437, '#skF_13'(X6_241)), '#skF_13'(X6_241)) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_437) | member('#skF_10', '#skF_18'('#skF_10', V_436), V_436) | ~group('#skF_10', V_436)))).
% 20.94/7.75 tff(c_2138, plain, (![X6_516, V_514, X_515]: (agent('#skF_10', '#skF_14'(X6_516, '#skF_16'('#skF_10', V_514, X_515, '#skF_13'(X6_516))), X6_516) | hamburger('#skF_10', '#skF_17'('#skF_10', V_514, X_515, '#skF_13'(X6_516))) | ~member('#skF_10', X6_516, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_516)) | ~three('#skF_10', '#skF_13'(X6_516)) | ~table('#skF_10', X_515) | member('#skF_10', '#skF_18'('#skF_10', V_514), V_514) | ~group('#skF_10', V_514)))).
% 20.94/7.75 tff(c_2398, plain, (![X6_538, V_539, X_540]: (sit('#skF_10', '#skF_14'(X6_538, '#skF_16'('#skF_10', V_539, X_540, '#skF_13'(X6_538)))) | present('#skF_10', '#skF_14'(X6_538, '#skF_17'('#skF_10', V_539, X_540, '#skF_13'(X6_538)))) | ~member('#skF_10', X6_538, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_538)) | ~three('#skF_10', '#skF_13'(X6_538)) | ~table('#skF_10', X_540) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_539)) | ~group('#skF_10', V_539)))).
% 20.94/7.75 tff(c_2420, plain, (![X6_544, V_545, X_546]: (present('#skF_10', '#skF_14'(X6_544, '#skF_16'('#skF_10', V_545, X_546, '#skF_13'(X6_544)))) | sit('#skF_10', '#skF_14'(X6_544, '#skF_17'('#skF_10', V_545, X_546, '#skF_13'(X6_544)))) | ~member('#skF_10', X6_544, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_544)) | ~three('#skF_10', '#skF_13'(X6_544)) | ~table('#skF_10', X_546) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_545)) | ~group('#skF_10', V_545)))).
% 20.94/7.75 tff(c_2441, plain, (![X6_550, V_551, X_552]: (present('#skF_10', '#skF_14'(X6_550, '#skF_16'('#skF_10', V_551, X_552, '#skF_13'(X6_550)))) | event('#skF_10', '#skF_14'(X6_550, '#skF_17'('#skF_10', V_551, X_552, '#skF_13'(X6_550)))) | ~member('#skF_10', X6_550, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_550)) | ~three('#skF_10', '#skF_13'(X6_550)) | ~table('#skF_10', X_552) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_551)) | ~group('#skF_10', V_551)))).
% 20.94/7.75 tff(c_2418, plain, (![X6_544, V_545, X_546]: (event('#skF_10', '#skF_14'(X6_544, '#skF_16'('#skF_10', V_545, X_546, '#skF_13'(X6_544)))) | sit('#skF_10', '#skF_14'(X6_544, '#skF_17'('#skF_10', V_545, X_546, '#skF_13'(X6_544)))) | ~member('#skF_10', X6_544, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_544)) | ~three('#skF_10', '#skF_13'(X6_544)) | ~table('#skF_10', X_546) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_545)) | ~group('#skF_10', V_545)))).
% 20.94/7.75 tff(c_2440, plain, (![X6_550, V_551, X_552]: (sit('#skF_10', '#skF_14'(X6_550, '#skF_16'('#skF_10', V_551, X_552, '#skF_13'(X6_550)))) | event('#skF_10', '#skF_14'(X6_550, '#skF_17'('#skF_10', V_551, X_552, '#skF_13'(X6_550)))) | ~member('#skF_10', X6_550, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_550)) | ~three('#skF_10', '#skF_13'(X6_550)) | ~table('#skF_10', X_552) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_551)) | ~group('#skF_10', V_551)))).
% 20.94/7.75 tff(c_2397, plain, (![X6_538, V_539, X_540]: (event('#skF_10', '#skF_14'(X6_538, '#skF_16'('#skF_10', V_539, X_540, '#skF_13'(X6_538)))) | present('#skF_10', '#skF_14'(X6_538, '#skF_17'('#skF_10', V_539, X_540, '#skF_13'(X6_538)))) | ~member('#skF_10', X6_538, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_538)) | ~three('#skF_10', '#skF_13'(X6_538)) | ~table('#skF_10', X_540) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_539)) | ~group('#skF_10', V_539)))).
% 20.94/7.75 tff(c_2399, plain, (![X6_538, V_539, X_540]: (present('#skF_10', '#skF_14'(X6_538, '#skF_16'('#skF_10', V_539, X_540, '#skF_13'(X6_538)))) | present('#skF_10', '#skF_14'(X6_538, '#skF_17'('#skF_10', V_539, X_540, '#skF_13'(X6_538)))) | ~member('#skF_10', X6_538, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_538)) | ~three('#skF_10', '#skF_13'(X6_538)) | ~table('#skF_10', X_540) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_539)) | ~group('#skF_10', V_539)))).
% 20.94/7.75 tff(c_2439, plain, (![X6_550, V_551, X_552]: (event('#skF_10', '#skF_14'(X6_550, '#skF_16'('#skF_10', V_551, X_552, '#skF_13'(X6_550)))) | event('#skF_10', '#skF_14'(X6_550, '#skF_17'('#skF_10', V_551, X_552, '#skF_13'(X6_550)))) | ~member('#skF_10', X6_550, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_550)) | ~three('#skF_10', '#skF_13'(X6_550)) | ~table('#skF_10', X_552) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_551)) | ~group('#skF_10', V_551)))).
% 20.94/7.75 tff(c_2419, plain, (![X6_544, V_545, X_546]: (sit('#skF_10', '#skF_14'(X6_544, '#skF_16'('#skF_10', V_545, X_546, '#skF_13'(X6_544)))) | sit('#skF_10', '#skF_14'(X6_544, '#skF_17'('#skF_10', V_545, X_546, '#skF_13'(X6_544)))) | ~member('#skF_10', X6_544, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_544)) | ~three('#skF_10', '#skF_13'(X6_544)) | ~table('#skF_10', X_546) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_545)) | ~group('#skF_10', V_545)))).
% 20.94/7.75 tff(c_2442, plain, (![V_551, X_552, X6_550]: (hamburger('#skF_10', '#skF_16'('#skF_10', V_551, X_552, '#skF_13'(X6_550))) | event('#skF_10', '#skF_14'(X6_550, '#skF_17'('#skF_10', V_551, X_552, '#skF_13'(X6_550)))) | ~member('#skF_10', X6_550, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_550)) | ~three('#skF_10', '#skF_13'(X6_550)) | ~table('#skF_10', X_552) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_551)) | ~group('#skF_10', V_551)))).
% 20.94/7.75 tff(c_1537, plain, (![X6_241, V_402, X_403]: (event('#skF_10', '#skF_14'(X6_241, '#skF_17'('#skF_10', V_402, X_403, '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', V_402, X_403, '#skF_13'(X6_241)), '#skF_13'(X6_241)) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_403) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_402)) | ~group('#skF_10', V_402)))).
% 20.94/7.75 tff(c_2421, plain, (![V_545, X_546, X6_544]: (hamburger('#skF_10', '#skF_16'('#skF_10', V_545, X_546, '#skF_13'(X6_544))) | sit('#skF_10', '#skF_14'(X6_544, '#skF_17'('#skF_10', V_545, X_546, '#skF_13'(X6_544)))) | ~member('#skF_10', X6_544, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_544)) | ~three('#skF_10', '#skF_13'(X6_544)) | ~table('#skF_10', X_546) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_545)) | ~group('#skF_10', V_545)))).
% 20.94/7.75 tff(c_1540, plain, (![X6_241, V_402, X_403]: (sit('#skF_10', '#skF_14'(X6_241, '#skF_17'('#skF_10', V_402, X_403, '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', V_402, X_403, '#skF_13'(X6_241)), '#skF_13'(X6_241)) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_403) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_402)) | ~group('#skF_10', V_402)))).
% 20.94/7.75 tff(c_2400, plain, (![V_539, X_540, X6_538]: (hamburger('#skF_10', '#skF_16'('#skF_10', V_539, X_540, '#skF_13'(X6_538))) | present('#skF_10', '#skF_14'(X6_538, '#skF_17'('#skF_10', V_539, X_540, '#skF_13'(X6_538)))) | ~member('#skF_10', X6_538, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_538)) | ~three('#skF_10', '#skF_13'(X6_538)) | ~table('#skF_10', X_540) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_539)) | ~group('#skF_10', V_539)))).
% 20.94/7.75 tff(c_1543, plain, (![X6_241, V_402, X_403]: (present('#skF_10', '#skF_14'(X6_241, '#skF_17'('#skF_10', V_402, X_403, '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', V_402, X_403, '#skF_13'(X6_241)), '#skF_13'(X6_241)) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_403) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_402)) | ~group('#skF_10', V_402)))).
% 20.94/7.75 tff(c_1688, plain, (![X6_241, X_437, Y_438]: (present('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_437, Y_438), Y_438) | member('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_437, Y_438), Y_438) | ~group('#skF_10', Y_438) | ~three('#skF_10', Y_438) | ~table('#skF_10', X_437) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.75 tff(c_1685, plain, (![X6_241, X_437, Y_438]: (sit('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_437, Y_438), Y_438) | member('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_437, Y_438), Y_438) | ~group('#skF_10', Y_438) | ~three('#skF_10', Y_438) | ~table('#skF_10', X_437) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.75 tff(c_1682, plain, (![X6_241, X_437, Y_438]: (event('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_437, Y_438), Y_438) | member('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_437, Y_438), Y_438) | ~group('#skF_10', Y_438) | ~three('#skF_10', Y_438) | ~table('#skF_10', X_437) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.75 tff(c_2141, plain, (![X6_516, V_514, X_515]: (present('#skF_10', '#skF_14'(X6_516, '#skF_16'('#skF_10', V_514, X_515, '#skF_13'(X6_516)))) | hamburger('#skF_10', '#skF_17'('#skF_10', V_514, X_515, '#skF_13'(X6_516))) | ~member('#skF_10', X6_516, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_516)) | ~three('#skF_10', '#skF_13'(X6_516)) | ~table('#skF_10', X_515) | member('#skF_10', '#skF_18'('#skF_10', V_514), V_514) | ~group('#skF_10', V_514)))).
% 20.94/7.75 tff(c_2140, plain, (![X6_516, V_514, X_515]: (sit('#skF_10', '#skF_14'(X6_516, '#skF_16'('#skF_10', V_514, X_515, '#skF_13'(X6_516)))) | hamburger('#skF_10', '#skF_17'('#skF_10', V_514, X_515, '#skF_13'(X6_516))) | ~member('#skF_10', X6_516, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_516)) | ~three('#skF_10', '#skF_13'(X6_516)) | ~table('#skF_10', X_515) | member('#skF_10', '#skF_18'('#skF_10', V_514), V_514) | ~group('#skF_10', V_514)))).
% 20.94/7.75 tff(c_2139, plain, (![X6_516, V_514, X_515]: (event('#skF_10', '#skF_14'(X6_516, '#skF_16'('#skF_10', V_514, X_515, '#skF_13'(X6_516)))) | hamburger('#skF_10', '#skF_17'('#skF_10', V_514, X_515, '#skF_13'(X6_516))) | ~member('#skF_10', X6_516, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_516)) | ~three('#skF_10', '#skF_13'(X6_516)) | ~table('#skF_10', X_515) | member('#skF_10', '#skF_18'('#skF_10', V_514), V_514) | ~group('#skF_10', V_514)))).
% 20.94/7.75 tff(c_2142, plain, (![V_514, X_515, X6_516]: (hamburger('#skF_10', '#skF_16'('#skF_10', V_514, X_515, '#skF_13'(X6_516))) | hamburger('#skF_10', '#skF_17'('#skF_10', V_514, X_515, '#skF_13'(X6_516))) | ~member('#skF_10', X6_516, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_516)) | ~three('#skF_10', '#skF_13'(X6_516)) | ~table('#skF_10', X_515) | member('#skF_10', '#skF_18'('#skF_10', V_514), V_514) | ~group('#skF_10', V_514)))).
% 20.94/7.75 tff(c_1670, plain, (![V_436, X_437, X6_241]: (hamburger('#skF_10', '#skF_17'('#skF_10', V_436, X_437, '#skF_13'(X6_241))) | ~member('#skF_10', X6_241, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', V_436, X_437, '#skF_13'(X6_241)), '#skF_13'(X6_241)) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_437) | member('#skF_10', '#skF_18'('#skF_10', V_436), V_436) | ~group('#skF_10', V_436)))).
% 20.94/7.75 tff(c_1691, plain, (![X6_241, X_437, Y_438]: (hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_241))) | ~member('#skF_10', X6_241, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_437, Y_438), Y_438) | member('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_437, Y_438), Y_438) | ~group('#skF_10', Y_438) | ~three('#skF_10', Y_438) | ~table('#skF_10', X_437) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.75 tff(c_1855, plain, (![X6_241, X_446]: (agent('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241))), X6_241) | ~member('#skF_10', X6_241, '#skF_11') | guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_446, '#skF_11')) | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_446, '#skF_11'), '#skF_11') | ~table('#skF_10', X_446) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.75 tff(c_1728, plain, (![X6_241, X_440]: (agent('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241))), X6_241) | ~member('#skF_10', X6_241, '#skF_11') | young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_440, '#skF_11')) | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_440, '#skF_11'), '#skF_11') | ~table('#skF_10', X_440) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.75 tff(c_1933, plain, (![X6_241, X_450]: (agent('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241))), X6_241) | ~member('#skF_10', X6_241, '#skF_11') | young('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_450, '#skF_11')) | guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_450, '#skF_11')) | ~table('#skF_10', X_450) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.75 tff(c_1769, plain, (![X6_241, X_442]: (agent('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241))), X6_241) | ~member('#skF_10', X6_241, '#skF_11') | young('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_442, '#skF_11')) | young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_442, '#skF_11')) | ~table('#skF_10', X_442) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.75 tff(c_1858, plain, (![X6_241, X_446]: (present('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_446, '#skF_11')) | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_446, '#skF_11'), '#skF_11') | ~table('#skF_10', X_446) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.75 tff(c_1731, plain, (![X6_241, X_440]: (present('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_440, '#skF_11')) | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_440, '#skF_11'), '#skF_11') | ~table('#skF_10', X_440) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.75 tff(c_1856, plain, (![X6_241, X_446]: (event('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_446, '#skF_11')) | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_446, '#skF_11'), '#skF_11') | ~table('#skF_10', X_446) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.75 tff(c_1857, plain, (![X6_241, X_446]: (sit('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_446, '#skF_11')) | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_446, '#skF_11'), '#skF_11') | ~table('#skF_10', X_446) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.75 tff(c_1729, plain, (![X6_241, X_440]: (event('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_440, '#skF_11')) | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_440, '#skF_11'), '#skF_11') | ~table('#skF_10', X_440) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.75 tff(c_1730, plain, (![X6_241, X_440]: (sit('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_440, '#skF_11')) | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_440, '#skF_11'), '#skF_11') | ~table('#skF_10', X_440) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.75 tff(c_1935, plain, (![X6_241, X_450]: (sit('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | young('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_450, '#skF_11')) | guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_450, '#skF_11')) | ~table('#skF_10', X_450) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.75 tff(c_1936, plain, (![X6_241, X_450]: (present('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | young('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_450, '#skF_11')) | guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_450, '#skF_11')) | ~table('#skF_10', X_450) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.75 tff(c_1934, plain, (![X6_241, X_450]: (event('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | young('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_450, '#skF_11')) | guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_450, '#skF_11')) | ~table('#skF_10', X_450) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.75 tff(c_1770, plain, (![X6_241, X_442]: (event('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | young('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_442, '#skF_11')) | young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_442, '#skF_11')) | ~table('#skF_10', X_442) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.75 tff(c_1771, plain, (![X6_241, X_442]: (sit('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | young('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_442, '#skF_11')) | young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_442, '#skF_11')) | ~table('#skF_10', X_442) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.75 tff(c_1772, plain, (![X6_241, X_442]: (present('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | young('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_442, '#skF_11')) | young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_442, '#skF_11')) | ~table('#skF_10', X_442) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.75 tff(c_1732, plain, (![X6_241, X_440]: (hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_241))) | ~member('#skF_10', X6_241, '#skF_11') | young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_440, '#skF_11')) | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_440, '#skF_11'), '#skF_11') | ~table('#skF_10', X_440) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.75 tff(c_1859, plain, (![X6_241, X_446]: (hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_241))) | ~member('#skF_10', X6_241, '#skF_11') | guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_446, '#skF_11')) | member('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_446, '#skF_11'), '#skF_11') | ~table('#skF_10', X_446) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.75 tff(c_1937, plain, (![X6_241, X_450]: (hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_241))) | ~member('#skF_10', X6_241, '#skF_11') | young('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_450, '#skF_11')) | guy('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_450, '#skF_11')) | ~table('#skF_10', X_450) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.76 tff(c_1773, plain, (![X6_241, X_442]: (hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_241))) | ~member('#skF_10', X6_241, '#skF_11') | young('#skF_10', '#skF_16'('#skF_10', '#skF_13'(X6_241), X_442, '#skF_11')) | young('#skF_10', '#skF_17'('#skF_10', '#skF_13'(X6_241), X_442, '#skF_11')) | ~table('#skF_10', X_442) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.76 tff(c_1853, plain, (![V_445, X_446]: (young('#skF_10', '#skF_16'('#skF_10', V_445, X_446, '#skF_11')) | guy('#skF_10', '#skF_17'('#skF_10', V_445, X_446, '#skF_11')) | ~table('#skF_10', X_446) | member('#skF_10', '#skF_18'('#skF_10', V_445), V_445) | ~group('#skF_10', V_445)))).
% 20.94/7.76 tff(c_1676, plain, (![V_436, X_437]: (guy('#skF_10', '#skF_17'('#skF_10', V_436, X_437, '#skF_11')) | member('#skF_10', '#skF_16'('#skF_10', V_436, X_437, '#skF_11'), '#skF_11') | ~table('#skF_10', X_437) | member('#skF_10', '#skF_18'('#skF_10', V_436), V_436) | ~group('#skF_10', V_436)))).
% 20.94/7.76 tff(c_1726, plain, (![V_439, X_440]: (young('#skF_10', '#skF_16'('#skF_10', V_439, X_440, '#skF_11')) | young('#skF_10', '#skF_17'('#skF_10', V_439, X_440, '#skF_11')) | ~table('#skF_10', X_440) | member('#skF_10', '#skF_18'('#skF_10', V_439), V_439) | ~group('#skF_10', V_439)))).
% 20.94/7.76 tff(c_1740, plain, (guy('#skF_10', '#skF_18'('#skF_10', '#skF_11')))).
% 20.94/7.76 tff(c_1739, plain, (young('#skF_10', '#skF_18'('#skF_10', '#skF_11')))).
% 20.94/7.76 tff(c_1673, plain, (![V_436, X_437]: (young('#skF_10', '#skF_17'('#skF_10', V_436, X_437, '#skF_11')) | member('#skF_10', '#skF_16'('#skF_10', V_436, X_437, '#skF_11'), '#skF_11') | ~table('#skF_10', X_437) | member('#skF_10', '#skF_18'('#skF_10', V_436), V_436) | ~group('#skF_10', V_436)))).
% 20.94/7.76 tff(c_1604, plain, (![U_260, V_306, X_339, Y_340]: (member(U_260, '#skF_16'(U_260, V_306, X_339, Y_340), Y_340) | member(U_260, '#skF_17'(U_260, V_306, X_339, Y_340), Y_340) | ~group(U_260, Y_340) | ~three(U_260, Y_340) | ~table(U_260, X_339) | member(U_260, '#skF_18'(U_260, V_306), V_306) | ~group(U_260, V_306) | ~actual_world(U_260)))).
% 20.94/7.76 tff(c_1591, plain, (![X6_419, V_417, X_418]: (agent('#skF_10', '#skF_14'(X6_419, '#skF_16'('#skF_10', V_417, X_418, '#skF_13'(X6_419))), X6_419) | hamburger('#skF_10', '#skF_17'('#skF_10', V_417, X_418, '#skF_13'(X6_419))) | ~member('#skF_10', X6_419, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_419)) | ~three('#skF_10', '#skF_13'(X6_419)) | ~table('#skF_10', X_418) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_417)) | ~group('#skF_10', V_417)))).
% 20.94/7.76 tff(c_1594, plain, (![X6_419, V_417, X_418]: (present('#skF_10', '#skF_14'(X6_419, '#skF_16'('#skF_10', V_417, X_418, '#skF_13'(X6_419)))) | hamburger('#skF_10', '#skF_17'('#skF_10', V_417, X_418, '#skF_13'(X6_419))) | ~member('#skF_10', X6_419, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_419)) | ~three('#skF_10', '#skF_13'(X6_419)) | ~table('#skF_10', X_418) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_417)) | ~group('#skF_10', V_417)))).
% 20.94/7.76 tff(c_1593, plain, (![X6_419, V_417, X_418]: (sit('#skF_10', '#skF_14'(X6_419, '#skF_16'('#skF_10', V_417, X_418, '#skF_13'(X6_419)))) | hamburger('#skF_10', '#skF_17'('#skF_10', V_417, X_418, '#skF_13'(X6_419))) | ~member('#skF_10', X6_419, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_419)) | ~three('#skF_10', '#skF_13'(X6_419)) | ~table('#skF_10', X_418) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_417)) | ~group('#skF_10', V_417)))).
% 20.94/7.76 tff(c_1592, plain, (![X6_419, V_417, X_418]: (event('#skF_10', '#skF_14'(X6_419, '#skF_16'('#skF_10', V_417, X_418, '#skF_13'(X6_419)))) | hamburger('#skF_10', '#skF_17'('#skF_10', V_417, X_418, '#skF_13'(X6_419))) | ~member('#skF_10', X6_419, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_419)) | ~three('#skF_10', '#skF_13'(X6_419)) | ~table('#skF_10', X_418) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_417)) | ~group('#skF_10', V_417)))).
% 20.94/7.76 tff(c_1595, plain, (![V_417, X_418, X6_419]: (hamburger('#skF_10', '#skF_16'('#skF_10', V_417, X_418, '#skF_13'(X6_419))) | hamburger('#skF_10', '#skF_17'('#skF_10', V_417, X_418, '#skF_13'(X6_419))) | ~member('#skF_10', X6_419, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_419)) | ~three('#skF_10', '#skF_13'(X6_419)) | ~table('#skF_10', X_418) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_417)) | ~group('#skF_10', V_417)))).
% 20.94/7.76 tff(c_1546, plain, (![V_402, X_403, X6_241]: (hamburger('#skF_10', '#skF_17'('#skF_10', V_402, X_403, '#skF_13'(X6_241))) | ~member('#skF_10', X6_241, '#skF_11') | member('#skF_10', '#skF_16'('#skF_10', V_402, X_403, '#skF_13'(X6_241)), '#skF_13'(X6_241)) | ~group('#skF_10', '#skF_13'(X6_241)) | ~three('#skF_10', '#skF_13'(X6_241)) | ~table('#skF_10', X_403) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_402)) | ~group('#skF_10', V_402)))).
% 20.94/7.76 tff(c_1571, plain, (![V_411, X_412]: (young('#skF_10', '#skF_16'('#skF_10', V_411, X_412, '#skF_11')) | guy('#skF_10', '#skF_17'('#skF_10', V_411, X_412, '#skF_11')) | ~table('#skF_10', X_412) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_411)) | ~group('#skF_10', V_411)))).
% 20.94/7.76 tff(c_1572, plain, (![V_411, X_412]: (guy('#skF_10', '#skF_16'('#skF_10', V_411, X_412, '#skF_11')) | guy('#skF_10', '#skF_17'('#skF_10', V_411, X_412, '#skF_11')) | ~table('#skF_10', X_412) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_411)) | ~group('#skF_10', V_411)))).
% 20.94/7.76 tff(c_1552, plain, (![V_402, X_403]: (guy('#skF_10', '#skF_17'('#skF_10', V_402, X_403, '#skF_11')) | member('#skF_10', '#skF_16'('#skF_10', V_402, X_403, '#skF_11'), '#skF_11') | ~table('#skF_10', X_403) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_402)) | ~group('#skF_10', V_402)))).
% 20.94/7.76 tff(c_1561, plain, (![V_405, X_406]: (guy('#skF_10', '#skF_16'('#skF_10', V_405, X_406, '#skF_11')) | young('#skF_10', '#skF_17'('#skF_10', V_405, X_406, '#skF_11')) | ~table('#skF_10', X_406) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_405)) | ~group('#skF_10', V_405)))).
% 20.94/7.76 tff(c_1560, plain, (![V_405, X_406]: (young('#skF_10', '#skF_16'('#skF_10', V_405, X_406, '#skF_11')) | young('#skF_10', '#skF_17'('#skF_10', V_405, X_406, '#skF_11')) | ~table('#skF_10', X_406) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_405)) | ~group('#skF_10', V_405)))).
% 20.94/7.76 tff(c_1549, plain, (![V_402, X_403]: (young('#skF_10', '#skF_17'('#skF_10', V_402, X_403, '#skF_11')) | member('#skF_10', '#skF_16'('#skF_10', V_402, X_403, '#skF_11'), '#skF_11') | ~table('#skF_10', X_403) | ~hamburger('#skF_10', '#skF_18'('#skF_10', V_402)) | ~group('#skF_10', V_402)))).
% 20.94/7.76 tff(c_1503, plain, (![U_260, V_306, X_339, Y_340]: (member(U_260, '#skF_16'(U_260, V_306, X_339, Y_340), Y_340) | member(U_260, '#skF_17'(U_260, V_306, X_339, Y_340), Y_340) | ~group(U_260, Y_340) | ~three(U_260, Y_340) | ~table(U_260, X_339) | ~hamburger(U_260, '#skF_18'(U_260, V_306)) | ~group(U_260, V_306) | ~actual_world(U_260)))).
% 20.94/7.76 tff(c_1477, plain, (![X6_393]: (agent('#skF_10', '#skF_14'(X6_393, '#skF_15'('#skF_10', '#skF_13'(X6_393))), X6_393) | agent('#skF_10', '#skF_14'(X6_393, '#skF_18'('#skF_10', '#skF_13'(X6_393))), X6_393) | ~member('#skF_10', X6_393, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_393))))).
% 20.94/7.76 tff(c_1479, plain, (![X6_393]: (sit('#skF_10', '#skF_14'(X6_393, '#skF_15'('#skF_10', '#skF_13'(X6_393)))) | agent('#skF_10', '#skF_14'(X6_393, '#skF_18'('#skF_10', '#skF_13'(X6_393))), X6_393) | ~member('#skF_10', X6_393, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_393))))).
% 20.94/7.76 tff(c_1480, plain, (![X6_393]: (present('#skF_10', '#skF_14'(X6_393, '#skF_15'('#skF_10', '#skF_13'(X6_393)))) | agent('#skF_10', '#skF_14'(X6_393, '#skF_18'('#skF_10', '#skF_13'(X6_393))), X6_393) | ~member('#skF_10', X6_393, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_393))))).
% 20.94/7.76 tff(c_1478, plain, (![X6_393]: (event('#skF_10', '#skF_14'(X6_393, '#skF_15'('#skF_10', '#skF_13'(X6_393)))) | agent('#skF_10', '#skF_14'(X6_393, '#skF_18'('#skF_10', '#skF_13'(X6_393))), X6_393) | ~member('#skF_10', X6_393, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_393))))).
% 20.94/7.76 tff(c_1408, plain, (![X6_381]: (agent('#skF_10', '#skF_14'(X6_381, '#skF_15'('#skF_10', '#skF_13'(X6_381))), X6_381) | event('#skF_10', '#skF_14'(X6_381, '#skF_18'('#skF_10', '#skF_13'(X6_381)))) | ~member('#skF_10', X6_381, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_381))))).
% 20.94/7.76 tff(c_1428, plain, (![X6_382]: (agent('#skF_10', '#skF_14'(X6_382, '#skF_15'('#skF_10', '#skF_13'(X6_382))), X6_382) | present('#skF_10', '#skF_14'(X6_382, '#skF_18'('#skF_10', '#skF_13'(X6_382)))) | ~member('#skF_10', X6_382, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_382))))).
% 20.94/7.76 tff(c_1448, plain, (![X6_383]: (agent('#skF_10', '#skF_14'(X6_383, '#skF_15'('#skF_10', '#skF_13'(X6_383))), X6_383) | sit('#skF_10', '#skF_14'(X6_383, '#skF_18'('#skF_10', '#skF_13'(X6_383)))) | ~member('#skF_10', X6_383, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_383))))).
% 20.94/7.76 tff(c_1334, plain, (![X6_241]: (agent('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241))), X6_241) | ~member('#skF_10', X6_241, '#skF_11') | member('#skF_10', '#skF_15'('#skF_10', '#skF_13'(X6_241)), '#skF_13'(X6_241)) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.76 tff(c_1429, plain, (![X6_382]: (event('#skF_10', '#skF_14'(X6_382, '#skF_15'('#skF_10', '#skF_13'(X6_382)))) | present('#skF_10', '#skF_14'(X6_382, '#skF_18'('#skF_10', '#skF_13'(X6_382)))) | ~member('#skF_10', X6_382, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_382))))).
% 20.94/7.76 tff(c_1411, plain, (![X6_381]: (present('#skF_10', '#skF_14'(X6_381, '#skF_15'('#skF_10', '#skF_13'(X6_381)))) | event('#skF_10', '#skF_14'(X6_381, '#skF_18'('#skF_10', '#skF_13'(X6_381)))) | ~member('#skF_10', X6_381, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_381))))).
% 20.94/7.76 tff(c_1410, plain, (![X6_381]: (sit('#skF_10', '#skF_14'(X6_381, '#skF_15'('#skF_10', '#skF_13'(X6_381)))) | event('#skF_10', '#skF_14'(X6_381, '#skF_18'('#skF_10', '#skF_13'(X6_381)))) | ~member('#skF_10', X6_381, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_381))))).
% 20.94/7.76 tff(c_1430, plain, (![X6_382]: (sit('#skF_10', '#skF_14'(X6_382, '#skF_15'('#skF_10', '#skF_13'(X6_382)))) | present('#skF_10', '#skF_14'(X6_382, '#skF_18'('#skF_10', '#skF_13'(X6_382)))) | ~member('#skF_10', X6_382, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_382))))).
% 20.94/7.76 tff(c_1449, plain, (![X6_383]: (event('#skF_10', '#skF_14'(X6_383, '#skF_15'('#skF_10', '#skF_13'(X6_383)))) | sit('#skF_10', '#skF_14'(X6_383, '#skF_18'('#skF_10', '#skF_13'(X6_383)))) | ~member('#skF_10', X6_383, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_383))))).
% 20.94/7.76 tff(c_1451, plain, (![X6_383]: (present('#skF_10', '#skF_14'(X6_383, '#skF_15'('#skF_10', '#skF_13'(X6_383)))) | sit('#skF_10', '#skF_14'(X6_383, '#skF_18'('#skF_10', '#skF_13'(X6_383)))) | ~member('#skF_10', X6_383, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_383))))).
% 20.94/7.76 tff(c_1431, plain, (![X6_382]: (present('#skF_10', '#skF_14'(X6_382, '#skF_15'('#skF_10', '#skF_13'(X6_382)))) | present('#skF_10', '#skF_14'(X6_382, '#skF_18'('#skF_10', '#skF_13'(X6_382)))) | ~member('#skF_10', X6_382, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_382))))).
% 20.94/7.76 tff(c_1450, plain, (![X6_383]: (sit('#skF_10', '#skF_14'(X6_383, '#skF_15'('#skF_10', '#skF_13'(X6_383)))) | sit('#skF_10', '#skF_14'(X6_383, '#skF_18'('#skF_10', '#skF_13'(X6_383)))) | ~member('#skF_10', X6_383, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_383))))).
% 20.94/7.76 tff(c_1409, plain, (![X6_381]: (event('#skF_10', '#skF_14'(X6_381, '#skF_15'('#skF_10', '#skF_13'(X6_381)))) | event('#skF_10', '#skF_14'(X6_381, '#skF_18'('#skF_10', '#skF_13'(X6_381)))) | ~member('#skF_10', X6_381, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_381))))).
% 20.94/7.76 tff(c_1340, plain, (![X6_241]: (sit('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | member('#skF_10', '#skF_15'('#skF_10', '#skF_13'(X6_241)), '#skF_13'(X6_241)) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.76 tff(c_1343, plain, (![X6_241]: (present('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | member('#skF_10', '#skF_15'('#skF_10', '#skF_13'(X6_241)), '#skF_13'(X6_241)) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.76 tff(c_1337, plain, (![X6_241]: (event('#skF_10', '#skF_14'(X6_241, '#skF_18'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | member('#skF_10', '#skF_15'('#skF_10', '#skF_13'(X6_241)), '#skF_13'(X6_241)) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 20.94/7.76 tff(c_1378, plain, (![X6_374]: (agent('#skF_10', '#skF_14'(X6_374, '#skF_15'('#skF_10', '#skF_13'(X6_374))), X6_374) | hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_374))) | ~member('#skF_10', X6_374, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_374))))).
% 20.94/7.76 tff(c_1380, plain, (![X6_374]: (sit('#skF_10', '#skF_14'(X6_374, '#skF_15'('#skF_10', '#skF_13'(X6_374)))) | hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_374))) | ~member('#skF_10', X6_374, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_374))))).
% 21.21/7.76 tff(c_1381, plain, (![X6_374]: (present('#skF_10', '#skF_14'(X6_374, '#skF_15'('#skF_10', '#skF_13'(X6_374)))) | hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_374))) | ~member('#skF_10', X6_374, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_374))))).
% 21.21/7.76 tff(c_1379, plain, (![X6_374]: (event('#skF_10', '#skF_14'(X6_374, '#skF_15'('#skF_10', '#skF_13'(X6_374)))) | hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_374))) | ~member('#skF_10', X6_374, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_374))))).
% 21.21/7.76 tff(c_1387, plain, (![X6_375]: (hamburger('#skF_10', '#skF_15'('#skF_10', '#skF_13'(X6_375))) | ~member('#skF_10', X6_375, '#skF_11') | ~group('#skF_10', '#skF_13'(X6_375))))).
% 21.21/7.76 tff(c_1346, plain, (![X6_241]: (hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_241))) | ~member('#skF_10', X6_241, '#skF_11') | member('#skF_10', '#skF_15'('#skF_10', '#skF_13'(X6_241)), '#skF_13'(X6_241)) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 21.21/7.76 tff(c_1361, plain, (guy('#skF_10', '#skF_15'('#skF_10', '#skF_11')))).
% 21.21/7.76 tff(c_1360, plain, (young('#skF_10', '#skF_15'('#skF_10', '#skF_11')))).
% 21.21/7.76 tff(c_1353, plain, (member('#skF_10', '#skF_15'('#skF_10', '#skF_11'), '#skF_11'))).
% 21.21/7.76 tff(c_1302, plain, (![U_260, V_306]: (member(U_260, '#skF_15'(U_260, V_306), V_306) | member(U_260, '#skF_18'(U_260, V_306), V_306) | ~group(U_260, V_306) | ~actual_world(U_260)))).
% 21.21/7.76 tff(c_1275, plain, (![X6_241]: (agent('#skF_10', '#skF_14'(X6_241, '#skF_15'('#skF_10', '#skF_13'(X6_241))), X6_241) | ~member('#skF_10', X6_241, '#skF_11') | ~hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_241))) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 21.21/7.76 tff(c_1299, plain, (![X6_241, X9_256]: (at('#skF_10', '#skF_14'(X6_241, X9_256), '#skF_12'(X6_241)) | ~member('#skF_10', X9_256, '#skF_13'(X6_241)) | ~member('#skF_10', X6_241, '#skF_11')))).
% 21.21/7.76 tff(c_1284, plain, (![X6_241]: (present('#skF_10', '#skF_14'(X6_241, '#skF_15'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | ~hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_241))) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 21.21/7.76 tff(c_1278, plain, (![X6_241]: (event('#skF_10', '#skF_14'(X6_241, '#skF_15'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | ~hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_241))) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 21.21/7.76 tff(c_1281, plain, (![X6_241]: (sit('#skF_10', '#skF_14'(X6_241, '#skF_15'('#skF_10', '#skF_13'(X6_241)))) | ~member('#skF_10', X6_241, '#skF_11') | ~hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_13'(X6_241))) | ~group('#skF_10', '#skF_13'(X6_241))))).
% 21.21/7.76 tff(c_1294, plain, (~hamburger('#skF_10', '#skF_18'('#skF_10', '#skF_11')))).
% 21.21/7.76 tff(c_1244, plain, (![U_260, V_306]: (member(U_260, '#skF_15'(U_260, V_306), V_306) | ~hamburger(U_260, '#skF_18'(U_260, V_306)) | ~group(U_260, V_306) | ~actual_world(U_260)))).
% 21.21/7.76 tff(c_1240, plain, (![X6_241, X9_256]: (with('#skF_10', '#skF_14'(X6_241, X9_256), X9_256) | ~member('#skF_10', X9_256, '#skF_13'(X6_241)) | ~member('#skF_10', X6_241, '#skF_11')))).
% 21.21/7.76 tff(c_1238, plain, (![X6_241, X9_256]: (agent('#skF_10', '#skF_14'(X6_241, X9_256), X6_241) | ~member('#skF_10', X9_256, '#skF_13'(X6_241)) | ~member('#skF_10', X6_241, '#skF_11')))).
% 21.21/7.76 tff(c_1235, plain, (![X6_241, X9_256]: (event('#skF_10', '#skF_14'(X6_241, X9_256)) | ~member('#skF_10', X9_256, '#skF_13'(X6_241)) | ~member('#skF_10', X6_241, '#skF_11')))).
% 21.21/7.76 tff(c_1233, plain, (![X6_241, X9_256]: (sit('#skF_10', '#skF_14'(X6_241, X9_256)) | ~member('#skF_10', X9_256, '#skF_13'(X6_241)) | ~member('#skF_10', X6_241, '#skF_11')))).
% 21.21/7.76 tff(c_1231, plain, (![X6_241, X9_256]: (present('#skF_10', '#skF_14'(X6_241, X9_256)) | ~member('#skF_10', X9_256, '#skF_13'(X6_241)) | ~member('#skF_10', X6_241, '#skF_11')))).
% 21.21/7.76 tff(c_1224, plain, (![X11_258, X6_241]: (hamburger('#skF_10', X11_258) | ~member('#skF_10', X11_258, '#skF_13'(X6_241)) | ~member('#skF_10', X6_241, '#skF_11')))).
% 21.21/7.76 tff(c_1192, plain, (![X6_241]: (table('#skF_10', '#skF_12'(X6_241)) | ~member('#skF_10', X6_241, '#skF_11')))).
% 21.21/7.76 tff(c_1191, plain, (![X6_241]: (group('#skF_10', '#skF_13'(X6_241)) | ~member('#skF_10', X6_241, '#skF_11')))).
% 21.21/7.76 tff(c_1182, plain, (![X12_259]: (young('#skF_10', X12_259) | ~member('#skF_10', X12_259, '#skF_11')))).
% 21.21/7.76 tff(c_1180, plain, (![X12_259]: (guy('#skF_10', X12_259) | ~member('#skF_10', X12_259, '#skF_11')))).
% 21.21/7.77 tff(c_1169, plain, (group('#skF_1', '#skF_2'))).
% 21.21/7.77 tff(c_1160, plain, (actual_world('#skF_1'))).
% 21.21/7.77 tff(c_1156, plain, (group('#skF_10', '#skF_11'))).
% 21.21/7.77 tff(c_1155, plain, (three('#skF_10', '#skF_11'))).
% 21.21/7.77 tff(c_1153, plain, (actual_world('#skF_10'))).
% 21.21/7.77 % SZS output end Saturation for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 21.21/7.77
%------------------------------------------------------------------------------