%------------------------------------------------------------------------------
% File : Beagle---0.9.52
% Problem : NLP199+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 : n002.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:48:34 PM UTC 2025
% Result : CounterSatisfiable 92.78s 77.33s
% Output : Assurance 0s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : NLP199+1 : TPTP v9.0.0. Released v2.4.0.
% 0.06/0.13 % 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.13/0.33 % Computer : n002.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33 % CPULimit : 300
% 0.13/0.33 % WCLimit : 300
% 0.13/0.33 % DateTime : Tue Apr 8 09:15:02 EDT 2025
% 0.13/0.34 % CPUTime :
% 92.78/77.33
% 92.78/77.33 % SZS status CounterSatisfiable for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 92.78/77.33
% 92.78/77.33 % SZS output start Saturation for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 92.78/77.34 %$ be > patient > of > member > in > down > behind > agent > young > white > wheel > wear > two > street > state > present > placename > old > nonreflexive > man > lonely > jules_forename > hollywood_placename > group > frontseat > forename > fellow > event > dirty > coat > city > chevy > cheap > black > barrel > actual_world > #nlpp > #skF_36 > #skF_35 > #skF_37 > #skF_11 > #skF_31 > #skF_25 > #skF_7 > #skF_10 > #skF_34 > #skF_26 > #skF_5 > #skF_6 > #skF_2 > #skF_3 > #skF_1 > #skF_21 > #skF_9 > #skF_38 > #skF_32 > #skF_33 > #skF_8 > #skF_30 > #skF_13 > #skF_20 > #skF_16 > #skF_4 > #skF_22 > #skF_14 > #skF_29 > #skF_28 > #skF_19 > #skF_18 > #skF_24 > #skF_27 > #skF_23 > #skF_40 > #skF_17 > #skF_15 > #skF_12 > #skF_39
% 92.78/77.34
% 92.78/77.34 %Foreground sorts:
% 92.78/77.34
% 92.78/77.34
% 92.78/77.34 %Background operators:
% 92.78/77.34
% 92.78/77.34
% 92.78/77.34 %Foreground operators:
% 92.78/77.34 tff(cheap, type, cheap: ($i * $i) > $o).
% 92.78/77.34 tff(wear, type, wear: ($i * $i) > $o).
% 92.78/77.34 tff('#skF_36', type, '#skF_36': ($i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i) > $i).
% 92.78/77.34 tff(two, type, two: ($i * $i) > $o).
% 92.78/77.34 tff('#skF_35', type, '#skF_35': ($i * $i) > $i).
% 92.78/77.34 tff(frontseat, type, frontseat: ($i * $i) > $o).
% 92.78/77.34 tff(placename, type, placename: ($i * $i) > $o).
% 92.78/77.34 tff(member, type, member: ($i * $i * $i) > $o).
% 92.78/77.34 tff(forename, type, forename: ($i * $i) > $o).
% 92.78/77.34 tff('#skF_37', type, '#skF_37': ($i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i) > $i).
% 92.78/77.34 tff(be, type, be: ($i * $i * $i * $i) > $o).
% 92.78/77.34 tff(wheel, type, wheel: ($i * $i) > $o).
% 92.78/77.34 tff(black, type, black: ($i * $i) > $o).
% 92.78/77.34 tff(present, type, present: ($i * $i) > $o).
% 92.78/77.34 tff(in, type, in: ($i * $i * $i) > $o).
% 92.78/77.34 tff(old, type, old: ($i * $i) > $o).
% 92.78/77.34 tff(dirty, type, dirty: ($i * $i) > $o).
% 92.78/77.34 tff(behind, type, behind: ($i * $i * $i) > $o).
% 92.78/77.34 tff('#skF_11', type, '#skF_11': $i).
% 92.78/77.34 tff('#skF_31', type, '#skF_31': $i).
% 92.78/77.34 tff(city, type, city: ($i * $i) > $o).
% 92.78/77.34 tff('#skF_25', type, '#skF_25': $i).
% 92.78/77.34 tff(young, type, young: ($i * $i) > $o).
% 92.78/77.34 tff(of, type, of: ($i * $i * $i) > $o).
% 92.78/77.34 tff('#skF_7', type, '#skF_7': $i).
% 92.78/77.34 tff(actual_world, type, actual_world: $i > $o).
% 92.78/77.34 tff(agent, type, agent: ($i * $i * $i) > $o).
% 92.78/77.34 tff('#skF_10', type, '#skF_10': $i).
% 92.78/77.34 tff('#skF_34', type, '#skF_34': $i > $i).
% 92.78/77.34 tff('#skF_26', type, '#skF_26': $i).
% 92.78/77.34 tff('#skF_5', type, '#skF_5': $i).
% 92.78/77.34 tff(group, type, group: ($i * $i) > $o).
% 92.78/77.34 tff(lonely, type, lonely: ($i * $i) > $o).
% 92.78/77.34 tff(jules_forename, type, jules_forename: ($i * $i) > $o).
% 92.78/77.34 tff(fellow, type, fellow: ($i * $i) > $o).
% 92.78/77.34 tff('#skF_6', type, '#skF_6': $i).
% 92.78/77.34 tff('#skF_2', type, '#skF_2': $i).
% 92.78/77.34 tff('#skF_3', type, '#skF_3': $i).
% 92.78/77.34 tff(event, type, event: ($i * $i) > $o).
% 92.78/77.34 tff('#skF_1', type, '#skF_1': $i).
% 92.78/77.34 tff(down, type, down: ($i * $i * $i) > $o).
% 92.78/77.34 tff(patient, type, patient: ($i * $i * $i) > $o).
% 92.78/77.34 tff(hollywood_placename, type, hollywood_placename: ($i * $i) > $o).
% 92.78/77.34 tff(white, type, white: ($i * $i) > $o).
% 92.78/77.34 tff('#skF_21', type, '#skF_21': $i).
% 92.78/77.34 tff('#skF_9', type, '#skF_9': $i).
% 92.78/77.34 tff('#skF_38', type, '#skF_38': ($i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i) > $i).
% 92.78/77.34 tff(barrel, type, barrel: ($i * $i) > $o).
% 92.78/77.34 tff('#skF_32', type, '#skF_32': $i).
% 92.78/77.34 tff(state, type, state: ($i * $i) > $o).
% 92.78/77.34 tff('#skF_33', type, '#skF_33': $i > $i).
% 92.78/77.34 tff(street, type, street: ($i * $i) > $o).
% 92.78/77.34 tff('#skF_8', type, '#skF_8': $i).
% 92.78/77.34 tff('#skF_30', type, '#skF_30': $i).
% 92.78/77.34 tff('#skF_13', type, '#skF_13': $i > $i).
% 92.78/77.34 tff(man, type, man: ($i * $i) > $o).
% 92.78/77.34 tff('#skF_20', type, '#skF_20': ($i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i) > $i).
% 92.78/77.34 tff('#skF_16', type, '#skF_16': ($i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i) > $i).
% 92.78/77.34 tff('#skF_4', type, '#skF_4': $i).
% 92.78/77.34 tff('#skF_22', type, '#skF_22': $i).
% 92.78/77.34 tff('#skF_14', type, '#skF_14': $i > $i).
% 92.78/77.34 tff('#skF_29', type, '#skF_29': $i).
% 92.78/77.34 tff('#skF_28', type, '#skF_28': $i).
% 92.78/77.34 tff('#skF_19', type, '#skF_19': ($i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i) > $i).
% 92.78/77.34 tff('#skF_18', type, '#skF_18': ($i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i) > $i).
% 92.78/77.34 tff('#skF_24', type, '#skF_24': $i).
% 92.78/77.34 tff('#skF_27', type, '#skF_27': $i).
% 92.78/77.34 tff('#skF_23', type, '#skF_23': $i).
% 92.78/77.34 tff(nonreflexive, type, nonreflexive: ($i * $i) > $o).
% 92.78/77.34 tff(chevy, type, chevy: ($i * $i) > $o).
% 92.78/77.34 tff('#skF_40', type, '#skF_40': ($i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i) > $i).
% 92.78/77.34 tff('#skF_17', type, '#skF_17': ($i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i) > $i).
% 92.78/77.34 tff(coat, type, coat: ($i * $i) > $o).
% 92.78/77.34 tff('#skF_15', type, '#skF_15': ($i * $i) > $i).
% 92.78/77.34 tff('#skF_12', type, '#skF_12': $i).
% 92.78/77.34 tff('#skF_39', type, '#skF_39': ($i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i) > $i).
% 92.78/77.34
% 92.78/77.34 %Saturated clause set:
% 92.78/77.34 tff(c_12631, plain, (![X1_1571, X4_1575, X2_1572, W_1579, X5_1581, Z_1580, Y_1576, X6_1578, V_1577, X_1573, X3_1574]: (member('#skF_21', '#skF_36'(X2_1572, X_1573, V_1577, X1_1571, X4_1575, W_1579, X3_1574, Y_1576, Z_1580, X5_1581, '#skF_21', X6_1578), X3_1574) | ~young('#skF_21', '#skF_37'(X2_1572, X_1573, V_1577, X1_1571, X4_1575, W_1579, X3_1574, Y_1576, Z_1580, X5_1581, '#skF_21', X6_1578)) | ~fellow('#skF_21', '#skF_37'(X2_1572, X_1573, V_1577, X1_1571, X4_1575, W_1579, X3_1574, Y_1576, Z_1580, X5_1581, '#skF_21', X6_1578)) | ~cheap('#skF_21', '#skF_40'(X2_1572, X_1573, V_1577, X1_1571, X4_1575, W_1579, X3_1574, Y_1576, Z_1580, X5_1581, '#skF_21', X6_1578)) | ~black('#skF_21', '#skF_40'(X2_1572, X_1573, V_1577, X1_1571, X4_1575, W_1579, X3_1574, Y_1576, Z_1580, X5_1581, '#skF_21', X6_1578)) | ~coat('#skF_21', '#skF_40'(X2_1572, X_1573, V_1577, X1_1571, X4_1575, W_1579, X3_1574, Y_1576, Z_1580, X5_1581, '#skF_21', X6_1578)) | ~behind('#skF_21', X6_1578, X6_1578) | ~be('#skF_21', X5_1581, V_1577, X6_1578) | ~state('#skF_21', X5_1581) | ~wheel('#skF_21', X6_1578) | ~group('#skF_21', X4_1575) | ~group('#skF_21', X3_1574) | ~two('#skF_21', X3_1574) | ~in('#skF_21', X2_1572, X1_1571) | ~down('#skF_21', X2_1572, X1_1571) | ~barrel('#skF_21', X2_1572) | ~present('#skF_21', X2_1572) | ~agent('#skF_21', X2_1572, Y_1576) | ~event('#skF_21', X2_1572) | ~lonely('#skF_21', X1_1571) | ~street('#skF_21', X1_1571) | ~placename('#skF_21', Z_1580) | ~hollywood_placename('#skF_21', Z_1580) | ~city('#skF_21', X1_1571) | ~of('#skF_21', Z_1580, X1_1571) | ~old('#skF_21', Y_1576) | ~dirty('#skF_21', Y_1576) | ~white('#skF_21', Y_1576) | ~chevy('#skF_21', Y_1576) | ~frontseat('#skF_21', X_1573) | ~forename('#skF_21', W_1579) | ~jules_forename('#skF_21', W_1579) | ~man('#skF_21', V_1577) | ~of('#skF_21', W_1579, V_1577) | ~member('#skF_21', '#skF_39'(X2_1572, X_1573, V_1577, X1_1571, X4_1575, W_1579, X3_1574, Y_1576, Z_1580, X5_1581, '#skF_21', X6_1578), '#skF_29') | ~member('#skF_21', '#skF_38'(X2_1572, X_1573, V_1577, X1_1571, X4_1575, W_1579, X3_1574, Y_1576, Z_1580, X5_1581, '#skF_21', X6_1578), '#skF_30')))).
% 92.78/77.35 tff(c_12610, plain, (![X6_1518, X1_1522, X2_1524, V_1527, X3_1525, Y_1523, X5_1526, X4_1520, Z_1521, W_1519]: (~young('#skF_21', '#skF_37'(X2_1524, '#skF_24', V_1527, X1_1522, X4_1520, W_1519, X3_1525, Y_1523, Z_1521, X5_1526, '#skF_21', X6_1518)) | ~fellow('#skF_21', '#skF_37'(X2_1524, '#skF_24', V_1527, X1_1522, X4_1520, W_1519, X3_1525, Y_1523, Z_1521, X5_1526, '#skF_21', X6_1518)) | ~cheap('#skF_21', '#skF_40'(X2_1524, '#skF_24', V_1527, X1_1522, X4_1520, W_1519, X3_1525, Y_1523, Z_1521, X5_1526, '#skF_21', X6_1518)) | ~black('#skF_21', '#skF_40'(X2_1524, '#skF_24', V_1527, X1_1522, X4_1520, W_1519, X3_1525, Y_1523, Z_1521, X5_1526, '#skF_21', X6_1518)) | ~coat('#skF_21', '#skF_40'(X2_1524, '#skF_24', V_1527, X1_1522, X4_1520, W_1519, X3_1525, Y_1523, Z_1521, X5_1526, '#skF_21', X6_1518)) | ~behind('#skF_21', X6_1518, X6_1518) | ~be('#skF_21', X5_1526, V_1527, X6_1518) | ~state('#skF_21', X5_1526) | ~wheel('#skF_21', X6_1518) | ~group('#skF_21', X4_1520) | ~group('#skF_21', X3_1525) | ~two('#skF_21', X3_1525) | ~in('#skF_21', X2_1524, X1_1522) | ~down('#skF_21', X2_1524, X1_1522) | ~barrel('#skF_21', X2_1524) | ~present('#skF_21', X2_1524) | ~agent('#skF_21', X2_1524, Y_1523) | ~event('#skF_21', X2_1524) | ~lonely('#skF_21', X1_1522) | ~street('#skF_21', X1_1522) | ~placename('#skF_21', Z_1521) | ~hollywood_placename('#skF_21', Z_1521) | ~city('#skF_21', X1_1522) | ~of('#skF_21', Z_1521, X1_1522) | ~old('#skF_21', Y_1523) | ~dirty('#skF_21', Y_1523) | ~white('#skF_21', Y_1523) | ~chevy('#skF_21', Y_1523) | ~forename('#skF_21', W_1519) | ~jules_forename('#skF_21', W_1519) | ~man('#skF_21', V_1527) | ~of('#skF_21', W_1519, V_1527) | ~member('#skF_21', '#skF_36'(X2_1524, '#skF_24', V_1527, X1_1522, X4_1520, W_1519, X3_1525, Y_1523, Z_1521, X5_1526, '#skF_21', X6_1518), '#skF_29') | ~member('#skF_21', '#skF_39'(X2_1524, '#skF_24', V_1527, X1_1522, X4_1520, W_1519, X3_1525, Y_1523, Z_1521, X5_1526, '#skF_21', X6_1518), '#skF_29') | ~member('#skF_21', '#skF_38'(X2_1524, '#skF_24', V_1527, X1_1522, X4_1520, W_1519, X3_1525, Y_1523, Z_1521, X5_1526, '#skF_21', X6_1518), '#skF_30')))).
% 92.78/77.35 tff(c_12589, plain, (![X2_1471, X1_1466, X3_1474, X6_1475, Y_1470, Z_1468, W_1469, V_1476, X4_1467, X_1472, X5_1473]: (member('#skF_21', '#skF_36'(X2_1471, X_1472, V_1476, X1_1466, X4_1467, W_1469, X3_1474, Y_1470, Z_1468, X5_1473, '#skF_21', X6_1475), X3_1474) | member('#skF_21', '#skF_37'(X2_1471, X_1472, V_1476, X1_1466, X4_1467, W_1469, X3_1474, Y_1470, Z_1468, X5_1473, '#skF_21', X6_1475), X3_1474) | ~cheap('#skF_21', '#skF_40'(X2_1471, X_1472, V_1476, X1_1466, X4_1467, W_1469, X3_1474, Y_1470, Z_1468, X5_1473, '#skF_21', X6_1475)) | ~black('#skF_21', '#skF_40'(X2_1471, X_1472, V_1476, X1_1466, X4_1467, W_1469, X3_1474, Y_1470, Z_1468, X5_1473, '#skF_21', X6_1475)) | ~coat('#skF_21', '#skF_40'(X2_1471, X_1472, V_1476, X1_1466, X4_1467, W_1469, X3_1474, Y_1470, Z_1468, X5_1473, '#skF_21', X6_1475)) | ~behind('#skF_21', X6_1475, X6_1475) | ~be('#skF_21', X5_1473, V_1476, X6_1475) | ~state('#skF_21', X5_1473) | ~wheel('#skF_21', X6_1475) | ~group('#skF_21', X4_1467) | ~group('#skF_21', X3_1474) | ~two('#skF_21', X3_1474) | ~in('#skF_21', X2_1471, X1_1466) | ~down('#skF_21', X2_1471, X1_1466) | ~barrel('#skF_21', X2_1471) | ~present('#skF_21', X2_1471) | ~agent('#skF_21', X2_1471, Y_1470) | ~event('#skF_21', X2_1471) | ~lonely('#skF_21', X1_1466) | ~street('#skF_21', X1_1466) | ~placename('#skF_21', Z_1468) | ~hollywood_placename('#skF_21', Z_1468) | ~city('#skF_21', X1_1466) | ~of('#skF_21', Z_1468, X1_1466) | ~old('#skF_21', Y_1470) | ~dirty('#skF_21', Y_1470) | ~white('#skF_21', Y_1470) | ~chevy('#skF_21', Y_1470) | ~frontseat('#skF_21', X_1472) | ~forename('#skF_21', W_1469) | ~jules_forename('#skF_21', W_1469) | ~man('#skF_21', V_1476) | ~of('#skF_21', W_1469, V_1476) | ~member('#skF_21', '#skF_39'(X2_1471, X_1472, V_1476, X1_1466, X4_1467, W_1469, X3_1474, Y_1470, Z_1468, X5_1473, '#skF_21', X6_1475), '#skF_29') | ~member('#skF_21', '#skF_38'(X2_1471, X_1472, V_1476, X1_1466, X4_1467, W_1469, X3_1474, Y_1470, Z_1468, X5_1473, '#skF_21', X6_1475), '#skF_30')))).
% 92.78/77.35 tff(c_12568, plain, (![V_1418, X3_1419, X2_1417, X5_1413, X1_1421, X4_1414, Y_1415, X6_1422, W_1416, Z_1420]: (member('#skF_21', '#skF_37'(X2_1417, '#skF_24', V_1418, X1_1421, X4_1414, W_1416, X3_1419, Y_1415, Z_1420, X5_1413, '#skF_21', X6_1422), X3_1419) | ~cheap('#skF_21', '#skF_40'(X2_1417, '#skF_24', V_1418, X1_1421, X4_1414, W_1416, X3_1419, Y_1415, Z_1420, X5_1413, '#skF_21', X6_1422)) | ~black('#skF_21', '#skF_40'(X2_1417, '#skF_24', V_1418, X1_1421, X4_1414, W_1416, X3_1419, Y_1415, Z_1420, X5_1413, '#skF_21', X6_1422)) | ~coat('#skF_21', '#skF_40'(X2_1417, '#skF_24', V_1418, X1_1421, X4_1414, W_1416, X3_1419, Y_1415, Z_1420, X5_1413, '#skF_21', X6_1422)) | ~behind('#skF_21', X6_1422, X6_1422) | ~be('#skF_21', X5_1413, V_1418, X6_1422) | ~state('#skF_21', X5_1413) | ~wheel('#skF_21', X6_1422) | ~group('#skF_21', X4_1414) | ~group('#skF_21', X3_1419) | ~two('#skF_21', X3_1419) | ~in('#skF_21', X2_1417, X1_1421) | ~down('#skF_21', X2_1417, X1_1421) | ~barrel('#skF_21', X2_1417) | ~present('#skF_21', X2_1417) | ~agent('#skF_21', X2_1417, Y_1415) | ~event('#skF_21', X2_1417) | ~lonely('#skF_21', X1_1421) | ~street('#skF_21', X1_1421) | ~placename('#skF_21', Z_1420) | ~hollywood_placename('#skF_21', Z_1420) | ~city('#skF_21', X1_1421) | ~of('#skF_21', Z_1420, X1_1421) | ~old('#skF_21', Y_1415) | ~dirty('#skF_21', Y_1415) | ~white('#skF_21', Y_1415) | ~chevy('#skF_21', Y_1415) | ~forename('#skF_21', W_1416) | ~jules_forename('#skF_21', W_1416) | ~man('#skF_21', V_1418) | ~of('#skF_21', W_1416, V_1418) | ~member('#skF_21', '#skF_36'(X2_1417, '#skF_24', V_1418, X1_1421, X4_1414, W_1416, X3_1419, Y_1415, Z_1420, X5_1413, '#skF_21', X6_1422), '#skF_29') | ~member('#skF_21', '#skF_39'(X2_1417, '#skF_24', V_1418, X1_1421, X4_1414, W_1416, X3_1419, Y_1415, Z_1420, X5_1413, '#skF_21', X6_1422), '#skF_29') | ~member('#skF_21', '#skF_38'(X2_1417, '#skF_24', V_1418, X1_1421, X4_1414, W_1416, X3_1419, Y_1415, Z_1420, X5_1413, '#skF_21', X6_1422), '#skF_30')))).
% 92.78/77.35 tff(c_12547, plain, (![X6_1367, X3_1361, Y_1366, V_1371, X5_1370, X_1362, X4_1369, W_1363, Z_1368, X2_1364, X1_1365]: (member('#skF_21', '#skF_36'(X2_1364, X_1362, V_1371, X1_1365, X4_1369, W_1363, X3_1361, Y_1366, Z_1368, X5_1370, '#skF_21', X6_1367), X3_1361) | ~young('#skF_21', '#skF_37'(X2_1364, X_1362, V_1371, X1_1365, X4_1369, W_1363, X3_1361, Y_1366, Z_1368, X5_1370, '#skF_21', X6_1367)) | ~fellow('#skF_21', '#skF_37'(X2_1364, X_1362, V_1371, X1_1365, X4_1369, W_1363, X3_1361, Y_1366, Z_1368, X5_1370, '#skF_21', X6_1367)) | member('#skF_21', '#skF_40'(X2_1364, X_1362, V_1371, X1_1365, X4_1369, W_1363, X3_1361, Y_1366, Z_1368, X5_1370, '#skF_21', X6_1367), X4_1369) | ~behind('#skF_21', X6_1367, X6_1367) | ~be('#skF_21', X5_1370, V_1371, X6_1367) | ~state('#skF_21', X5_1370) | ~wheel('#skF_21', X6_1367) | ~group('#skF_21', X4_1369) | ~group('#skF_21', X3_1361) | ~two('#skF_21', X3_1361) | ~in('#skF_21', X2_1364, X1_1365) | ~down('#skF_21', X2_1364, X1_1365) | ~barrel('#skF_21', X2_1364) | ~present('#skF_21', X2_1364) | ~agent('#skF_21', X2_1364, Y_1366) | ~event('#skF_21', X2_1364) | ~lonely('#skF_21', X1_1365) | ~street('#skF_21', X1_1365) | ~placename('#skF_21', Z_1368) | ~hollywood_placename('#skF_21', Z_1368) | ~city('#skF_21', X1_1365) | ~of('#skF_21', Z_1368, X1_1365) | ~old('#skF_21', Y_1366) | ~dirty('#skF_21', Y_1366) | ~white('#skF_21', Y_1366) | ~chevy('#skF_21', Y_1366) | ~frontseat('#skF_21', X_1362) | ~forename('#skF_21', W_1363) | ~jules_forename('#skF_21', W_1363) | ~man('#skF_21', V_1371) | ~of('#skF_21', W_1363, V_1371) | ~member('#skF_21', '#skF_39'(X2_1364, X_1362, V_1371, X1_1365, X4_1369, W_1363, X3_1361, Y_1366, Z_1368, X5_1370, '#skF_21', X6_1367), '#skF_29') | ~member('#skF_21', '#skF_38'(X2_1364, X_1362, V_1371, X1_1365, X4_1369, W_1363, X3_1361, Y_1366, Z_1368, X5_1370, '#skF_21', X6_1367), '#skF_30')))).
% 92.78/77.35 tff(c_12316, plain, (![W_991, X32_200, V_988, X5_995, X1_989, Y_993, X_987, X2_986, X6_997, Z_994, X3_992, X4_990]: (member('#skF_21', '#skF_36'(X2_986, X_987, V_988, X1_989, X4_990, W_991, X3_992, Y_993, Z_994, X5_995, '#skF_21', X6_997), X3_992) | ~young('#skF_21', '#skF_37'(X2_986, X_987, V_988, X1_989, X4_990, W_991, X3_992, Y_993, Z_994, X5_995, '#skF_21', X6_997)) | ~fellow('#skF_21', '#skF_37'(X2_986, X_987, V_988, X1_989, X4_990, W_991, X3_992, Y_993, Z_994, X5_995, '#skF_21', X6_997)) | ~wear('#skF_21', '#skF_35'('#skF_38'(X2_986, X_987, V_988, X1_989, X4_990, W_991, X3_992, Y_993, Z_994, X5_995, '#skF_21', X6_997), X32_200)) | ~nonreflexive('#skF_21', '#skF_35'('#skF_38'(X2_986, X_987, V_988, X1_989, X4_990, W_991, X3_992, Y_993, Z_994, X5_995, '#skF_21', X6_997), X32_200)) | ~present('#skF_21', '#skF_35'('#skF_38'(X2_986, X_987, V_988, X1_989, X4_990, W_991, X3_992, Y_993, Z_994, X5_995, '#skF_21', X6_997), X32_200)) | ~agent('#skF_21', '#skF_35'('#skF_38'(X2_986, X_987, V_988, X1_989, X4_990, W_991, X3_992, Y_993, Z_994, X5_995, '#skF_21', X6_997), X32_200), '#skF_39'(X2_986, X_987, V_988, X1_989, X4_990, W_991, X3_992, Y_993, Z_994, X5_995, '#skF_21', X6_997)) | ~event('#skF_21', '#skF_35'('#skF_38'(X2_986, X_987, V_988, X1_989, X4_990, W_991, X3_992, Y_993, Z_994, X5_995, '#skF_21', X6_997), X32_200)) | ~cheap('#skF_21', '#skF_40'(X2_986, X_987, V_988, X1_989, X4_990, W_991, X3_992, Y_993, Z_994, X5_995, '#skF_21', X6_997)) | ~black('#skF_21', '#skF_40'(X2_986, X_987, V_988, X1_989, X4_990, W_991, X3_992, Y_993, Z_994, X5_995, '#skF_21', X6_997)) | ~coat('#skF_21', '#skF_40'(X2_986, X_987, V_988, X1_989, X4_990, W_991, X3_992, Y_993, Z_994, X5_995, '#skF_21', X6_997)) | ~behind('#skF_21', X6_997, X6_997) | ~be('#skF_21', X5_995, V_988, X6_997) | ~state('#skF_21', X5_995) | ~wheel('#skF_21', X6_997) | ~group('#skF_21', X4_990) | ~group('#skF_21', X3_992) | ~two('#skF_21', X3_992) | ~in('#skF_21', X2_986, X1_989) | ~down('#skF_21', X2_986, X1_989) | ~barrel('#skF_21', X2_986) | ~present('#skF_21', X2_986) | ~agent('#skF_21', X2_986, Y_993) | ~event('#skF_21', X2_986) | ~lonely('#skF_21', X1_989) | ~street('#skF_21', X1_989) | ~placename('#skF_21', Z_994) | ~hollywood_placename('#skF_21', Z_994) | ~city('#skF_21', X1_989) | ~of('#skF_21', Z_994, X1_989) | ~old('#skF_21', Y_993) | ~dirty('#skF_21', Y_993) | ~white('#skF_21', Y_993) | ~chevy('#skF_21', Y_993) | ~frontseat('#skF_21', X_987) | ~forename('#skF_21', W_991) | ~jules_forename('#skF_21', W_991) | ~man('#skF_21', V_988) | ~of('#skF_21', W_991, V_988) | ~member('#skF_21', X32_200, '#skF_29') | ~member('#skF_21', '#skF_38'(X2_986, X_987, V_988, X1_989, X4_990, W_991, X3_992, Y_993, Z_994, X5_995, '#skF_21', X6_997), '#skF_30')))).
% 92.78/77.35 tff(c_12520, plain, (![X5_1300, V_1298, W_1296, Y_1299, X6_1302, X3_1305, X2_1297, X4_1303, X1_1301, Z_1304]: (~young('#skF_21', '#skF_37'(X2_1297, '#skF_24', V_1298, X1_1301, X4_1303, W_1296, X3_1305, Y_1299, Z_1304, X5_1300, '#skF_21', X6_1302)) | ~fellow('#skF_21', '#skF_37'(X2_1297, '#skF_24', V_1298, X1_1301, X4_1303, W_1296, X3_1305, Y_1299, Z_1304, X5_1300, '#skF_21', X6_1302)) | member('#skF_21', '#skF_40'(X2_1297, '#skF_24', V_1298, X1_1301, X4_1303, W_1296, X3_1305, Y_1299, Z_1304, X5_1300, '#skF_21', X6_1302), X4_1303) | ~behind('#skF_21', X6_1302, X6_1302) | ~be('#skF_21', X5_1300, V_1298, X6_1302) | ~state('#skF_21', X5_1300) | ~wheel('#skF_21', X6_1302) | ~group('#skF_21', X4_1303) | ~group('#skF_21', X3_1305) | ~two('#skF_21', X3_1305) | ~in('#skF_21', X2_1297, X1_1301) | ~down('#skF_21', X2_1297, X1_1301) | ~barrel('#skF_21', X2_1297) | ~present('#skF_21', X2_1297) | ~agent('#skF_21', X2_1297, Y_1299) | ~event('#skF_21', X2_1297) | ~lonely('#skF_21', X1_1301) | ~street('#skF_21', X1_1301) | ~placename('#skF_21', Z_1304) | ~hollywood_placename('#skF_21', Z_1304) | ~city('#skF_21', X1_1301) | ~of('#skF_21', Z_1304, X1_1301) | ~old('#skF_21', Y_1299) | ~dirty('#skF_21', Y_1299) | ~white('#skF_21', Y_1299) | ~chevy('#skF_21', Y_1299) | ~forename('#skF_21', W_1296) | ~jules_forename('#skF_21', W_1296) | ~man('#skF_21', V_1298) | ~of('#skF_21', W_1296, V_1298) | ~member('#skF_21', '#skF_36'(X2_1297, '#skF_24', V_1298, X1_1301, X4_1303, W_1296, X3_1305, Y_1299, Z_1304, X5_1300, '#skF_21', X6_1302), '#skF_29') | ~member('#skF_21', '#skF_39'(X2_1297, '#skF_24', V_1298, X1_1301, X4_1303, W_1296, X3_1305, Y_1299, Z_1304, X5_1300, '#skF_21', X6_1302), '#skF_29') | ~member('#skF_21', '#skF_38'(X2_1297, '#skF_24', V_1298, X1_1301, X4_1303, W_1296, X3_1305, Y_1299, Z_1304, X5_1300, '#skF_21', X6_1302), '#skF_30')))).
% 92.78/77.35 tff(c_12428, plain, (![W_1103, X6_1099, X3_1093, X5_1095, X2_1096, X32_200, Y_1097, X4_1100, X1_1098, Z_1102, V_1094]: (~young('#skF_21', '#skF_37'(X2_1096, '#skF_24', V_1094, X1_1098, X4_1100, W_1103, X3_1093, Y_1097, Z_1102, X5_1095, '#skF_21', X6_1099)) | ~fellow('#skF_21', '#skF_37'(X2_1096, '#skF_24', V_1094, X1_1098, X4_1100, W_1103, X3_1093, Y_1097, Z_1102, X5_1095, '#skF_21', X6_1099)) | ~wear('#skF_21', '#skF_35'('#skF_38'(X2_1096, '#skF_24', V_1094, X1_1098, X4_1100, W_1103, X3_1093, Y_1097, Z_1102, X5_1095, '#skF_21', X6_1099), X32_200)) | ~nonreflexive('#skF_21', '#skF_35'('#skF_38'(X2_1096, '#skF_24', V_1094, X1_1098, X4_1100, W_1103, X3_1093, Y_1097, Z_1102, X5_1095, '#skF_21', X6_1099), X32_200)) | ~present('#skF_21', '#skF_35'('#skF_38'(X2_1096, '#skF_24', V_1094, X1_1098, X4_1100, W_1103, X3_1093, Y_1097, Z_1102, X5_1095, '#skF_21', X6_1099), X32_200)) | ~agent('#skF_21', '#skF_35'('#skF_38'(X2_1096, '#skF_24', V_1094, X1_1098, X4_1100, W_1103, X3_1093, Y_1097, Z_1102, X5_1095, '#skF_21', X6_1099), X32_200), '#skF_39'(X2_1096, '#skF_24', V_1094, X1_1098, X4_1100, W_1103, X3_1093, Y_1097, Z_1102, X5_1095, '#skF_21', X6_1099)) | ~event('#skF_21', '#skF_35'('#skF_38'(X2_1096, '#skF_24', V_1094, X1_1098, X4_1100, W_1103, X3_1093, Y_1097, Z_1102, X5_1095, '#skF_21', X6_1099), X32_200)) | ~cheap('#skF_21', '#skF_40'(X2_1096, '#skF_24', V_1094, X1_1098, X4_1100, W_1103, X3_1093, Y_1097, Z_1102, X5_1095, '#skF_21', X6_1099)) | ~black('#skF_21', '#skF_40'(X2_1096, '#skF_24', V_1094, X1_1098, X4_1100, W_1103, X3_1093, Y_1097, Z_1102, X5_1095, '#skF_21', X6_1099)) | ~coat('#skF_21', '#skF_40'(X2_1096, '#skF_24', V_1094, X1_1098, X4_1100, W_1103, X3_1093, Y_1097, Z_1102, X5_1095, '#skF_21', X6_1099)) | ~behind('#skF_21', X6_1099, X6_1099) | ~be('#skF_21', X5_1095, V_1094, X6_1099) | ~state('#skF_21', X5_1095) | ~wheel('#skF_21', X6_1099) | ~group('#skF_21', X4_1100) | ~group('#skF_21', X3_1093) | ~two('#skF_21', X3_1093) | ~in('#skF_21', X2_1096, X1_1098) | ~down('#skF_21', X2_1096, X1_1098) | ~barrel('#skF_21', X2_1096) | ~present('#skF_21', X2_1096) | ~agent('#skF_21', X2_1096, Y_1097) | ~event('#skF_21', X2_1096) | ~lonely('#skF_21', X1_1098) | ~street('#skF_21', X1_1098) | ~placename('#skF_21', Z_1102) | ~hollywood_placename('#skF_21', Z_1102) | ~city('#skF_21', X1_1098) | ~of('#skF_21', Z_1102, X1_1098) | ~old('#skF_21', Y_1097) | ~dirty('#skF_21', Y_1097) | ~white('#skF_21', Y_1097) | ~chevy('#skF_21', Y_1097) | ~forename('#skF_21', W_1103) | ~jules_forename('#skF_21', W_1103) | ~man('#skF_21', V_1094) | ~of('#skF_21', W_1103, V_1094) | ~member('#skF_21', '#skF_36'(X2_1096, '#skF_24', V_1094, X1_1098, X4_1100, W_1103, X3_1093, Y_1097, Z_1102, X5_1095, '#skF_21', X6_1099), '#skF_29') | ~member('#skF_21', X32_200, '#skF_29') | ~member('#skF_21', '#skF_38'(X2_1096, '#skF_24', V_1094, X1_1098, X4_1100, W_1103, X3_1093, Y_1097, Z_1102, X5_1095, '#skF_21', X6_1099), '#skF_30')))).
% 92.78/77.35 tff(c_12493, plain, (![X4_1241, X6_1242, Z_1237, X5_1234, Y_1233, W_1239, X1_1235, X2_1236, X_1240, X3_1238, V_1243]: (member('#skF_21', '#skF_36'(X2_1236, X_1240, V_1243, X1_1235, X4_1241, W_1239, X3_1238, Y_1233, Z_1237, X5_1234, '#skF_21', X6_1242), X3_1238) | member('#skF_21', '#skF_37'(X2_1236, X_1240, V_1243, X1_1235, X4_1241, W_1239, X3_1238, Y_1233, Z_1237, X5_1234, '#skF_21', X6_1242), X3_1238) | member('#skF_21', '#skF_40'(X2_1236, X_1240, V_1243, X1_1235, X4_1241, W_1239, X3_1238, Y_1233, Z_1237, X5_1234, '#skF_21', X6_1242), X4_1241) | ~behind('#skF_21', X6_1242, X6_1242) | ~be('#skF_21', X5_1234, V_1243, X6_1242) | ~state('#skF_21', X5_1234) | ~wheel('#skF_21', X6_1242) | ~group('#skF_21', X4_1241) | ~group('#skF_21', X3_1238) | ~two('#skF_21', X3_1238) | ~in('#skF_21', X2_1236, X1_1235) | ~down('#skF_21', X2_1236, X1_1235) | ~barrel('#skF_21', X2_1236) | ~present('#skF_21', X2_1236) | ~agent('#skF_21', X2_1236, Y_1233) | ~event('#skF_21', X2_1236) | ~lonely('#skF_21', X1_1235) | ~street('#skF_21', X1_1235) | ~placename('#skF_21', Z_1237) | ~hollywood_placename('#skF_21', Z_1237) | ~city('#skF_21', X1_1235) | ~of('#skF_21', Z_1237, X1_1235) | ~old('#skF_21', Y_1233) | ~dirty('#skF_21', Y_1233) | ~white('#skF_21', Y_1233) | ~chevy('#skF_21', Y_1233) | ~frontseat('#skF_21', X_1240) | ~forename('#skF_21', W_1239) | ~jules_forename('#skF_21', W_1239) | ~man('#skF_21', V_1243) | ~of('#skF_21', W_1239, V_1243) | ~member('#skF_21', '#skF_39'(X2_1236, X_1240, V_1243, X1_1235, X4_1241, W_1239, X3_1238, Y_1233, Z_1237, X5_1234, '#skF_21', X6_1242), '#skF_29') | ~member('#skF_21', '#skF_38'(X2_1236, X_1240, V_1243, X1_1235, X4_1241, W_1239, X3_1238, Y_1233, Z_1237, X5_1234, '#skF_21', X6_1242), '#skF_30')))).
% 92.78/77.35 tff(c_12141, plain, (![X32_200, X4_866, W_867, V_864, X3_868, X5_871, Z_870, X2_862, X6_873, Y_869, X_863, X1_865]: (member('#skF_21', '#skF_36'(X2_862, X_863, V_864, X1_865, X4_866, W_867, X3_868, Y_869, Z_870, X5_871, '#skF_21', X6_873), X3_868) | member('#skF_21', '#skF_37'(X2_862, X_863, V_864, X1_865, X4_866, W_867, X3_868, Y_869, Z_870, X5_871, '#skF_21', X6_873), X3_868) | ~wear('#skF_21', '#skF_35'('#skF_38'(X2_862, X_863, V_864, X1_865, X4_866, W_867, X3_868, Y_869, Z_870, X5_871, '#skF_21', X6_873), X32_200)) | ~nonreflexive('#skF_21', '#skF_35'('#skF_38'(X2_862, X_863, V_864, X1_865, X4_866, W_867, X3_868, Y_869, Z_870, X5_871, '#skF_21', X6_873), X32_200)) | ~present('#skF_21', '#skF_35'('#skF_38'(X2_862, X_863, V_864, X1_865, X4_866, W_867, X3_868, Y_869, Z_870, X5_871, '#skF_21', X6_873), X32_200)) | ~agent('#skF_21', '#skF_35'('#skF_38'(X2_862, X_863, V_864, X1_865, X4_866, W_867, X3_868, Y_869, Z_870, X5_871, '#skF_21', X6_873), X32_200), '#skF_39'(X2_862, X_863, V_864, X1_865, X4_866, W_867, X3_868, Y_869, Z_870, X5_871, '#skF_21', X6_873)) | ~event('#skF_21', '#skF_35'('#skF_38'(X2_862, X_863, V_864, X1_865, X4_866, W_867, X3_868, Y_869, Z_870, X5_871, '#skF_21', X6_873), X32_200)) | ~cheap('#skF_21', '#skF_40'(X2_862, X_863, V_864, X1_865, X4_866, W_867, X3_868, Y_869, Z_870, X5_871, '#skF_21', X6_873)) | ~black('#skF_21', '#skF_40'(X2_862, X_863, V_864, X1_865, X4_866, W_867, X3_868, Y_869, Z_870, X5_871, '#skF_21', X6_873)) | ~coat('#skF_21', '#skF_40'(X2_862, X_863, V_864, X1_865, X4_866, W_867, X3_868, Y_869, Z_870, X5_871, '#skF_21', X6_873)) | ~behind('#skF_21', X6_873, X6_873) | ~be('#skF_21', X5_871, V_864, X6_873) | ~state('#skF_21', X5_871) | ~wheel('#skF_21', X6_873) | ~group('#skF_21', X4_866) | ~group('#skF_21', X3_868) | ~two('#skF_21', X3_868) | ~in('#skF_21', X2_862, X1_865) | ~down('#skF_21', X2_862, X1_865) | ~barrel('#skF_21', X2_862) | ~present('#skF_21', X2_862) | ~agent('#skF_21', X2_862, Y_869) | ~event('#skF_21', X2_862) | ~lonely('#skF_21', X1_865) | ~street('#skF_21', X1_865) | ~placename('#skF_21', Z_870) | ~hollywood_placename('#skF_21', Z_870) | ~city('#skF_21', X1_865) | ~of('#skF_21', Z_870, X1_865) | ~old('#skF_21', Y_869) | ~dirty('#skF_21', Y_869) | ~white('#skF_21', Y_869) | ~chevy('#skF_21', Y_869) | ~frontseat('#skF_21', X_863) | ~forename('#skF_21', W_867) | ~jules_forename('#skF_21', W_867) | ~man('#skF_21', V_864) | ~of('#skF_21', W_867, V_864) | ~member('#skF_21', X32_200, '#skF_29') | ~member('#skF_21', '#skF_38'(X2_862, X_863, V_864, X1_865, X4_866, W_867, X3_868, Y_869, Z_870, X5_871, '#skF_21', X6_873), '#skF_30')))).
% 92.78/77.36 tff(c_12466, plain, (![W_1177, X3_1169, Y_1172, X1_1176, Z_1173, X4_1168, X5_1175, V_1174, X2_1171, X6_1170]: (member('#skF_21', '#skF_37'(X2_1171, '#skF_24', V_1174, X1_1176, X4_1168, W_1177, X3_1169, Y_1172, Z_1173, X5_1175, '#skF_21', X6_1170), X3_1169) | member('#skF_21', '#skF_40'(X2_1171, '#skF_24', V_1174, X1_1176, X4_1168, W_1177, X3_1169, Y_1172, Z_1173, X5_1175, '#skF_21', X6_1170), X4_1168) | ~behind('#skF_21', X6_1170, X6_1170) | ~be('#skF_21', X5_1175, V_1174, X6_1170) | ~state('#skF_21', X5_1175) | ~wheel('#skF_21', X6_1170) | ~group('#skF_21', X4_1168) | ~group('#skF_21', X3_1169) | ~two('#skF_21', X3_1169) | ~in('#skF_21', X2_1171, X1_1176) | ~down('#skF_21', X2_1171, X1_1176) | ~barrel('#skF_21', X2_1171) | ~present('#skF_21', X2_1171) | ~agent('#skF_21', X2_1171, Y_1172) | ~event('#skF_21', X2_1171) | ~lonely('#skF_21', X1_1176) | ~street('#skF_21', X1_1176) | ~placename('#skF_21', Z_1173) | ~hollywood_placename('#skF_21', Z_1173) | ~city('#skF_21', X1_1176) | ~of('#skF_21', Z_1173, X1_1176) | ~old('#skF_21', Y_1172) | ~dirty('#skF_21', Y_1172) | ~white('#skF_21', Y_1172) | ~chevy('#skF_21', Y_1172) | ~forename('#skF_21', W_1177) | ~jules_forename('#skF_21', W_1177) | ~man('#skF_21', V_1174) | ~of('#skF_21', W_1177, V_1174) | ~member('#skF_21', '#skF_36'(X2_1171, '#skF_24', V_1174, X1_1176, X4_1168, W_1177, X3_1169, Y_1172, Z_1173, X5_1175, '#skF_21', X6_1170), '#skF_29') | ~member('#skF_21', '#skF_39'(X2_1171, '#skF_24', V_1174, X1_1176, X4_1168, W_1177, X3_1169, Y_1172, Z_1173, X5_1175, '#skF_21', X6_1170), '#skF_29') | ~member('#skF_21', '#skF_38'(X2_1171, '#skF_24', V_1174, X1_1176, X4_1168, W_1177, X3_1169, Y_1172, Z_1173, X5_1175, '#skF_21', X6_1170), '#skF_30')))).
% 92.78/77.36 tff(c_12399, plain, (![X6_1045, X32_200, X4_1042, V_1041, X2_1043, X3_1044, X5_1046, X1_1040, Y_1038, Z_1036, W_1039]: (member('#skF_21', '#skF_37'(X2_1043, '#skF_24', V_1041, X1_1040, X4_1042, W_1039, X3_1044, Y_1038, Z_1036, X5_1046, '#skF_21', X6_1045), X3_1044) | ~wear('#skF_21', '#skF_35'('#skF_38'(X2_1043, '#skF_24', V_1041, X1_1040, X4_1042, W_1039, X3_1044, Y_1038, Z_1036, X5_1046, '#skF_21', X6_1045), X32_200)) | ~nonreflexive('#skF_21', '#skF_35'('#skF_38'(X2_1043, '#skF_24', V_1041, X1_1040, X4_1042, W_1039, X3_1044, Y_1038, Z_1036, X5_1046, '#skF_21', X6_1045), X32_200)) | ~present('#skF_21', '#skF_35'('#skF_38'(X2_1043, '#skF_24', V_1041, X1_1040, X4_1042, W_1039, X3_1044, Y_1038, Z_1036, X5_1046, '#skF_21', X6_1045), X32_200)) | ~agent('#skF_21', '#skF_35'('#skF_38'(X2_1043, '#skF_24', V_1041, X1_1040, X4_1042, W_1039, X3_1044, Y_1038, Z_1036, X5_1046, '#skF_21', X6_1045), X32_200), '#skF_39'(X2_1043, '#skF_24', V_1041, X1_1040, X4_1042, W_1039, X3_1044, Y_1038, Z_1036, X5_1046, '#skF_21', X6_1045)) | ~event('#skF_21', '#skF_35'('#skF_38'(X2_1043, '#skF_24', V_1041, X1_1040, X4_1042, W_1039, X3_1044, Y_1038, Z_1036, X5_1046, '#skF_21', X6_1045), X32_200)) | ~cheap('#skF_21', '#skF_40'(X2_1043, '#skF_24', V_1041, X1_1040, X4_1042, W_1039, X3_1044, Y_1038, Z_1036, X5_1046, '#skF_21', X6_1045)) | ~black('#skF_21', '#skF_40'(X2_1043, '#skF_24', V_1041, X1_1040, X4_1042, W_1039, X3_1044, Y_1038, Z_1036, X5_1046, '#skF_21', X6_1045)) | ~coat('#skF_21', '#skF_40'(X2_1043, '#skF_24', V_1041, X1_1040, X4_1042, W_1039, X3_1044, Y_1038, Z_1036, X5_1046, '#skF_21', X6_1045)) | ~behind('#skF_21', X6_1045, X6_1045) | ~be('#skF_21', X5_1046, V_1041, X6_1045) | ~state('#skF_21', X5_1046) | ~wheel('#skF_21', X6_1045) | ~group('#skF_21', X4_1042) | ~group('#skF_21', X3_1044) | ~two('#skF_21', X3_1044) | ~in('#skF_21', X2_1043, X1_1040) | ~down('#skF_21', X2_1043, X1_1040) | ~barrel('#skF_21', X2_1043) | ~present('#skF_21', X2_1043) | ~agent('#skF_21', X2_1043, Y_1038) | ~event('#skF_21', X2_1043) | ~lonely('#skF_21', X1_1040) | ~street('#skF_21', X1_1040) | ~placename('#skF_21', Z_1036) | ~hollywood_placename('#skF_21', Z_1036) | ~city('#skF_21', X1_1040) | ~of('#skF_21', Z_1036, X1_1040) | ~old('#skF_21', Y_1038) | ~dirty('#skF_21', Y_1038) | ~white('#skF_21', Y_1038) | ~chevy('#skF_21', Y_1038) | ~forename('#skF_21', W_1039) | ~jules_forename('#skF_21', W_1039) | ~man('#skF_21', V_1041) | ~of('#skF_21', W_1039, V_1041) | ~member('#skF_21', '#skF_36'(X2_1043, '#skF_24', V_1041, X1_1040, X4_1042, W_1039, X3_1044, Y_1038, Z_1036, X5_1046, '#skF_21', X6_1045), '#skF_29') | ~member('#skF_21', X32_200, '#skF_29') | ~member('#skF_21', '#skF_38'(X2_1043, '#skF_24', V_1041, X1_1040, X4_1042, W_1039, X3_1044, Y_1038, Z_1036, X5_1046, '#skF_21', X6_1045), '#skF_30')))).
% 92.78/77.36 tff(c_11818, plain, (![X1_669, X3_672, X6_677, Y_673, X2_666, V_668, X32_200, W_671, X5_675, X_667, Z_674, X4_670]: (member('#skF_21', '#skF_36'(X2_666, X_667, V_668, X1_669, X4_670, W_671, X3_672, Y_673, Z_674, X5_675, '#skF_21', X6_677), X3_672) | ~young('#skF_21', '#skF_37'(X2_666, X_667, V_668, X1_669, X4_670, W_671, X3_672, Y_673, Z_674, X5_675, '#skF_21', X6_677)) | ~fellow('#skF_21', '#skF_37'(X2_666, X_667, V_668, X1_669, X4_670, W_671, X3_672, Y_673, Z_674, X5_675, '#skF_21', X6_677)) | ~wear('#skF_21', '#skF_35'('#skF_38'(X2_666, X_667, V_668, X1_669, X4_670, W_671, X3_672, Y_673, Z_674, X5_675, '#skF_21', X6_677), X32_200)) | ~nonreflexive('#skF_21', '#skF_35'('#skF_38'(X2_666, X_667, V_668, X1_669, X4_670, W_671, X3_672, Y_673, Z_674, X5_675, '#skF_21', X6_677), X32_200)) | ~present('#skF_21', '#skF_35'('#skF_38'(X2_666, X_667, V_668, X1_669, X4_670, W_671, X3_672, Y_673, Z_674, X5_675, '#skF_21', X6_677), X32_200)) | ~agent('#skF_21', '#skF_35'('#skF_38'(X2_666, X_667, V_668, X1_669, X4_670, W_671, X3_672, Y_673, Z_674, X5_675, '#skF_21', X6_677), X32_200), '#skF_39'(X2_666, X_667, V_668, X1_669, X4_670, W_671, X3_672, Y_673, Z_674, X5_675, '#skF_21', X6_677)) | ~event('#skF_21', '#skF_35'('#skF_38'(X2_666, X_667, V_668, X1_669, X4_670, W_671, X3_672, Y_673, Z_674, X5_675, '#skF_21', X6_677), X32_200)) | member('#skF_21', '#skF_40'(X2_666, X_667, V_668, X1_669, X4_670, W_671, X3_672, Y_673, Z_674, X5_675, '#skF_21', X6_677), X4_670) | ~behind('#skF_21', X6_677, X6_677) | ~be('#skF_21', X5_675, V_668, X6_677) | ~state('#skF_21', X5_675) | ~wheel('#skF_21', X6_677) | ~group('#skF_21', X4_670) | ~group('#skF_21', X3_672) | ~two('#skF_21', X3_672) | ~in('#skF_21', X2_666, X1_669) | ~down('#skF_21', X2_666, X1_669) | ~barrel('#skF_21', X2_666) | ~present('#skF_21', X2_666) | ~agent('#skF_21', X2_666, Y_673) | ~event('#skF_21', X2_666) | ~lonely('#skF_21', X1_669) | ~street('#skF_21', X1_669) | ~placename('#skF_21', Z_674) | ~hollywood_placename('#skF_21', Z_674) | ~city('#skF_21', X1_669) | ~of('#skF_21', Z_674, X1_669) | ~old('#skF_21', Y_673) | ~dirty('#skF_21', Y_673) | ~white('#skF_21', Y_673) | ~chevy('#skF_21', Y_673) | ~frontseat('#skF_21', X_667) | ~forename('#skF_21', W_671) | ~jules_forename('#skF_21', W_671) | ~man('#skF_21', V_668) | ~of('#skF_21', W_671, V_668) | ~member('#skF_21', X32_200, '#skF_29') | ~member('#skF_21', '#skF_38'(X2_666, X_667, V_668, X1_669, X4_670, W_671, X3_672, Y_673, Z_674, X5_675, '#skF_21', X6_677), '#skF_30')))).
% 92.78/77.36 tff(c_12226, plain, (![Y_914, W_917, X6_913, X5_920, X4_916, X2_921, X32_200, V_915, X1_918, Z_912, X3_922]: (~young('#skF_21', '#skF_37'(X2_921, '#skF_24', V_915, X1_918, X4_916, W_917, X3_922, Y_914, Z_912, X5_920, '#skF_21', X6_913)) | ~fellow('#skF_21', '#skF_37'(X2_921, '#skF_24', V_915, X1_918, X4_916, W_917, X3_922, Y_914, Z_912, X5_920, '#skF_21', X6_913)) | ~wear('#skF_21', '#skF_35'('#skF_38'(X2_921, '#skF_24', V_915, X1_918, X4_916, W_917, X3_922, Y_914, Z_912, X5_920, '#skF_21', X6_913), X32_200)) | ~nonreflexive('#skF_21', '#skF_35'('#skF_38'(X2_921, '#skF_24', V_915, X1_918, X4_916, W_917, X3_922, Y_914, Z_912, X5_920, '#skF_21', X6_913), X32_200)) | ~present('#skF_21', '#skF_35'('#skF_38'(X2_921, '#skF_24', V_915, X1_918, X4_916, W_917, X3_922, Y_914, Z_912, X5_920, '#skF_21', X6_913), X32_200)) | ~agent('#skF_21', '#skF_35'('#skF_38'(X2_921, '#skF_24', V_915, X1_918, X4_916, W_917, X3_922, Y_914, Z_912, X5_920, '#skF_21', X6_913), X32_200), '#skF_39'(X2_921, '#skF_24', V_915, X1_918, X4_916, W_917, X3_922, Y_914, Z_912, X5_920, '#skF_21', X6_913)) | ~event('#skF_21', '#skF_35'('#skF_38'(X2_921, '#skF_24', V_915, X1_918, X4_916, W_917, X3_922, Y_914, Z_912, X5_920, '#skF_21', X6_913), X32_200)) | member('#skF_21', '#skF_40'(X2_921, '#skF_24', V_915, X1_918, X4_916, W_917, X3_922, Y_914, Z_912, X5_920, '#skF_21', X6_913), X4_916) | ~behind('#skF_21', X6_913, X6_913) | ~be('#skF_21', X5_920, V_915, X6_913) | ~state('#skF_21', X5_920) | ~wheel('#skF_21', X6_913) | ~group('#skF_21', X4_916) | ~group('#skF_21', X3_922) | ~two('#skF_21', X3_922) | ~in('#skF_21', X2_921, X1_918) | ~down('#skF_21', X2_921, X1_918) | ~barrel('#skF_21', X2_921) | ~present('#skF_21', X2_921) | ~agent('#skF_21', X2_921, Y_914) | ~event('#skF_21', X2_921) | ~lonely('#skF_21', X1_918) | ~street('#skF_21', X1_918) | ~placename('#skF_21', Z_912) | ~hollywood_placename('#skF_21', Z_912) | ~city('#skF_21', X1_918) | ~of('#skF_21', Z_912, X1_918) | ~old('#skF_21', Y_914) | ~dirty('#skF_21', Y_914) | ~white('#skF_21', Y_914) | ~chevy('#skF_21', Y_914) | ~forename('#skF_21', W_917) | ~jules_forename('#skF_21', W_917) | ~man('#skF_21', V_915) | ~of('#skF_21', W_917, V_915) | ~member('#skF_21', '#skF_36'(X2_921, '#skF_24', V_915, X1_918, X4_916, W_917, X3_922, Y_914, Z_912, X5_920, '#skF_21', X6_913), '#skF_29') | ~member('#skF_21', X32_200, '#skF_29') | ~member('#skF_21', '#skF_38'(X2_921, '#skF_24', V_915, X1_918, X4_916, W_917, X3_922, Y_914, Z_912, X5_920, '#skF_21', X6_913), '#skF_30')))).
% 92.78/77.36 tff(c_12423, plain, (![V_1086, Y_1090, X2_1091, Z_1082, X3_1083, X5_1085, W_1089, X6_1087, X13_1088, X4_1084, X1_1092]: (~young('#skF_21', '#skF_37'(X2_1091, '#skF_24', V_1086, X1_1092, X4_1084, W_1089, X3_1083, Y_1090, Z_1082, X5_1085, '#skF_21', X6_1087)) | ~fellow('#skF_21', '#skF_37'(X2_1091, '#skF_24', V_1086, X1_1092, X4_1084, W_1089, X3_1083, Y_1090, Z_1082, X5_1085, '#skF_21', X6_1087)) | ~wear('#skF_21', X13_1088) | ~nonreflexive('#skF_21', X13_1088) | ~present('#skF_21', X13_1088) | ~patient('#skF_21', X13_1088, '#skF_38'(X2_1091, '#skF_24', V_1086, X1_1092, X4_1084, W_1089, X3_1083, Y_1090, Z_1082, X5_1085, '#skF_21', X6_1087)) | ~agent('#skF_21', X13_1088, '#skF_39'(X2_1091, '#skF_24', V_1086, X1_1092, X4_1084, W_1089, X3_1083, Y_1090, Z_1082, X5_1085, '#skF_21', X6_1087)) | ~event('#skF_21', X13_1088) | ~cheap('#skF_21', '#skF_40'(X2_1091, '#skF_24', V_1086, X1_1092, X4_1084, W_1089, X3_1083, Y_1090, Z_1082, X5_1085, '#skF_21', X6_1087)) | ~black('#skF_21', '#skF_40'(X2_1091, '#skF_24', V_1086, X1_1092, X4_1084, W_1089, X3_1083, Y_1090, Z_1082, X5_1085, '#skF_21', X6_1087)) | ~coat('#skF_21', '#skF_40'(X2_1091, '#skF_24', V_1086, X1_1092, X4_1084, W_1089, X3_1083, Y_1090, Z_1082, X5_1085, '#skF_21', X6_1087)) | ~behind('#skF_21', X6_1087, X6_1087) | ~be('#skF_21', X5_1085, V_1086, X6_1087) | ~state('#skF_21', X5_1085) | ~wheel('#skF_21', X6_1087) | ~group('#skF_21', X4_1084) | ~group('#skF_21', X3_1083) | ~two('#skF_21', X3_1083) | ~in('#skF_21', X2_1091, X1_1092) | ~down('#skF_21', X2_1091, X1_1092) | ~barrel('#skF_21', X2_1091) | ~present('#skF_21', X2_1091) | ~agent('#skF_21', X2_1091, Y_1090) | ~event('#skF_21', X2_1091) | ~lonely('#skF_21', X1_1092) | ~street('#skF_21', X1_1092) | ~placename('#skF_21', Z_1082) | ~hollywood_placename('#skF_21', Z_1082) | ~city('#skF_21', X1_1092) | ~of('#skF_21', Z_1082, X1_1092) | ~old('#skF_21', Y_1090) | ~dirty('#skF_21', Y_1090) | ~white('#skF_21', Y_1090) | ~chevy('#skF_21', Y_1090) | ~forename('#skF_21', W_1089) | ~jules_forename('#skF_21', W_1089) | ~man('#skF_21', V_1086) | ~of('#skF_21', W_1089, V_1086) | ~member('#skF_21', '#skF_36'(X2_1091, '#skF_24', V_1086, X1_1092, X4_1084, W_1089, X3_1083, Y_1090, Z_1082, X5_1085, '#skF_21', X6_1087), '#skF_29')))).
% 92.78/77.36 tff(c_12382, plain, (![V_1001, X2_999, X3_1006, X6_1011, X5_1009, W_1005, X1_1003, X_1000, Y_1007, Z_1008, X13_998, X4_1004]: (~in('#skF_21', '#skF_34'('#skF_36'(X2_999, X_1000, V_1001, X1_1003, X4_1004, W_1005, X3_1006, Y_1007, Z_1008, X5_1009, '#skF_21', X6_1011)), X_1000) | ~state('#skF_21', '#skF_33'('#skF_36'(X2_999, X_1000, V_1001, X1_1003, X4_1004, W_1005, X3_1006, Y_1007, Z_1008, X5_1009, '#skF_21', X6_1011))) | ~young('#skF_21', '#skF_37'(X2_999, X_1000, V_1001, X1_1003, X4_1004, W_1005, X3_1006, Y_1007, Z_1008, X5_1009, '#skF_21', X6_1011)) | ~fellow('#skF_21', '#skF_37'(X2_999, X_1000, V_1001, X1_1003, X4_1004, W_1005, X3_1006, Y_1007, Z_1008, X5_1009, '#skF_21', X6_1011)) | ~wear('#skF_21', X13_998) | ~nonreflexive('#skF_21', X13_998) | ~present('#skF_21', X13_998) | ~patient('#skF_21', X13_998, '#skF_38'(X2_999, X_1000, V_1001, X1_1003, X4_1004, W_1005, X3_1006, Y_1007, Z_1008, X5_1009, '#skF_21', X6_1011)) | ~agent('#skF_21', X13_998, '#skF_39'(X2_999, X_1000, V_1001, X1_1003, X4_1004, W_1005, X3_1006, Y_1007, Z_1008, X5_1009, '#skF_21', X6_1011)) | ~event('#skF_21', X13_998) | ~cheap('#skF_21', '#skF_40'(X2_999, X_1000, V_1001, X1_1003, X4_1004, W_1005, X3_1006, Y_1007, Z_1008, X5_1009, '#skF_21', X6_1011)) | ~black('#skF_21', '#skF_40'(X2_999, X_1000, V_1001, X1_1003, X4_1004, W_1005, X3_1006, Y_1007, Z_1008, X5_1009, '#skF_21', X6_1011)) | ~coat('#skF_21', '#skF_40'(X2_999, X_1000, V_1001, X1_1003, X4_1004, W_1005, X3_1006, Y_1007, Z_1008, X5_1009, '#skF_21', X6_1011)) | ~behind('#skF_21', X6_1011, X6_1011) | ~be('#skF_21', X5_1009, V_1001, X6_1011) | ~state('#skF_21', X5_1009) | ~wheel('#skF_21', X6_1011) | ~group('#skF_21', X4_1004) | ~group('#skF_21', X3_1006) | ~two('#skF_21', X3_1006) | ~in('#skF_21', X2_999, X1_1003) | ~down('#skF_21', X2_999, X1_1003) | ~barrel('#skF_21', X2_999) | ~present('#skF_21', X2_999) | ~agent('#skF_21', X2_999, Y_1007) | ~event('#skF_21', X2_999) | ~lonely('#skF_21', X1_1003) | ~street('#skF_21', X1_1003) | ~placename('#skF_21', Z_1008) | ~hollywood_placename('#skF_21', Z_1008) | ~city('#skF_21', X1_1003) | ~of('#skF_21', Z_1008, X1_1003) | ~old('#skF_21', Y_1007) | ~dirty('#skF_21', Y_1007) | ~white('#skF_21', Y_1007) | ~chevy('#skF_21', Y_1007) | ~frontseat('#skF_21', X_1000) | ~forename('#skF_21', W_1005) | ~jules_forename('#skF_21', W_1005) | ~man('#skF_21', V_1001) | ~of('#skF_21', W_1005, V_1001) | ~member('#skF_21', '#skF_36'(X2_999, X_1000, V_1001, X1_1003, X4_1004, W_1005, X3_1006, Y_1007, Z_1008, X5_1009, '#skF_21', X6_1011), '#skF_29')))).
% 92.78/77.36 tff(c_11396, plain, (![X_505, X1_507, X4_508, X6_515, X32_200, V_506, X3_510, Y_511, X2_504, Z_512, W_509, X5_513]: (member('#skF_21', '#skF_36'(X2_504, X_505, V_506, X1_507, X4_508, W_509, X3_510, Y_511, Z_512, X5_513, '#skF_21', X6_515), X3_510) | member('#skF_21', '#skF_37'(X2_504, X_505, V_506, X1_507, X4_508, W_509, X3_510, Y_511, Z_512, X5_513, '#skF_21', X6_515), X3_510) | ~wear('#skF_21', '#skF_35'('#skF_38'(X2_504, X_505, V_506, X1_507, X4_508, W_509, X3_510, Y_511, Z_512, X5_513, '#skF_21', X6_515), X32_200)) | ~nonreflexive('#skF_21', '#skF_35'('#skF_38'(X2_504, X_505, V_506, X1_507, X4_508, W_509, X3_510, Y_511, Z_512, X5_513, '#skF_21', X6_515), X32_200)) | ~present('#skF_21', '#skF_35'('#skF_38'(X2_504, X_505, V_506, X1_507, X4_508, W_509, X3_510, Y_511, Z_512, X5_513, '#skF_21', X6_515), X32_200)) | ~agent('#skF_21', '#skF_35'('#skF_38'(X2_504, X_505, V_506, X1_507, X4_508, W_509, X3_510, Y_511, Z_512, X5_513, '#skF_21', X6_515), X32_200), '#skF_39'(X2_504, X_505, V_506, X1_507, X4_508, W_509, X3_510, Y_511, Z_512, X5_513, '#skF_21', X6_515)) | ~event('#skF_21', '#skF_35'('#skF_38'(X2_504, X_505, V_506, X1_507, X4_508, W_509, X3_510, Y_511, Z_512, X5_513, '#skF_21', X6_515), X32_200)) | member('#skF_21', '#skF_40'(X2_504, X_505, V_506, X1_507, X4_508, W_509, X3_510, Y_511, Z_512, X5_513, '#skF_21', X6_515), X4_508) | ~behind('#skF_21', X6_515, X6_515) | ~be('#skF_21', X5_513, V_506, X6_515) | ~state('#skF_21', X5_513) | ~wheel('#skF_21', X6_515) | ~group('#skF_21', X4_508) | ~group('#skF_21', X3_510) | ~two('#skF_21', X3_510) | ~in('#skF_21', X2_504, X1_507) | ~down('#skF_21', X2_504, X1_507) | ~barrel('#skF_21', X2_504) | ~present('#skF_21', X2_504) | ~agent('#skF_21', X2_504, Y_511) | ~event('#skF_21', X2_504) | ~lonely('#skF_21', X1_507) | ~street('#skF_21', X1_507) | ~placename('#skF_21', Z_512) | ~hollywood_placename('#skF_21', Z_512) | ~city('#skF_21', X1_507) | ~of('#skF_21', Z_512, X1_507) | ~old('#skF_21', Y_511) | ~dirty('#skF_21', Y_511) | ~white('#skF_21', Y_511) | ~chevy('#skF_21', Y_511) | ~frontseat('#skF_21', X_505) | ~forename('#skF_21', W_509) | ~jules_forename('#skF_21', W_509) | ~man('#skF_21', V_506) | ~of('#skF_21', W_509, V_506) | ~member('#skF_21', X32_200, '#skF_29') | ~member('#skF_21', '#skF_38'(X2_504, X_505, V_506, X1_507, X4_508, W_509, X3_510, Y_511, Z_512, X5_513, '#skF_21', X6_515), '#skF_30')))).
% 92.78/77.36 tff(c_12052, plain, (![X4_791, X6_790, X32_200, X5_796, X2_797, W_795, Z_793, V_789, X3_788, Y_792, X1_794]: (member('#skF_21', '#skF_37'(X2_797, '#skF_24', V_789, X1_794, X4_791, W_795, X3_788, Y_792, Z_793, X5_796, '#skF_21', X6_790), X3_788) | ~wear('#skF_21', '#skF_35'('#skF_38'(X2_797, '#skF_24', V_789, X1_794, X4_791, W_795, X3_788, Y_792, Z_793, X5_796, '#skF_21', X6_790), X32_200)) | ~nonreflexive('#skF_21', '#skF_35'('#skF_38'(X2_797, '#skF_24', V_789, X1_794, X4_791, W_795, X3_788, Y_792, Z_793, X5_796, '#skF_21', X6_790), X32_200)) | ~present('#skF_21', '#skF_35'('#skF_38'(X2_797, '#skF_24', V_789, X1_794, X4_791, W_795, X3_788, Y_792, Z_793, X5_796, '#skF_21', X6_790), X32_200)) | ~agent('#skF_21', '#skF_35'('#skF_38'(X2_797, '#skF_24', V_789, X1_794, X4_791, W_795, X3_788, Y_792, Z_793, X5_796, '#skF_21', X6_790), X32_200), '#skF_39'(X2_797, '#skF_24', V_789, X1_794, X4_791, W_795, X3_788, Y_792, Z_793, X5_796, '#skF_21', X6_790)) | ~event('#skF_21', '#skF_35'('#skF_38'(X2_797, '#skF_24', V_789, X1_794, X4_791, W_795, X3_788, Y_792, Z_793, X5_796, '#skF_21', X6_790), X32_200)) | member('#skF_21', '#skF_40'(X2_797, '#skF_24', V_789, X1_794, X4_791, W_795, X3_788, Y_792, Z_793, X5_796, '#skF_21', X6_790), X4_791) | ~behind('#skF_21', X6_790, X6_790) | ~be('#skF_21', X5_796, V_789, X6_790) | ~state('#skF_21', X5_796) | ~wheel('#skF_21', X6_790) | ~group('#skF_21', X4_791) | ~group('#skF_21', X3_788) | ~two('#skF_21', X3_788) | ~in('#skF_21', X2_797, X1_794) | ~down('#skF_21', X2_797, X1_794) | ~barrel('#skF_21', X2_797) | ~present('#skF_21', X2_797) | ~agent('#skF_21', X2_797, Y_792) | ~event('#skF_21', X2_797) | ~lonely('#skF_21', X1_794) | ~street('#skF_21', X1_794) | ~placename('#skF_21', Z_793) | ~hollywood_placename('#skF_21', Z_793) | ~city('#skF_21', X1_794) | ~of('#skF_21', Z_793, X1_794) | ~old('#skF_21', Y_792) | ~dirty('#skF_21', Y_792) | ~white('#skF_21', Y_792) | ~chevy('#skF_21', Y_792) | ~forename('#skF_21', W_795) | ~jules_forename('#skF_21', W_795) | ~man('#skF_21', V_789) | ~of('#skF_21', W_795, V_789) | ~member('#skF_21', '#skF_36'(X2_797, '#skF_24', V_789, X1_794, X4_791, W_795, X3_788, Y_792, Z_793, X5_796, '#skF_21', X6_790), '#skF_29') | ~member('#skF_21', X32_200, '#skF_29') | ~member('#skF_21', '#skF_38'(X2_797, '#skF_24', V_789, X1_794, X4_791, W_795, X3_788, Y_792, Z_793, X5_796, '#skF_21', X6_790), '#skF_30')))).
% 92.78/77.36 tff(c_12394, plain, (![V_1033, W_1030, X6_1027, X1_1031, X3_1034, Y_1026, X5_1028, Z_1032, X13_1025, X2_1035, X4_1029]: (member('#skF_21', '#skF_37'(X2_1035, '#skF_24', V_1033, X1_1031, X4_1029, W_1030, X3_1034, Y_1026, Z_1032, X5_1028, '#skF_21', X6_1027), X3_1034) | ~wear('#skF_21', X13_1025) | ~nonreflexive('#skF_21', X13_1025) | ~present('#skF_21', X13_1025) | ~patient('#skF_21', X13_1025, '#skF_38'(X2_1035, '#skF_24', V_1033, X1_1031, X4_1029, W_1030, X3_1034, Y_1026, Z_1032, X5_1028, '#skF_21', X6_1027)) | ~agent('#skF_21', X13_1025, '#skF_39'(X2_1035, '#skF_24', V_1033, X1_1031, X4_1029, W_1030, X3_1034, Y_1026, Z_1032, X5_1028, '#skF_21', X6_1027)) | ~event('#skF_21', X13_1025) | ~cheap('#skF_21', '#skF_40'(X2_1035, '#skF_24', V_1033, X1_1031, X4_1029, W_1030, X3_1034, Y_1026, Z_1032, X5_1028, '#skF_21', X6_1027)) | ~black('#skF_21', '#skF_40'(X2_1035, '#skF_24', V_1033, X1_1031, X4_1029, W_1030, X3_1034, Y_1026, Z_1032, X5_1028, '#skF_21', X6_1027)) | ~coat('#skF_21', '#skF_40'(X2_1035, '#skF_24', V_1033, X1_1031, X4_1029, W_1030, X3_1034, Y_1026, Z_1032, X5_1028, '#skF_21', X6_1027)) | ~behind('#skF_21', X6_1027, X6_1027) | ~be('#skF_21', X5_1028, V_1033, X6_1027) | ~state('#skF_21', X5_1028) | ~wheel('#skF_21', X6_1027) | ~group('#skF_21', X4_1029) | ~group('#skF_21', X3_1034) | ~two('#skF_21', X3_1034) | ~in('#skF_21', X2_1035, X1_1031) | ~down('#skF_21', X2_1035, X1_1031) | ~barrel('#skF_21', X2_1035) | ~present('#skF_21', X2_1035) | ~agent('#skF_21', X2_1035, Y_1026) | ~event('#skF_21', X2_1035) | ~lonely('#skF_21', X1_1031) | ~street('#skF_21', X1_1031) | ~placename('#skF_21', Z_1032) | ~hollywood_placename('#skF_21', Z_1032) | ~city('#skF_21', X1_1031) | ~of('#skF_21', Z_1032, X1_1031) | ~old('#skF_21', Y_1026) | ~dirty('#skF_21', Y_1026) | ~white('#skF_21', Y_1026) | ~chevy('#skF_21', Y_1026) | ~forename('#skF_21', W_1030) | ~jules_forename('#skF_21', W_1030) | ~man('#skF_21', V_1033) | ~of('#skF_21', W_1030, V_1033) | ~member('#skF_21', '#skF_36'(X2_1035, '#skF_24', V_1033, X1_1031, X4_1029, W_1030, X3_1034, Y_1026, Z_1032, X5_1028, '#skF_21', X6_1027), '#skF_29')))).
% 92.78/77.36 tff(c_12207, plain, (![X1_879, X6_887, X5_885, Y_883, Z_884, X_876, X13_874, X3_882, X4_880, W_881, V_877, X2_875]: (~in('#skF_21', '#skF_34'('#skF_36'(X2_875, X_876, V_877, X1_879, X4_880, W_881, X3_882, Y_883, Z_884, X5_885, '#skF_21', X6_887)), X_876) | ~state('#skF_21', '#skF_33'('#skF_36'(X2_875, X_876, V_877, X1_879, X4_880, W_881, X3_882, Y_883, Z_884, X5_885, '#skF_21', X6_887))) | member('#skF_21', '#skF_37'(X2_875, X_876, V_877, X1_879, X4_880, W_881, X3_882, Y_883, Z_884, X5_885, '#skF_21', X6_887), X3_882) | ~wear('#skF_21', X13_874) | ~nonreflexive('#skF_21', X13_874) | ~present('#skF_21', X13_874) | ~patient('#skF_21', X13_874, '#skF_38'(X2_875, X_876, V_877, X1_879, X4_880, W_881, X3_882, Y_883, Z_884, X5_885, '#skF_21', X6_887)) | ~agent('#skF_21', X13_874, '#skF_39'(X2_875, X_876, V_877, X1_879, X4_880, W_881, X3_882, Y_883, Z_884, X5_885, '#skF_21', X6_887)) | ~event('#skF_21', X13_874) | ~cheap('#skF_21', '#skF_40'(X2_875, X_876, V_877, X1_879, X4_880, W_881, X3_882, Y_883, Z_884, X5_885, '#skF_21', X6_887)) | ~black('#skF_21', '#skF_40'(X2_875, X_876, V_877, X1_879, X4_880, W_881, X3_882, Y_883, Z_884, X5_885, '#skF_21', X6_887)) | ~coat('#skF_21', '#skF_40'(X2_875, X_876, V_877, X1_879, X4_880, W_881, X3_882, Y_883, Z_884, X5_885, '#skF_21', X6_887)) | ~behind('#skF_21', X6_887, X6_887) | ~be('#skF_21', X5_885, V_877, X6_887) | ~state('#skF_21', X5_885) | ~wheel('#skF_21', X6_887) | ~group('#skF_21', X4_880) | ~group('#skF_21', X3_882) | ~two('#skF_21', X3_882) | ~in('#skF_21', X2_875, X1_879) | ~down('#skF_21', X2_875, X1_879) | ~barrel('#skF_21', X2_875) | ~present('#skF_21', X2_875) | ~agent('#skF_21', X2_875, Y_883) | ~event('#skF_21', X2_875) | ~lonely('#skF_21', X1_879) | ~street('#skF_21', X1_879) | ~placename('#skF_21', Z_884) | ~hollywood_placename('#skF_21', Z_884) | ~city('#skF_21', X1_879) | ~of('#skF_21', Z_884, X1_879) | ~old('#skF_21', Y_883) | ~dirty('#skF_21', Y_883) | ~white('#skF_21', Y_883) | ~chevy('#skF_21', Y_883) | ~frontseat('#skF_21', X_876) | ~forename('#skF_21', W_881) | ~jules_forename('#skF_21', W_881) | ~man('#skF_21', V_877) | ~of('#skF_21', W_881, V_877) | ~member('#skF_21', '#skF_36'(X2_875, X_876, V_877, X1_879, X4_880, W_881, X3_882, Y_883, Z_884, X5_885, '#skF_21', X6_887), '#skF_29')))).
% 92.78/77.36 tff(c_12375, plain, (![V_243, W_244, U_203, X1_248, X2_249, X_245, Y_246, X4_251, X8_270, X6_253, X5_252, X3_250, Z_247, X13_276, X9_271]: (~in(U_203, X9_271, X_245) | ~be(U_203, X8_270, '#skF_36'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X9_271) | ~state(U_203, X8_270) | ~young(U_203, '#skF_37'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~fellow(U_203, '#skF_37'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~wear(U_203, X13_276) | ~nonreflexive(U_203, X13_276) | ~present(U_203, X13_276) | ~patient(U_203, X13_276, '#skF_38'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~agent(U_203, X13_276, '#skF_39'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~event(U_203, X13_276) | ~cheap(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~black(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~coat(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~behind(U_203, X6_253, X6_253) | ~be(U_203, X5_252, V_243, X6_253) | ~state(U_203, X5_252) | ~wheel(U_203, X6_253) | ~group(U_203, X4_251) | ~group(U_203, X3_250) | ~two(U_203, X3_250) | ~in(U_203, X2_249, X1_248) | ~down(U_203, X2_249, X1_248) | ~barrel(U_203, X2_249) | ~present(U_203, X2_249) | ~agent(U_203, X2_249, Y_246) | ~event(U_203, X2_249) | ~lonely(U_203, X1_248) | ~street(U_203, X1_248) | ~placename(U_203, Z_247) | ~hollywood_placename(U_203, Z_247) | ~city(U_203, X1_248) | ~of(U_203, Z_247, X1_248) | ~old(U_203, Y_246) | ~dirty(U_203, Y_246) | ~white(U_203, Y_246) | ~chevy(U_203, Y_246) | ~frontseat(U_203, X_245) | ~forename(U_203, W_244) | ~jules_forename(U_203, W_244) | ~man(U_203, V_243) | ~of(U_203, W_244, V_243) | ~actual_world(U_203)))).
% 92.78/77.36 tff(c_12309, plain, (![V_243, W_244, U_203, X1_248, X2_249, X_245, Y_246, X4_251, X6_253, X5_252, X3_250, Z_247, X13_276]: (member(U_203, '#skF_36'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X3_250) | ~young(U_203, '#skF_37'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~fellow(U_203, '#skF_37'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~wear(U_203, X13_276) | ~nonreflexive(U_203, X13_276) | ~present(U_203, X13_276) | ~patient(U_203, X13_276, '#skF_38'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~agent(U_203, X13_276, '#skF_39'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~event(U_203, X13_276) | ~cheap(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~black(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~coat(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~behind(U_203, X6_253, X6_253) | ~be(U_203, X5_252, V_243, X6_253) | ~state(U_203, X5_252) | ~wheel(U_203, X6_253) | ~group(U_203, X4_251) | ~group(U_203, X3_250) | ~two(U_203, X3_250) | ~in(U_203, X2_249, X1_248) | ~down(U_203, X2_249, X1_248) | ~barrel(U_203, X2_249) | ~present(U_203, X2_249) | ~agent(U_203, X2_249, Y_246) | ~event(U_203, X2_249) | ~lonely(U_203, X1_248) | ~street(U_203, X1_248) | ~placename(U_203, Z_247) | ~hollywood_placename(U_203, Z_247) | ~city(U_203, X1_248) | ~of(U_203, Z_247, X1_248) | ~old(U_203, Y_246) | ~dirty(U_203, Y_246) | ~white(U_203, Y_246) | ~chevy(U_203, Y_246) | ~frontseat(U_203, X_245) | ~forename(U_203, W_244) | ~jules_forename(U_203, W_244) | ~man(U_203, V_243) | ~of(U_203, W_244, V_243) | ~actual_world(U_203)))).
% 92.78/77.36 tff(c_12294, plain, (![X1_974, X5_966, V_972, X4_970, W_973, X6_971, Z_967, X2_969, X3_965, Y_968]: (~young('#skF_21', '#skF_37'(X2_969, '#skF_24', V_972, X1_974, X4_970, W_973, X3_965, Y_968, Z_967, X5_966, '#skF_21', X6_971)) | ~fellow('#skF_21', '#skF_37'(X2_969, '#skF_24', V_972, X1_974, X4_970, W_973, X3_965, Y_968, Z_967, X5_966, '#skF_21', X6_971)) | member('#skF_21', '#skF_38'(X2_969, '#skF_24', V_972, X1_974, X4_970, W_973, X3_965, Y_968, Z_967, X5_966, '#skF_21', X6_971), X4_970) | ~cheap('#skF_21', '#skF_40'(X2_969, '#skF_24', V_972, X1_974, X4_970, W_973, X3_965, Y_968, Z_967, X5_966, '#skF_21', X6_971)) | ~black('#skF_21', '#skF_40'(X2_969, '#skF_24', V_972, X1_974, X4_970, W_973, X3_965, Y_968, Z_967, X5_966, '#skF_21', X6_971)) | ~coat('#skF_21', '#skF_40'(X2_969, '#skF_24', V_972, X1_974, X4_970, W_973, X3_965, Y_968, Z_967, X5_966, '#skF_21', X6_971)) | ~behind('#skF_21', X6_971, X6_971) | ~be('#skF_21', X5_966, V_972, X6_971) | ~state('#skF_21', X5_966) | ~wheel('#skF_21', X6_971) | ~group('#skF_21', X4_970) | ~group('#skF_21', X3_965) | ~two('#skF_21', X3_965) | ~in('#skF_21', X2_969, X1_974) | ~down('#skF_21', X2_969, X1_974) | ~barrel('#skF_21', X2_969) | ~present('#skF_21', X2_969) | ~agent('#skF_21', X2_969, Y_968) | ~event('#skF_21', X2_969) | ~lonely('#skF_21', X1_974) | ~street('#skF_21', X1_974) | ~placename('#skF_21', Z_967) | ~hollywood_placename('#skF_21', Z_967) | ~city('#skF_21', X1_974) | ~of('#skF_21', Z_967, X1_974) | ~old('#skF_21', Y_968) | ~dirty('#skF_21', Y_968) | ~white('#skF_21', Y_968) | ~chevy('#skF_21', Y_968) | ~forename('#skF_21', W_973) | ~jules_forename('#skF_21', W_973) | ~man('#skF_21', V_972) | ~of('#skF_21', W_973, V_972) | ~member('#skF_21', '#skF_36'(X2_969, '#skF_24', V_972, X1_974, X4_970, W_973, X3_965, Y_968, Z_967, X5_966, '#skF_21', X6_971), '#skF_29')))).
% 92.78/77.36 tff(c_12032, plain, (![V_753, X6_763, X5_761, Y_759, X2_751, X1_755, W_757, X_752, X4_756, Z_760, X3_758]: (~in('#skF_21', '#skF_34'('#skF_36'(X2_751, X_752, V_753, X1_755, X4_756, W_757, X3_758, Y_759, Z_760, X5_761, '#skF_21', X6_763)), X_752) | ~state('#skF_21', '#skF_33'('#skF_36'(X2_751, X_752, V_753, X1_755, X4_756, W_757, X3_758, Y_759, Z_760, X5_761, '#skF_21', X6_763))) | ~young('#skF_21', '#skF_37'(X2_751, X_752, V_753, X1_755, X4_756, W_757, X3_758, Y_759, Z_760, X5_761, '#skF_21', X6_763)) | ~fellow('#skF_21', '#skF_37'(X2_751, X_752, V_753, X1_755, X4_756, W_757, X3_758, Y_759, Z_760, X5_761, '#skF_21', X6_763)) | member('#skF_21', '#skF_38'(X2_751, X_752, V_753, X1_755, X4_756, W_757, X3_758, Y_759, Z_760, X5_761, '#skF_21', X6_763), X4_756) | ~cheap('#skF_21', '#skF_40'(X2_751, X_752, V_753, X1_755, X4_756, W_757, X3_758, Y_759, Z_760, X5_761, '#skF_21', X6_763)) | ~black('#skF_21', '#skF_40'(X2_751, X_752, V_753, X1_755, X4_756, W_757, X3_758, Y_759, Z_760, X5_761, '#skF_21', X6_763)) | ~coat('#skF_21', '#skF_40'(X2_751, X_752, V_753, X1_755, X4_756, W_757, X3_758, Y_759, Z_760, X5_761, '#skF_21', X6_763)) | ~behind('#skF_21', X6_763, X6_763) | ~be('#skF_21', X5_761, V_753, X6_763) | ~state('#skF_21', X5_761) | ~wheel('#skF_21', X6_763) | ~group('#skF_21', X4_756) | ~group('#skF_21', X3_758) | ~two('#skF_21', X3_758) | ~in('#skF_21', X2_751, X1_755) | ~down('#skF_21', X2_751, X1_755) | ~barrel('#skF_21', X2_751) | ~present('#skF_21', X2_751) | ~agent('#skF_21', X2_751, Y_759) | ~event('#skF_21', X2_751) | ~lonely('#skF_21', X1_755) | ~street('#skF_21', X1_755) | ~placename('#skF_21', Z_760) | ~hollywood_placename('#skF_21', Z_760) | ~city('#skF_21', X1_755) | ~of('#skF_21', Z_760, X1_755) | ~old('#skF_21', Y_759) | ~dirty('#skF_21', Y_759) | ~white('#skF_21', Y_759) | ~chevy('#skF_21', Y_759) | ~frontseat('#skF_21', X_752) | ~forename('#skF_21', W_757) | ~jules_forename('#skF_21', W_757) | ~man('#skF_21', V_753) | ~of('#skF_21', W_757, V_753) | ~member('#skF_21', '#skF_36'(X2_751, X_752, V_753, X1_755, X4_756, W_757, X3_758, Y_759, Z_760, X5_761, '#skF_21', X6_763), '#skF_29')))).
% 92.78/77.36 tff(c_12281, plain, (![W_934, X2_939, V_938, X4_935, X6_940, X5_937, X3_936, Z_941, X1_943, Y_942]: (~young('#skF_21', '#skF_37'(X2_939, '#skF_24', V_938, X1_943, X4_935, W_934, X3_936, Y_942, Z_941, X5_937, '#skF_21', X6_940)) | ~fellow('#skF_21', '#skF_37'(X2_939, '#skF_24', V_938, X1_943, X4_935, W_934, X3_936, Y_942, Z_941, X5_937, '#skF_21', X6_940)) | member('#skF_21', '#skF_39'(X2_939, '#skF_24', V_938, X1_943, X4_935, W_934, X3_936, Y_942, Z_941, X5_937, '#skF_21', X6_940), X3_936) | ~cheap('#skF_21', '#skF_40'(X2_939, '#skF_24', V_938, X1_943, X4_935, W_934, X3_936, Y_942, Z_941, X5_937, '#skF_21', X6_940)) | ~black('#skF_21', '#skF_40'(X2_939, '#skF_24', V_938, X1_943, X4_935, W_934, X3_936, Y_942, Z_941, X5_937, '#skF_21', X6_940)) | ~coat('#skF_21', '#skF_40'(X2_939, '#skF_24', V_938, X1_943, X4_935, W_934, X3_936, Y_942, Z_941, X5_937, '#skF_21', X6_940)) | ~behind('#skF_21', X6_940, X6_940) | ~be('#skF_21', X5_937, V_938, X6_940) | ~state('#skF_21', X5_937) | ~wheel('#skF_21', X6_940) | ~group('#skF_21', X4_935) | ~group('#skF_21', X3_936) | ~two('#skF_21', X3_936) | ~in('#skF_21', X2_939, X1_943) | ~down('#skF_21', X2_939, X1_943) | ~barrel('#skF_21', X2_939) | ~present('#skF_21', X2_939) | ~agent('#skF_21', X2_939, Y_942) | ~event('#skF_21', X2_939) | ~lonely('#skF_21', X1_943) | ~street('#skF_21', X1_943) | ~placename('#skF_21', Z_941) | ~hollywood_placename('#skF_21', Z_941) | ~city('#skF_21', X1_943) | ~of('#skF_21', Z_941, X1_943) | ~old('#skF_21', Y_942) | ~dirty('#skF_21', Y_942) | ~white('#skF_21', Y_942) | ~chevy('#skF_21', Y_942) | ~forename('#skF_21', W_934) | ~jules_forename('#skF_21', W_934) | ~man('#skF_21', V_938) | ~of('#skF_21', W_934, V_938) | ~member('#skF_21', '#skF_36'(X2_939, '#skF_24', V_938, X1_943, X4_935, W_934, X3_936, Y_942, Z_941, X5_937, '#skF_21', X6_940), '#skF_29')))).
% 92.78/77.36 tff(c_12024, plain, (![X6_749, X3_744, X5_747, X4_742, X_738, X2_737, Y_745, X1_741, Z_746, W_743, V_739]: (~in('#skF_21', '#skF_34'('#skF_36'(X2_737, X_738, V_739, X1_741, X4_742, W_743, X3_744, Y_745, Z_746, X5_747, '#skF_21', X6_749)), X_738) | ~state('#skF_21', '#skF_33'('#skF_36'(X2_737, X_738, V_739, X1_741, X4_742, W_743, X3_744, Y_745, Z_746, X5_747, '#skF_21', X6_749))) | ~young('#skF_21', '#skF_37'(X2_737, X_738, V_739, X1_741, X4_742, W_743, X3_744, Y_745, Z_746, X5_747, '#skF_21', X6_749)) | ~fellow('#skF_21', '#skF_37'(X2_737, X_738, V_739, X1_741, X4_742, W_743, X3_744, Y_745, Z_746, X5_747, '#skF_21', X6_749)) | member('#skF_21', '#skF_39'(X2_737, X_738, V_739, X1_741, X4_742, W_743, X3_744, Y_745, Z_746, X5_747, '#skF_21', X6_749), X3_744) | ~cheap('#skF_21', '#skF_40'(X2_737, X_738, V_739, X1_741, X4_742, W_743, X3_744, Y_745, Z_746, X5_747, '#skF_21', X6_749)) | ~black('#skF_21', '#skF_40'(X2_737, X_738, V_739, X1_741, X4_742, W_743, X3_744, Y_745, Z_746, X5_747, '#skF_21', X6_749)) | ~coat('#skF_21', '#skF_40'(X2_737, X_738, V_739, X1_741, X4_742, W_743, X3_744, Y_745, Z_746, X5_747, '#skF_21', X6_749)) | ~behind('#skF_21', X6_749, X6_749) | ~be('#skF_21', X5_747, V_739, X6_749) | ~state('#skF_21', X5_747) | ~wheel('#skF_21', X6_749) | ~group('#skF_21', X4_742) | ~group('#skF_21', X3_744) | ~two('#skF_21', X3_744) | ~in('#skF_21', X2_737, X1_741) | ~down('#skF_21', X2_737, X1_741) | ~barrel('#skF_21', X2_737) | ~present('#skF_21', X2_737) | ~agent('#skF_21', X2_737, Y_745) | ~event('#skF_21', X2_737) | ~lonely('#skF_21', X1_741) | ~street('#skF_21', X1_741) | ~placename('#skF_21', Z_746) | ~hollywood_placename('#skF_21', Z_746) | ~city('#skF_21', X1_741) | ~of('#skF_21', Z_746, X1_741) | ~old('#skF_21', Y_745) | ~dirty('#skF_21', Y_745) | ~white('#skF_21', Y_745) | ~chevy('#skF_21', Y_745) | ~frontseat('#skF_21', X_738) | ~forename('#skF_21', W_743) | ~jules_forename('#skF_21', W_743) | ~man('#skF_21', V_739) | ~of('#skF_21', W_743, V_739) | ~member('#skF_21', '#skF_36'(X2_737, X_738, V_739, X1_741, X4_742, W_743, X3_744, Y_745, Z_746, X5_747, '#skF_21', X6_749), '#skF_29')))).
% 92.78/77.36 tff(c_12221, plain, (![Y_910, V_909, X13_901, Z_905, X3_908, X5_906, X6_907, W_902, X1_903, X2_904, X4_911]: (~young('#skF_21', '#skF_37'(X2_904, '#skF_24', V_909, X1_903, X4_911, W_902, X3_908, Y_910, Z_905, X5_906, '#skF_21', X6_907)) | ~fellow('#skF_21', '#skF_37'(X2_904, '#skF_24', V_909, X1_903, X4_911, W_902, X3_908, Y_910, Z_905, X5_906, '#skF_21', X6_907)) | ~wear('#skF_21', X13_901) | ~nonreflexive('#skF_21', X13_901) | ~present('#skF_21', X13_901) | ~patient('#skF_21', X13_901, '#skF_38'(X2_904, '#skF_24', V_909, X1_903, X4_911, W_902, X3_908, Y_910, Z_905, X5_906, '#skF_21', X6_907)) | ~agent('#skF_21', X13_901, '#skF_39'(X2_904, '#skF_24', V_909, X1_903, X4_911, W_902, X3_908, Y_910, Z_905, X5_906, '#skF_21', X6_907)) | ~event('#skF_21', X13_901) | member('#skF_21', '#skF_40'(X2_904, '#skF_24', V_909, X1_903, X4_911, W_902, X3_908, Y_910, Z_905, X5_906, '#skF_21', X6_907), X4_911) | ~behind('#skF_21', X6_907, X6_907) | ~be('#skF_21', X5_906, V_909, X6_907) | ~state('#skF_21', X5_906) | ~wheel('#skF_21', X6_907) | ~group('#skF_21', X4_911) | ~group('#skF_21', X3_908) | ~two('#skF_21', X3_908) | ~in('#skF_21', X2_904, X1_903) | ~down('#skF_21', X2_904, X1_903) | ~barrel('#skF_21', X2_904) | ~present('#skF_21', X2_904) | ~agent('#skF_21', X2_904, Y_910) | ~event('#skF_21', X2_904) | ~lonely('#skF_21', X1_903) | ~street('#skF_21', X1_903) | ~placename('#skF_21', Z_905) | ~hollywood_placename('#skF_21', Z_905) | ~city('#skF_21', X1_903) | ~of('#skF_21', Z_905, X1_903) | ~old('#skF_21', Y_910) | ~dirty('#skF_21', Y_910) | ~white('#skF_21', Y_910) | ~chevy('#skF_21', Y_910) | ~forename('#skF_21', W_902) | ~jules_forename('#skF_21', W_902) | ~man('#skF_21', V_909) | ~of('#skF_21', W_902, V_909) | ~member('#skF_21', '#skF_36'(X2_904, '#skF_24', V_909, X1_903, X4_911, W_902, X3_908, Y_910, Z_905, X5_906, '#skF_21', X6_907), '#skF_29')))).
% 92.78/77.36 tff(c_12016, plain, (![X_724, X3_730, V_725, X4_728, W_729, X6_735, Y_731, X1_727, X5_733, X13_722, Z_732, X2_723]: (~in('#skF_21', '#skF_34'('#skF_36'(X2_723, X_724, V_725, X1_727, X4_728, W_729, X3_730, Y_731, Z_732, X5_733, '#skF_21', X6_735)), X_724) | ~state('#skF_21', '#skF_33'('#skF_36'(X2_723, X_724, V_725, X1_727, X4_728, W_729, X3_730, Y_731, Z_732, X5_733, '#skF_21', X6_735))) | ~young('#skF_21', '#skF_37'(X2_723, X_724, V_725, X1_727, X4_728, W_729, X3_730, Y_731, Z_732, X5_733, '#skF_21', X6_735)) | ~fellow('#skF_21', '#skF_37'(X2_723, X_724, V_725, X1_727, X4_728, W_729, X3_730, Y_731, Z_732, X5_733, '#skF_21', X6_735)) | ~wear('#skF_21', X13_722) | ~nonreflexive('#skF_21', X13_722) | ~present('#skF_21', X13_722) | ~patient('#skF_21', X13_722, '#skF_38'(X2_723, X_724, V_725, X1_727, X4_728, W_729, X3_730, Y_731, Z_732, X5_733, '#skF_21', X6_735)) | ~agent('#skF_21', X13_722, '#skF_39'(X2_723, X_724, V_725, X1_727, X4_728, W_729, X3_730, Y_731, Z_732, X5_733, '#skF_21', X6_735)) | ~event('#skF_21', X13_722) | member('#skF_21', '#skF_40'(X2_723, X_724, V_725, X1_727, X4_728, W_729, X3_730, Y_731, Z_732, X5_733, '#skF_21', X6_735), X4_728) | ~behind('#skF_21', X6_735, X6_735) | ~be('#skF_21', X5_733, V_725, X6_735) | ~state('#skF_21', X5_733) | ~wheel('#skF_21', X6_735) | ~group('#skF_21', X4_728) | ~group('#skF_21', X3_730) | ~two('#skF_21', X3_730) | ~in('#skF_21', X2_723, X1_727) | ~down('#skF_21', X2_723, X1_727) | ~barrel('#skF_21', X2_723) | ~present('#skF_21', X2_723) | ~agent('#skF_21', X2_723, Y_731) | ~event('#skF_21', X2_723) | ~lonely('#skF_21', X1_727) | ~street('#skF_21', X1_727) | ~placename('#skF_21', Z_732) | ~hollywood_placename('#skF_21', Z_732) | ~city('#skF_21', X1_727) | ~of('#skF_21', Z_732, X1_727) | ~old('#skF_21', Y_731) | ~dirty('#skF_21', Y_731) | ~white('#skF_21', Y_731) | ~chevy('#skF_21', Y_731) | ~frontseat('#skF_21', X_724) | ~forename('#skF_21', W_729) | ~jules_forename('#skF_21', W_729) | ~man('#skF_21', V_725) | ~of('#skF_21', W_729, V_725) | ~member('#skF_21', '#skF_36'(X2_723, X_724, V_725, X1_727, X4_728, W_729, X3_730, Y_731, Z_732, X5_733, '#skF_21', X6_735), '#skF_29')))).
% 92.78/77.36 tff(c_12200, plain, (![V_243, W_244, U_203, X1_248, X2_249, X_245, Y_246, X4_251, X8_270, X6_253, X5_252, X3_250, Z_247, X13_276, X9_271]: (~in(U_203, X9_271, X_245) | ~be(U_203, X8_270, '#skF_36'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X9_271) | ~state(U_203, X8_270) | member(U_203, '#skF_37'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X3_250) | ~wear(U_203, X13_276) | ~nonreflexive(U_203, X13_276) | ~present(U_203, X13_276) | ~patient(U_203, X13_276, '#skF_38'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~agent(U_203, X13_276, '#skF_39'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~event(U_203, X13_276) | ~cheap(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~black(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~coat(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~behind(U_203, X6_253, X6_253) | ~be(U_203, X5_252, V_243, X6_253) | ~state(U_203, X5_252) | ~wheel(U_203, X6_253) | ~group(U_203, X4_251) | ~group(U_203, X3_250) | ~two(U_203, X3_250) | ~in(U_203, X2_249, X1_248) | ~down(U_203, X2_249, X1_248) | ~barrel(U_203, X2_249) | ~present(U_203, X2_249) | ~agent(U_203, X2_249, Y_246) | ~event(U_203, X2_249) | ~lonely(U_203, X1_248) | ~street(U_203, X1_248) | ~placename(U_203, Z_247) | ~hollywood_placename(U_203, Z_247) | ~city(U_203, X1_248) | ~of(U_203, Z_247, X1_248) | ~old(U_203, Y_246) | ~dirty(U_203, Y_246) | ~white(U_203, Y_246) | ~chevy(U_203, Y_246) | ~frontseat(U_203, X_245) | ~forename(U_203, W_244) | ~jules_forename(U_203, W_244) | ~man(U_203, V_243) | ~of(U_203, W_244, V_243) | ~actual_world(U_203)))).
% 92.78/77.36 tff(c_12134, plain, (![V_243, W_244, U_203, X1_248, X2_249, X_245, Y_246, X4_251, X6_253, X5_252, X3_250, Z_247, X13_276]: (member(U_203, '#skF_36'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X3_250) | member(U_203, '#skF_37'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X3_250) | ~wear(U_203, X13_276) | ~nonreflexive(U_203, X13_276) | ~present(U_203, X13_276) | ~patient(U_203, X13_276, '#skF_38'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~agent(U_203, X13_276, '#skF_39'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~event(U_203, X13_276) | ~cheap(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~black(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~coat(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~behind(U_203, X6_253, X6_253) | ~be(U_203, X5_252, V_243, X6_253) | ~state(U_203, X5_252) | ~wheel(U_203, X6_253) | ~group(U_203, X4_251) | ~group(U_203, X3_250) | ~two(U_203, X3_250) | ~in(U_203, X2_249, X1_248) | ~down(U_203, X2_249, X1_248) | ~barrel(U_203, X2_249) | ~present(U_203, X2_249) | ~agent(U_203, X2_249, Y_246) | ~event(U_203, X2_249) | ~lonely(U_203, X1_248) | ~street(U_203, X1_248) | ~placename(U_203, Z_247) | ~hollywood_placename(U_203, Z_247) | ~city(U_203, X1_248) | ~of(U_203, Z_247, X1_248) | ~old(U_203, Y_246) | ~dirty(U_203, Y_246) | ~white(U_203, Y_246) | ~chevy(U_203, Y_246) | ~frontseat(U_203, X_245) | ~forename(U_203, W_244) | ~jules_forename(U_203, W_244) | ~man(U_203, V_243) | ~of(U_203, W_244, V_243) | ~actual_world(U_203)))).
% 92.78/77.37 tff(c_12119, plain, (![X5_844, Z_849, X3_847, X6_843, V_846, X1_845, X4_842, W_850, X2_841, Y_848]: (member('#skF_21', '#skF_37'(X2_841, '#skF_24', V_846, X1_845, X4_842, W_850, X3_847, Y_848, Z_849, X5_844, '#skF_21', X6_843), X3_847) | member('#skF_21', '#skF_39'(X2_841, '#skF_24', V_846, X1_845, X4_842, W_850, X3_847, Y_848, Z_849, X5_844, '#skF_21', X6_843), X3_847) | ~cheap('#skF_21', '#skF_40'(X2_841, '#skF_24', V_846, X1_845, X4_842, W_850, X3_847, Y_848, Z_849, X5_844, '#skF_21', X6_843)) | ~black('#skF_21', '#skF_40'(X2_841, '#skF_24', V_846, X1_845, X4_842, W_850, X3_847, Y_848, Z_849, X5_844, '#skF_21', X6_843)) | ~coat('#skF_21', '#skF_40'(X2_841, '#skF_24', V_846, X1_845, X4_842, W_850, X3_847, Y_848, Z_849, X5_844, '#skF_21', X6_843)) | ~behind('#skF_21', X6_843, X6_843) | ~be('#skF_21', X5_844, V_846, X6_843) | ~state('#skF_21', X5_844) | ~wheel('#skF_21', X6_843) | ~group('#skF_21', X4_842) | ~group('#skF_21', X3_847) | ~two('#skF_21', X3_847) | ~in('#skF_21', X2_841, X1_845) | ~down('#skF_21', X2_841, X1_845) | ~barrel('#skF_21', X2_841) | ~present('#skF_21', X2_841) | ~agent('#skF_21', X2_841, Y_848) | ~event('#skF_21', X2_841) | ~lonely('#skF_21', X1_845) | ~street('#skF_21', X1_845) | ~placename('#skF_21', Z_849) | ~hollywood_placename('#skF_21', Z_849) | ~city('#skF_21', X1_845) | ~of('#skF_21', Z_849, X1_845) | ~old('#skF_21', Y_848) | ~dirty('#skF_21', Y_848) | ~white('#skF_21', Y_848) | ~chevy('#skF_21', Y_848) | ~forename('#skF_21', W_850) | ~jules_forename('#skF_21', W_850) | ~man('#skF_21', V_846) | ~of('#skF_21', W_850, V_846) | ~member('#skF_21', '#skF_36'(X2_841, '#skF_24', V_846, X1_845, X4_842, W_850, X3_847, Y_848, Z_849, X5_844, '#skF_21', X6_843), '#skF_29')))).
% 92.78/77.37 tff(c_11602, plain, (![X6_587, X1_579, X3_582, V_577, Y_583, W_581, X4_580, X_576, X5_585, X2_575, Z_584]: (~in('#skF_21', '#skF_34'('#skF_36'(X2_575, X_576, V_577, X1_579, X4_580, W_581, X3_582, Y_583, Z_584, X5_585, '#skF_21', X6_587)), X_576) | ~state('#skF_21', '#skF_33'('#skF_36'(X2_575, X_576, V_577, X1_579, X4_580, W_581, X3_582, Y_583, Z_584, X5_585, '#skF_21', X6_587))) | member('#skF_21', '#skF_37'(X2_575, X_576, V_577, X1_579, X4_580, W_581, X3_582, Y_583, Z_584, X5_585, '#skF_21', X6_587), X3_582) | member('#skF_21', '#skF_39'(X2_575, X_576, V_577, X1_579, X4_580, W_581, X3_582, Y_583, Z_584, X5_585, '#skF_21', X6_587), X3_582) | ~cheap('#skF_21', '#skF_40'(X2_575, X_576, V_577, X1_579, X4_580, W_581, X3_582, Y_583, Z_584, X5_585, '#skF_21', X6_587)) | ~black('#skF_21', '#skF_40'(X2_575, X_576, V_577, X1_579, X4_580, W_581, X3_582, Y_583, Z_584, X5_585, '#skF_21', X6_587)) | ~coat('#skF_21', '#skF_40'(X2_575, X_576, V_577, X1_579, X4_580, W_581, X3_582, Y_583, Z_584, X5_585, '#skF_21', X6_587)) | ~behind('#skF_21', X6_587, X6_587) | ~be('#skF_21', X5_585, V_577, X6_587) | ~state('#skF_21', X5_585) | ~wheel('#skF_21', X6_587) | ~group('#skF_21', X4_580) | ~group('#skF_21', X3_582) | ~two('#skF_21', X3_582) | ~in('#skF_21', X2_575, X1_579) | ~down('#skF_21', X2_575, X1_579) | ~barrel('#skF_21', X2_575) | ~present('#skF_21', X2_575) | ~agent('#skF_21', X2_575, Y_583) | ~event('#skF_21', X2_575) | ~lonely('#skF_21', X1_579) | ~street('#skF_21', X1_579) | ~placename('#skF_21', Z_584) | ~hollywood_placename('#skF_21', Z_584) | ~city('#skF_21', X1_579) | ~of('#skF_21', Z_584, X1_579) | ~old('#skF_21', Y_583) | ~dirty('#skF_21', Y_583) | ~white('#skF_21', Y_583) | ~chevy('#skF_21', Y_583) | ~frontseat('#skF_21', X_576) | ~forename('#skF_21', W_581) | ~jules_forename('#skF_21', W_581) | ~man('#skF_21', V_577) | ~of('#skF_21', W_581, V_577) | ~member('#skF_21', '#skF_36'(X2_575, X_576, V_577, X1_579, X4_580, W_581, X3_582, Y_583, Z_584, X5_585, '#skF_21', X6_587), '#skF_29')))).
% 92.78/77.37 tff(c_12105, plain, (![X2_810, X4_816, Z_813, X3_818, X1_811, X5_812, Y_815, W_814, X6_819, V_817]: (member('#skF_21', '#skF_37'(X2_810, '#skF_24', V_817, X1_811, X4_816, W_814, X3_818, Y_815, Z_813, X5_812, '#skF_21', X6_819), X3_818) | member('#skF_21', '#skF_38'(X2_810, '#skF_24', V_817, X1_811, X4_816, W_814, X3_818, Y_815, Z_813, X5_812, '#skF_21', X6_819), X4_816) | ~cheap('#skF_21', '#skF_40'(X2_810, '#skF_24', V_817, X1_811, X4_816, W_814, X3_818, Y_815, Z_813, X5_812, '#skF_21', X6_819)) | ~black('#skF_21', '#skF_40'(X2_810, '#skF_24', V_817, X1_811, X4_816, W_814, X3_818, Y_815, Z_813, X5_812, '#skF_21', X6_819)) | ~coat('#skF_21', '#skF_40'(X2_810, '#skF_24', V_817, X1_811, X4_816, W_814, X3_818, Y_815, Z_813, X5_812, '#skF_21', X6_819)) | ~behind('#skF_21', X6_819, X6_819) | ~be('#skF_21', X5_812, V_817, X6_819) | ~state('#skF_21', X5_812) | ~wheel('#skF_21', X6_819) | ~group('#skF_21', X4_816) | ~group('#skF_21', X3_818) | ~two('#skF_21', X3_818) | ~in('#skF_21', X2_810, X1_811) | ~down('#skF_21', X2_810, X1_811) | ~barrel('#skF_21', X2_810) | ~present('#skF_21', X2_810) | ~agent('#skF_21', X2_810, Y_815) | ~event('#skF_21', X2_810) | ~lonely('#skF_21', X1_811) | ~street('#skF_21', X1_811) | ~placename('#skF_21', Z_813) | ~hollywood_placename('#skF_21', Z_813) | ~city('#skF_21', X1_811) | ~of('#skF_21', Z_813, X1_811) | ~old('#skF_21', Y_815) | ~dirty('#skF_21', Y_815) | ~white('#skF_21', Y_815) | ~chevy('#skF_21', Y_815) | ~forename('#skF_21', W_814) | ~jules_forename('#skF_21', W_814) | ~man('#skF_21', V_817) | ~of('#skF_21', W_814, V_817) | ~member('#skF_21', '#skF_36'(X2_810, '#skF_24', V_817, X1_811, X4_816, W_814, X3_818, Y_815, Z_813, X5_812, '#skF_21', X6_819), '#skF_29')))).
% 92.78/77.37 tff(c_11612, plain, (![X3_596, X5_599, X2_589, Y_597, X_590, X1_593, W_595, X4_594, V_591, X6_601, Z_598]: (~in('#skF_21', '#skF_34'('#skF_36'(X2_589, X_590, V_591, X1_593, X4_594, W_595, X3_596, Y_597, Z_598, X5_599, '#skF_21', X6_601)), X_590) | ~state('#skF_21', '#skF_33'('#skF_36'(X2_589, X_590, V_591, X1_593, X4_594, W_595, X3_596, Y_597, Z_598, X5_599, '#skF_21', X6_601))) | member('#skF_21', '#skF_37'(X2_589, X_590, V_591, X1_593, X4_594, W_595, X3_596, Y_597, Z_598, X5_599, '#skF_21', X6_601), X3_596) | member('#skF_21', '#skF_38'(X2_589, X_590, V_591, X1_593, X4_594, W_595, X3_596, Y_597, Z_598, X5_599, '#skF_21', X6_601), X4_594) | ~cheap('#skF_21', '#skF_40'(X2_589, X_590, V_591, X1_593, X4_594, W_595, X3_596, Y_597, Z_598, X5_599, '#skF_21', X6_601)) | ~black('#skF_21', '#skF_40'(X2_589, X_590, V_591, X1_593, X4_594, W_595, X3_596, Y_597, Z_598, X5_599, '#skF_21', X6_601)) | ~coat('#skF_21', '#skF_40'(X2_589, X_590, V_591, X1_593, X4_594, W_595, X3_596, Y_597, Z_598, X5_599, '#skF_21', X6_601)) | ~behind('#skF_21', X6_601, X6_601) | ~be('#skF_21', X5_599, V_591, X6_601) | ~state('#skF_21', X5_599) | ~wheel('#skF_21', X6_601) | ~group('#skF_21', X4_594) | ~group('#skF_21', X3_596) | ~two('#skF_21', X3_596) | ~in('#skF_21', X2_589, X1_593) | ~down('#skF_21', X2_589, X1_593) | ~barrel('#skF_21', X2_589) | ~present('#skF_21', X2_589) | ~agent('#skF_21', X2_589, Y_597) | ~event('#skF_21', X2_589) | ~lonely('#skF_21', X1_593) | ~street('#skF_21', X1_593) | ~placename('#skF_21', Z_598) | ~hollywood_placename('#skF_21', Z_598) | ~city('#skF_21', X1_593) | ~of('#skF_21', Z_598, X1_593) | ~old('#skF_21', Y_597) | ~dirty('#skF_21', Y_597) | ~white('#skF_21', Y_597) | ~chevy('#skF_21', Y_597) | ~frontseat('#skF_21', X_590) | ~forename('#skF_21', W_595) | ~jules_forename('#skF_21', W_595) | ~man('#skF_21', V_591) | ~of('#skF_21', W_595, V_591) | ~member('#skF_21', '#skF_36'(X2_589, X_590, V_591, X1_593, X4_594, W_595, X3_596, Y_597, Z_598, X5_599, '#skF_21', X6_601), '#skF_29')))).
% 92.78/77.37 tff(c_12047, plain, (![X1_786, X3_779, Y_777, X5_785, X4_783, W_784, V_782, X13_787, X2_778, Z_780, X6_781]: (member('#skF_21', '#skF_37'(X2_778, '#skF_24', V_782, X1_786, X4_783, W_784, X3_779, Y_777, Z_780, X5_785, '#skF_21', X6_781), X3_779) | ~wear('#skF_21', X13_787) | ~nonreflexive('#skF_21', X13_787) | ~present('#skF_21', X13_787) | ~patient('#skF_21', X13_787, '#skF_38'(X2_778, '#skF_24', V_782, X1_786, X4_783, W_784, X3_779, Y_777, Z_780, X5_785, '#skF_21', X6_781)) | ~agent('#skF_21', X13_787, '#skF_39'(X2_778, '#skF_24', V_782, X1_786, X4_783, W_784, X3_779, Y_777, Z_780, X5_785, '#skF_21', X6_781)) | ~event('#skF_21', X13_787) | member('#skF_21', '#skF_40'(X2_778, '#skF_24', V_782, X1_786, X4_783, W_784, X3_779, Y_777, Z_780, X5_785, '#skF_21', X6_781), X4_783) | ~behind('#skF_21', X6_781, X6_781) | ~be('#skF_21', X5_785, V_782, X6_781) | ~state('#skF_21', X5_785) | ~wheel('#skF_21', X6_781) | ~group('#skF_21', X4_783) | ~group('#skF_21', X3_779) | ~two('#skF_21', X3_779) | ~in('#skF_21', X2_778, X1_786) | ~down('#skF_21', X2_778, X1_786) | ~barrel('#skF_21', X2_778) | ~present('#skF_21', X2_778) | ~agent('#skF_21', X2_778, Y_777) | ~event('#skF_21', X2_778) | ~lonely('#skF_21', X1_786) | ~street('#skF_21', X1_786) | ~placename('#skF_21', Z_780) | ~hollywood_placename('#skF_21', Z_780) | ~city('#skF_21', X1_786) | ~of('#skF_21', Z_780, X1_786) | ~old('#skF_21', Y_777) | ~dirty('#skF_21', Y_777) | ~white('#skF_21', Y_777) | ~chevy('#skF_21', Y_777) | ~forename('#skF_21', W_784) | ~jules_forename('#skF_21', W_784) | ~man('#skF_21', V_782) | ~of('#skF_21', W_784, V_782) | ~member('#skF_21', '#skF_36'(X2_778, '#skF_24', V_782, X1_786, X4_783, W_784, X3_779, Y_777, Z_780, X5_785, '#skF_21', X6_781), '#skF_29')))).
% 92.78/77.37 tff(c_11594, plain, (![V_563, Y_569, X1_565, X2_561, Z_570, X4_566, W_567, X3_568, X_562, X6_573, X13_560, X5_571]: (~in('#skF_21', '#skF_34'('#skF_36'(X2_561, X_562, V_563, X1_565, X4_566, W_567, X3_568, Y_569, Z_570, X5_571, '#skF_21', X6_573)), X_562) | ~state('#skF_21', '#skF_33'('#skF_36'(X2_561, X_562, V_563, X1_565, X4_566, W_567, X3_568, Y_569, Z_570, X5_571, '#skF_21', X6_573))) | member('#skF_21', '#skF_37'(X2_561, X_562, V_563, X1_565, X4_566, W_567, X3_568, Y_569, Z_570, X5_571, '#skF_21', X6_573), X3_568) | ~wear('#skF_21', X13_560) | ~nonreflexive('#skF_21', X13_560) | ~present('#skF_21', X13_560) | ~patient('#skF_21', X13_560, '#skF_38'(X2_561, X_562, V_563, X1_565, X4_566, W_567, X3_568, Y_569, Z_570, X5_571, '#skF_21', X6_573)) | ~agent('#skF_21', X13_560, '#skF_39'(X2_561, X_562, V_563, X1_565, X4_566, W_567, X3_568, Y_569, Z_570, X5_571, '#skF_21', X6_573)) | ~event('#skF_21', X13_560) | member('#skF_21', '#skF_40'(X2_561, X_562, V_563, X1_565, X4_566, W_567, X3_568, Y_569, Z_570, X5_571, '#skF_21', X6_573), X4_566) | ~behind('#skF_21', X6_573, X6_573) | ~be('#skF_21', X5_571, V_563, X6_573) | ~state('#skF_21', X5_571) | ~wheel('#skF_21', X6_573) | ~group('#skF_21', X4_566) | ~group('#skF_21', X3_568) | ~two('#skF_21', X3_568) | ~in('#skF_21', X2_561, X1_565) | ~down('#skF_21', X2_561, X1_565) | ~barrel('#skF_21', X2_561) | ~present('#skF_21', X2_561) | ~agent('#skF_21', X2_561, Y_569) | ~event('#skF_21', X2_561) | ~lonely('#skF_21', X1_565) | ~street('#skF_21', X1_565) | ~placename('#skF_21', Z_570) | ~hollywood_placename('#skF_21', Z_570) | ~city('#skF_21', X1_565) | ~of('#skF_21', Z_570, X1_565) | ~old('#skF_21', Y_569) | ~dirty('#skF_21', Y_569) | ~white('#skF_21', Y_569) | ~chevy('#skF_21', Y_569) | ~frontseat('#skF_21', X_562) | ~forename('#skF_21', W_567) | ~jules_forename('#skF_21', W_567) | ~man('#skF_21', V_563) | ~of('#skF_21', W_567, V_563) | ~member('#skF_21', '#skF_36'(X2_561, X_562, V_563, X1_565, X4_566, W_567, X3_568, Y_569, Z_570, X5_571, '#skF_21', X6_573), '#skF_29')))).
% 92.78/77.37 tff(c_12025, plain, (![V_243, W_244, U_203, X1_248, X2_249, X_245, Y_246, X4_251, X8_270, X6_253, X5_252, X3_250, Z_247, X9_271]: (~in(U_203, X9_271, X_245) | ~be(U_203, X8_270, '#skF_36'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X9_271) | ~state(U_203, X8_270) | ~young(U_203, '#skF_37'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~fellow(U_203, '#skF_37'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | member(U_203, '#skF_38'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X4_251) | ~cheap(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~black(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~coat(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~behind(U_203, X6_253, X6_253) | ~be(U_203, X5_252, V_243, X6_253) | ~state(U_203, X5_252) | ~wheel(U_203, X6_253) | ~group(U_203, X4_251) | ~group(U_203, X3_250) | ~two(U_203, X3_250) | ~in(U_203, X2_249, X1_248) | ~down(U_203, X2_249, X1_248) | ~barrel(U_203, X2_249) | ~present(U_203, X2_249) | ~agent(U_203, X2_249, Y_246) | ~event(U_203, X2_249) | ~lonely(U_203, X1_248) | ~street(U_203, X1_248) | ~placename(U_203, Z_247) | ~hollywood_placename(U_203, Z_247) | ~city(U_203, X1_248) | ~of(U_203, Z_247, X1_248) | ~old(U_203, Y_246) | ~dirty(U_203, Y_246) | ~white(U_203, Y_246) | ~chevy(U_203, Y_246) | ~frontseat(U_203, X_245) | ~forename(U_203, W_244) | ~jules_forename(U_203, W_244) | ~man(U_203, V_243) | ~of(U_203, W_244, V_243) | ~actual_world(U_203)))).
% 92.78/77.37 tff(c_12017, plain, (![V_243, W_244, U_203, X1_248, X2_249, X_245, Y_246, X4_251, X8_270, X6_253, X5_252, X3_250, Z_247, X9_271]: (~in(U_203, X9_271, X_245) | ~be(U_203, X8_270, '#skF_36'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X9_271) | ~state(U_203, X8_270) | ~young(U_203, '#skF_37'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~fellow(U_203, '#skF_37'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | member(U_203, '#skF_39'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X3_250) | ~cheap(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~black(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~coat(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~behind(U_203, X6_253, X6_253) | ~be(U_203, X5_252, V_243, X6_253) | ~state(U_203, X5_252) | ~wheel(U_203, X6_253) | ~group(U_203, X4_251) | ~group(U_203, X3_250) | ~two(U_203, X3_250) | ~in(U_203, X2_249, X1_248) | ~down(U_203, X2_249, X1_248) | ~barrel(U_203, X2_249) | ~present(U_203, X2_249) | ~agent(U_203, X2_249, Y_246) | ~event(U_203, X2_249) | ~lonely(U_203, X1_248) | ~street(U_203, X1_248) | ~placename(U_203, Z_247) | ~hollywood_placename(U_203, Z_247) | ~city(U_203, X1_248) | ~of(U_203, Z_247, X1_248) | ~old(U_203, Y_246) | ~dirty(U_203, Y_246) | ~white(U_203, Y_246) | ~chevy(U_203, Y_246) | ~frontseat(U_203, X_245) | ~forename(U_203, W_244) | ~jules_forename(U_203, W_244) | ~man(U_203, V_243) | ~of(U_203, W_244, V_243) | ~actual_world(U_203)))).
% 92.78/77.37 tff(c_12009, plain, (![V_243, W_244, U_203, X1_248, X2_249, X_245, Y_246, X4_251, X8_270, X6_253, X5_252, X3_250, Z_247, X13_276, X9_271]: (~in(U_203, X9_271, X_245) | ~be(U_203, X8_270, '#skF_36'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X9_271) | ~state(U_203, X8_270) | ~young(U_203, '#skF_37'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~fellow(U_203, '#skF_37'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~wear(U_203, X13_276) | ~nonreflexive(U_203, X13_276) | ~present(U_203, X13_276) | ~patient(U_203, X13_276, '#skF_38'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~agent(U_203, X13_276, '#skF_39'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~event(U_203, X13_276) | member(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X4_251) | ~behind(U_203, X6_253, X6_253) | ~be(U_203, X5_252, V_243, X6_253) | ~state(U_203, X5_252) | ~wheel(U_203, X6_253) | ~group(U_203, X4_251) | ~group(U_203, X3_250) | ~two(U_203, X3_250) | ~in(U_203, X2_249, X1_248) | ~down(U_203, X2_249, X1_248) | ~barrel(U_203, X2_249) | ~present(U_203, X2_249) | ~agent(U_203, X2_249, Y_246) | ~event(U_203, X2_249) | ~lonely(U_203, X1_248) | ~street(U_203, X1_248) | ~placename(U_203, Z_247) | ~hollywood_placename(U_203, Z_247) | ~city(U_203, X1_248) | ~of(U_203, Z_247, X1_248) | ~old(U_203, Y_246) | ~dirty(U_203, Y_246) | ~white(U_203, Y_246) | ~chevy(U_203, Y_246) | ~frontseat(U_203, X_245) | ~forename(U_203, W_244) | ~jules_forename(U_203, W_244) | ~man(U_203, V_243) | ~of(U_203, W_244, V_243) | ~actual_world(U_203)))).
% 92.78/77.37 tff(c_11833, plain, (![X5_709, Z_708, V_702, X3_706, Y_707, X1_703, X4_704, X2_700, X_701, W_705]: (member('#skF_1', '#skF_36'(X2_700, X_701, V_702, X1_703, X4_704, W_705, X3_706, Y_707, Z_708, X5_709, '#skF_1', '#skF_12'), X3_706) | ~young('#skF_1', '#skF_37'(X2_700, X_701, V_702, X1_703, X4_704, W_705, X3_706, Y_707, Z_708, X5_709, '#skF_1', '#skF_12')) | ~fellow('#skF_1', '#skF_37'(X2_700, X_701, V_702, X1_703, X4_704, W_705, X3_706, Y_707, Z_708, X5_709, '#skF_1', '#skF_12')) | member('#skF_1', '#skF_38'(X2_700, X_701, V_702, X1_703, X4_704, W_705, X3_706, Y_707, Z_708, X5_709, '#skF_1', '#skF_12'), X4_704) | ~cheap('#skF_1', '#skF_40'(X2_700, X_701, V_702, X1_703, X4_704, W_705, X3_706, Y_707, Z_708, X5_709, '#skF_1', '#skF_12')) | ~black('#skF_1', '#skF_40'(X2_700, X_701, V_702, X1_703, X4_704, W_705, X3_706, Y_707, Z_708, X5_709, '#skF_1', '#skF_12')) | ~coat('#skF_1', '#skF_40'(X2_700, X_701, V_702, X1_703, X4_704, W_705, X3_706, Y_707, Z_708, X5_709, '#skF_1', '#skF_12')) | ~be('#skF_1', X5_709, V_702, '#skF_12') | ~state('#skF_1', X5_709) | ~group('#skF_1', X4_704) | ~group('#skF_1', X3_706) | ~two('#skF_1', X3_706) | ~in('#skF_1', X2_700, X1_703) | ~down('#skF_1', X2_700, X1_703) | ~barrel('#skF_1', X2_700) | ~present('#skF_1', X2_700) | ~agent('#skF_1', X2_700, Y_707) | ~event('#skF_1', X2_700) | ~lonely('#skF_1', X1_703) | ~street('#skF_1', X1_703) | ~placename('#skF_1', Z_708) | ~hollywood_placename('#skF_1', Z_708) | ~city('#skF_1', X1_703) | ~of('#skF_1', Z_708, X1_703) | ~old('#skF_1', Y_707) | ~dirty('#skF_1', Y_707) | ~white('#skF_1', Y_707) | ~chevy('#skF_1', Y_707) | ~frontseat('#skF_1', X_701) | ~forename('#skF_1', W_705) | ~jules_forename('#skF_1', W_705) | ~man('#skF_1', V_702) | ~of('#skF_1', W_705, V_702)))).
% 92.78/77.37 tff(c_11827, plain, (![V_243, W_244, U_203, X1_248, X2_249, X_245, Y_246, X4_251, X6_253, X5_252, X3_250, Z_247]: (member(U_203, '#skF_36'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X3_250) | ~young(U_203, '#skF_37'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~fellow(U_203, '#skF_37'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | member(U_203, '#skF_38'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X4_251) | ~cheap(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~black(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~coat(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~behind(U_203, X6_253, X6_253) | ~be(U_203, X5_252, V_243, X6_253) | ~state(U_203, X5_252) | ~wheel(U_203, X6_253) | ~group(U_203, X4_251) | ~group(U_203, X3_250) | ~two(U_203, X3_250) | ~in(U_203, X2_249, X1_248) | ~down(U_203, X2_249, X1_248) | ~barrel(U_203, X2_249) | ~present(U_203, X2_249) | ~agent(U_203, X2_249, Y_246) | ~event(U_203, X2_249) | ~lonely(U_203, X1_248) | ~street(U_203, X1_248) | ~placename(U_203, Z_247) | ~hollywood_placename(U_203, Z_247) | ~city(U_203, X1_248) | ~of(U_203, Z_247, X1_248) | ~old(U_203, Y_246) | ~dirty(U_203, Y_246) | ~white(U_203, Y_246) | ~chevy(U_203, Y_246) | ~frontseat(U_203, X_245) | ~forename(U_203, W_244) | ~jules_forename(U_203, W_244) | ~man(U_203, V_243) | ~of(U_203, W_244, V_243) | ~actual_world(U_203)))).
% 92.78/77.37 tff(c_11825, plain, (![X2_678, X_679, Y_685, X4_682, Z_686, X3_684, W_683, X1_681, X5_687, V_680]: (member('#skF_1', '#skF_36'(X2_678, X_679, V_680, X1_681, X4_682, W_683, X3_684, Y_685, Z_686, X5_687, '#skF_1', '#skF_12'), X3_684) | ~young('#skF_1', '#skF_37'(X2_678, X_679, V_680, X1_681, X4_682, W_683, X3_684, Y_685, Z_686, X5_687, '#skF_1', '#skF_12')) | ~fellow('#skF_1', '#skF_37'(X2_678, X_679, V_680, X1_681, X4_682, W_683, X3_684, Y_685, Z_686, X5_687, '#skF_1', '#skF_12')) | member('#skF_1', '#skF_39'(X2_678, X_679, V_680, X1_681, X4_682, W_683, X3_684, Y_685, Z_686, X5_687, '#skF_1', '#skF_12'), X3_684) | ~cheap('#skF_1', '#skF_40'(X2_678, X_679, V_680, X1_681, X4_682, W_683, X3_684, Y_685, Z_686, X5_687, '#skF_1', '#skF_12')) | ~black('#skF_1', '#skF_40'(X2_678, X_679, V_680, X1_681, X4_682, W_683, X3_684, Y_685, Z_686, X5_687, '#skF_1', '#skF_12')) | ~coat('#skF_1', '#skF_40'(X2_678, X_679, V_680, X1_681, X4_682, W_683, X3_684, Y_685, Z_686, X5_687, '#skF_1', '#skF_12')) | ~be('#skF_1', X5_687, V_680, '#skF_12') | ~state('#skF_1', X5_687) | ~group('#skF_1', X4_682) | ~group('#skF_1', X3_684) | ~two('#skF_1', X3_684) | ~in('#skF_1', X2_678, X1_681) | ~down('#skF_1', X2_678, X1_681) | ~barrel('#skF_1', X2_678) | ~present('#skF_1', X2_678) | ~agent('#skF_1', X2_678, Y_685) | ~event('#skF_1', X2_678) | ~lonely('#skF_1', X1_681) | ~street('#skF_1', X1_681) | ~placename('#skF_1', Z_686) | ~hollywood_placename('#skF_1', Z_686) | ~city('#skF_1', X1_681) | ~of('#skF_1', Z_686, X1_681) | ~old('#skF_1', Y_685) | ~dirty('#skF_1', Y_685) | ~white('#skF_1', Y_685) | ~chevy('#skF_1', Y_685) | ~frontseat('#skF_1', X_679) | ~forename('#skF_1', W_683) | ~jules_forename('#skF_1', W_683) | ~man('#skF_1', V_680) | ~of('#skF_1', W_683, V_680)))).
% 92.78/77.37 tff(c_11819, plain, (![V_243, W_244, U_203, X1_248, X2_249, X_245, Y_246, X4_251, X6_253, X5_252, X3_250, Z_247]: (member(U_203, '#skF_36'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X3_250) | ~young(U_203, '#skF_37'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~fellow(U_203, '#skF_37'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | member(U_203, '#skF_39'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X3_250) | ~cheap(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~black(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~coat(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~behind(U_203, X6_253, X6_253) | ~be(U_203, X5_252, V_243, X6_253) | ~state(U_203, X5_252) | ~wheel(U_203, X6_253) | ~group(U_203, X4_251) | ~group(U_203, X3_250) | ~two(U_203, X3_250) | ~in(U_203, X2_249, X1_248) | ~down(U_203, X2_249, X1_248) | ~barrel(U_203, X2_249) | ~present(U_203, X2_249) | ~agent(U_203, X2_249, Y_246) | ~event(U_203, X2_249) | ~lonely(U_203, X1_248) | ~street(U_203, X1_248) | ~placename(U_203, Z_247) | ~hollywood_placename(U_203, Z_247) | ~city(U_203, X1_248) | ~of(U_203, Z_247, X1_248) | ~old(U_203, Y_246) | ~dirty(U_203, Y_246) | ~white(U_203, Y_246) | ~chevy(U_203, Y_246) | ~frontseat(U_203, X_245) | ~forename(U_203, W_244) | ~jules_forename(U_203, W_244) | ~man(U_203, V_243) | ~of(U_203, W_244, V_243) | ~actual_world(U_203)))).
% 92.78/77.37 tff(c_11811, plain, (![V_243, W_244, U_203, X1_248, X2_249, X_245, Y_246, X4_251, X6_253, X5_252, X3_250, Z_247, X13_276]: (member(U_203, '#skF_36'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X3_250) | ~young(U_203, '#skF_37'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~fellow(U_203, '#skF_37'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~wear(U_203, X13_276) | ~nonreflexive(U_203, X13_276) | ~present(U_203, X13_276) | ~patient(U_203, X13_276, '#skF_38'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~agent(U_203, X13_276, '#skF_39'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~event(U_203, X13_276) | member(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X4_251) | ~behind(U_203, X6_253, X6_253) | ~be(U_203, X5_252, V_243, X6_253) | ~state(U_203, X5_252) | ~wheel(U_203, X6_253) | ~group(U_203, X4_251) | ~group(U_203, X3_250) | ~two(U_203, X3_250) | ~in(U_203, X2_249, X1_248) | ~down(U_203, X2_249, X1_248) | ~barrel(U_203, X2_249) | ~present(U_203, X2_249) | ~agent(U_203, X2_249, Y_246) | ~event(U_203, X2_249) | ~lonely(U_203, X1_248) | ~street(U_203, X1_248) | ~placename(U_203, Z_247) | ~hollywood_placename(U_203, Z_247) | ~city(U_203, X1_248) | ~of(U_203, Z_247, X1_248) | ~old(U_203, Y_246) | ~dirty(U_203, Y_246) | ~white(U_203, Y_246) | ~chevy(U_203, Y_246) | ~frontseat(U_203, X_245) | ~forename(U_203, W_244) | ~jules_forename(U_203, W_244) | ~man(U_203, V_243) | ~of(U_203, W_244, V_243) | ~actual_world(U_203)))).
% 92.78/77.37 tff(c_11685, plain, (![X5_648, Y_651, Z_653, X4_652, X2_650, X1_654, W_645, X6_647, X3_646, V_649]: (~young('#skF_21', '#skF_37'(X2_650, '#skF_24', V_649, X1_654, X4_652, W_645, X3_646, Y_651, Z_653, X5_648, '#skF_21', X6_647)) | ~fellow('#skF_21', '#skF_37'(X2_650, '#skF_24', V_649, X1_654, X4_652, W_645, X3_646, Y_651, Z_653, X5_648, '#skF_21', X6_647)) | member('#skF_21', '#skF_38'(X2_650, '#skF_24', V_649, X1_654, X4_652, W_645, X3_646, Y_651, Z_653, X5_648, '#skF_21', X6_647), X4_652) | member('#skF_21', '#skF_40'(X2_650, '#skF_24', V_649, X1_654, X4_652, W_645, X3_646, Y_651, Z_653, X5_648, '#skF_21', X6_647), X4_652) | ~behind('#skF_21', X6_647, X6_647) | ~be('#skF_21', X5_648, V_649, X6_647) | ~state('#skF_21', X5_648) | ~wheel('#skF_21', X6_647) | ~group('#skF_21', X4_652) | ~group('#skF_21', X3_646) | ~two('#skF_21', X3_646) | ~in('#skF_21', X2_650, X1_654) | ~down('#skF_21', X2_650, X1_654) | ~barrel('#skF_21', X2_650) | ~present('#skF_21', X2_650) | ~agent('#skF_21', X2_650, Y_651) | ~event('#skF_21', X2_650) | ~lonely('#skF_21', X1_654) | ~street('#skF_21', X1_654) | ~placename('#skF_21', Z_653) | ~hollywood_placename('#skF_21', Z_653) | ~city('#skF_21', X1_654) | ~of('#skF_21', Z_653, X1_654) | ~old('#skF_21', Y_651) | ~dirty('#skF_21', Y_651) | ~white('#skF_21', Y_651) | ~chevy('#skF_21', Y_651) | ~forename('#skF_21', W_645) | ~jules_forename('#skF_21', W_645) | ~man('#skF_21', V_649) | ~of('#skF_21', W_645, V_649) | ~member('#skF_21', '#skF_36'(X2_650, '#skF_24', V_649, X1_654, X4_652, W_645, X3_646, Y_651, Z_653, X5_648, '#skF_21', X6_647), '#skF_29')))).
% 92.78/77.37 tff(c_11188, plain, (![X1_431, X3_434, X4_432, Z_436, X5_437, X2_427, W_433, X6_439, V_429, Y_435, X_428]: (~in('#skF_21', '#skF_34'('#skF_36'(X2_427, X_428, V_429, X1_431, X4_432, W_433, X3_434, Y_435, Z_436, X5_437, '#skF_21', X6_439)), X_428) | ~state('#skF_21', '#skF_33'('#skF_36'(X2_427, X_428, V_429, X1_431, X4_432, W_433, X3_434, Y_435, Z_436, X5_437, '#skF_21', X6_439))) | ~young('#skF_21', '#skF_37'(X2_427, X_428, V_429, X1_431, X4_432, W_433, X3_434, Y_435, Z_436, X5_437, '#skF_21', X6_439)) | ~fellow('#skF_21', '#skF_37'(X2_427, X_428, V_429, X1_431, X4_432, W_433, X3_434, Y_435, Z_436, X5_437, '#skF_21', X6_439)) | member('#skF_21', '#skF_38'(X2_427, X_428, V_429, X1_431, X4_432, W_433, X3_434, Y_435, Z_436, X5_437, '#skF_21', X6_439), X4_432) | member('#skF_21', '#skF_40'(X2_427, X_428, V_429, X1_431, X4_432, W_433, X3_434, Y_435, Z_436, X5_437, '#skF_21', X6_439), X4_432) | ~behind('#skF_21', X6_439, X6_439) | ~be('#skF_21', X5_437, V_429, X6_439) | ~state('#skF_21', X5_437) | ~wheel('#skF_21', X6_439) | ~group('#skF_21', X4_432) | ~group('#skF_21', X3_434) | ~two('#skF_21', X3_434) | ~in('#skF_21', X2_427, X1_431) | ~down('#skF_21', X2_427, X1_431) | ~barrel('#skF_21', X2_427) | ~present('#skF_21', X2_427) | ~agent('#skF_21', X2_427, Y_435) | ~event('#skF_21', X2_427) | ~lonely('#skF_21', X1_431) | ~street('#skF_21', X1_431) | ~placename('#skF_21', Z_436) | ~hollywood_placename('#skF_21', Z_436) | ~city('#skF_21', X1_431) | ~of('#skF_21', Z_436, X1_431) | ~old('#skF_21', Y_435) | ~dirty('#skF_21', Y_435) | ~white('#skF_21', Y_435) | ~chevy('#skF_21', Y_435) | ~frontseat('#skF_21', X_428) | ~forename('#skF_21', W_433) | ~jules_forename('#skF_21', W_433) | ~man('#skF_21', V_429) | ~of('#skF_21', W_433, V_429) | ~member('#skF_21', '#skF_36'(X2_427, X_428, V_429, X1_431, X4_432, W_433, X3_434, Y_435, Z_436, X5_437, '#skF_21', X6_439), '#skF_29')))).
% 92.78/77.37 tff(c_11671, plain, (![Z_617, X4_623, Y_621, X3_618, X6_619, X5_614, W_620, X2_622, V_616, X1_615]: (~young('#skF_21', '#skF_37'(X2_622, '#skF_24', V_616, X1_615, X4_623, W_620, X3_618, Y_621, Z_617, X5_614, '#skF_21', X6_619)) | ~fellow('#skF_21', '#skF_37'(X2_622, '#skF_24', V_616, X1_615, X4_623, W_620, X3_618, Y_621, Z_617, X5_614, '#skF_21', X6_619)) | member('#skF_21', '#skF_39'(X2_622, '#skF_24', V_616, X1_615, X4_623, W_620, X3_618, Y_621, Z_617, X5_614, '#skF_21', X6_619), X3_618) | member('#skF_21', '#skF_40'(X2_622, '#skF_24', V_616, X1_615, X4_623, W_620, X3_618, Y_621, Z_617, X5_614, '#skF_21', X6_619), X4_623) | ~behind('#skF_21', X6_619, X6_619) | ~be('#skF_21', X5_614, V_616, X6_619) | ~state('#skF_21', X5_614) | ~wheel('#skF_21', X6_619) | ~group('#skF_21', X4_623) | ~group('#skF_21', X3_618) | ~two('#skF_21', X3_618) | ~in('#skF_21', X2_622, X1_615) | ~down('#skF_21', X2_622, X1_615) | ~barrel('#skF_21', X2_622) | ~present('#skF_21', X2_622) | ~agent('#skF_21', X2_622, Y_621) | ~event('#skF_21', X2_622) | ~lonely('#skF_21', X1_615) | ~street('#skF_21', X1_615) | ~placename('#skF_21', Z_617) | ~hollywood_placename('#skF_21', Z_617) | ~city('#skF_21', X1_615) | ~of('#skF_21', Z_617, X1_615) | ~old('#skF_21', Y_621) | ~dirty('#skF_21', Y_621) | ~white('#skF_21', Y_621) | ~chevy('#skF_21', Y_621) | ~forename('#skF_21', W_620) | ~jules_forename('#skF_21', W_620) | ~man('#skF_21', V_616) | ~of('#skF_21', W_620, V_616) | ~member('#skF_21', '#skF_36'(X2_622, '#skF_24', V_616, X1_615, X4_623, W_620, X3_618, Y_621, Z_617, X5_614, '#skF_21', X6_619), '#skF_29')))).
% 92.78/77.37 tff(c_11180, plain, (![Y_421, X_414, X6_425, V_415, X4_418, X3_420, W_419, X2_413, Z_422, X5_423, X1_417]: (~in('#skF_21', '#skF_34'('#skF_36'(X2_413, X_414, V_415, X1_417, X4_418, W_419, X3_420, Y_421, Z_422, X5_423, '#skF_21', X6_425)), X_414) | ~state('#skF_21', '#skF_33'('#skF_36'(X2_413, X_414, V_415, X1_417, X4_418, W_419, X3_420, Y_421, Z_422, X5_423, '#skF_21', X6_425))) | ~young('#skF_21', '#skF_37'(X2_413, X_414, V_415, X1_417, X4_418, W_419, X3_420, Y_421, Z_422, X5_423, '#skF_21', X6_425)) | ~fellow('#skF_21', '#skF_37'(X2_413, X_414, V_415, X1_417, X4_418, W_419, X3_420, Y_421, Z_422, X5_423, '#skF_21', X6_425)) | member('#skF_21', '#skF_39'(X2_413, X_414, V_415, X1_417, X4_418, W_419, X3_420, Y_421, Z_422, X5_423, '#skF_21', X6_425), X3_420) | member('#skF_21', '#skF_40'(X2_413, X_414, V_415, X1_417, X4_418, W_419, X3_420, Y_421, Z_422, X5_423, '#skF_21', X6_425), X4_418) | ~behind('#skF_21', X6_425, X6_425) | ~be('#skF_21', X5_423, V_415, X6_425) | ~state('#skF_21', X5_423) | ~wheel('#skF_21', X6_425) | ~group('#skF_21', X4_418) | ~group('#skF_21', X3_420) | ~two('#skF_21', X3_420) | ~in('#skF_21', X2_413, X1_417) | ~down('#skF_21', X2_413, X1_417) | ~barrel('#skF_21', X2_413) | ~present('#skF_21', X2_413) | ~agent('#skF_21', X2_413, Y_421) | ~event('#skF_21', X2_413) | ~lonely('#skF_21', X1_417) | ~street('#skF_21', X1_417) | ~placename('#skF_21', Z_422) | ~hollywood_placename('#skF_21', Z_422) | ~city('#skF_21', X1_417) | ~of('#skF_21', Z_422, X1_417) | ~old('#skF_21', Y_421) | ~dirty('#skF_21', Y_421) | ~white('#skF_21', Y_421) | ~chevy('#skF_21', Y_421) | ~frontseat('#skF_21', X_414) | ~forename('#skF_21', W_419) | ~jules_forename('#skF_21', W_419) | ~man('#skF_21', V_415) | ~of('#skF_21', W_419, V_415) | ~member('#skF_21', '#skF_36'(X2_413, X_414, V_415, X1_417, X4_418, W_419, X3_420, Y_421, Z_422, X5_423, '#skF_21', X6_425), '#skF_29')))).
% 92.78/77.37 tff(c_11605, plain, (![V_243, W_244, U_203, X1_248, X2_249, X_245, Y_246, X4_251, X8_270, X6_253, X5_252, X3_250, Z_247, X9_271]: (~in(U_203, X9_271, X_245) | ~be(U_203, X8_270, '#skF_36'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X9_271) | ~state(U_203, X8_270) | member(U_203, '#skF_37'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X3_250) | member(U_203, '#skF_38'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X4_251) | ~cheap(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~black(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~coat(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~behind(U_203, X6_253, X6_253) | ~be(U_203, X5_252, V_243, X6_253) | ~state(U_203, X5_252) | ~wheel(U_203, X6_253) | ~group(U_203, X4_251) | ~group(U_203, X3_250) | ~two(U_203, X3_250) | ~in(U_203, X2_249, X1_248) | ~down(U_203, X2_249, X1_248) | ~barrel(U_203, X2_249) | ~present(U_203, X2_249) | ~agent(U_203, X2_249, Y_246) | ~event(U_203, X2_249) | ~lonely(U_203, X1_248) | ~street(U_203, X1_248) | ~placename(U_203, Z_247) | ~hollywood_placename(U_203, Z_247) | ~city(U_203, X1_248) | ~of(U_203, Z_247, X1_248) | ~old(U_203, Y_246) | ~dirty(U_203, Y_246) | ~white(U_203, Y_246) | ~chevy(U_203, Y_246) | ~frontseat(U_203, X_245) | ~forename(U_203, W_244) | ~jules_forename(U_203, W_244) | ~man(U_203, V_243) | ~of(U_203, W_244, V_243) | ~actual_world(U_203)))).
% 92.78/77.37 tff(c_11595, plain, (![V_243, W_244, U_203, X1_248, X2_249, X_245, Y_246, X4_251, X8_270, X6_253, X5_252, X3_250, Z_247, X9_271]: (~in(U_203, X9_271, X_245) | ~be(U_203, X8_270, '#skF_36'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X9_271) | ~state(U_203, X8_270) | member(U_203, '#skF_37'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X3_250) | member(U_203, '#skF_39'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X3_250) | ~cheap(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~black(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~coat(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~behind(U_203, X6_253, X6_253) | ~be(U_203, X5_252, V_243, X6_253) | ~state(U_203, X5_252) | ~wheel(U_203, X6_253) | ~group(U_203, X4_251) | ~group(U_203, X3_250) | ~two(U_203, X3_250) | ~in(U_203, X2_249, X1_248) | ~down(U_203, X2_249, X1_248) | ~barrel(U_203, X2_249) | ~present(U_203, X2_249) | ~agent(U_203, X2_249, Y_246) | ~event(U_203, X2_249) | ~lonely(U_203, X1_248) | ~street(U_203, X1_248) | ~placename(U_203, Z_247) | ~hollywood_placename(U_203, Z_247) | ~city(U_203, X1_248) | ~of(U_203, Z_247, X1_248) | ~old(U_203, Y_246) | ~dirty(U_203, Y_246) | ~white(U_203, Y_246) | ~chevy(U_203, Y_246) | ~frontseat(U_203, X_245) | ~forename(U_203, W_244) | ~jules_forename(U_203, W_244) | ~man(U_203, V_243) | ~of(U_203, W_244, V_243) | ~actual_world(U_203)))).
% 92.78/77.37 tff(c_11587, plain, (![V_243, W_244, U_203, X1_248, X2_249, X_245, Y_246, X4_251, X8_270, X6_253, X5_252, X3_250, Z_247, X13_276, X9_271]: (~in(U_203, X9_271, X_245) | ~be(U_203, X8_270, '#skF_36'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X9_271) | ~state(U_203, X8_270) | member(U_203, '#skF_37'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X3_250) | ~wear(U_203, X13_276) | ~nonreflexive(U_203, X13_276) | ~present(U_203, X13_276) | ~patient(U_203, X13_276, '#skF_38'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~agent(U_203, X13_276, '#skF_39'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~event(U_203, X13_276) | member(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X4_251) | ~behind(U_203, X6_253, X6_253) | ~be(U_203, X5_252, V_243, X6_253) | ~state(U_203, X5_252) | ~wheel(U_203, X6_253) | ~group(U_203, X4_251) | ~group(U_203, X3_250) | ~two(U_203, X3_250) | ~in(U_203, X2_249, X1_248) | ~down(U_203, X2_249, X1_248) | ~barrel(U_203, X2_249) | ~present(U_203, X2_249) | ~agent(U_203, X2_249, Y_246) | ~event(U_203, X2_249) | ~lonely(U_203, X1_248) | ~street(U_203, X1_248) | ~placename(U_203, Z_247) | ~hollywood_placename(U_203, Z_247) | ~city(U_203, X1_248) | ~of(U_203, Z_247, X1_248) | ~old(U_203, Y_246) | ~dirty(U_203, Y_246) | ~white(U_203, Y_246) | ~chevy(U_203, Y_246) | ~frontseat(U_203, X_245) | ~forename(U_203, W_244) | ~jules_forename(U_203, W_244) | ~man(U_203, V_243) | ~of(U_203, W_244, V_243) | ~actual_world(U_203)))).
% 92.78/77.37 tff(c_11411, plain, (![X4_542, X5_547, X3_544, X2_538, Y_545, X_539, X1_541, V_540, W_543, Z_546]: (member('#skF_1', '#skF_36'(X2_538, X_539, V_540, X1_541, X4_542, W_543, X3_544, Y_545, Z_546, X5_547, '#skF_1', '#skF_12'), X3_544) | member('#skF_1', '#skF_37'(X2_538, X_539, V_540, X1_541, X4_542, W_543, X3_544, Y_545, Z_546, X5_547, '#skF_1', '#skF_12'), X3_544) | member('#skF_1', '#skF_38'(X2_538, X_539, V_540, X1_541, X4_542, W_543, X3_544, Y_545, Z_546, X5_547, '#skF_1', '#skF_12'), X4_542) | ~cheap('#skF_1', '#skF_40'(X2_538, X_539, V_540, X1_541, X4_542, W_543, X3_544, Y_545, Z_546, X5_547, '#skF_1', '#skF_12')) | ~black('#skF_1', '#skF_40'(X2_538, X_539, V_540, X1_541, X4_542, W_543, X3_544, Y_545, Z_546, X5_547, '#skF_1', '#skF_12')) | ~coat('#skF_1', '#skF_40'(X2_538, X_539, V_540, X1_541, X4_542, W_543, X3_544, Y_545, Z_546, X5_547, '#skF_1', '#skF_12')) | ~be('#skF_1', X5_547, V_540, '#skF_12') | ~state('#skF_1', X5_547) | ~group('#skF_1', X4_542) | ~group('#skF_1', X3_544) | ~two('#skF_1', X3_544) | ~in('#skF_1', X2_538, X1_541) | ~down('#skF_1', X2_538, X1_541) | ~barrel('#skF_1', X2_538) | ~present('#skF_1', X2_538) | ~agent('#skF_1', X2_538, Y_545) | ~event('#skF_1', X2_538) | ~lonely('#skF_1', X1_541) | ~street('#skF_1', X1_541) | ~placename('#skF_1', Z_546) | ~hollywood_placename('#skF_1', Z_546) | ~city('#skF_1', X1_541) | ~of('#skF_1', Z_546, X1_541) | ~old('#skF_1', Y_545) | ~dirty('#skF_1', Y_545) | ~white('#skF_1', Y_545) | ~chevy('#skF_1', Y_545) | ~frontseat('#skF_1', X_539) | ~forename('#skF_1', W_543) | ~jules_forename('#skF_1', W_543) | ~man('#skF_1', V_540) | ~of('#skF_1', W_543, V_540)))).
% 92.78/77.37 tff(c_11405, plain, (![V_243, W_244, U_203, X1_248, X2_249, X_245, Y_246, X4_251, X6_253, X5_252, X3_250, Z_247]: (member(U_203, '#skF_36'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X3_250) | member(U_203, '#skF_37'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X3_250) | member(U_203, '#skF_38'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X4_251) | ~cheap(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~black(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~coat(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~behind(U_203, X6_253, X6_253) | ~be(U_203, X5_252, V_243, X6_253) | ~state(U_203, X5_252) | ~wheel(U_203, X6_253) | ~group(U_203, X4_251) | ~group(U_203, X3_250) | ~two(U_203, X3_250) | ~in(U_203, X2_249, X1_248) | ~down(U_203, X2_249, X1_248) | ~barrel(U_203, X2_249) | ~present(U_203, X2_249) | ~agent(U_203, X2_249, Y_246) | ~event(U_203, X2_249) | ~lonely(U_203, X1_248) | ~street(U_203, X1_248) | ~placename(U_203, Z_247) | ~hollywood_placename(U_203, Z_247) | ~city(U_203, X1_248) | ~of(U_203, Z_247, X1_248) | ~old(U_203, Y_246) | ~dirty(U_203, Y_246) | ~white(U_203, Y_246) | ~chevy(U_203, Y_246) | ~frontseat(U_203, X_245) | ~forename(U_203, W_244) | ~jules_forename(U_203, W_244) | ~man(U_203, V_243) | ~of(U_203, W_244, V_243) | ~actual_world(U_203)))).
% 92.78/77.37 tff(c_11403, plain, (![X4_520, X5_525, Z_524, X3_522, X2_516, X_517, W_521, Y_523, V_518, X1_519]: (member('#skF_1', '#skF_36'(X2_516, X_517, V_518, X1_519, X4_520, W_521, X3_522, Y_523, Z_524, X5_525, '#skF_1', '#skF_12'), X3_522) | member('#skF_1', '#skF_37'(X2_516, X_517, V_518, X1_519, X4_520, W_521, X3_522, Y_523, Z_524, X5_525, '#skF_1', '#skF_12'), X3_522) | member('#skF_1', '#skF_39'(X2_516, X_517, V_518, X1_519, X4_520, W_521, X3_522, Y_523, Z_524, X5_525, '#skF_1', '#skF_12'), X3_522) | ~cheap('#skF_1', '#skF_40'(X2_516, X_517, V_518, X1_519, X4_520, W_521, X3_522, Y_523, Z_524, X5_525, '#skF_1', '#skF_12')) | ~black('#skF_1', '#skF_40'(X2_516, X_517, V_518, X1_519, X4_520, W_521, X3_522, Y_523, Z_524, X5_525, '#skF_1', '#skF_12')) | ~coat('#skF_1', '#skF_40'(X2_516, X_517, V_518, X1_519, X4_520, W_521, X3_522, Y_523, Z_524, X5_525, '#skF_1', '#skF_12')) | ~be('#skF_1', X5_525, V_518, '#skF_12') | ~state('#skF_1', X5_525) | ~group('#skF_1', X4_520) | ~group('#skF_1', X3_522) | ~two('#skF_1', X3_522) | ~in('#skF_1', X2_516, X1_519) | ~down('#skF_1', X2_516, X1_519) | ~barrel('#skF_1', X2_516) | ~present('#skF_1', X2_516) | ~agent('#skF_1', X2_516, Y_523) | ~event('#skF_1', X2_516) | ~lonely('#skF_1', X1_519) | ~street('#skF_1', X1_519) | ~placename('#skF_1', Z_524) | ~hollywood_placename('#skF_1', Z_524) | ~city('#skF_1', X1_519) | ~of('#skF_1', Z_524, X1_519) | ~old('#skF_1', Y_523) | ~dirty('#skF_1', Y_523) | ~white('#skF_1', Y_523) | ~chevy('#skF_1', Y_523) | ~frontseat('#skF_1', X_517) | ~forename('#skF_1', W_521) | ~jules_forename('#skF_1', W_521) | ~man('#skF_1', V_518) | ~of('#skF_1', W_521, V_518)))).
% 92.78/77.37 tff(c_11397, plain, (![V_243, W_244, U_203, X1_248, X2_249, X_245, Y_246, X4_251, X6_253, X5_252, X3_250, Z_247]: (member(U_203, '#skF_36'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X3_250) | member(U_203, '#skF_37'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X3_250) | member(U_203, '#skF_39'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X3_250) | ~cheap(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~black(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~coat(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~behind(U_203, X6_253, X6_253) | ~be(U_203, X5_252, V_243, X6_253) | ~state(U_203, X5_252) | ~wheel(U_203, X6_253) | ~group(U_203, X4_251) | ~group(U_203, X3_250) | ~two(U_203, X3_250) | ~in(U_203, X2_249, X1_248) | ~down(U_203, X2_249, X1_248) | ~barrel(U_203, X2_249) | ~present(U_203, X2_249) | ~agent(U_203, X2_249, Y_246) | ~event(U_203, X2_249) | ~lonely(U_203, X1_248) | ~street(U_203, X1_248) | ~placename(U_203, Z_247) | ~hollywood_placename(U_203, Z_247) | ~city(U_203, X1_248) | ~of(U_203, Z_247, X1_248) | ~old(U_203, Y_246) | ~dirty(U_203, Y_246) | ~white(U_203, Y_246) | ~chevy(U_203, Y_246) | ~frontseat(U_203, X_245) | ~forename(U_203, W_244) | ~jules_forename(U_203, W_244) | ~man(U_203, V_243) | ~of(U_203, W_244, V_243) | ~actual_world(U_203)))).
% 92.78/77.37 tff(c_11389, plain, (![V_243, W_244, U_203, X1_248, X2_249, X_245, Y_246, X4_251, X6_253, X5_252, X3_250, Z_247, X13_276]: (member(U_203, '#skF_36'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X3_250) | member(U_203, '#skF_37'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X3_250) | ~wear(U_203, X13_276) | ~nonreflexive(U_203, X13_276) | ~present(U_203, X13_276) | ~patient(U_203, X13_276, '#skF_38'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~agent(U_203, X13_276, '#skF_39'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~event(U_203, X13_276) | member(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X4_251) | ~behind(U_203, X6_253, X6_253) | ~be(U_203, X5_252, V_243, X6_253) | ~state(U_203, X5_252) | ~wheel(U_203, X6_253) | ~group(U_203, X4_251) | ~group(U_203, X3_250) | ~two(U_203, X3_250) | ~in(U_203, X2_249, X1_248) | ~down(U_203, X2_249, X1_248) | ~barrel(U_203, X2_249) | ~present(U_203, X2_249) | ~agent(U_203, X2_249, Y_246) | ~event(U_203, X2_249) | ~lonely(U_203, X1_248) | ~street(U_203, X1_248) | ~placename(U_203, Z_247) | ~hollywood_placename(U_203, Z_247) | ~city(U_203, X1_248) | ~of(U_203, Z_247, X1_248) | ~old(U_203, Y_246) | ~dirty(U_203, Y_246) | ~white(U_203, Y_246) | ~chevy(U_203, Y_246) | ~frontseat(U_203, X_245) | ~forename(U_203, W_244) | ~jules_forename(U_203, W_244) | ~man(U_203, V_243) | ~of(U_203, W_244, V_243) | ~actual_world(U_203)))).
% 92.78/77.37 tff(c_11262, plain, (![W_490, Y_489, X4_484, Z_492, X2_486, X3_483, X6_487, X1_491, V_485, X5_488]: (member('#skF_21', '#skF_37'(X2_486, '#skF_24', V_485, X1_491, X4_484, W_490, X3_483, Y_489, Z_492, X5_488, '#skF_21', X6_487), X3_483) | member('#skF_21', '#skF_39'(X2_486, '#skF_24', V_485, X1_491, X4_484, W_490, X3_483, Y_489, Z_492, X5_488, '#skF_21', X6_487), X3_483) | member('#skF_21', '#skF_40'(X2_486, '#skF_24', V_485, X1_491, X4_484, W_490, X3_483, Y_489, Z_492, X5_488, '#skF_21', X6_487), X4_484) | ~behind('#skF_21', X6_487, X6_487) | ~be('#skF_21', X5_488, V_485, X6_487) | ~state('#skF_21', X5_488) | ~wheel('#skF_21', X6_487) | ~group('#skF_21', X4_484) | ~group('#skF_21', X3_483) | ~two('#skF_21', X3_483) | ~in('#skF_21', X2_486, X1_491) | ~down('#skF_21', X2_486, X1_491) | ~barrel('#skF_21', X2_486) | ~present('#skF_21', X2_486) | ~agent('#skF_21', X2_486, Y_489) | ~event('#skF_21', X2_486) | ~lonely('#skF_21', X1_491) | ~street('#skF_21', X1_491) | ~placename('#skF_21', Z_492) | ~hollywood_placename('#skF_21', Z_492) | ~city('#skF_21', X1_491) | ~of('#skF_21', Z_492, X1_491) | ~old('#skF_21', Y_489) | ~dirty('#skF_21', Y_489) | ~white('#skF_21', Y_489) | ~chevy('#skF_21', Y_489) | ~forename('#skF_21', W_490) | ~jules_forename('#skF_21', W_490) | ~man('#skF_21', V_485) | ~of('#skF_21', W_490, V_485) | ~member('#skF_21', '#skF_36'(X2_486, '#skF_24', V_485, X1_491, X4_484, W_490, X3_483, Y_489, Z_492, X5_488, '#skF_21', X6_487), '#skF_29')))).
% 92.78/77.37 tff(c_10916, plain, (![X5_351, V_343, X1_345, X2_341, X6_353, X3_348, Z_350, X_342, Y_349, X4_346, W_347]: (~in('#skF_21', '#skF_34'('#skF_36'(X2_341, X_342, V_343, X1_345, X4_346, W_347, X3_348, Y_349, Z_350, X5_351, '#skF_21', X6_353)), X_342) | ~state('#skF_21', '#skF_33'('#skF_36'(X2_341, X_342, V_343, X1_345, X4_346, W_347, X3_348, Y_349, Z_350, X5_351, '#skF_21', X6_353))) | member('#skF_21', '#skF_37'(X2_341, X_342, V_343, X1_345, X4_346, W_347, X3_348, Y_349, Z_350, X5_351, '#skF_21', X6_353), X3_348) | member('#skF_21', '#skF_39'(X2_341, X_342, V_343, X1_345, X4_346, W_347, X3_348, Y_349, Z_350, X5_351, '#skF_21', X6_353), X3_348) | member('#skF_21', '#skF_40'(X2_341, X_342, V_343, X1_345, X4_346, W_347, X3_348, Y_349, Z_350, X5_351, '#skF_21', X6_353), X4_346) | ~behind('#skF_21', X6_353, X6_353) | ~be('#skF_21', X5_351, V_343, X6_353) | ~state('#skF_21', X5_351) | ~wheel('#skF_21', X6_353) | ~group('#skF_21', X4_346) | ~group('#skF_21', X3_348) | ~two('#skF_21', X3_348) | ~in('#skF_21', X2_341, X1_345) | ~down('#skF_21', X2_341, X1_345) | ~barrel('#skF_21', X2_341) | ~present('#skF_21', X2_341) | ~agent('#skF_21', X2_341, Y_349) | ~event('#skF_21', X2_341) | ~lonely('#skF_21', X1_345) | ~street('#skF_21', X1_345) | ~placename('#skF_21', Z_350) | ~hollywood_placename('#skF_21', Z_350) | ~city('#skF_21', X1_345) | ~of('#skF_21', Z_350, X1_345) | ~old('#skF_21', Y_349) | ~dirty('#skF_21', Y_349) | ~white('#skF_21', Y_349) | ~chevy('#skF_21', Y_349) | ~frontseat('#skF_21', X_342) | ~forename('#skF_21', W_347) | ~jules_forename('#skF_21', W_347) | ~man('#skF_21', V_343) | ~of('#skF_21', W_347, V_343) | ~member('#skF_21', '#skF_36'(X2_341, X_342, V_343, X1_345, X4_346, W_347, X3_348, Y_349, Z_350, X5_351, '#skF_21', X6_353), '#skF_29')))).
% 93.00/77.37 tff(c_11248, plain, (![X5_457, X6_460, X2_454, W_458, X1_459, X3_456, Z_461, X4_455, Y_453, V_452]: (member('#skF_21', '#skF_37'(X2_454, '#skF_24', V_452, X1_459, X4_455, W_458, X3_456, Y_453, Z_461, X5_457, '#skF_21', X6_460), X3_456) | member('#skF_21', '#skF_38'(X2_454, '#skF_24', V_452, X1_459, X4_455, W_458, X3_456, Y_453, Z_461, X5_457, '#skF_21', X6_460), X4_455) | member('#skF_21', '#skF_40'(X2_454, '#skF_24', V_452, X1_459, X4_455, W_458, X3_456, Y_453, Z_461, X5_457, '#skF_21', X6_460), X4_455) | ~behind('#skF_21', X6_460, X6_460) | ~be('#skF_21', X5_457, V_452, X6_460) | ~state('#skF_21', X5_457) | ~wheel('#skF_21', X6_460) | ~group('#skF_21', X4_455) | ~group('#skF_21', X3_456) | ~two('#skF_21', X3_456) | ~in('#skF_21', X2_454, X1_459) | ~down('#skF_21', X2_454, X1_459) | ~barrel('#skF_21', X2_454) | ~present('#skF_21', X2_454) | ~agent('#skF_21', X2_454, Y_453) | ~event('#skF_21', X2_454) | ~lonely('#skF_21', X1_459) | ~street('#skF_21', X1_459) | ~placename('#skF_21', Z_461) | ~hollywood_placename('#skF_21', Z_461) | ~city('#skF_21', X1_459) | ~of('#skF_21', Z_461, X1_459) | ~old('#skF_21', Y_453) | ~dirty('#skF_21', Y_453) | ~white('#skF_21', Y_453) | ~chevy('#skF_21', Y_453) | ~forename('#skF_21', W_458) | ~jules_forename('#skF_21', W_458) | ~man('#skF_21', V_452) | ~of('#skF_21', W_458, V_452) | ~member('#skF_21', '#skF_36'(X2_454, '#skF_24', V_452, X1_459, X4_455, W_458, X3_456, Y_453, Z_461, X5_457, '#skF_21', X6_460), '#skF_29')))).
% 93.00/77.38 tff(c_10924, plain, (![X5_365, X_356, X4_360, W_361, X1_359, X2_355, Z_364, X3_362, X6_367, Y_363, V_357]: (~in('#skF_21', '#skF_34'('#skF_36'(X2_355, X_356, V_357, X1_359, X4_360, W_361, X3_362, Y_363, Z_364, X5_365, '#skF_21', X6_367)), X_356) | ~state('#skF_21', '#skF_33'('#skF_36'(X2_355, X_356, V_357, X1_359, X4_360, W_361, X3_362, Y_363, Z_364, X5_365, '#skF_21', X6_367))) | member('#skF_21', '#skF_37'(X2_355, X_356, V_357, X1_359, X4_360, W_361, X3_362, Y_363, Z_364, X5_365, '#skF_21', X6_367), X3_362) | member('#skF_21', '#skF_38'(X2_355, X_356, V_357, X1_359, X4_360, W_361, X3_362, Y_363, Z_364, X5_365, '#skF_21', X6_367), X4_360) | member('#skF_21', '#skF_40'(X2_355, X_356, V_357, X1_359, X4_360, W_361, X3_362, Y_363, Z_364, X5_365, '#skF_21', X6_367), X4_360) | ~behind('#skF_21', X6_367, X6_367) | ~be('#skF_21', X5_365, V_357, X6_367) | ~state('#skF_21', X5_365) | ~wheel('#skF_21', X6_367) | ~group('#skF_21', X4_360) | ~group('#skF_21', X3_362) | ~two('#skF_21', X3_362) | ~in('#skF_21', X2_355, X1_359) | ~down('#skF_21', X2_355, X1_359) | ~barrel('#skF_21', X2_355) | ~present('#skF_21', X2_355) | ~agent('#skF_21', X2_355, Y_363) | ~event('#skF_21', X2_355) | ~lonely('#skF_21', X1_359) | ~street('#skF_21', X1_359) | ~placename('#skF_21', Z_364) | ~hollywood_placename('#skF_21', Z_364) | ~city('#skF_21', X1_359) | ~of('#skF_21', Z_364, X1_359) | ~old('#skF_21', Y_363) | ~dirty('#skF_21', Y_363) | ~white('#skF_21', Y_363) | ~chevy('#skF_21', Y_363) | ~frontseat('#skF_21', X_356) | ~forename('#skF_21', W_361) | ~jules_forename('#skF_21', W_361) | ~man('#skF_21', V_357) | ~of('#skF_21', W_361, V_357) | ~member('#skF_21', '#skF_36'(X2_355, X_356, V_357, X1_359, X4_360, W_361, X3_362, Y_363, Z_364, X5_365, '#skF_21', X6_367), '#skF_29')))).
% 93.00/77.38 tff(c_11181, plain, (![V_243, W_244, U_203, X1_248, X2_249, X_245, Y_246, X4_251, X8_270, X6_253, X5_252, X3_250, Z_247, X9_271]: (~in(U_203, X9_271, X_245) | ~be(U_203, X8_270, '#skF_36'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X9_271) | ~state(U_203, X8_270) | ~young(U_203, '#skF_37'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~fellow(U_203, '#skF_37'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | member(U_203, '#skF_38'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X4_251) | member(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X4_251) | ~behind(U_203, X6_253, X6_253) | ~be(U_203, X5_252, V_243, X6_253) | ~state(U_203, X5_252) | ~wheel(U_203, X6_253) | ~group(U_203, X4_251) | ~group(U_203, X3_250) | ~two(U_203, X3_250) | ~in(U_203, X2_249, X1_248) | ~down(U_203, X2_249, X1_248) | ~barrel(U_203, X2_249) | ~present(U_203, X2_249) | ~agent(U_203, X2_249, Y_246) | ~event(U_203, X2_249) | ~lonely(U_203, X1_248) | ~street(U_203, X1_248) | ~placename(U_203, Z_247) | ~hollywood_placename(U_203, Z_247) | ~city(U_203, X1_248) | ~of(U_203, Z_247, X1_248) | ~old(U_203, Y_246) | ~dirty(U_203, Y_246) | ~white(U_203, Y_246) | ~chevy(U_203, Y_246) | ~frontseat(U_203, X_245) | ~forename(U_203, W_244) | ~jules_forename(U_203, W_244) | ~man(U_203, V_243) | ~of(U_203, W_244, V_243) | ~actual_world(U_203)))).
% 93.00/77.38 tff(c_11173, plain, (![V_243, W_244, U_203, X1_248, X2_249, X_245, Y_246, X4_251, X8_270, X6_253, X5_252, X3_250, Z_247, X9_271]: (~in(U_203, X9_271, X_245) | ~be(U_203, X8_270, '#skF_36'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X9_271) | ~state(U_203, X8_270) | ~young(U_203, '#skF_37'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~fellow(U_203, '#skF_37'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | member(U_203, '#skF_39'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X3_250) | member(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X4_251) | ~behind(U_203, X6_253, X6_253) | ~be(U_203, X5_252, V_243, X6_253) | ~state(U_203, X5_252) | ~wheel(U_203, X6_253) | ~group(U_203, X4_251) | ~group(U_203, X3_250) | ~two(U_203, X3_250) | ~in(U_203, X2_249, X1_248) | ~down(U_203, X2_249, X1_248) | ~barrel(U_203, X2_249) | ~present(U_203, X2_249) | ~agent(U_203, X2_249, Y_246) | ~event(U_203, X2_249) | ~lonely(U_203, X1_248) | ~street(U_203, X1_248) | ~placename(U_203, Z_247) | ~hollywood_placename(U_203, Z_247) | ~city(U_203, X1_248) | ~of(U_203, Z_247, X1_248) | ~old(U_203, Y_246) | ~dirty(U_203, Y_246) | ~white(U_203, Y_246) | ~chevy(U_203, Y_246) | ~frontseat(U_203, X_245) | ~forename(U_203, W_244) | ~jules_forename(U_203, W_244) | ~man(U_203, V_243) | ~of(U_203, W_244, V_243) | ~actual_world(U_203)))).
% 93.00/77.38 tff(c_11055, plain, (![V_393, Z_399, Y_398, X3_397, X_392, X4_395, X1_394, W_396, X5_400, X2_391]: (member('#skF_1', '#skF_36'(X2_391, X_392, V_393, X1_394, X4_395, W_396, X3_397, Y_398, Z_399, X5_400, '#skF_1', '#skF_12'), X3_397) | ~young('#skF_1', '#skF_37'(X2_391, X_392, V_393, X1_394, X4_395, W_396, X3_397, Y_398, Z_399, X5_400, '#skF_1', '#skF_12')) | ~fellow('#skF_1', '#skF_37'(X2_391, X_392, V_393, X1_394, X4_395, W_396, X3_397, Y_398, Z_399, X5_400, '#skF_1', '#skF_12')) | member('#skF_1', '#skF_39'(X2_391, X_392, V_393, X1_394, X4_395, W_396, X3_397, Y_398, Z_399, X5_400, '#skF_1', '#skF_12'), X3_397) | member('#skF_1', '#skF_40'(X2_391, X_392, V_393, X1_394, X4_395, W_396, X3_397, Y_398, Z_399, X5_400, '#skF_1', '#skF_12'), X4_395) | ~be('#skF_1', X5_400, V_393, '#skF_12') | ~state('#skF_1', X5_400) | ~group('#skF_1', X4_395) | ~group('#skF_1', X3_397) | ~two('#skF_1', X3_397) | ~in('#skF_1', X2_391, X1_394) | ~down('#skF_1', X2_391, X1_394) | ~barrel('#skF_1', X2_391) | ~present('#skF_1', X2_391) | ~agent('#skF_1', X2_391, Y_398) | ~event('#skF_1', X2_391) | ~lonely('#skF_1', X1_394) | ~street('#skF_1', X1_394) | ~placename('#skF_1', Z_399) | ~hollywood_placename('#skF_1', Z_399) | ~city('#skF_1', X1_394) | ~of('#skF_1', Z_399, X1_394) | ~old('#skF_1', Y_398) | ~dirty('#skF_1', Y_398) | ~white('#skF_1', Y_398) | ~chevy('#skF_1', Y_398) | ~frontseat('#skF_1', X_392) | ~forename('#skF_1', W_396) | ~jules_forename('#skF_1', W_396) | ~man('#skF_1', V_393) | ~of('#skF_1', W_396, V_393)))).
% 93.00/77.38 tff(c_11049, plain, (![V_243, W_244, U_203, X1_248, X2_249, X_245, Y_246, X4_251, X6_253, X5_252, X3_250, Z_247]: (member(U_203, '#skF_36'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X3_250) | ~young(U_203, '#skF_37'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~fellow(U_203, '#skF_37'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | member(U_203, '#skF_39'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X3_250) | member(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X4_251) | ~behind(U_203, X6_253, X6_253) | ~be(U_203, X5_252, V_243, X6_253) | ~state(U_203, X5_252) | ~wheel(U_203, X6_253) | ~group(U_203, X4_251) | ~group(U_203, X3_250) | ~two(U_203, X3_250) | ~in(U_203, X2_249, X1_248) | ~down(U_203, X2_249, X1_248) | ~barrel(U_203, X2_249) | ~present(U_203, X2_249) | ~agent(U_203, X2_249, Y_246) | ~event(U_203, X2_249) | ~lonely(U_203, X1_248) | ~street(U_203, X1_248) | ~placename(U_203, Z_247) | ~hollywood_placename(U_203, Z_247) | ~city(U_203, X1_248) | ~of(U_203, Z_247, X1_248) | ~old(U_203, Y_246) | ~dirty(U_203, Y_246) | ~white(U_203, Y_246) | ~chevy(U_203, Y_246) | ~frontseat(U_203, X_245) | ~forename(U_203, W_244) | ~jules_forename(U_203, W_244) | ~man(U_203, V_243) | ~of(U_203, W_244, V_243) | ~actual_world(U_203)))).
% 93.00/77.38 tff(c_11047, plain, (![X2_369, X_370, X5_378, X1_372, Y_376, X3_375, V_371, Z_377, W_374, X4_373]: (member('#skF_1', '#skF_36'(X2_369, X_370, V_371, X1_372, X4_373, W_374, X3_375, Y_376, Z_377, X5_378, '#skF_1', '#skF_12'), X3_375) | ~young('#skF_1', '#skF_37'(X2_369, X_370, V_371, X1_372, X4_373, W_374, X3_375, Y_376, Z_377, X5_378, '#skF_1', '#skF_12')) | ~fellow('#skF_1', '#skF_37'(X2_369, X_370, V_371, X1_372, X4_373, W_374, X3_375, Y_376, Z_377, X5_378, '#skF_1', '#skF_12')) | member('#skF_1', '#skF_38'(X2_369, X_370, V_371, X1_372, X4_373, W_374, X3_375, Y_376, Z_377, X5_378, '#skF_1', '#skF_12'), X4_373) | member('#skF_1', '#skF_40'(X2_369, X_370, V_371, X1_372, X4_373, W_374, X3_375, Y_376, Z_377, X5_378, '#skF_1', '#skF_12'), X4_373) | ~be('#skF_1', X5_378, V_371, '#skF_12') | ~state('#skF_1', X5_378) | ~group('#skF_1', X4_373) | ~group('#skF_1', X3_375) | ~two('#skF_1', X3_375) | ~in('#skF_1', X2_369, X1_372) | ~down('#skF_1', X2_369, X1_372) | ~barrel('#skF_1', X2_369) | ~present('#skF_1', X2_369) | ~agent('#skF_1', X2_369, Y_376) | ~event('#skF_1', X2_369) | ~lonely('#skF_1', X1_372) | ~street('#skF_1', X1_372) | ~placename('#skF_1', Z_377) | ~hollywood_placename('#skF_1', Z_377) | ~city('#skF_1', X1_372) | ~of('#skF_1', Z_377, X1_372) | ~old('#skF_1', Y_376) | ~dirty('#skF_1', Y_376) | ~white('#skF_1', Y_376) | ~chevy('#skF_1', Y_376) | ~frontseat('#skF_1', X_370) | ~forename('#skF_1', W_374) | ~jules_forename('#skF_1', W_374) | ~man('#skF_1', V_371) | ~of('#skF_1', W_374, V_371)))).
% 93.00/77.38 tff(c_11041, plain, (![V_243, W_244, U_203, X1_248, X2_249, X_245, Y_246, X4_251, X6_253, X5_252, X3_250, Z_247]: (member(U_203, '#skF_36'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X3_250) | ~young(U_203, '#skF_37'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | ~fellow(U_203, '#skF_37'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253)) | member(U_203, '#skF_38'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X4_251) | member(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X4_251) | ~behind(U_203, X6_253, X6_253) | ~be(U_203, X5_252, V_243, X6_253) | ~state(U_203, X5_252) | ~wheel(U_203, X6_253) | ~group(U_203, X4_251) | ~group(U_203, X3_250) | ~two(U_203, X3_250) | ~in(U_203, X2_249, X1_248) | ~down(U_203, X2_249, X1_248) | ~barrel(U_203, X2_249) | ~present(U_203, X2_249) | ~agent(U_203, X2_249, Y_246) | ~event(U_203, X2_249) | ~lonely(U_203, X1_248) | ~street(U_203, X1_248) | ~placename(U_203, Z_247) | ~hollywood_placename(U_203, Z_247) | ~city(U_203, X1_248) | ~of(U_203, Z_247, X1_248) | ~old(U_203, Y_246) | ~dirty(U_203, Y_246) | ~white(U_203, Y_246) | ~chevy(U_203, Y_246) | ~frontseat(U_203, X_245) | ~forename(U_203, W_244) | ~jules_forename(U_203, W_244) | ~man(U_203, V_243) | ~of(U_203, W_244, V_243) | ~actual_world(U_203)))).
% 93.00/77.38 tff(c_10917, plain, (![V_243, W_244, U_203, X1_248, X2_249, X_245, Y_246, X4_251, X8_270, X6_253, X5_252, X3_250, Z_247, X9_271]: (~in(U_203, X9_271, X_245) | ~be(U_203, X8_270, '#skF_36'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X9_271) | ~state(U_203, X8_270) | member(U_203, '#skF_37'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X3_250) | member(U_203, '#skF_38'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X4_251) | member(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X4_251) | ~behind(U_203, X6_253, X6_253) | ~be(U_203, X5_252, V_243, X6_253) | ~state(U_203, X5_252) | ~wheel(U_203, X6_253) | ~group(U_203, X4_251) | ~group(U_203, X3_250) | ~two(U_203, X3_250) | ~in(U_203, X2_249, X1_248) | ~down(U_203, X2_249, X1_248) | ~barrel(U_203, X2_249) | ~present(U_203, X2_249) | ~agent(U_203, X2_249, Y_246) | ~event(U_203, X2_249) | ~lonely(U_203, X1_248) | ~street(U_203, X1_248) | ~placename(U_203, Z_247) | ~hollywood_placename(U_203, Z_247) | ~city(U_203, X1_248) | ~of(U_203, Z_247, X1_248) | ~old(U_203, Y_246) | ~dirty(U_203, Y_246) | ~white(U_203, Y_246) | ~chevy(U_203, Y_246) | ~frontseat(U_203, X_245) | ~forename(U_203, W_244) | ~jules_forename(U_203, W_244) | ~man(U_203, V_243) | ~of(U_203, W_244, V_243) | ~actual_world(U_203)))).
% 93.00/77.38 tff(c_10909, plain, (![V_243, W_244, U_203, X1_248, X2_249, X_245, Y_246, X4_251, X8_270, X6_253, X5_252, X3_250, Z_247, X9_271]: (~in(U_203, X9_271, X_245) | ~be(U_203, X8_270, '#skF_36'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X9_271) | ~state(U_203, X8_270) | member(U_203, '#skF_37'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X3_250) | member(U_203, '#skF_39'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X3_250) | member(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X4_251) | ~behind(U_203, X6_253, X6_253) | ~be(U_203, X5_252, V_243, X6_253) | ~state(U_203, X5_252) | ~wheel(U_203, X6_253) | ~group(U_203, X4_251) | ~group(U_203, X3_250) | ~two(U_203, X3_250) | ~in(U_203, X2_249, X1_248) | ~down(U_203, X2_249, X1_248) | ~barrel(U_203, X2_249) | ~present(U_203, X2_249) | ~agent(U_203, X2_249, Y_246) | ~event(U_203, X2_249) | ~lonely(U_203, X1_248) | ~street(U_203, X1_248) | ~placename(U_203, Z_247) | ~hollywood_placename(U_203, Z_247) | ~city(U_203, X1_248) | ~of(U_203, Z_247, X1_248) | ~old(U_203, Y_246) | ~dirty(U_203, Y_246) | ~white(U_203, Y_246) | ~chevy(U_203, Y_246) | ~frontseat(U_203, X_245) | ~forename(U_203, W_244) | ~jules_forename(U_203, W_244) | ~man(U_203, V_243) | ~of(U_203, W_244, V_243) | ~actual_world(U_203)))).
% 93.00/77.38 tff(c_10791, plain, (![X4_323, V_321, Z_327, W_324, X5_328, Y_326, X_320, X2_319, X3_325, X1_322]: (member('#skF_1', '#skF_36'(X2_319, X_320, V_321, X1_322, X4_323, W_324, X3_325, Y_326, Z_327, X5_328, '#skF_1', '#skF_12'), X3_325) | member('#skF_1', '#skF_37'(X2_319, X_320, V_321, X1_322, X4_323, W_324, X3_325, Y_326, Z_327, X5_328, '#skF_1', '#skF_12'), X3_325) | member('#skF_1', '#skF_38'(X2_319, X_320, V_321, X1_322, X4_323, W_324, X3_325, Y_326, Z_327, X5_328, '#skF_1', '#skF_12'), X4_323) | member('#skF_1', '#skF_40'(X2_319, X_320, V_321, X1_322, X4_323, W_324, X3_325, Y_326, Z_327, X5_328, '#skF_1', '#skF_12'), X4_323) | ~be('#skF_1', X5_328, V_321, '#skF_12') | ~state('#skF_1', X5_328) | ~group('#skF_1', X4_323) | ~group('#skF_1', X3_325) | ~two('#skF_1', X3_325) | ~in('#skF_1', X2_319, X1_322) | ~down('#skF_1', X2_319, X1_322) | ~barrel('#skF_1', X2_319) | ~present('#skF_1', X2_319) | ~agent('#skF_1', X2_319, Y_326) | ~event('#skF_1', X2_319) | ~lonely('#skF_1', X1_322) | ~street('#skF_1', X1_322) | ~placename('#skF_1', Z_327) | ~hollywood_placename('#skF_1', Z_327) | ~city('#skF_1', X1_322) | ~of('#skF_1', Z_327, X1_322) | ~old('#skF_1', Y_326) | ~dirty('#skF_1', Y_326) | ~white('#skF_1', Y_326) | ~chevy('#skF_1', Y_326) | ~frontseat('#skF_1', X_320) | ~forename('#skF_1', W_324) | ~jules_forename('#skF_1', W_324) | ~man('#skF_1', V_321) | ~of('#skF_1', W_324, V_321)))).
% 93.00/77.38 tff(c_10785, plain, (![V_243, W_244, U_203, X1_248, X2_249, X_245, Y_246, X4_251, X6_253, X5_252, X3_250, Z_247]: (member(U_203, '#skF_36'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X3_250) | member(U_203, '#skF_37'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X3_250) | member(U_203, '#skF_38'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X4_251) | member(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X4_251) | ~behind(U_203, X6_253, X6_253) | ~be(U_203, X5_252, V_243, X6_253) | ~state(U_203, X5_252) | ~wheel(U_203, X6_253) | ~group(U_203, X4_251) | ~group(U_203, X3_250) | ~two(U_203, X3_250) | ~in(U_203, X2_249, X1_248) | ~down(U_203, X2_249, X1_248) | ~barrel(U_203, X2_249) | ~present(U_203, X2_249) | ~agent(U_203, X2_249, Y_246) | ~event(U_203, X2_249) | ~lonely(U_203, X1_248) | ~street(U_203, X1_248) | ~placename(U_203, Z_247) | ~hollywood_placename(U_203, Z_247) | ~city(U_203, X1_248) | ~of(U_203, Z_247, X1_248) | ~old(U_203, Y_246) | ~dirty(U_203, Y_246) | ~white(U_203, Y_246) | ~chevy(U_203, Y_246) | ~frontseat(U_203, X_245) | ~forename(U_203, W_244) | ~jules_forename(U_203, W_244) | ~man(U_203, V_243) | ~of(U_203, W_244, V_243) | ~actual_world(U_203)))).
% 93.00/77.38 tff(c_10783, plain, (![W_302, X2_297, Z_305, X_298, X4_301, Y_304, V_299, X3_303, X5_306, X1_300]: (member('#skF_1', '#skF_36'(X2_297, X_298, V_299, X1_300, X4_301, W_302, X3_303, Y_304, Z_305, X5_306, '#skF_1', '#skF_12'), X3_303) | member('#skF_1', '#skF_37'(X2_297, X_298, V_299, X1_300, X4_301, W_302, X3_303, Y_304, Z_305, X5_306, '#skF_1', '#skF_12'), X3_303) | member('#skF_1', '#skF_39'(X2_297, X_298, V_299, X1_300, X4_301, W_302, X3_303, Y_304, Z_305, X5_306, '#skF_1', '#skF_12'), X3_303) | member('#skF_1', '#skF_40'(X2_297, X_298, V_299, X1_300, X4_301, W_302, X3_303, Y_304, Z_305, X5_306, '#skF_1', '#skF_12'), X4_301) | ~be('#skF_1', X5_306, V_299, '#skF_12') | ~state('#skF_1', X5_306) | ~group('#skF_1', X4_301) | ~group('#skF_1', X3_303) | ~two('#skF_1', X3_303) | ~in('#skF_1', X2_297, X1_300) | ~down('#skF_1', X2_297, X1_300) | ~barrel('#skF_1', X2_297) | ~present('#skF_1', X2_297) | ~agent('#skF_1', X2_297, Y_304) | ~event('#skF_1', X2_297) | ~lonely('#skF_1', X1_300) | ~street('#skF_1', X1_300) | ~placename('#skF_1', Z_305) | ~hollywood_placename('#skF_1', Z_305) | ~city('#skF_1', X1_300) | ~of('#skF_1', Z_305, X1_300) | ~old('#skF_1', Y_304) | ~dirty('#skF_1', Y_304) | ~white('#skF_1', Y_304) | ~chevy('#skF_1', Y_304) | ~frontseat('#skF_1', X_298) | ~forename('#skF_1', W_302) | ~jules_forename('#skF_1', W_302) | ~man('#skF_1', V_299) | ~of('#skF_1', W_302, V_299)))).
% 93.00/77.38 tff(c_10777, plain, (![V_243, W_244, U_203, X1_248, X2_249, X_245, Y_246, X4_251, X6_253, X5_252, X3_250, Z_247]: (member(U_203, '#skF_36'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X3_250) | member(U_203, '#skF_37'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X3_250) | member(U_203, '#skF_39'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X3_250) | member(U_203, '#skF_40'(X2_249, X_245, V_243, X1_248, X4_251, W_244, X3_250, Y_246, Z_247, X5_252, U_203, X6_253), X4_251) | ~behind(U_203, X6_253, X6_253) | ~be(U_203, X5_252, V_243, X6_253) | ~state(U_203, X5_252) | ~wheel(U_203, X6_253) | ~group(U_203, X4_251) | ~group(U_203, X3_250) | ~two(U_203, X3_250) | ~in(U_203, X2_249, X1_248) | ~down(U_203, X2_249, X1_248) | ~barrel(U_203, X2_249) | ~present(U_203, X2_249) | ~agent(U_203, X2_249, Y_246) | ~event(U_203, X2_249) | ~lonely(U_203, X1_248) | ~street(U_203, X1_248) | ~placename(U_203, Z_247) | ~hollywood_placename(U_203, Z_247) | ~city(U_203, X1_248) | ~of(U_203, Z_247, X1_248) | ~old(U_203, Y_246) | ~dirty(U_203, Y_246) | ~white(U_203, Y_246) | ~chevy(U_203, Y_246) | ~frontseat(U_203, X_245) | ~forename(U_203, W_244) | ~jules_forename(U_203, W_244) | ~man(U_203, V_243) | ~of(U_203, W_244, V_243) | ~actual_world(U_203)))).
% 93.00/77.38 tff(c_10659, plain, (![X31_196, X32_200]: (patient('#skF_21', '#skF_35'(X31_196, X32_200), X31_196) | ~member('#skF_21', X32_200, '#skF_29') | ~member('#skF_21', X31_196, '#skF_30')))).
% 93.00/77.38 tff(c_10656, plain, (![X31_196, X32_200]: (agent('#skF_21', '#skF_35'(X31_196, X32_200), X32_200) | ~member('#skF_21', X32_200, '#skF_29') | ~member('#skF_21', X31_196, '#skF_30')))).
% 93.00/77.38 tff(c_10654, plain, (![X31_196, X32_200]: (wear('#skF_21', '#skF_35'(X31_196, X32_200)) | ~member('#skF_21', X32_200, '#skF_29') | ~member('#skF_21', X31_196, '#skF_30')))).
% 93.00/77.38 tff(c_10652, plain, (![X31_196, X32_200]: (nonreflexive('#skF_21', '#skF_35'(X31_196, X32_200)) | ~member('#skF_21', X32_200, '#skF_29') | ~member('#skF_21', X31_196, '#skF_30')))).
% 93.00/77.38 tff(c_10650, plain, (![X31_196, X32_200]: (event('#skF_21', '#skF_35'(X31_196, X32_200)) | ~member('#skF_21', X32_200, '#skF_29') | ~member('#skF_21', X31_196, '#skF_30')))).
% 93.00/77.38 tff(c_10648, plain, (![X31_196, X32_200]: (present('#skF_21', '#skF_35'(X31_196, X32_200)) | ~member('#skF_21', X32_200, '#skF_29') | ~member('#skF_21', X31_196, '#skF_30')))).
% 93.00/77.38 tff(c_10616, plain, (![X27_192]: (be('#skF_21', '#skF_33'(X27_192), X27_192, '#skF_34'(X27_192)) | ~member('#skF_21', X27_192, '#skF_29')))).
% 93.00/77.38 tff(c_10368, plain, (![X27_192]: (in('#skF_21', '#skF_34'(X27_192), '#skF_24') | ~member('#skF_21', X27_192, '#skF_29')))).
% 93.00/77.38 tff(c_10290, plain, (![X27_192]: (state('#skF_21', '#skF_33'(X27_192)) | ~member('#skF_21', X27_192, '#skF_29')))).
% 93.00/77.38 tff(c_10244, plain, (![X34_202]: (cheap('#skF_21', X34_202) | ~member('#skF_21', X34_202, '#skF_30')))).
% 93.00/77.38 tff(c_10241, plain, (![X34_202]: (black('#skF_21', X34_202) | ~member('#skF_21', X34_202, '#skF_30')))).
% 93.00/77.38 tff(c_10236, plain, (![X30_195]: (fellow('#skF_21', X30_195) | ~member('#skF_21', X30_195, '#skF_29')))).
% 93.00/77.38 tff(c_10232, plain, (![X34_202]: (coat('#skF_21', X34_202) | ~member('#skF_21', X34_202, '#skF_30')))).
% 93.00/77.38 tff(c_10228, plain, (![X30_195]: (young('#skF_21', X30_195) | ~member('#skF_21', X30_195, '#skF_29')))).
% 93.00/77.38 tff(c_10149, plain, (be('#skF_1', '#skF_11', '#skF_2', '#skF_12'))).
% 93.00/77.38 tff(c_10067, plain, (of('#skF_1', '#skF_6', '#skF_7'))).
% 93.00/77.38 tff(c_10059, plain, (of('#skF_1', '#skF_3', '#skF_2'))).
% 93.00/77.38 tff(c_10056, plain, (down('#skF_1', '#skF_8', '#skF_7'))).
% 93.00/77.38 tff(c_10053, plain, (in('#skF_1', '#skF_8', '#skF_7'))).
% 93.00/77.38 tff(c_10050, plain, (agent('#skF_1', '#skF_8', '#skF_5'))).
% 93.00/77.38 tff(c_10045, plain, (behind('#skF_1', '#skF_12', '#skF_12'))).
% 93.00/77.38 tff(c_9887, plain, (frontseat('#skF_1', '#skF_4'))).
% 93.00/77.38 tff(c_9886, plain, (dirty('#skF_1', '#skF_5'))).
% 93.00/77.38 tff(c_9881, plain, (jules_forename('#skF_1', '#skF_3'))).
% 93.00/77.38 tff(c_9879, plain, (white('#skF_1', '#skF_5'))).
% 93.00/77.38 tff(c_9876, plain, (man('#skF_1', '#skF_2'))).
% 93.00/77.38 tff(c_9874, plain, (forename('#skF_1', '#skF_3'))).
% 93.00/77.38 tff(c_9872, plain, (hollywood_placename('#skF_1', '#skF_6'))).
% 93.00/77.38 tff(c_9869, plain, (chevy('#skF_1', '#skF_5'))).
% 93.00/77.38 tff(c_9866, plain, (old('#skF_1', '#skF_5'))).
% 93.00/77.38 tff(c_9865, plain, (city('#skF_1', '#skF_7'))).
% 93.00/77.38 tff(c_9861, plain, (placename('#skF_1', '#skF_6'))).
% 93.00/77.38 tff(c_9860, plain, (event('#skF_1', '#skF_8'))).
% 93.00/77.38 tff(c_9857, plain, (street('#skF_1', '#skF_7'))).
% 93.00/77.38 tff(c_9856, plain, (lonely('#skF_1', '#skF_7'))).
% 93.00/77.38 tff(c_9854, plain, (present('#skF_1', '#skF_8'))).
% 93.00/77.38 tff(c_9853, plain, (two('#skF_1', '#skF_9'))).
% 93.00/77.38 tff(c_9852, plain, (barrel('#skF_1', '#skF_8'))).
% 93.00/77.38 tff(c_9846, plain, (group('#skF_1', '#skF_9'))).
% 93.00/77.38 tff(c_9845, plain, (wheel('#skF_1', '#skF_12'))).
% 93.00/77.38 tff(c_9843, plain, (state('#skF_1', '#skF_11'))).
% 93.00/77.38 tff(c_9841, plain, (group('#skF_1', '#skF_10'))).
% 93.00/77.38 tff(c_9807, plain, (actual_world('#skF_1'))).
% 93.00/77.38 tff(c_9626, plain, (be('#skF_21', '#skF_31', '#skF_22', '#skF_32'))).
% 93.00/77.38 tff(c_9274, plain, (agent('#skF_21', '#skF_28', '#skF_25'))).
% 93.00/77.38 tff(c_9225, plain, (behind('#skF_21', '#skF_32', '#skF_24'))).
% 93.00/77.38 tff(c_9212, plain, (in('#skF_21', '#skF_28', '#skF_27'))).
% 93.00/77.38 tff(c_9194, plain, (down('#skF_21', '#skF_28', '#skF_27'))).
% 93.00/77.38 tff(c_9145, plain, (of('#skF_21', '#skF_26', '#skF_27'))).
% 93.00/77.38 tff(c_9118, plain, (of('#skF_21', '#skF_23', '#skF_22'))).
% 93.00/77.38 tff(c_9019, plain, (wheel('#skF_21', '#skF_24'))).
% 93.00/77.38 tff(c_9017, plain, (state('#skF_21', '#skF_31'))).
% 93.00/77.38 tff(c_9013, plain, (old('#skF_21', '#skF_25'))).
% 93.00/77.38 tff(c_9011, plain, (two('#skF_21', '#skF_29'))).
% 93.00/77.38 tff(c_9007, plain, (man('#skF_21', '#skF_22'))).
% 93.00/77.38 tff(c_9005, plain, (present('#skF_21', '#skF_28'))).
% 93.00/77.38 tff(c_9003, plain, (barrel('#skF_21', '#skF_28'))).
% 93.00/77.38 tff(c_9001, plain, (frontseat('#skF_21', '#skF_24'))).
% 93.00/77.38 tff(c_8999, plain, (group('#skF_21', '#skF_30'))).
% 93.00/77.38 tff(c_8997, plain, (jules_forename('#skF_21', '#skF_23'))).
% 93.00/77.38 tff(c_8996, plain, (city('#skF_21', '#skF_27'))).
% 93.00/77.38 tff(c_8994, plain, (dirty('#skF_21', '#skF_25'))).
% 93.00/77.39 tff(c_8993, plain, (placename('#skF_21', '#skF_26'))).
% 93.00/77.39 tff(c_8992, plain, (group('#skF_21', '#skF_29'))).
% 93.00/77.39 tff(c_8991, plain, (hollywood_placename('#skF_21', '#skF_26'))).
% 93.00/77.39 tff(c_8990, plain, (event('#skF_21', '#skF_28'))).
% 93.00/77.39 tff(c_8988, plain, (forename('#skF_21', '#skF_23'))).
% 93.00/77.39 tff(c_8987, plain, (white('#skF_21', '#skF_25'))).
% 93.00/77.39 tff(c_8986, plain, (lonely('#skF_21', '#skF_27'))).
% 93.00/77.39 tff(c_8984, plain, (chevy('#skF_21', '#skF_25'))).
% 93.00/77.39 tff(c_8983, plain, (street('#skF_21', '#skF_27'))).
% 93.00/77.39 tff(c_8979, plain, (actual_world('#skF_21'))).
% 93.00/77.39 % SZS output end Saturation for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 93.00/77.39
%------------------------------------------------------------------------------