%------------------------------------------------------------------------------
% File : Beagle---0.9.52
% Problem : NLP196+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 : n028.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 100.55s 85.01s
% Output : Assurance 0s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.12 % Problem : NLP196+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.12/0.34 % Computer : n028.cluster.edu
% 0.12/0.34 % Model : x86_64 x86_64
% 0.12/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.12/0.34 % Memory : 8042.1875MB
% 0.12/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.12/0.34 % CPULimit : 300
% 0.12/0.34 % WCLimit : 300
% 0.12/0.34 % DateTime : Tue Apr 8 09:12:19 EDT 2025
% 0.12/0.34 % CPUTime :
% 100.55/85.01
% 100.55/85.01 % SZS status CounterSatisfiable for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 100.55/85.01
% 100.55/85.01 % SZS output start Saturation for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 100.55/85.02 %$ 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_33 > #skF_37 > #skF_35 > #skF_11 > #skF_31 > #skF_25 > #skF_7 > #skF_10 > #skF_17 > #skF_34 > #skF_26 > #skF_5 > #skF_6 > #skF_2 > #skF_3 > #skF_1 > #skF_21 > #skF_9 > #skF_38 > #skF_36 > #skF_20 > #skF_32 > #skF_8 > #skF_30 > #skF_13 > #skF_16 > #skF_4 > #skF_22 > #skF_41 > #skF_14 > #skF_29 > #skF_28 > #skF_24 > #skF_27 > #skF_23 > #skF_40 > #skF_19 > #skF_15 > #skF_18 > #skF_12 > #skF_39
% 100.55/85.02
% 100.55/85.02 %Foreground sorts:
% 100.55/85.02
% 100.55/85.02
% 100.55/85.02 %Background operators:
% 100.55/85.02
% 100.55/85.02
% 100.55/85.02 %Foreground operators:
% 100.55/85.02 tff(cheap, type, cheap: ($i * $i) > $o).
% 100.55/85.02 tff(wear, type, wear: ($i * $i) > $o).
% 100.55/85.02 tff(two, type, two: ($i * $i) > $o).
% 100.55/85.02 tff('#skF_33', type, '#skF_33': $i).
% 100.55/85.02 tff(frontseat, type, frontseat: ($i * $i) > $o).
% 100.55/85.02 tff(placename, type, placename: ($i * $i) > $o).
% 100.55/85.02 tff(member, type, member: ($i * $i * $i) > $o).
% 100.55/85.02 tff(forename, type, forename: ($i * $i) > $o).
% 100.55/85.02 tff('#skF_37', type, '#skF_37': ($i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i) > $i).
% 100.55/85.02 tff(be, type, be: ($i * $i * $i * $i) > $o).
% 100.55/85.02 tff(wheel, type, wheel: ($i * $i) > $o).
% 100.55/85.02 tff(black, type, black: ($i * $i) > $o).
% 100.55/85.02 tff(present, type, present: ($i * $i) > $o).
% 100.55/85.02 tff(in, type, in: ($i * $i * $i) > $o).
% 100.55/85.02 tff(old, type, old: ($i * $i) > $o).
% 100.55/85.02 tff(dirty, type, dirty: ($i * $i) > $o).
% 100.55/85.02 tff('#skF_35', type, '#skF_35': $i > $i).
% 100.55/85.02 tff(behind, type, behind: ($i * $i * $i) > $o).
% 100.55/85.02 tff('#skF_11', type, '#skF_11': $i).
% 100.55/85.02 tff('#skF_31', type, '#skF_31': $i).
% 100.55/85.02 tff(city, type, city: ($i * $i) > $o).
% 100.55/85.02 tff('#skF_25', type, '#skF_25': $i).
% 100.55/85.02 tff(young, type, young: ($i * $i) > $o).
% 100.55/85.02 tff(of, type, of: ($i * $i * $i) > $o).
% 100.55/85.02 tff('#skF_7', type, '#skF_7': $i).
% 100.55/85.02 tff(actual_world, type, actual_world: $i > $o).
% 100.55/85.02 tff(agent, type, agent: ($i * $i * $i) > $o).
% 100.55/85.02 tff('#skF_10', type, '#skF_10': $i).
% 100.55/85.02 tff('#skF_17', type, '#skF_17': ($i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i) > $i).
% 100.55/85.02 tff('#skF_34', type, '#skF_34': $i > $i).
% 100.55/85.02 tff('#skF_26', type, '#skF_26': $i).
% 100.55/85.02 tff('#skF_5', type, '#skF_5': $i).
% 100.55/85.02 tff(group, type, group: ($i * $i) > $o).
% 100.55/85.02 tff(lonely, type, lonely: ($i * $i) > $o).
% 100.55/85.02 tff(jules_forename, type, jules_forename: ($i * $i) > $o).
% 100.55/85.02 tff(fellow, type, fellow: ($i * $i) > $o).
% 100.55/85.02 tff('#skF_6', type, '#skF_6': $i).
% 100.55/85.02 tff('#skF_2', type, '#skF_2': $i).
% 100.55/85.02 tff('#skF_3', type, '#skF_3': $i).
% 100.55/85.02 tff(event, type, event: ($i * $i) > $o).
% 100.55/85.02 tff('#skF_1', type, '#skF_1': $i).
% 100.55/85.02 tff(down, type, down: ($i * $i * $i) > $o).
% 100.55/85.02 tff(patient, type, patient: ($i * $i * $i) > $o).
% 100.55/85.02 tff(hollywood_placename, type, hollywood_placename: ($i * $i) > $o).
% 100.55/85.02 tff(white, type, white: ($i * $i) > $o).
% 100.55/85.02 tff('#skF_21', type, '#skF_21': $i).
% 100.55/85.02 tff('#skF_9', type, '#skF_9': $i).
% 100.55/85.02 tff('#skF_38', type, '#skF_38': ($i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i) > $i).
% 100.55/85.02 tff('#skF_36', type, '#skF_36': ($i * $i) > $i).
% 100.55/85.02 tff('#skF_20', type, '#skF_20': ($i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i) > $i).
% 100.55/85.02 tff(barrel, type, barrel: ($i * $i) > $o).
% 100.55/85.02 tff('#skF_32', type, '#skF_32': $i).
% 100.55/85.02 tff(state, type, state: ($i * $i) > $o).
% 100.55/85.02 tff(street, type, street: ($i * $i) > $o).
% 100.55/85.02 tff('#skF_8', type, '#skF_8': $i).
% 100.55/85.02 tff('#skF_30', type, '#skF_30': $i).
% 100.55/85.02 tff('#skF_13', type, '#skF_13': $i > $i).
% 100.55/85.02 tff(man, type, man: ($i * $i) > $o).
% 100.55/85.02 tff('#skF_16', type, '#skF_16': ($i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i) > $i).
% 100.55/85.02 tff('#skF_4', type, '#skF_4': $i).
% 100.55/85.02 tff('#skF_22', type, '#skF_22': $i).
% 100.55/85.02 tff('#skF_41', type, '#skF_41': ($i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i) > $i).
% 100.55/85.02 tff('#skF_14', type, '#skF_14': $i > $i).
% 100.55/85.02 tff('#skF_29', type, '#skF_29': $i).
% 100.55/85.02 tff('#skF_28', type, '#skF_28': $i).
% 100.55/85.02 tff('#skF_24', type, '#skF_24': $i).
% 100.55/85.02 tff('#skF_27', type, '#skF_27': $i).
% 100.55/85.02 tff('#skF_23', type, '#skF_23': $i).
% 100.55/85.02 tff(nonreflexive, type, nonreflexive: ($i * $i) > $o).
% 100.55/85.02 tff(chevy, type, chevy: ($i * $i) > $o).
% 100.55/85.02 tff('#skF_40', type, '#skF_40': ($i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i) > $i).
% 100.55/85.02 tff('#skF_19', type, '#skF_19': ($i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i) > $i).
% 100.55/85.02 tff(coat, type, coat: ($i * $i) > $o).
% 100.55/85.02 tff('#skF_15', type, '#skF_15': ($i * $i) > $i).
% 100.55/85.02 tff('#skF_18', type, '#skF_18': ($i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i) > $i).
% 100.55/85.02 tff('#skF_12', type, '#skF_12': $i).
% 100.55/85.02 tff('#skF_39', type, '#skF_39': ($i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i) > $i).
% 100.55/85.02
% 100.55/85.02 %Saturated clause set:
% 100.55/85.02 tff(c_12632, plain, (![X6_1582, W_1579, X5_1584, X2_1575, X4_1578, Z_1580, X1_1583, Y_1581, X_1576, V_1574, X3_1577]: (member('#skF_21', '#skF_37'(X3_1577, X5_1584, X_1576, '#skF_21', W_1579, X6_1582, X1_1583, Z_1580, Y_1581, V_1574, X2_1575, X4_1578), X3_1577) | ~young('#skF_21', '#skF_38'(X3_1577, X5_1584, X_1576, '#skF_21', W_1579, X6_1582, X1_1583, Z_1580, Y_1581, V_1574, X2_1575, X4_1578)) | ~fellow('#skF_21', '#skF_38'(X3_1577, X5_1584, X_1576, '#skF_21', W_1579, X6_1582, X1_1583, Z_1580, Y_1581, V_1574, X2_1575, X4_1578)) | ~cheap('#skF_21', '#skF_41'(X3_1577, X5_1584, X_1576, '#skF_21', W_1579, X6_1582, X1_1583, Z_1580, Y_1581, V_1574, X2_1575, X4_1578)) | ~black('#skF_21', '#skF_41'(X3_1577, X5_1584, X_1576, '#skF_21', W_1579, X6_1582, X1_1583, Z_1580, Y_1581, V_1574, X2_1575, X4_1578)) | ~coat('#skF_21', '#skF_41'(X3_1577, X5_1584, X_1576, '#skF_21', W_1579, X6_1582, X1_1583, Z_1580, Y_1581, V_1574, X2_1575, X4_1578)) | ~behind('#skF_21', X6_1582, X6_1582) | ~be('#skF_21', X5_1584, V_1574, X6_1582) | ~state('#skF_21', X5_1584) | ~wheel('#skF_21', X6_1582) | ~group('#skF_21', X4_1578) | ~group('#skF_21', X3_1577) | ~two('#skF_21', X3_1577) | ~in('#skF_21', X2_1575, X1_1583) | ~down('#skF_21', X2_1575, X1_1583) | ~barrel('#skF_21', X2_1575) | ~present('#skF_21', X2_1575) | ~agent('#skF_21', X2_1575, Y_1581) | ~event('#skF_21', X2_1575) | ~lonely('#skF_21', X1_1583) | ~street('#skF_21', X1_1583) | ~placename('#skF_21', Z_1580) | ~hollywood_placename('#skF_21', Z_1580) | ~city('#skF_21', X1_1583) | ~of('#skF_21', Z_1580, X1_1583) | ~old('#skF_21', Y_1581) | ~dirty('#skF_21', Y_1581) | ~white('#skF_21', Y_1581) | ~chevy('#skF_21', Y_1581) | ~frontseat('#skF_21', X_1576) | ~forename('#skF_21', W_1579) | ~jules_forename('#skF_21', W_1579) | ~man('#skF_21', V_1574) | ~of('#skF_21', W_1579, V_1574) | ~member('#skF_21', '#skF_40'(X3_1577, X5_1584, X_1576, '#skF_21', W_1579, X6_1582, X1_1583, Z_1580, Y_1581, V_1574, X2_1575, X4_1578), '#skF_30') | ~member('#skF_21', '#skF_39'(X3_1577, X5_1584, X_1576, '#skF_21', W_1579, X6_1582, X1_1583, Z_1580, Y_1581, V_1574, X2_1575, X4_1578), '#skF_31')))).
% 100.55/85.02 tff(c_12611, plain, (![Z_1526, V_1521, Y_1527, X4_1525, X5_1522, X6_1523, X1_1524, X3_1529, X2_1528, W_1530]: (~young('#skF_21', '#skF_38'(X3_1529, X5_1522, '#skF_25', '#skF_21', W_1530, X6_1523, X1_1524, Z_1526, Y_1527, V_1521, X2_1528, X4_1525)) | ~fellow('#skF_21', '#skF_38'(X3_1529, X5_1522, '#skF_25', '#skF_21', W_1530, X6_1523, X1_1524, Z_1526, Y_1527, V_1521, X2_1528, X4_1525)) | ~cheap('#skF_21', '#skF_41'(X3_1529, X5_1522, '#skF_25', '#skF_21', W_1530, X6_1523, X1_1524, Z_1526, Y_1527, V_1521, X2_1528, X4_1525)) | ~black('#skF_21', '#skF_41'(X3_1529, X5_1522, '#skF_25', '#skF_21', W_1530, X6_1523, X1_1524, Z_1526, Y_1527, V_1521, X2_1528, X4_1525)) | ~coat('#skF_21', '#skF_41'(X3_1529, X5_1522, '#skF_25', '#skF_21', W_1530, X6_1523, X1_1524, Z_1526, Y_1527, V_1521, X2_1528, X4_1525)) | ~behind('#skF_21', X6_1523, X6_1523) | ~be('#skF_21', X5_1522, V_1521, X6_1523) | ~state('#skF_21', X5_1522) | ~wheel('#skF_21', X6_1523) | ~group('#skF_21', X4_1525) | ~group('#skF_21', X3_1529) | ~two('#skF_21', X3_1529) | ~in('#skF_21', X2_1528, X1_1524) | ~down('#skF_21', X2_1528, X1_1524) | ~barrel('#skF_21', X2_1528) | ~present('#skF_21', X2_1528) | ~agent('#skF_21', X2_1528, Y_1527) | ~event('#skF_21', X2_1528) | ~lonely('#skF_21', X1_1524) | ~street('#skF_21', X1_1524) | ~placename('#skF_21', Z_1526) | ~hollywood_placename('#skF_21', Z_1526) | ~city('#skF_21', X1_1524) | ~of('#skF_21', Z_1526, X1_1524) | ~old('#skF_21', Y_1527) | ~dirty('#skF_21', Y_1527) | ~white('#skF_21', Y_1527) | ~chevy('#skF_21', Y_1527) | ~forename('#skF_21', W_1530) | ~jules_forename('#skF_21', W_1530) | ~man('#skF_21', V_1521) | ~of('#skF_21', W_1530, V_1521) | ~member('#skF_21', '#skF_37'(X3_1529, X5_1522, '#skF_25', '#skF_21', W_1530, X6_1523, X1_1524, Z_1526, Y_1527, V_1521, X2_1528, X4_1525), '#skF_30') | ~member('#skF_21', '#skF_40'(X3_1529, X5_1522, '#skF_25', '#skF_21', W_1530, X6_1523, X1_1524, Z_1526, Y_1527, V_1521, X2_1528, X4_1525), '#skF_30') | ~member('#skF_21', '#skF_39'(X3_1529, X5_1522, '#skF_25', '#skF_21', W_1530, X6_1523, X1_1524, Z_1526, Y_1527, V_1521, X2_1528, X4_1525), '#skF_31')))).
% 100.55/85.03 tff(c_12590, plain, (![X_1474, W_1475, Y_1473, X2_1476, X1_1478, Z_1470, V_1479, X4_1477, X3_1471, X5_1469, X6_1472]: (member('#skF_21', '#skF_37'(X3_1471, X5_1469, X_1474, '#skF_21', W_1475, X6_1472, X1_1478, Z_1470, Y_1473, V_1479, X2_1476, X4_1477), X3_1471) | member('#skF_21', '#skF_38'(X3_1471, X5_1469, X_1474, '#skF_21', W_1475, X6_1472, X1_1478, Z_1470, Y_1473, V_1479, X2_1476, X4_1477), X3_1471) | ~cheap('#skF_21', '#skF_41'(X3_1471, X5_1469, X_1474, '#skF_21', W_1475, X6_1472, X1_1478, Z_1470, Y_1473, V_1479, X2_1476, X4_1477)) | ~black('#skF_21', '#skF_41'(X3_1471, X5_1469, X_1474, '#skF_21', W_1475, X6_1472, X1_1478, Z_1470, Y_1473, V_1479, X2_1476, X4_1477)) | ~coat('#skF_21', '#skF_41'(X3_1471, X5_1469, X_1474, '#skF_21', W_1475, X6_1472, X1_1478, Z_1470, Y_1473, V_1479, X2_1476, X4_1477)) | ~behind('#skF_21', X6_1472, X6_1472) | ~be('#skF_21', X5_1469, V_1479, X6_1472) | ~state('#skF_21', X5_1469) | ~wheel('#skF_21', X6_1472) | ~group('#skF_21', X4_1477) | ~group('#skF_21', X3_1471) | ~two('#skF_21', X3_1471) | ~in('#skF_21', X2_1476, X1_1478) | ~down('#skF_21', X2_1476, X1_1478) | ~barrel('#skF_21', X2_1476) | ~present('#skF_21', X2_1476) | ~agent('#skF_21', X2_1476, Y_1473) | ~event('#skF_21', X2_1476) | ~lonely('#skF_21', X1_1478) | ~street('#skF_21', X1_1478) | ~placename('#skF_21', Z_1470) | ~hollywood_placename('#skF_21', Z_1470) | ~city('#skF_21', X1_1478) | ~of('#skF_21', Z_1470, X1_1478) | ~old('#skF_21', Y_1473) | ~dirty('#skF_21', Y_1473) | ~white('#skF_21', Y_1473) | ~chevy('#skF_21', Y_1473) | ~frontseat('#skF_21', X_1474) | ~forename('#skF_21', W_1475) | ~jules_forename('#skF_21', W_1475) | ~man('#skF_21', V_1479) | ~of('#skF_21', W_1475, V_1479) | ~member('#skF_21', '#skF_40'(X3_1471, X5_1469, X_1474, '#skF_21', W_1475, X6_1472, X1_1478, Z_1470, Y_1473, V_1479, X2_1476, X4_1477), '#skF_30') | ~member('#skF_21', '#skF_39'(X3_1471, X5_1469, X_1474, '#skF_21', W_1475, X6_1472, X1_1478, Z_1470, Y_1473, V_1479, X2_1476, X4_1477), '#skF_31')))).
% 100.55/85.03 tff(c_12569, plain, (![W_1421, Y_1423, Z_1416, X2_1417, X5_1420, V_1422, X4_1418, X3_1425, X6_1419, X1_1424]: (member('#skF_21', '#skF_38'(X3_1425, X5_1420, '#skF_25', '#skF_21', W_1421, X6_1419, X1_1424, Z_1416, Y_1423, V_1422, X2_1417, X4_1418), X3_1425) | ~cheap('#skF_21', '#skF_41'(X3_1425, X5_1420, '#skF_25', '#skF_21', W_1421, X6_1419, X1_1424, Z_1416, Y_1423, V_1422, X2_1417, X4_1418)) | ~black('#skF_21', '#skF_41'(X3_1425, X5_1420, '#skF_25', '#skF_21', W_1421, X6_1419, X1_1424, Z_1416, Y_1423, V_1422, X2_1417, X4_1418)) | ~coat('#skF_21', '#skF_41'(X3_1425, X5_1420, '#skF_25', '#skF_21', W_1421, X6_1419, X1_1424, Z_1416, Y_1423, V_1422, X2_1417, X4_1418)) | ~behind('#skF_21', X6_1419, X6_1419) | ~be('#skF_21', X5_1420, V_1422, X6_1419) | ~state('#skF_21', X5_1420) | ~wheel('#skF_21', X6_1419) | ~group('#skF_21', X4_1418) | ~group('#skF_21', X3_1425) | ~two('#skF_21', X3_1425) | ~in('#skF_21', X2_1417, X1_1424) | ~down('#skF_21', X2_1417, X1_1424) | ~barrel('#skF_21', X2_1417) | ~present('#skF_21', X2_1417) | ~agent('#skF_21', X2_1417, Y_1423) | ~event('#skF_21', X2_1417) | ~lonely('#skF_21', X1_1424) | ~street('#skF_21', X1_1424) | ~placename('#skF_21', Z_1416) | ~hollywood_placename('#skF_21', Z_1416) | ~city('#skF_21', X1_1424) | ~of('#skF_21', Z_1416, X1_1424) | ~old('#skF_21', Y_1423) | ~dirty('#skF_21', Y_1423) | ~white('#skF_21', Y_1423) | ~chevy('#skF_21', Y_1423) | ~forename('#skF_21', W_1421) | ~jules_forename('#skF_21', W_1421) | ~man('#skF_21', V_1422) | ~of('#skF_21', W_1421, V_1422) | ~member('#skF_21', '#skF_37'(X3_1425, X5_1420, '#skF_25', '#skF_21', W_1421, X6_1419, X1_1424, Z_1416, Y_1423, V_1422, X2_1417, X4_1418), '#skF_30') | ~member('#skF_21', '#skF_40'(X3_1425, X5_1420, '#skF_25', '#skF_21', W_1421, X6_1419, X1_1424, Z_1416, Y_1423, V_1422, X2_1417, X4_1418), '#skF_30') | ~member('#skF_21', '#skF_39'(X3_1425, X5_1420, '#skF_25', '#skF_21', W_1421, X6_1419, X1_1424, Z_1416, Y_1423, V_1422, X2_1417, X4_1418), '#skF_31')))).
% 100.55/85.03 tff(c_12548, plain, (![X6_1367, Y_1370, V_1369, X3_1373, X1_1368, X2_1372, X4_1374, X5_1365, X_1366, W_1364, Z_1371]: (member('#skF_21', '#skF_37'(X3_1373, X5_1365, X_1366, '#skF_21', W_1364, X6_1367, X1_1368, Z_1371, Y_1370, V_1369, X2_1372, X4_1374), X3_1373) | ~young('#skF_21', '#skF_38'(X3_1373, X5_1365, X_1366, '#skF_21', W_1364, X6_1367, X1_1368, Z_1371, Y_1370, V_1369, X2_1372, X4_1374)) | ~fellow('#skF_21', '#skF_38'(X3_1373, X5_1365, X_1366, '#skF_21', W_1364, X6_1367, X1_1368, Z_1371, Y_1370, V_1369, X2_1372, X4_1374)) | member('#skF_21', '#skF_41'(X3_1373, X5_1365, X_1366, '#skF_21', W_1364, X6_1367, X1_1368, Z_1371, Y_1370, V_1369, X2_1372, X4_1374), X4_1374) | ~behind('#skF_21', X6_1367, X6_1367) | ~be('#skF_21', X5_1365, V_1369, X6_1367) | ~state('#skF_21', X5_1365) | ~wheel('#skF_21', X6_1367) | ~group('#skF_21', X4_1374) | ~group('#skF_21', X3_1373) | ~two('#skF_21', X3_1373) | ~in('#skF_21', X2_1372, X1_1368) | ~down('#skF_21', X2_1372, X1_1368) | ~barrel('#skF_21', X2_1372) | ~present('#skF_21', X2_1372) | ~agent('#skF_21', X2_1372, Y_1370) | ~event('#skF_21', X2_1372) | ~lonely('#skF_21', X1_1368) | ~street('#skF_21', X1_1368) | ~placename('#skF_21', Z_1371) | ~hollywood_placename('#skF_21', Z_1371) | ~city('#skF_21', X1_1368) | ~of('#skF_21', Z_1371, X1_1368) | ~old('#skF_21', Y_1370) | ~dirty('#skF_21', Y_1370) | ~white('#skF_21', Y_1370) | ~chevy('#skF_21', Y_1370) | ~frontseat('#skF_21', X_1366) | ~forename('#skF_21', W_1364) | ~jules_forename('#skF_21', W_1364) | ~man('#skF_21', V_1369) | ~of('#skF_21', W_1364, V_1369) | ~member('#skF_21', '#skF_40'(X3_1373, X5_1365, X_1366, '#skF_21', W_1364, X6_1367, X1_1368, Z_1371, Y_1370, V_1369, X2_1372, X4_1374), '#skF_30') | ~member('#skF_21', '#skF_39'(X3_1373, X5_1365, X_1366, '#skF_21', W_1364, X6_1367, X1_1368, Z_1371, Y_1370, V_1369, X2_1372, X4_1374), '#skF_31')))).
% 100.55/85.03 tff(c_12288, plain, (![X5_989, X2_999, W_992, X6_993, X1_994, V_998, Y_997, X4_1000, X_990, Z_996, X3_988, X33_203]: (member('#skF_21', '#skF_37'(X3_988, X5_989, X_990, '#skF_21', W_992, X6_993, X1_994, Z_996, Y_997, V_998, X2_999, X4_1000), X3_988) | ~young('#skF_21', '#skF_38'(X3_988, X5_989, X_990, '#skF_21', W_992, X6_993, X1_994, Z_996, Y_997, V_998, X2_999, X4_1000)) | ~fellow('#skF_21', '#skF_38'(X3_988, X5_989, X_990, '#skF_21', W_992, X6_993, X1_994, Z_996, Y_997, V_998, X2_999, X4_1000)) | ~wear('#skF_21', '#skF_36'('#skF_39'(X3_988, X5_989, X_990, '#skF_21', W_992, X6_993, X1_994, Z_996, Y_997, V_998, X2_999, X4_1000), X33_203)) | ~nonreflexive('#skF_21', '#skF_36'('#skF_39'(X3_988, X5_989, X_990, '#skF_21', W_992, X6_993, X1_994, Z_996, Y_997, V_998, X2_999, X4_1000), X33_203)) | ~present('#skF_21', '#skF_36'('#skF_39'(X3_988, X5_989, X_990, '#skF_21', W_992, X6_993, X1_994, Z_996, Y_997, V_998, X2_999, X4_1000), X33_203)) | ~agent('#skF_21', '#skF_36'('#skF_39'(X3_988, X5_989, X_990, '#skF_21', W_992, X6_993, X1_994, Z_996, Y_997, V_998, X2_999, X4_1000), X33_203), '#skF_40'(X3_988, X5_989, X_990, '#skF_21', W_992, X6_993, X1_994, Z_996, Y_997, V_998, X2_999, X4_1000)) | ~event('#skF_21', '#skF_36'('#skF_39'(X3_988, X5_989, X_990, '#skF_21', W_992, X6_993, X1_994, Z_996, Y_997, V_998, X2_999, X4_1000), X33_203)) | ~cheap('#skF_21', '#skF_41'(X3_988, X5_989, X_990, '#skF_21', W_992, X6_993, X1_994, Z_996, Y_997, V_998, X2_999, X4_1000)) | ~black('#skF_21', '#skF_41'(X3_988, X5_989, X_990, '#skF_21', W_992, X6_993, X1_994, Z_996, Y_997, V_998, X2_999, X4_1000)) | ~coat('#skF_21', '#skF_41'(X3_988, X5_989, X_990, '#skF_21', W_992, X6_993, X1_994, Z_996, Y_997, V_998, X2_999, X4_1000)) | ~behind('#skF_21', X6_993, X6_993) | ~be('#skF_21', X5_989, V_998, X6_993) | ~state('#skF_21', X5_989) | ~wheel('#skF_21', X6_993) | ~group('#skF_21', X4_1000) | ~group('#skF_21', X3_988) | ~two('#skF_21', X3_988) | ~in('#skF_21', X2_999, X1_994) | ~down('#skF_21', X2_999, X1_994) | ~barrel('#skF_21', X2_999) | ~present('#skF_21', X2_999) | ~agent('#skF_21', X2_999, Y_997) | ~event('#skF_21', X2_999) | ~lonely('#skF_21', X1_994) | ~street('#skF_21', X1_994) | ~placename('#skF_21', Z_996) | ~hollywood_placename('#skF_21', Z_996) | ~city('#skF_21', X1_994) | ~of('#skF_21', Z_996, X1_994) | ~old('#skF_21', Y_997) | ~dirty('#skF_21', Y_997) | ~white('#skF_21', Y_997) | ~chevy('#skF_21', Y_997) | ~frontseat('#skF_21', X_990) | ~forename('#skF_21', W_992) | ~jules_forename('#skF_21', W_992) | ~man('#skF_21', V_998) | ~of('#skF_21', W_992, V_998) | ~member('#skF_21', X33_203, '#skF_30') | ~member('#skF_21', '#skF_39'(X3_988, X5_989, X_990, '#skF_21', W_992, X6_993, X1_994, Z_996, Y_997, V_998, X2_999, X4_1000), '#skF_31')))).
% 100.55/85.03 tff(c_12521, plain, (![W_1300, X2_1308, X3_1303, V_1299, X5_1302, X4_1307, Z_1305, X1_1301, X6_1304, Y_1306]: (~young('#skF_21', '#skF_38'(X3_1303, X5_1302, '#skF_25', '#skF_21', W_1300, X6_1304, X1_1301, Z_1305, Y_1306, V_1299, X2_1308, X4_1307)) | ~fellow('#skF_21', '#skF_38'(X3_1303, X5_1302, '#skF_25', '#skF_21', W_1300, X6_1304, X1_1301, Z_1305, Y_1306, V_1299, X2_1308, X4_1307)) | member('#skF_21', '#skF_41'(X3_1303, X5_1302, '#skF_25', '#skF_21', W_1300, X6_1304, X1_1301, Z_1305, Y_1306, V_1299, X2_1308, X4_1307), X4_1307) | ~behind('#skF_21', X6_1304, X6_1304) | ~be('#skF_21', X5_1302, V_1299, X6_1304) | ~state('#skF_21', X5_1302) | ~wheel('#skF_21', X6_1304) | ~group('#skF_21', X4_1307) | ~group('#skF_21', X3_1303) | ~two('#skF_21', X3_1303) | ~in('#skF_21', X2_1308, X1_1301) | ~down('#skF_21', X2_1308, X1_1301) | ~barrel('#skF_21', X2_1308) | ~present('#skF_21', X2_1308) | ~agent('#skF_21', X2_1308, Y_1306) | ~event('#skF_21', X2_1308) | ~lonely('#skF_21', X1_1301) | ~street('#skF_21', X1_1301) | ~placename('#skF_21', Z_1305) | ~hollywood_placename('#skF_21', Z_1305) | ~city('#skF_21', X1_1301) | ~of('#skF_21', Z_1305, X1_1301) | ~old('#skF_21', Y_1306) | ~dirty('#skF_21', Y_1306) | ~white('#skF_21', Y_1306) | ~chevy('#skF_21', Y_1306) | ~forename('#skF_21', W_1300) | ~jules_forename('#skF_21', W_1300) | ~man('#skF_21', V_1299) | ~of('#skF_21', W_1300, V_1299) | ~member('#skF_21', '#skF_37'(X3_1303, X5_1302, '#skF_25', '#skF_21', W_1300, X6_1304, X1_1301, Z_1305, Y_1306, V_1299, X2_1308, X4_1307), '#skF_30') | ~member('#skF_21', '#skF_40'(X3_1303, X5_1302, '#skF_25', '#skF_21', W_1300, X6_1304, X1_1301, Z_1305, Y_1306, V_1299, X2_1308, X4_1307), '#skF_30') | ~member('#skF_21', '#skF_39'(X3_1303, X5_1302, '#skF_25', '#skF_21', W_1300, X6_1304, X1_1301, Z_1305, Y_1306, V_1299, X2_1308, X4_1307), '#skF_31')))).
% 100.55/85.03 tff(c_12429, plain, (![X3_1097, W_1106, X1_1099, V_1100, Z_1098, X5_1096, X2_1102, X4_1105, X6_1101, Y_1104, X33_203]: (~young('#skF_21', '#skF_38'(X3_1097, X5_1096, '#skF_25', '#skF_21', W_1106, X6_1101, X1_1099, Z_1098, Y_1104, V_1100, X2_1102, X4_1105)) | ~fellow('#skF_21', '#skF_38'(X3_1097, X5_1096, '#skF_25', '#skF_21', W_1106, X6_1101, X1_1099, Z_1098, Y_1104, V_1100, X2_1102, X4_1105)) | ~wear('#skF_21', '#skF_36'('#skF_39'(X3_1097, X5_1096, '#skF_25', '#skF_21', W_1106, X6_1101, X1_1099, Z_1098, Y_1104, V_1100, X2_1102, X4_1105), X33_203)) | ~nonreflexive('#skF_21', '#skF_36'('#skF_39'(X3_1097, X5_1096, '#skF_25', '#skF_21', W_1106, X6_1101, X1_1099, Z_1098, Y_1104, V_1100, X2_1102, X4_1105), X33_203)) | ~present('#skF_21', '#skF_36'('#skF_39'(X3_1097, X5_1096, '#skF_25', '#skF_21', W_1106, X6_1101, X1_1099, Z_1098, Y_1104, V_1100, X2_1102, X4_1105), X33_203)) | ~agent('#skF_21', '#skF_36'('#skF_39'(X3_1097, X5_1096, '#skF_25', '#skF_21', W_1106, X6_1101, X1_1099, Z_1098, Y_1104, V_1100, X2_1102, X4_1105), X33_203), '#skF_40'(X3_1097, X5_1096, '#skF_25', '#skF_21', W_1106, X6_1101, X1_1099, Z_1098, Y_1104, V_1100, X2_1102, X4_1105)) | ~event('#skF_21', '#skF_36'('#skF_39'(X3_1097, X5_1096, '#skF_25', '#skF_21', W_1106, X6_1101, X1_1099, Z_1098, Y_1104, V_1100, X2_1102, X4_1105), X33_203)) | ~cheap('#skF_21', '#skF_41'(X3_1097, X5_1096, '#skF_25', '#skF_21', W_1106, X6_1101, X1_1099, Z_1098, Y_1104, V_1100, X2_1102, X4_1105)) | ~black('#skF_21', '#skF_41'(X3_1097, X5_1096, '#skF_25', '#skF_21', W_1106, X6_1101, X1_1099, Z_1098, Y_1104, V_1100, X2_1102, X4_1105)) | ~coat('#skF_21', '#skF_41'(X3_1097, X5_1096, '#skF_25', '#skF_21', W_1106, X6_1101, X1_1099, Z_1098, Y_1104, V_1100, X2_1102, X4_1105)) | ~behind('#skF_21', X6_1101, X6_1101) | ~be('#skF_21', X5_1096, V_1100, X6_1101) | ~state('#skF_21', X5_1096) | ~wheel('#skF_21', X6_1101) | ~group('#skF_21', X4_1105) | ~group('#skF_21', X3_1097) | ~two('#skF_21', X3_1097) | ~in('#skF_21', X2_1102, X1_1099) | ~down('#skF_21', X2_1102, X1_1099) | ~barrel('#skF_21', X2_1102) | ~present('#skF_21', X2_1102) | ~agent('#skF_21', X2_1102, Y_1104) | ~event('#skF_21', X2_1102) | ~lonely('#skF_21', X1_1099) | ~street('#skF_21', X1_1099) | ~placename('#skF_21', Z_1098) | ~hollywood_placename('#skF_21', Z_1098) | ~city('#skF_21', X1_1099) | ~of('#skF_21', Z_1098, X1_1099) | ~old('#skF_21', Y_1104) | ~dirty('#skF_21', Y_1104) | ~white('#skF_21', Y_1104) | ~chevy('#skF_21', Y_1104) | ~forename('#skF_21', W_1106) | ~jules_forename('#skF_21', W_1106) | ~man('#skF_21', V_1100) | ~of('#skF_21', W_1106, V_1100) | ~member('#skF_21', '#skF_37'(X3_1097, X5_1096, '#skF_25', '#skF_21', W_1106, X6_1101, X1_1099, Z_1098, Y_1104, V_1100, X2_1102, X4_1105), '#skF_30') | ~member('#skF_21', X33_203, '#skF_30') | ~member('#skF_21', '#skF_39'(X3_1097, X5_1096, '#skF_25', '#skF_21', W_1106, X6_1101, X1_1099, Z_1098, Y_1104, V_1100, X2_1102, X4_1105), '#skF_31')))).
% 100.55/85.03 tff(c_12494, plain, (![X2_1243, X1_1244, X5_1237, X6_1236, V_1239, X3_1246, X4_1242, X_1240, Z_1245, W_1238, Y_1241]: (member('#skF_21', '#skF_37'(X3_1246, X5_1237, X_1240, '#skF_21', W_1238, X6_1236, X1_1244, Z_1245, Y_1241, V_1239, X2_1243, X4_1242), X3_1246) | member('#skF_21', '#skF_38'(X3_1246, X5_1237, X_1240, '#skF_21', W_1238, X6_1236, X1_1244, Z_1245, Y_1241, V_1239, X2_1243, X4_1242), X3_1246) | member('#skF_21', '#skF_41'(X3_1246, X5_1237, X_1240, '#skF_21', W_1238, X6_1236, X1_1244, Z_1245, Y_1241, V_1239, X2_1243, X4_1242), X4_1242) | ~behind('#skF_21', X6_1236, X6_1236) | ~be('#skF_21', X5_1237, V_1239, X6_1236) | ~state('#skF_21', X5_1237) | ~wheel('#skF_21', X6_1236) | ~group('#skF_21', X4_1242) | ~group('#skF_21', X3_1246) | ~two('#skF_21', X3_1246) | ~in('#skF_21', X2_1243, X1_1244) | ~down('#skF_21', X2_1243, X1_1244) | ~barrel('#skF_21', X2_1243) | ~present('#skF_21', X2_1243) | ~agent('#skF_21', X2_1243, Y_1241) | ~event('#skF_21', X2_1243) | ~lonely('#skF_21', X1_1244) | ~street('#skF_21', X1_1244) | ~placename('#skF_21', Z_1245) | ~hollywood_placename('#skF_21', Z_1245) | ~city('#skF_21', X1_1244) | ~of('#skF_21', Z_1245, X1_1244) | ~old('#skF_21', Y_1241) | ~dirty('#skF_21', Y_1241) | ~white('#skF_21', Y_1241) | ~chevy('#skF_21', Y_1241) | ~frontseat('#skF_21', X_1240) | ~forename('#skF_21', W_1238) | ~jules_forename('#skF_21', W_1238) | ~man('#skF_21', V_1239) | ~of('#skF_21', W_1238, V_1239) | ~member('#skF_21', '#skF_40'(X3_1246, X5_1237, X_1240, '#skF_21', W_1238, X6_1236, X1_1244, Z_1245, Y_1241, V_1239, X2_1243, X4_1242), '#skF_30') | ~member('#skF_21', '#skF_39'(X3_1246, X5_1237, X_1240, '#skF_21', W_1238, X6_1236, X1_1244, Z_1245, Y_1241, V_1239, X2_1243, X4_1242), '#skF_31')))).
% 100.55/85.03 tff(c_12113, plain, (![X_866, X5_865, Y_873, X6_869, X4_876, W_868, Z_872, X1_870, X2_875, X3_864, X33_203, V_874]: (member('#skF_21', '#skF_37'(X3_864, X5_865, X_866, '#skF_21', W_868, X6_869, X1_870, Z_872, Y_873, V_874, X2_875, X4_876), X3_864) | member('#skF_21', '#skF_38'(X3_864, X5_865, X_866, '#skF_21', W_868, X6_869, X1_870, Z_872, Y_873, V_874, X2_875, X4_876), X3_864) | ~wear('#skF_21', '#skF_36'('#skF_39'(X3_864, X5_865, X_866, '#skF_21', W_868, X6_869, X1_870, Z_872, Y_873, V_874, X2_875, X4_876), X33_203)) | ~nonreflexive('#skF_21', '#skF_36'('#skF_39'(X3_864, X5_865, X_866, '#skF_21', W_868, X6_869, X1_870, Z_872, Y_873, V_874, X2_875, X4_876), X33_203)) | ~present('#skF_21', '#skF_36'('#skF_39'(X3_864, X5_865, X_866, '#skF_21', W_868, X6_869, X1_870, Z_872, Y_873, V_874, X2_875, X4_876), X33_203)) | ~agent('#skF_21', '#skF_36'('#skF_39'(X3_864, X5_865, X_866, '#skF_21', W_868, X6_869, X1_870, Z_872, Y_873, V_874, X2_875, X4_876), X33_203), '#skF_40'(X3_864, X5_865, X_866, '#skF_21', W_868, X6_869, X1_870, Z_872, Y_873, V_874, X2_875, X4_876)) | ~event('#skF_21', '#skF_36'('#skF_39'(X3_864, X5_865, X_866, '#skF_21', W_868, X6_869, X1_870, Z_872, Y_873, V_874, X2_875, X4_876), X33_203)) | ~cheap('#skF_21', '#skF_41'(X3_864, X5_865, X_866, '#skF_21', W_868, X6_869, X1_870, Z_872, Y_873, V_874, X2_875, X4_876)) | ~black('#skF_21', '#skF_41'(X3_864, X5_865, X_866, '#skF_21', W_868, X6_869, X1_870, Z_872, Y_873, V_874, X2_875, X4_876)) | ~coat('#skF_21', '#skF_41'(X3_864, X5_865, X_866, '#skF_21', W_868, X6_869, X1_870, Z_872, Y_873, V_874, X2_875, X4_876)) | ~behind('#skF_21', X6_869, X6_869) | ~be('#skF_21', X5_865, V_874, X6_869) | ~state('#skF_21', X5_865) | ~wheel('#skF_21', X6_869) | ~group('#skF_21', X4_876) | ~group('#skF_21', X3_864) | ~two('#skF_21', X3_864) | ~in('#skF_21', X2_875, X1_870) | ~down('#skF_21', X2_875, X1_870) | ~barrel('#skF_21', X2_875) | ~present('#skF_21', X2_875) | ~agent('#skF_21', X2_875, Y_873) | ~event('#skF_21', X2_875) | ~lonely('#skF_21', X1_870) | ~street('#skF_21', X1_870) | ~placename('#skF_21', Z_872) | ~hollywood_placename('#skF_21', Z_872) | ~city('#skF_21', X1_870) | ~of('#skF_21', Z_872, X1_870) | ~old('#skF_21', Y_873) | ~dirty('#skF_21', Y_873) | ~white('#skF_21', Y_873) | ~chevy('#skF_21', Y_873) | ~frontseat('#skF_21', X_866) | ~forename('#skF_21', W_868) | ~jules_forename('#skF_21', W_868) | ~man('#skF_21', V_874) | ~of('#skF_21', W_868, V_874) | ~member('#skF_21', X33_203, '#skF_30') | ~member('#skF_21', '#skF_39'(X3_864, X5_865, X_866, '#skF_21', W_868, X6_869, X1_870, Z_872, Y_873, V_874, X2_875, X4_876), '#skF_31')))).
% 100.55/85.03 tff(c_12467, plain, (![X1_1178, Y_1173, X5_1179, Z_1172, X6_1180, X4_1176, X3_1175, V_1177, X2_1171, W_1174]: (member('#skF_21', '#skF_38'(X3_1175, X5_1179, '#skF_25', '#skF_21', W_1174, X6_1180, X1_1178, Z_1172, Y_1173, V_1177, X2_1171, X4_1176), X3_1175) | member('#skF_21', '#skF_41'(X3_1175, X5_1179, '#skF_25', '#skF_21', W_1174, X6_1180, X1_1178, Z_1172, Y_1173, V_1177, X2_1171, X4_1176), X4_1176) | ~behind('#skF_21', X6_1180, X6_1180) | ~be('#skF_21', X5_1179, V_1177, X6_1180) | ~state('#skF_21', X5_1179) | ~wheel('#skF_21', X6_1180) | ~group('#skF_21', X4_1176) | ~group('#skF_21', X3_1175) | ~two('#skF_21', X3_1175) | ~in('#skF_21', X2_1171, X1_1178) | ~down('#skF_21', X2_1171, X1_1178) | ~barrel('#skF_21', X2_1171) | ~present('#skF_21', X2_1171) | ~agent('#skF_21', X2_1171, Y_1173) | ~event('#skF_21', X2_1171) | ~lonely('#skF_21', X1_1178) | ~street('#skF_21', X1_1178) | ~placename('#skF_21', Z_1172) | ~hollywood_placename('#skF_21', Z_1172) | ~city('#skF_21', X1_1178) | ~of('#skF_21', Z_1172, X1_1178) | ~old('#skF_21', Y_1173) | ~dirty('#skF_21', Y_1173) | ~white('#skF_21', Y_1173) | ~chevy('#skF_21', Y_1173) | ~forename('#skF_21', W_1174) | ~jules_forename('#skF_21', W_1174) | ~man('#skF_21', V_1177) | ~of('#skF_21', W_1174, V_1177) | ~member('#skF_21', '#skF_37'(X3_1175, X5_1179, '#skF_25', '#skF_21', W_1174, X6_1180, X1_1178, Z_1172, Y_1173, V_1177, X2_1171, X4_1176), '#skF_30') | ~member('#skF_21', '#skF_40'(X3_1175, X5_1179, '#skF_25', '#skF_21', W_1174, X6_1180, X1_1178, Z_1172, Y_1173, V_1177, X2_1171, X4_1176), '#skF_30') | ~member('#skF_21', '#skF_39'(X3_1175, X5_1179, '#skF_25', '#skF_21', W_1174, X6_1180, X1_1178, Z_1172, Y_1173, V_1177, X2_1171, X4_1176), '#skF_31')))).
% 100.55/85.03 tff(c_12371, plain, (![X1_1044, X6_1049, W_1043, X5_1048, X3_1046, Z_1039, X4_1041, Y_1040, X2_1045, V_1042, X33_203]: (member('#skF_21', '#skF_38'(X3_1046, X5_1048, '#skF_25', '#skF_21', W_1043, X6_1049, X1_1044, Z_1039, Y_1040, V_1042, X2_1045, X4_1041), X3_1046) | ~wear('#skF_21', '#skF_36'('#skF_39'(X3_1046, X5_1048, '#skF_25', '#skF_21', W_1043, X6_1049, X1_1044, Z_1039, Y_1040, V_1042, X2_1045, X4_1041), X33_203)) | ~nonreflexive('#skF_21', '#skF_36'('#skF_39'(X3_1046, X5_1048, '#skF_25', '#skF_21', W_1043, X6_1049, X1_1044, Z_1039, Y_1040, V_1042, X2_1045, X4_1041), X33_203)) | ~present('#skF_21', '#skF_36'('#skF_39'(X3_1046, X5_1048, '#skF_25', '#skF_21', W_1043, X6_1049, X1_1044, Z_1039, Y_1040, V_1042, X2_1045, X4_1041), X33_203)) | ~agent('#skF_21', '#skF_36'('#skF_39'(X3_1046, X5_1048, '#skF_25', '#skF_21', W_1043, X6_1049, X1_1044, Z_1039, Y_1040, V_1042, X2_1045, X4_1041), X33_203), '#skF_40'(X3_1046, X5_1048, '#skF_25', '#skF_21', W_1043, X6_1049, X1_1044, Z_1039, Y_1040, V_1042, X2_1045, X4_1041)) | ~event('#skF_21', '#skF_36'('#skF_39'(X3_1046, X5_1048, '#skF_25', '#skF_21', W_1043, X6_1049, X1_1044, Z_1039, Y_1040, V_1042, X2_1045, X4_1041), X33_203)) | ~cheap('#skF_21', '#skF_41'(X3_1046, X5_1048, '#skF_25', '#skF_21', W_1043, X6_1049, X1_1044, Z_1039, Y_1040, V_1042, X2_1045, X4_1041)) | ~black('#skF_21', '#skF_41'(X3_1046, X5_1048, '#skF_25', '#skF_21', W_1043, X6_1049, X1_1044, Z_1039, Y_1040, V_1042, X2_1045, X4_1041)) | ~coat('#skF_21', '#skF_41'(X3_1046, X5_1048, '#skF_25', '#skF_21', W_1043, X6_1049, X1_1044, Z_1039, Y_1040, V_1042, X2_1045, X4_1041)) | ~behind('#skF_21', X6_1049, X6_1049) | ~be('#skF_21', X5_1048, V_1042, X6_1049) | ~state('#skF_21', X5_1048) | ~wheel('#skF_21', X6_1049) | ~group('#skF_21', X4_1041) | ~group('#skF_21', X3_1046) | ~two('#skF_21', X3_1046) | ~in('#skF_21', X2_1045, X1_1044) | ~down('#skF_21', X2_1045, X1_1044) | ~barrel('#skF_21', X2_1045) | ~present('#skF_21', X2_1045) | ~agent('#skF_21', X2_1045, Y_1040) | ~event('#skF_21', X2_1045) | ~lonely('#skF_21', X1_1044) | ~street('#skF_21', X1_1044) | ~placename('#skF_21', Z_1039) | ~hollywood_placename('#skF_21', Z_1039) | ~city('#skF_21', X1_1044) | ~of('#skF_21', Z_1039, X1_1044) | ~old('#skF_21', Y_1040) | ~dirty('#skF_21', Y_1040) | ~white('#skF_21', Y_1040) | ~chevy('#skF_21', Y_1040) | ~forename('#skF_21', W_1043) | ~jules_forename('#skF_21', W_1043) | ~man('#skF_21', V_1042) | ~of('#skF_21', W_1043, V_1042) | ~member('#skF_21', '#skF_37'(X3_1046, X5_1048, '#skF_25', '#skF_21', W_1043, X6_1049, X1_1044, Z_1039, Y_1040, V_1042, X2_1045, X4_1041), '#skF_30') | ~member('#skF_21', X33_203, '#skF_30') | ~member('#skF_21', '#skF_39'(X3_1046, X5_1048, '#skF_25', '#skF_21', W_1043, X6_1049, X1_1044, Z_1039, Y_1040, V_1042, X2_1045, X4_1041), '#skF_31')))).
% 100.55/85.04 tff(c_11732, plain, (![Y_677, X1_674, V_678, X_670, Z_676, X6_673, W_672, X3_668, X2_679, X4_680, X5_669, X33_203]: (member('#skF_21', '#skF_37'(X3_668, X5_669, X_670, '#skF_21', W_672, X6_673, X1_674, Z_676, Y_677, V_678, X2_679, X4_680), X3_668) | ~young('#skF_21', '#skF_38'(X3_668, X5_669, X_670, '#skF_21', W_672, X6_673, X1_674, Z_676, Y_677, V_678, X2_679, X4_680)) | ~fellow('#skF_21', '#skF_38'(X3_668, X5_669, X_670, '#skF_21', W_672, X6_673, X1_674, Z_676, Y_677, V_678, X2_679, X4_680)) | ~wear('#skF_21', '#skF_36'('#skF_39'(X3_668, X5_669, X_670, '#skF_21', W_672, X6_673, X1_674, Z_676, Y_677, V_678, X2_679, X4_680), X33_203)) | ~nonreflexive('#skF_21', '#skF_36'('#skF_39'(X3_668, X5_669, X_670, '#skF_21', W_672, X6_673, X1_674, Z_676, Y_677, V_678, X2_679, X4_680), X33_203)) | ~present('#skF_21', '#skF_36'('#skF_39'(X3_668, X5_669, X_670, '#skF_21', W_672, X6_673, X1_674, Z_676, Y_677, V_678, X2_679, X4_680), X33_203)) | ~agent('#skF_21', '#skF_36'('#skF_39'(X3_668, X5_669, X_670, '#skF_21', W_672, X6_673, X1_674, Z_676, Y_677, V_678, X2_679, X4_680), X33_203), '#skF_40'(X3_668, X5_669, X_670, '#skF_21', W_672, X6_673, X1_674, Z_676, Y_677, V_678, X2_679, X4_680)) | ~event('#skF_21', '#skF_36'('#skF_39'(X3_668, X5_669, X_670, '#skF_21', W_672, X6_673, X1_674, Z_676, Y_677, V_678, X2_679, X4_680), X33_203)) | member('#skF_21', '#skF_41'(X3_668, X5_669, X_670, '#skF_21', W_672, X6_673, X1_674, Z_676, Y_677, V_678, X2_679, X4_680), X4_680) | ~behind('#skF_21', X6_673, X6_673) | ~be('#skF_21', X5_669, V_678, X6_673) | ~state('#skF_21', X5_669) | ~wheel('#skF_21', X6_673) | ~group('#skF_21', X4_680) | ~group('#skF_21', X3_668) | ~two('#skF_21', X3_668) | ~in('#skF_21', X2_679, X1_674) | ~down('#skF_21', X2_679, X1_674) | ~barrel('#skF_21', X2_679) | ~present('#skF_21', X2_679) | ~agent('#skF_21', X2_679, Y_677) | ~event('#skF_21', X2_679) | ~lonely('#skF_21', X1_674) | ~street('#skF_21', X1_674) | ~placename('#skF_21', Z_676) | ~hollywood_placename('#skF_21', Z_676) | ~city('#skF_21', X1_674) | ~of('#skF_21', Z_676, X1_674) | ~old('#skF_21', Y_677) | ~dirty('#skF_21', Y_677) | ~white('#skF_21', Y_677) | ~chevy('#skF_21', Y_677) | ~frontseat('#skF_21', X_670) | ~forename('#skF_21', W_672) | ~jules_forename('#skF_21', W_672) | ~man('#skF_21', V_678) | ~of('#skF_21', W_672, V_678) | ~member('#skF_21', X33_203, '#skF_30') | ~member('#skF_21', '#skF_39'(X3_668, X5_669, X_670, '#skF_21', W_672, X6_673, X1_674, Z_676, Y_677, V_678, X2_679, X4_680), '#skF_31')))).
% 100.55/85.04 tff(c_12198, plain, (![X2_922, Y_921, Z_917, X3_916, X4_923, X5_925, X1_920, X6_915, W_919, V_918, X33_203]: (~young('#skF_21', '#skF_38'(X3_916, X5_925, '#skF_25', '#skF_21', W_919, X6_915, X1_920, Z_917, Y_921, V_918, X2_922, X4_923)) | ~fellow('#skF_21', '#skF_38'(X3_916, X5_925, '#skF_25', '#skF_21', W_919, X6_915, X1_920, Z_917, Y_921, V_918, X2_922, X4_923)) | ~wear('#skF_21', '#skF_36'('#skF_39'(X3_916, X5_925, '#skF_25', '#skF_21', W_919, X6_915, X1_920, Z_917, Y_921, V_918, X2_922, X4_923), X33_203)) | ~nonreflexive('#skF_21', '#skF_36'('#skF_39'(X3_916, X5_925, '#skF_25', '#skF_21', W_919, X6_915, X1_920, Z_917, Y_921, V_918, X2_922, X4_923), X33_203)) | ~present('#skF_21', '#skF_36'('#skF_39'(X3_916, X5_925, '#skF_25', '#skF_21', W_919, X6_915, X1_920, Z_917, Y_921, V_918, X2_922, X4_923), X33_203)) | ~agent('#skF_21', '#skF_36'('#skF_39'(X3_916, X5_925, '#skF_25', '#skF_21', W_919, X6_915, X1_920, Z_917, Y_921, V_918, X2_922, X4_923), X33_203), '#skF_40'(X3_916, X5_925, '#skF_25', '#skF_21', W_919, X6_915, X1_920, Z_917, Y_921, V_918, X2_922, X4_923)) | ~event('#skF_21', '#skF_36'('#skF_39'(X3_916, X5_925, '#skF_25', '#skF_21', W_919, X6_915, X1_920, Z_917, Y_921, V_918, X2_922, X4_923), X33_203)) | member('#skF_21', '#skF_41'(X3_916, X5_925, '#skF_25', '#skF_21', W_919, X6_915, X1_920, Z_917, Y_921, V_918, X2_922, X4_923), X4_923) | ~behind('#skF_21', X6_915, X6_915) | ~be('#skF_21', X5_925, V_918, X6_915) | ~state('#skF_21', X5_925) | ~wheel('#skF_21', X6_915) | ~group('#skF_21', X4_923) | ~group('#skF_21', X3_916) | ~two('#skF_21', X3_916) | ~in('#skF_21', X2_922, X1_920) | ~down('#skF_21', X2_922, X1_920) | ~barrel('#skF_21', X2_922) | ~present('#skF_21', X2_922) | ~agent('#skF_21', X2_922, Y_921) | ~event('#skF_21', X2_922) | ~lonely('#skF_21', X1_920) | ~street('#skF_21', X1_920) | ~placename('#skF_21', Z_917) | ~hollywood_placename('#skF_21', Z_917) | ~city('#skF_21', X1_920) | ~of('#skF_21', Z_917, X1_920) | ~old('#skF_21', Y_921) | ~dirty('#skF_21', Y_921) | ~white('#skF_21', Y_921) | ~chevy('#skF_21', Y_921) | ~forename('#skF_21', W_919) | ~jules_forename('#skF_21', W_919) | ~man('#skF_21', V_918) | ~of('#skF_21', W_919, V_918) | ~member('#skF_21', '#skF_37'(X3_916, X5_925, '#skF_25', '#skF_21', W_919, X6_915, X1_920, Z_917, Y_921, V_918, X2_922, X4_923), '#skF_30') | ~member('#skF_21', X33_203, '#skF_30') | ~member('#skF_21', '#skF_39'(X3_916, X5_925, '#skF_25', '#skF_21', W_919, X6_915, X1_920, Z_917, Y_921, V_918, X2_922, X4_923), '#skF_31')))).
% 100.55/85.04 tff(c_12424, plain, (![X1_1089, Y_1086, X2_1094, X6_1088, X4_1092, X5_1085, X3_1091, W_1090, Z_1095, X13_1093, V_1087]: (~young('#skF_21', '#skF_38'(X3_1091, X5_1085, '#skF_25', '#skF_21', W_1090, X6_1088, X1_1089, Z_1095, Y_1086, V_1087, X2_1094, X4_1092)) | ~fellow('#skF_21', '#skF_38'(X3_1091, X5_1085, '#skF_25', '#skF_21', W_1090, X6_1088, X1_1089, Z_1095, Y_1086, V_1087, X2_1094, X4_1092)) | ~wear('#skF_21', X13_1093) | ~nonreflexive('#skF_21', X13_1093) | ~present('#skF_21', X13_1093) | ~patient('#skF_21', X13_1093, '#skF_39'(X3_1091, X5_1085, '#skF_25', '#skF_21', W_1090, X6_1088, X1_1089, Z_1095, Y_1086, V_1087, X2_1094, X4_1092)) | ~agent('#skF_21', X13_1093, '#skF_40'(X3_1091, X5_1085, '#skF_25', '#skF_21', W_1090, X6_1088, X1_1089, Z_1095, Y_1086, V_1087, X2_1094, X4_1092)) | ~event('#skF_21', X13_1093) | ~cheap('#skF_21', '#skF_41'(X3_1091, X5_1085, '#skF_25', '#skF_21', W_1090, X6_1088, X1_1089, Z_1095, Y_1086, V_1087, X2_1094, X4_1092)) | ~black('#skF_21', '#skF_41'(X3_1091, X5_1085, '#skF_25', '#skF_21', W_1090, X6_1088, X1_1089, Z_1095, Y_1086, V_1087, X2_1094, X4_1092)) | ~coat('#skF_21', '#skF_41'(X3_1091, X5_1085, '#skF_25', '#skF_21', W_1090, X6_1088, X1_1089, Z_1095, Y_1086, V_1087, X2_1094, X4_1092)) | ~behind('#skF_21', X6_1088, X6_1088) | ~be('#skF_21', X5_1085, V_1087, X6_1088) | ~state('#skF_21', X5_1085) | ~wheel('#skF_21', X6_1088) | ~group('#skF_21', X4_1092) | ~group('#skF_21', X3_1091) | ~two('#skF_21', X3_1091) | ~in('#skF_21', X2_1094, X1_1089) | ~down('#skF_21', X2_1094, X1_1089) | ~barrel('#skF_21', X2_1094) | ~present('#skF_21', X2_1094) | ~agent('#skF_21', X2_1094, Y_1086) | ~event('#skF_21', X2_1094) | ~lonely('#skF_21', X1_1089) | ~street('#skF_21', X1_1089) | ~placename('#skF_21', Z_1095) | ~hollywood_placename('#skF_21', Z_1095) | ~city('#skF_21', X1_1089) | ~of('#skF_21', Z_1095, X1_1089) | ~old('#skF_21', Y_1086) | ~dirty('#skF_21', Y_1086) | ~white('#skF_21', Y_1086) | ~chevy('#skF_21', Y_1086) | ~forename('#skF_21', W_1090) | ~jules_forename('#skF_21', W_1090) | ~man('#skF_21', V_1087) | ~of('#skF_21', W_1090, V_1087) | ~member('#skF_21', '#skF_37'(X3_1091, X5_1085, '#skF_25', '#skF_21', W_1090, X6_1088, X1_1089, Z_1095, Y_1086, V_1087, X2_1094, X4_1092), '#skF_30')))).
% 100.55/85.04 tff(c_12354, plain, (![X13_1009, X2_1014, W_1005, X6_1007, X5_1002, X_1003, X4_1015, X3_1001, Z_1010, Y_1011, X1_1008, V_1013]: (~in('#skF_21', '#skF_35'('#skF_37'(X3_1001, X5_1002, X_1003, '#skF_21', W_1005, X6_1007, X1_1008, Z_1010, Y_1011, V_1013, X2_1014, X4_1015)), X_1003) | ~state('#skF_21', '#skF_34'('#skF_37'(X3_1001, X5_1002, X_1003, '#skF_21', W_1005, X6_1007, X1_1008, Z_1010, Y_1011, V_1013, X2_1014, X4_1015))) | ~young('#skF_21', '#skF_38'(X3_1001, X5_1002, X_1003, '#skF_21', W_1005, X6_1007, X1_1008, Z_1010, Y_1011, V_1013, X2_1014, X4_1015)) | ~fellow('#skF_21', '#skF_38'(X3_1001, X5_1002, X_1003, '#skF_21', W_1005, X6_1007, X1_1008, Z_1010, Y_1011, V_1013, X2_1014, X4_1015)) | ~wear('#skF_21', X13_1009) | ~nonreflexive('#skF_21', X13_1009) | ~present('#skF_21', X13_1009) | ~patient('#skF_21', X13_1009, '#skF_39'(X3_1001, X5_1002, X_1003, '#skF_21', W_1005, X6_1007, X1_1008, Z_1010, Y_1011, V_1013, X2_1014, X4_1015)) | ~agent('#skF_21', X13_1009, '#skF_40'(X3_1001, X5_1002, X_1003, '#skF_21', W_1005, X6_1007, X1_1008, Z_1010, Y_1011, V_1013, X2_1014, X4_1015)) | ~event('#skF_21', X13_1009) | ~cheap('#skF_21', '#skF_41'(X3_1001, X5_1002, X_1003, '#skF_21', W_1005, X6_1007, X1_1008, Z_1010, Y_1011, V_1013, X2_1014, X4_1015)) | ~black('#skF_21', '#skF_41'(X3_1001, X5_1002, X_1003, '#skF_21', W_1005, X6_1007, X1_1008, Z_1010, Y_1011, V_1013, X2_1014, X4_1015)) | ~coat('#skF_21', '#skF_41'(X3_1001, X5_1002, X_1003, '#skF_21', W_1005, X6_1007, X1_1008, Z_1010, Y_1011, V_1013, X2_1014, X4_1015)) | ~behind('#skF_21', X6_1007, X6_1007) | ~be('#skF_21', X5_1002, V_1013, X6_1007) | ~state('#skF_21', X5_1002) | ~wheel('#skF_21', X6_1007) | ~group('#skF_21', X4_1015) | ~group('#skF_21', X3_1001) | ~two('#skF_21', X3_1001) | ~in('#skF_21', X2_1014, X1_1008) | ~down('#skF_21', X2_1014, X1_1008) | ~barrel('#skF_21', X2_1014) | ~present('#skF_21', X2_1014) | ~agent('#skF_21', X2_1014, Y_1011) | ~event('#skF_21', X2_1014) | ~lonely('#skF_21', X1_1008) | ~street('#skF_21', X1_1008) | ~placename('#skF_21', Z_1010) | ~hollywood_placename('#skF_21', Z_1010) | ~city('#skF_21', X1_1008) | ~of('#skF_21', Z_1010, X1_1008) | ~old('#skF_21', Y_1011) | ~dirty('#skF_21', Y_1011) | ~white('#skF_21', Y_1011) | ~chevy('#skF_21', Y_1011) | ~frontseat('#skF_21', X_1003) | ~forename('#skF_21', W_1005) | ~jules_forename('#skF_21', W_1005) | ~man('#skF_21', V_1013) | ~of('#skF_21', W_1005, V_1013) | ~member('#skF_21', '#skF_37'(X3_1001, X5_1002, X_1003, '#skF_21', W_1005, X6_1007, X1_1008, Z_1010, Y_1011, V_1013, X2_1014, X4_1015), '#skF_30')))).
% 100.55/85.04 tff(c_11309, plain, (![X5_507, V_516, X1_512, Y_515, W_510, X3_506, X4_518, X2_517, X_508, X6_511, Z_514, X33_203]: (member('#skF_21', '#skF_37'(X3_506, X5_507, X_508, '#skF_21', W_510, X6_511, X1_512, Z_514, Y_515, V_516, X2_517, X4_518), X3_506) | member('#skF_21', '#skF_38'(X3_506, X5_507, X_508, '#skF_21', W_510, X6_511, X1_512, Z_514, Y_515, V_516, X2_517, X4_518), X3_506) | ~wear('#skF_21', '#skF_36'('#skF_39'(X3_506, X5_507, X_508, '#skF_21', W_510, X6_511, X1_512, Z_514, Y_515, V_516, X2_517, X4_518), X33_203)) | ~nonreflexive('#skF_21', '#skF_36'('#skF_39'(X3_506, X5_507, X_508, '#skF_21', W_510, X6_511, X1_512, Z_514, Y_515, V_516, X2_517, X4_518), X33_203)) | ~present('#skF_21', '#skF_36'('#skF_39'(X3_506, X5_507, X_508, '#skF_21', W_510, X6_511, X1_512, Z_514, Y_515, V_516, X2_517, X4_518), X33_203)) | ~agent('#skF_21', '#skF_36'('#skF_39'(X3_506, X5_507, X_508, '#skF_21', W_510, X6_511, X1_512, Z_514, Y_515, V_516, X2_517, X4_518), X33_203), '#skF_40'(X3_506, X5_507, X_508, '#skF_21', W_510, X6_511, X1_512, Z_514, Y_515, V_516, X2_517, X4_518)) | ~event('#skF_21', '#skF_36'('#skF_39'(X3_506, X5_507, X_508, '#skF_21', W_510, X6_511, X1_512, Z_514, Y_515, V_516, X2_517, X4_518), X33_203)) | member('#skF_21', '#skF_41'(X3_506, X5_507, X_508, '#skF_21', W_510, X6_511, X1_512, Z_514, Y_515, V_516, X2_517, X4_518), X4_518) | ~behind('#skF_21', X6_511, X6_511) | ~be('#skF_21', X5_507, V_516, X6_511) | ~state('#skF_21', X5_507) | ~wheel('#skF_21', X6_511) | ~group('#skF_21', X4_518) | ~group('#skF_21', X3_506) | ~two('#skF_21', X3_506) | ~in('#skF_21', X2_517, X1_512) | ~down('#skF_21', X2_517, X1_512) | ~barrel('#skF_21', X2_517) | ~present('#skF_21', X2_517) | ~agent('#skF_21', X2_517, Y_515) | ~event('#skF_21', X2_517) | ~lonely('#skF_21', X1_512) | ~street('#skF_21', X1_512) | ~placename('#skF_21', Z_514) | ~hollywood_placename('#skF_21', Z_514) | ~city('#skF_21', X1_512) | ~of('#skF_21', Z_514, X1_512) | ~old('#skF_21', Y_515) | ~dirty('#skF_21', Y_515) | ~white('#skF_21', Y_515) | ~chevy('#skF_21', Y_515) | ~frontseat('#skF_21', X_508) | ~forename('#skF_21', W_510) | ~jules_forename('#skF_21', W_510) | ~man('#skF_21', V_516) | ~of('#skF_21', W_510, V_516) | ~member('#skF_21', X33_203, '#skF_30') | ~member('#skF_21', '#skF_39'(X3_506, X5_507, X_508, '#skF_21', W_510, X6_511, X1_512, Z_514, Y_515, V_516, X2_517, X4_518), '#skF_31')))).
% 100.55/85.04 tff(c_11987, plain, (![X6_801, X3_795, X2_797, X1_793, V_800, X4_798, W_791, Y_792, X5_799, X33_203, Z_796]: (member('#skF_21', '#skF_38'(X3_795, X5_799, '#skF_25', '#skF_21', W_791, X6_801, X1_793, Z_796, Y_792, V_800, X2_797, X4_798), X3_795) | ~wear('#skF_21', '#skF_36'('#skF_39'(X3_795, X5_799, '#skF_25', '#skF_21', W_791, X6_801, X1_793, Z_796, Y_792, V_800, X2_797, X4_798), X33_203)) | ~nonreflexive('#skF_21', '#skF_36'('#skF_39'(X3_795, X5_799, '#skF_25', '#skF_21', W_791, X6_801, X1_793, Z_796, Y_792, V_800, X2_797, X4_798), X33_203)) | ~present('#skF_21', '#skF_36'('#skF_39'(X3_795, X5_799, '#skF_25', '#skF_21', W_791, X6_801, X1_793, Z_796, Y_792, V_800, X2_797, X4_798), X33_203)) | ~agent('#skF_21', '#skF_36'('#skF_39'(X3_795, X5_799, '#skF_25', '#skF_21', W_791, X6_801, X1_793, Z_796, Y_792, V_800, X2_797, X4_798), X33_203), '#skF_40'(X3_795, X5_799, '#skF_25', '#skF_21', W_791, X6_801, X1_793, Z_796, Y_792, V_800, X2_797, X4_798)) | ~event('#skF_21', '#skF_36'('#skF_39'(X3_795, X5_799, '#skF_25', '#skF_21', W_791, X6_801, X1_793, Z_796, Y_792, V_800, X2_797, X4_798), X33_203)) | member('#skF_21', '#skF_41'(X3_795, X5_799, '#skF_25', '#skF_21', W_791, X6_801, X1_793, Z_796, Y_792, V_800, X2_797, X4_798), X4_798) | ~behind('#skF_21', X6_801, X6_801) | ~be('#skF_21', X5_799, V_800, X6_801) | ~state('#skF_21', X5_799) | ~wheel('#skF_21', X6_801) | ~group('#skF_21', X4_798) | ~group('#skF_21', X3_795) | ~two('#skF_21', X3_795) | ~in('#skF_21', X2_797, X1_793) | ~down('#skF_21', X2_797, X1_793) | ~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_793) | ~street('#skF_21', X1_793) | ~placename('#skF_21', Z_796) | ~hollywood_placename('#skF_21', Z_796) | ~city('#skF_21', X1_793) | ~of('#skF_21', Z_796, X1_793) | ~old('#skF_21', Y_792) | ~dirty('#skF_21', Y_792) | ~white('#skF_21', Y_792) | ~chevy('#skF_21', Y_792) | ~forename('#skF_21', W_791) | ~jules_forename('#skF_21', W_791) | ~man('#skF_21', V_800) | ~of('#skF_21', W_791, V_800) | ~member('#skF_21', '#skF_37'(X3_795, X5_799, '#skF_25', '#skF_21', W_791, X6_801, X1_793, Z_796, Y_792, V_800, X2_797, X4_798), '#skF_30') | ~member('#skF_21', X33_203, '#skF_30') | ~member('#skF_21', '#skF_39'(X3_795, X5_799, '#skF_25', '#skF_21', W_791, X6_801, X1_793, Z_796, Y_792, V_800, X2_797, X4_798), '#skF_31')))).
% 100.55/85.04 tff(c_12366, plain, (![V_1037, X13_1038, W_1033, X2_1029, X3_1034, Y_1036, X4_1030, X6_1031, X1_1035, X5_1028, Z_1032]: (member('#skF_21', '#skF_38'(X3_1034, X5_1028, '#skF_25', '#skF_21', W_1033, X6_1031, X1_1035, Z_1032, Y_1036, V_1037, X2_1029, X4_1030), X3_1034) | ~wear('#skF_21', X13_1038) | ~nonreflexive('#skF_21', X13_1038) | ~present('#skF_21', X13_1038) | ~patient('#skF_21', X13_1038, '#skF_39'(X3_1034, X5_1028, '#skF_25', '#skF_21', W_1033, X6_1031, X1_1035, Z_1032, Y_1036, V_1037, X2_1029, X4_1030)) | ~agent('#skF_21', X13_1038, '#skF_40'(X3_1034, X5_1028, '#skF_25', '#skF_21', W_1033, X6_1031, X1_1035, Z_1032, Y_1036, V_1037, X2_1029, X4_1030)) | ~event('#skF_21', X13_1038) | ~cheap('#skF_21', '#skF_41'(X3_1034, X5_1028, '#skF_25', '#skF_21', W_1033, X6_1031, X1_1035, Z_1032, Y_1036, V_1037, X2_1029, X4_1030)) | ~black('#skF_21', '#skF_41'(X3_1034, X5_1028, '#skF_25', '#skF_21', W_1033, X6_1031, X1_1035, Z_1032, Y_1036, V_1037, X2_1029, X4_1030)) | ~coat('#skF_21', '#skF_41'(X3_1034, X5_1028, '#skF_25', '#skF_21', W_1033, X6_1031, X1_1035, Z_1032, Y_1036, V_1037, X2_1029, X4_1030)) | ~behind('#skF_21', X6_1031, X6_1031) | ~be('#skF_21', X5_1028, V_1037, X6_1031) | ~state('#skF_21', X5_1028) | ~wheel('#skF_21', X6_1031) | ~group('#skF_21', X4_1030) | ~group('#skF_21', X3_1034) | ~two('#skF_21', X3_1034) | ~in('#skF_21', X2_1029, X1_1035) | ~down('#skF_21', X2_1029, X1_1035) | ~barrel('#skF_21', X2_1029) | ~present('#skF_21', X2_1029) | ~agent('#skF_21', X2_1029, Y_1036) | ~event('#skF_21', X2_1029) | ~lonely('#skF_21', X1_1035) | ~street('#skF_21', X1_1035) | ~placename('#skF_21', Z_1032) | ~hollywood_placename('#skF_21', Z_1032) | ~city('#skF_21', X1_1035) | ~of('#skF_21', Z_1032, X1_1035) | ~old('#skF_21', Y_1036) | ~dirty('#skF_21', Y_1036) | ~white('#skF_21', Y_1036) | ~chevy('#skF_21', Y_1036) | ~forename('#skF_21', W_1033) | ~jules_forename('#skF_21', W_1033) | ~man('#skF_21', V_1037) | ~of('#skF_21', W_1033, V_1037) | ~member('#skF_21', '#skF_37'(X3_1034, X5_1028, '#skF_25', '#skF_21', W_1033, X6_1031, X1_1035, Z_1032, Y_1036, V_1037, X2_1029, X4_1030), '#skF_30')))).
% 100.55/85.04 tff(c_12179, plain, (![X13_885, X2_890, X5_878, Z_886, X3_877, V_889, W_881, X4_891, X1_884, Y_887, X6_883, X_879]: (~in('#skF_21', '#skF_35'('#skF_37'(X3_877, X5_878, X_879, '#skF_21', W_881, X6_883, X1_884, Z_886, Y_887, V_889, X2_890, X4_891)), X_879) | ~state('#skF_21', '#skF_34'('#skF_37'(X3_877, X5_878, X_879, '#skF_21', W_881, X6_883, X1_884, Z_886, Y_887, V_889, X2_890, X4_891))) | member('#skF_21', '#skF_38'(X3_877, X5_878, X_879, '#skF_21', W_881, X6_883, X1_884, Z_886, Y_887, V_889, X2_890, X4_891), X3_877) | ~wear('#skF_21', X13_885) | ~nonreflexive('#skF_21', X13_885) | ~present('#skF_21', X13_885) | ~patient('#skF_21', X13_885, '#skF_39'(X3_877, X5_878, X_879, '#skF_21', W_881, X6_883, X1_884, Z_886, Y_887, V_889, X2_890, X4_891)) | ~agent('#skF_21', X13_885, '#skF_40'(X3_877, X5_878, X_879, '#skF_21', W_881, X6_883, X1_884, Z_886, Y_887, V_889, X2_890, X4_891)) | ~event('#skF_21', X13_885) | ~cheap('#skF_21', '#skF_41'(X3_877, X5_878, X_879, '#skF_21', W_881, X6_883, X1_884, Z_886, Y_887, V_889, X2_890, X4_891)) | ~black('#skF_21', '#skF_41'(X3_877, X5_878, X_879, '#skF_21', W_881, X6_883, X1_884, Z_886, Y_887, V_889, X2_890, X4_891)) | ~coat('#skF_21', '#skF_41'(X3_877, X5_878, X_879, '#skF_21', W_881, X6_883, X1_884, Z_886, Y_887, V_889, X2_890, X4_891)) | ~behind('#skF_21', X6_883, X6_883) | ~be('#skF_21', X5_878, V_889, X6_883) | ~state('#skF_21', X5_878) | ~wheel('#skF_21', X6_883) | ~group('#skF_21', X4_891) | ~group('#skF_21', X3_877) | ~two('#skF_21', X3_877) | ~in('#skF_21', X2_890, X1_884) | ~down('#skF_21', X2_890, X1_884) | ~barrel('#skF_21', X2_890) | ~present('#skF_21', X2_890) | ~agent('#skF_21', X2_890, Y_887) | ~event('#skF_21', X2_890) | ~lonely('#skF_21', X1_884) | ~street('#skF_21', X1_884) | ~placename('#skF_21', Z_886) | ~hollywood_placename('#skF_21', Z_886) | ~city('#skF_21', X1_884) | ~of('#skF_21', Z_886, X1_884) | ~old('#skF_21', Y_887) | ~dirty('#skF_21', Y_887) | ~white('#skF_21', Y_887) | ~chevy('#skF_21', Y_887) | ~frontseat('#skF_21', X_879) | ~forename('#skF_21', W_881) | ~jules_forename('#skF_21', W_881) | ~man('#skF_21', V_889) | ~of('#skF_21', W_881, V_889) | ~member('#skF_21', '#skF_37'(X3_877, X5_878, X_879, '#skF_21', W_881, X6_883, X1_884, Z_886, Y_887, V_889, X2_890, X4_891), '#skF_30')))).
% 100.55/85.04 tff(c_12347, plain, (![Y_249, X2_252, V_246, X9_274, Z_250, X_248, X8_273, X13_279, X6_256, X3_253, W_247, U_206, X5_255, X1_251, X4_254]: (~in(U_206, X9_274, X_248) | ~be(U_206, X8_273, '#skF_37'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X9_274) | ~state(U_206, X8_273) | ~young(U_206, '#skF_38'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~fellow(U_206, '#skF_38'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~wear(U_206, X13_279) | ~nonreflexive(U_206, X13_279) | ~present(U_206, X13_279) | ~patient(U_206, X13_279, '#skF_39'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~agent(U_206, X13_279, '#skF_40'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~event(U_206, X13_279) | ~cheap(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~black(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~coat(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~behind(U_206, X6_256, X6_256) | ~be(U_206, X5_255, V_246, X6_256) | ~state(U_206, X5_255) | ~wheel(U_206, X6_256) | ~group(U_206, X4_254) | ~group(U_206, X3_253) | ~two(U_206, X3_253) | ~in(U_206, X2_252, X1_251) | ~down(U_206, X2_252, X1_251) | ~barrel(U_206, X2_252) | ~present(U_206, X2_252) | ~agent(U_206, X2_252, Y_249) | ~event(U_206, X2_252) | ~lonely(U_206, X1_251) | ~street(U_206, X1_251) | ~placename(U_206, Z_250) | ~hollywood_placename(U_206, Z_250) | ~city(U_206, X1_251) | ~of(U_206, Z_250, X1_251) | ~old(U_206, Y_249) | ~dirty(U_206, Y_249) | ~white(U_206, Y_249) | ~chevy(U_206, Y_249) | ~frontseat(U_206, X_248) | ~forename(U_206, W_247) | ~jules_forename(U_206, W_247) | ~man(U_206, V_246) | ~of(U_206, W_247, V_246) | ~actual_world(U_206)))).
% 100.55/85.04 tff(c_12281, plain, (![Y_249, X2_252, V_246, Z_250, X_248, X13_279, X6_256, X3_253, W_247, U_206, X5_255, X1_251, X4_254]: (member(U_206, '#skF_37'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X3_253) | ~young(U_206, '#skF_38'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~fellow(U_206, '#skF_38'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~wear(U_206, X13_279) | ~nonreflexive(U_206, X13_279) | ~present(U_206, X13_279) | ~patient(U_206, X13_279, '#skF_39'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~agent(U_206, X13_279, '#skF_40'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~event(U_206, X13_279) | ~cheap(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~black(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~coat(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~behind(U_206, X6_256, X6_256) | ~be(U_206, X5_255, V_246, X6_256) | ~state(U_206, X5_255) | ~wheel(U_206, X6_256) | ~group(U_206, X4_254) | ~group(U_206, X3_253) | ~two(U_206, X3_253) | ~in(U_206, X2_252, X1_251) | ~down(U_206, X2_252, X1_251) | ~barrel(U_206, X2_252) | ~present(U_206, X2_252) | ~agent(U_206, X2_252, Y_249) | ~event(U_206, X2_252) | ~lonely(U_206, X1_251) | ~street(U_206, X1_251) | ~placename(U_206, Z_250) | ~hollywood_placename(U_206, Z_250) | ~city(U_206, X1_251) | ~of(U_206, Z_250, X1_251) | ~old(U_206, Y_249) | ~dirty(U_206, Y_249) | ~white(U_206, Y_249) | ~chevy(U_206, Y_249) | ~frontseat(U_206, X_248) | ~forename(U_206, W_247) | ~jules_forename(U_206, W_247) | ~man(U_206, V_246) | ~of(U_206, W_247, V_246) | ~actual_world(U_206)))).
% 100.55/85.04 tff(c_12246, plain, (![X6_972, V_977, X2_971, Z_975, Y_973, X3_976, W_974, X4_968, X5_970, X1_969]: (~young('#skF_21', '#skF_38'(X3_976, X5_970, '#skF_25', '#skF_21', W_974, X6_972, X1_969, Z_975, Y_973, V_977, X2_971, X4_968)) | ~fellow('#skF_21', '#skF_38'(X3_976, X5_970, '#skF_25', '#skF_21', W_974, X6_972, X1_969, Z_975, Y_973, V_977, X2_971, X4_968)) | member('#skF_21', '#skF_39'(X3_976, X5_970, '#skF_25', '#skF_21', W_974, X6_972, X1_969, Z_975, Y_973, V_977, X2_971, X4_968), X4_968) | ~cheap('#skF_21', '#skF_41'(X3_976, X5_970, '#skF_25', '#skF_21', W_974, X6_972, X1_969, Z_975, Y_973, V_977, X2_971, X4_968)) | ~black('#skF_21', '#skF_41'(X3_976, X5_970, '#skF_25', '#skF_21', W_974, X6_972, X1_969, Z_975, Y_973, V_977, X2_971, X4_968)) | ~coat('#skF_21', '#skF_41'(X3_976, X5_970, '#skF_25', '#skF_21', W_974, X6_972, X1_969, Z_975, Y_973, V_977, X2_971, X4_968)) | ~behind('#skF_21', X6_972, X6_972) | ~be('#skF_21', X5_970, V_977, X6_972) | ~state('#skF_21', X5_970) | ~wheel('#skF_21', X6_972) | ~group('#skF_21', X4_968) | ~group('#skF_21', X3_976) | ~two('#skF_21', X3_976) | ~in('#skF_21', X2_971, X1_969) | ~down('#skF_21', X2_971, X1_969) | ~barrel('#skF_21', X2_971) | ~present('#skF_21', X2_971) | ~agent('#skF_21', X2_971, Y_973) | ~event('#skF_21', X2_971) | ~lonely('#skF_21', X1_969) | ~street('#skF_21', X1_969) | ~placename('#skF_21', Z_975) | ~hollywood_placename('#skF_21', Z_975) | ~city('#skF_21', X1_969) | ~of('#skF_21', Z_975, X1_969) | ~old('#skF_21', Y_973) | ~dirty('#skF_21', Y_973) | ~white('#skF_21', Y_973) | ~chevy('#skF_21', Y_973) | ~forename('#skF_21', W_974) | ~jules_forename('#skF_21', W_974) | ~man('#skF_21', V_977) | ~of('#skF_21', W_974, V_977) | ~member('#skF_21', '#skF_37'(X3_976, X5_970, '#skF_25', '#skF_21', W_974, X6_972, X1_969, Z_975, Y_973, V_977, X2_971, X4_968), '#skF_30')))).
% 100.55/85.04 tff(c_11938, plain, (![X2_752, X_742, Z_748, X3_740, Y_749, W_744, X1_747, V_751, X5_741, X4_753, X6_746]: (~in('#skF_21', '#skF_35'('#skF_37'(X3_740, X5_741, X_742, '#skF_21', W_744, X6_746, X1_747, Z_748, Y_749, V_751, X2_752, X4_753)), X_742) | ~state('#skF_21', '#skF_34'('#skF_37'(X3_740, X5_741, X_742, '#skF_21', W_744, X6_746, X1_747, Z_748, Y_749, V_751, X2_752, X4_753))) | ~young('#skF_21', '#skF_38'(X3_740, X5_741, X_742, '#skF_21', W_744, X6_746, X1_747, Z_748, Y_749, V_751, X2_752, X4_753)) | ~fellow('#skF_21', '#skF_38'(X3_740, X5_741, X_742, '#skF_21', W_744, X6_746, X1_747, Z_748, Y_749, V_751, X2_752, X4_753)) | member('#skF_21', '#skF_39'(X3_740, X5_741, X_742, '#skF_21', W_744, X6_746, X1_747, Z_748, Y_749, V_751, X2_752, X4_753), X4_753) | ~cheap('#skF_21', '#skF_41'(X3_740, X5_741, X_742, '#skF_21', W_744, X6_746, X1_747, Z_748, Y_749, V_751, X2_752, X4_753)) | ~black('#skF_21', '#skF_41'(X3_740, X5_741, X_742, '#skF_21', W_744, X6_746, X1_747, Z_748, Y_749, V_751, X2_752, X4_753)) | ~coat('#skF_21', '#skF_41'(X3_740, X5_741, X_742, '#skF_21', W_744, X6_746, X1_747, Z_748, Y_749, V_751, X2_752, X4_753)) | ~behind('#skF_21', X6_746, X6_746) | ~be('#skF_21', X5_741, V_751, X6_746) | ~state('#skF_21', X5_741) | ~wheel('#skF_21', X6_746) | ~group('#skF_21', X4_753) | ~group('#skF_21', X3_740) | ~two('#skF_21', X3_740) | ~in('#skF_21', X2_752, X1_747) | ~down('#skF_21', X2_752, X1_747) | ~barrel('#skF_21', X2_752) | ~present('#skF_21', X2_752) | ~agent('#skF_21', X2_752, Y_749) | ~event('#skF_21', X2_752) | ~lonely('#skF_21', X1_747) | ~street('#skF_21', X1_747) | ~placename('#skF_21', Z_748) | ~hollywood_placename('#skF_21', Z_748) | ~city('#skF_21', X1_747) | ~of('#skF_21', Z_748, X1_747) | ~old('#skF_21', Y_749) | ~dirty('#skF_21', Y_749) | ~white('#skF_21', Y_749) | ~chevy('#skF_21', Y_749) | ~frontseat('#skF_21', X_742) | ~forename('#skF_21', W_744) | ~jules_forename('#skF_21', W_744) | ~man('#skF_21', V_751) | ~of('#skF_21', W_744, V_751) | ~member('#skF_21', '#skF_37'(X3_740, X5_741, X_742, '#skF_21', W_744, X6_746, X1_747, Z_748, Y_749, V_751, X2_752, X4_753), '#skF_30')))).
% 100.55/85.04 tff(c_12232, plain, (![X5_945, X2_939, Y_937, X6_946, V_944, W_938, X3_942, Z_941, X1_943, X4_940]: (~young('#skF_21', '#skF_38'(X3_942, X5_945, '#skF_25', '#skF_21', W_938, X6_946, X1_943, Z_941, Y_937, V_944, X2_939, X4_940)) | ~fellow('#skF_21', '#skF_38'(X3_942, X5_945, '#skF_25', '#skF_21', W_938, X6_946, X1_943, Z_941, Y_937, V_944, X2_939, X4_940)) | member('#skF_21', '#skF_40'(X3_942, X5_945, '#skF_25', '#skF_21', W_938, X6_946, X1_943, Z_941, Y_937, V_944, X2_939, X4_940), X3_942) | ~cheap('#skF_21', '#skF_41'(X3_942, X5_945, '#skF_25', '#skF_21', W_938, X6_946, X1_943, Z_941, Y_937, V_944, X2_939, X4_940)) | ~black('#skF_21', '#skF_41'(X3_942, X5_945, '#skF_25', '#skF_21', W_938, X6_946, X1_943, Z_941, Y_937, V_944, X2_939, X4_940)) | ~coat('#skF_21', '#skF_41'(X3_942, X5_945, '#skF_25', '#skF_21', W_938, X6_946, X1_943, Z_941, Y_937, V_944, X2_939, X4_940)) | ~behind('#skF_21', X6_946, X6_946) | ~be('#skF_21', X5_945, V_944, X6_946) | ~state('#skF_21', X5_945) | ~wheel('#skF_21', X6_946) | ~group('#skF_21', X4_940) | ~group('#skF_21', X3_942) | ~two('#skF_21', X3_942) | ~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_937) | ~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_937) | ~dirty('#skF_21', Y_937) | ~white('#skF_21', Y_937) | ~chevy('#skF_21', Y_937) | ~forename('#skF_21', W_938) | ~jules_forename('#skF_21', W_938) | ~man('#skF_21', V_944) | ~of('#skF_21', W_938, V_944) | ~member('#skF_21', '#skF_37'(X3_942, X5_945, '#skF_25', '#skF_21', W_938, X6_946, X1_943, Z_941, Y_937, V_944, X2_939, X4_940), '#skF_30')))).
% 100.55/85.04 tff(c_11946, plain, (![X6_760, X5_755, Y_763, Z_762, X3_754, X_756, W_758, V_765, X4_767, X1_761, X2_766]: (~in('#skF_21', '#skF_35'('#skF_37'(X3_754, X5_755, X_756, '#skF_21', W_758, X6_760, X1_761, Z_762, Y_763, V_765, X2_766, X4_767)), X_756) | ~state('#skF_21', '#skF_34'('#skF_37'(X3_754, X5_755, X_756, '#skF_21', W_758, X6_760, X1_761, Z_762, Y_763, V_765, X2_766, X4_767))) | ~young('#skF_21', '#skF_38'(X3_754, X5_755, X_756, '#skF_21', W_758, X6_760, X1_761, Z_762, Y_763, V_765, X2_766, X4_767)) | ~fellow('#skF_21', '#skF_38'(X3_754, X5_755, X_756, '#skF_21', W_758, X6_760, X1_761, Z_762, Y_763, V_765, X2_766, X4_767)) | member('#skF_21', '#skF_40'(X3_754, X5_755, X_756, '#skF_21', W_758, X6_760, X1_761, Z_762, Y_763, V_765, X2_766, X4_767), X3_754) | ~cheap('#skF_21', '#skF_41'(X3_754, X5_755, X_756, '#skF_21', W_758, X6_760, X1_761, Z_762, Y_763, V_765, X2_766, X4_767)) | ~black('#skF_21', '#skF_41'(X3_754, X5_755, X_756, '#skF_21', W_758, X6_760, X1_761, Z_762, Y_763, V_765, X2_766, X4_767)) | ~coat('#skF_21', '#skF_41'(X3_754, X5_755, X_756, '#skF_21', W_758, X6_760, X1_761, Z_762, Y_763, V_765, X2_766, X4_767)) | ~behind('#skF_21', X6_760, X6_760) | ~be('#skF_21', X5_755, V_765, X6_760) | ~state('#skF_21', X5_755) | ~wheel('#skF_21', X6_760) | ~group('#skF_21', X4_767) | ~group('#skF_21', X3_754) | ~two('#skF_21', X3_754) | ~in('#skF_21', X2_766, X1_761) | ~down('#skF_21', X2_766, X1_761) | ~barrel('#skF_21', X2_766) | ~present('#skF_21', X2_766) | ~agent('#skF_21', X2_766, Y_763) | ~event('#skF_21', X2_766) | ~lonely('#skF_21', X1_761) | ~street('#skF_21', X1_761) | ~placename('#skF_21', Z_762) | ~hollywood_placename('#skF_21', Z_762) | ~city('#skF_21', X1_761) | ~of('#skF_21', Z_762, X1_761) | ~old('#skF_21', Y_763) | ~dirty('#skF_21', Y_763) | ~white('#skF_21', Y_763) | ~chevy('#skF_21', Y_763) | ~frontseat('#skF_21', X_756) | ~forename('#skF_21', W_758) | ~jules_forename('#skF_21', W_758) | ~man('#skF_21', V_765) | ~of('#skF_21', W_758, V_765) | ~member('#skF_21', '#skF_37'(X3_754, X5_755, X_756, '#skF_21', W_758, X6_760, X1_761, Z_762, Y_763, V_765, X2_766, X4_767), '#skF_30')))).
% 100.55/85.04 tff(c_12193, plain, (![X3_904, W_906, V_909, X1_908, Z_914, X2_907, X4_913, Y_912, X5_911, X13_910, X6_905]: (~young('#skF_21', '#skF_38'(X3_904, X5_911, '#skF_25', '#skF_21', W_906, X6_905, X1_908, Z_914, Y_912, V_909, X2_907, X4_913)) | ~fellow('#skF_21', '#skF_38'(X3_904, X5_911, '#skF_25', '#skF_21', W_906, X6_905, X1_908, Z_914, Y_912, V_909, X2_907, X4_913)) | ~wear('#skF_21', X13_910) | ~nonreflexive('#skF_21', X13_910) | ~present('#skF_21', X13_910) | ~patient('#skF_21', X13_910, '#skF_39'(X3_904, X5_911, '#skF_25', '#skF_21', W_906, X6_905, X1_908, Z_914, Y_912, V_909, X2_907, X4_913)) | ~agent('#skF_21', X13_910, '#skF_40'(X3_904, X5_911, '#skF_25', '#skF_21', W_906, X6_905, X1_908, Z_914, Y_912, V_909, X2_907, X4_913)) | ~event('#skF_21', X13_910) | member('#skF_21', '#skF_41'(X3_904, X5_911, '#skF_25', '#skF_21', W_906, X6_905, X1_908, Z_914, Y_912, V_909, X2_907, X4_913), X4_913) | ~behind('#skF_21', X6_905, X6_905) | ~be('#skF_21', X5_911, V_909, X6_905) | ~state('#skF_21', X5_911) | ~wheel('#skF_21', X6_905) | ~group('#skF_21', X4_913) | ~group('#skF_21', X3_904) | ~two('#skF_21', X3_904) | ~in('#skF_21', X2_907, X1_908) | ~down('#skF_21', X2_907, X1_908) | ~barrel('#skF_21', X2_907) | ~present('#skF_21', X2_907) | ~agent('#skF_21', X2_907, Y_912) | ~event('#skF_21', X2_907) | ~lonely('#skF_21', X1_908) | ~street('#skF_21', X1_908) | ~placename('#skF_21', Z_914) | ~hollywood_placename('#skF_21', Z_914) | ~city('#skF_21', X1_908) | ~of('#skF_21', Z_914, X1_908) | ~old('#skF_21', Y_912) | ~dirty('#skF_21', Y_912) | ~white('#skF_21', Y_912) | ~chevy('#skF_21', Y_912) | ~forename('#skF_21', W_906) | ~jules_forename('#skF_21', W_906) | ~man('#skF_21', V_909) | ~of('#skF_21', W_906, V_909) | ~member('#skF_21', '#skF_37'(X3_904, X5_911, '#skF_25', '#skF_21', W_906, X6_905, X1_908, Z_914, Y_912, V_909, X2_907, X4_913), '#skF_30')))).
% 100.55/85.04 tff(c_11930, plain, (![X4_739, X6_731, W_729, V_737, Z_734, X_727, Y_735, X5_726, X3_725, X1_732, X2_738, X13_733]: (~in('#skF_21', '#skF_35'('#skF_37'(X3_725, X5_726, X_727, '#skF_21', W_729, X6_731, X1_732, Z_734, Y_735, V_737, X2_738, X4_739)), X_727) | ~state('#skF_21', '#skF_34'('#skF_37'(X3_725, X5_726, X_727, '#skF_21', W_729, X6_731, X1_732, Z_734, Y_735, V_737, X2_738, X4_739))) | ~young('#skF_21', '#skF_38'(X3_725, X5_726, X_727, '#skF_21', W_729, X6_731, X1_732, Z_734, Y_735, V_737, X2_738, X4_739)) | ~fellow('#skF_21', '#skF_38'(X3_725, X5_726, X_727, '#skF_21', W_729, X6_731, X1_732, Z_734, Y_735, V_737, X2_738, X4_739)) | ~wear('#skF_21', X13_733) | ~nonreflexive('#skF_21', X13_733) | ~present('#skF_21', X13_733) | ~patient('#skF_21', X13_733, '#skF_39'(X3_725, X5_726, X_727, '#skF_21', W_729, X6_731, X1_732, Z_734, Y_735, V_737, X2_738, X4_739)) | ~agent('#skF_21', X13_733, '#skF_40'(X3_725, X5_726, X_727, '#skF_21', W_729, X6_731, X1_732, Z_734, Y_735, V_737, X2_738, X4_739)) | ~event('#skF_21', X13_733) | member('#skF_21', '#skF_41'(X3_725, X5_726, X_727, '#skF_21', W_729, X6_731, X1_732, Z_734, Y_735, V_737, X2_738, X4_739), X4_739) | ~behind('#skF_21', X6_731, X6_731) | ~be('#skF_21', X5_726, V_737, X6_731) | ~state('#skF_21', X5_726) | ~wheel('#skF_21', X6_731) | ~group('#skF_21', X4_739) | ~group('#skF_21', X3_725) | ~two('#skF_21', X3_725) | ~in('#skF_21', X2_738, X1_732) | ~down('#skF_21', X2_738, X1_732) | ~barrel('#skF_21', X2_738) | ~present('#skF_21', X2_738) | ~agent('#skF_21', X2_738, Y_735) | ~event('#skF_21', X2_738) | ~lonely('#skF_21', X1_732) | ~street('#skF_21', X1_732) | ~placename('#skF_21', Z_734) | ~hollywood_placename('#skF_21', Z_734) | ~city('#skF_21', X1_732) | ~of('#skF_21', Z_734, X1_732) | ~old('#skF_21', Y_735) | ~dirty('#skF_21', Y_735) | ~white('#skF_21', Y_735) | ~chevy('#skF_21', Y_735) | ~frontseat('#skF_21', X_727) | ~forename('#skF_21', W_729) | ~jules_forename('#skF_21', W_729) | ~man('#skF_21', V_737) | ~of('#skF_21', W_729, V_737) | ~member('#skF_21', '#skF_37'(X3_725, X5_726, X_727, '#skF_21', W_729, X6_731, X1_732, Z_734, Y_735, V_737, X2_738, X4_739), '#skF_30')))).
% 100.55/85.04 tff(c_12172, plain, (![Y_249, X2_252, V_246, X9_274, Z_250, X_248, X8_273, X13_279, X6_256, X3_253, W_247, U_206, X5_255, X1_251, X4_254]: (~in(U_206, X9_274, X_248) | ~be(U_206, X8_273, '#skF_37'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X9_274) | ~state(U_206, X8_273) | member(U_206, '#skF_38'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X3_253) | ~wear(U_206, X13_279) | ~nonreflexive(U_206, X13_279) | ~present(U_206, X13_279) | ~patient(U_206, X13_279, '#skF_39'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~agent(U_206, X13_279, '#skF_40'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~event(U_206, X13_279) | ~cheap(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~black(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~coat(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~behind(U_206, X6_256, X6_256) | ~be(U_206, X5_255, V_246, X6_256) | ~state(U_206, X5_255) | ~wheel(U_206, X6_256) | ~group(U_206, X4_254) | ~group(U_206, X3_253) | ~two(U_206, X3_253) | ~in(U_206, X2_252, X1_251) | ~down(U_206, X2_252, X1_251) | ~barrel(U_206, X2_252) | ~present(U_206, X2_252) | ~agent(U_206, X2_252, Y_249) | ~event(U_206, X2_252) | ~lonely(U_206, X1_251) | ~street(U_206, X1_251) | ~placename(U_206, Z_250) | ~hollywood_placename(U_206, Z_250) | ~city(U_206, X1_251) | ~of(U_206, Z_250, X1_251) | ~old(U_206, Y_249) | ~dirty(U_206, Y_249) | ~white(U_206, Y_249) | ~chevy(U_206, Y_249) | ~frontseat(U_206, X_248) | ~forename(U_206, W_247) | ~jules_forename(U_206, W_247) | ~man(U_206, V_246) | ~of(U_206, W_247, V_246) | ~actual_world(U_206)))).
% 100.55/85.04 tff(c_12106, plain, (![Y_249, X2_252, V_246, Z_250, X_248, X13_279, X6_256, X3_253, W_247, U_206, X5_255, X1_251, X4_254]: (member(U_206, '#skF_37'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X3_253) | member(U_206, '#skF_38'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X3_253) | ~wear(U_206, X13_279) | ~nonreflexive(U_206, X13_279) | ~present(U_206, X13_279) | ~patient(U_206, X13_279, '#skF_39'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~agent(U_206, X13_279, '#skF_40'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~event(U_206, X13_279) | ~cheap(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~black(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~coat(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~behind(U_206, X6_256, X6_256) | ~be(U_206, X5_255, V_246, X6_256) | ~state(U_206, X5_255) | ~wheel(U_206, X6_256) | ~group(U_206, X4_254) | ~group(U_206, X3_253) | ~two(U_206, X3_253) | ~in(U_206, X2_252, X1_251) | ~down(U_206, X2_252, X1_251) | ~barrel(U_206, X2_252) | ~present(U_206, X2_252) | ~agent(U_206, X2_252, Y_249) | ~event(U_206, X2_252) | ~lonely(U_206, X1_251) | ~street(U_206, X1_251) | ~placename(U_206, Z_250) | ~hollywood_placename(U_206, Z_250) | ~city(U_206, X1_251) | ~of(U_206, Z_250, X1_251) | ~old(U_206, Y_249) | ~dirty(U_206, Y_249) | ~white(U_206, Y_249) | ~chevy(U_206, Y_249) | ~frontseat(U_206, X_248) | ~forename(U_206, W_247) | ~jules_forename(U_206, W_247) | ~man(U_206, V_246) | ~of(U_206, W_247, V_246) | ~actual_world(U_206)))).
% 100.55/85.04 tff(c_12041, plain, (![X6_848, Z_849, X1_844, X4_851, Y_850, W_847, V_852, X5_845, X2_846, X3_853]: (member('#skF_21', '#skF_38'(X3_853, X5_845, '#skF_25', '#skF_21', W_847, X6_848, X1_844, Z_849, Y_850, V_852, X2_846, X4_851), X3_853) | member('#skF_21', '#skF_39'(X3_853, X5_845, '#skF_25', '#skF_21', W_847, X6_848, X1_844, Z_849, Y_850, V_852, X2_846, X4_851), X4_851) | ~cheap('#skF_21', '#skF_41'(X3_853, X5_845, '#skF_25', '#skF_21', W_847, X6_848, X1_844, Z_849, Y_850, V_852, X2_846, X4_851)) | ~black('#skF_21', '#skF_41'(X3_853, X5_845, '#skF_25', '#skF_21', W_847, X6_848, X1_844, Z_849, Y_850, V_852, X2_846, X4_851)) | ~coat('#skF_21', '#skF_41'(X3_853, X5_845, '#skF_25', '#skF_21', W_847, X6_848, X1_844, Z_849, Y_850, V_852, X2_846, X4_851)) | ~behind('#skF_21', X6_848, X6_848) | ~be('#skF_21', X5_845, V_852, X6_848) | ~state('#skF_21', X5_845) | ~wheel('#skF_21', X6_848) | ~group('#skF_21', X4_851) | ~group('#skF_21', X3_853) | ~two('#skF_21', X3_853) | ~in('#skF_21', X2_846, X1_844) | ~down('#skF_21', X2_846, X1_844) | ~barrel('#skF_21', X2_846) | ~present('#skF_21', X2_846) | ~agent('#skF_21', X2_846, Y_850) | ~event('#skF_21', X2_846) | ~lonely('#skF_21', X1_844) | ~street('#skF_21', X1_844) | ~placename('#skF_21', Z_849) | ~hollywood_placename('#skF_21', Z_849) | ~city('#skF_21', X1_844) | ~of('#skF_21', Z_849, X1_844) | ~old('#skF_21', Y_850) | ~dirty('#skF_21', Y_850) | ~white('#skF_21', Y_850) | ~chevy('#skF_21', Y_850) | ~forename('#skF_21', W_847) | ~jules_forename('#skF_21', W_847) | ~man('#skF_21', V_852) | ~of('#skF_21', W_847, V_852) | ~member('#skF_21', '#skF_37'(X3_853, X5_845, '#skF_25', '#skF_21', W_847, X6_848, X1_844, Z_849, Y_850, V_852, X2_846, X4_851), '#skF_30')))).
% 100.55/85.04 tff(c_11527, plain, (![X3_592, X6_598, W_596, X_594, X5_593, X4_605, X1_599, Z_600, V_603, Y_601, X2_604]: (~in('#skF_21', '#skF_35'('#skF_37'(X3_592, X5_593, X_594, '#skF_21', W_596, X6_598, X1_599, Z_600, Y_601, V_603, X2_604, X4_605)), X_594) | ~state('#skF_21', '#skF_34'('#skF_37'(X3_592, X5_593, X_594, '#skF_21', W_596, X6_598, X1_599, Z_600, Y_601, V_603, X2_604, X4_605))) | member('#skF_21', '#skF_38'(X3_592, X5_593, X_594, '#skF_21', W_596, X6_598, X1_599, Z_600, Y_601, V_603, X2_604, X4_605), X3_592) | member('#skF_21', '#skF_39'(X3_592, X5_593, X_594, '#skF_21', W_596, X6_598, X1_599, Z_600, Y_601, V_603, X2_604, X4_605), X4_605) | ~cheap('#skF_21', '#skF_41'(X3_592, X5_593, X_594, '#skF_21', W_596, X6_598, X1_599, Z_600, Y_601, V_603, X2_604, X4_605)) | ~black('#skF_21', '#skF_41'(X3_592, X5_593, X_594, '#skF_21', W_596, X6_598, X1_599, Z_600, Y_601, V_603, X2_604, X4_605)) | ~coat('#skF_21', '#skF_41'(X3_592, X5_593, X_594, '#skF_21', W_596, X6_598, X1_599, Z_600, Y_601, V_603, X2_604, X4_605)) | ~behind('#skF_21', X6_598, X6_598) | ~be('#skF_21', X5_593, V_603, X6_598) | ~state('#skF_21', X5_593) | ~wheel('#skF_21', X6_598) | ~group('#skF_21', X4_605) | ~group('#skF_21', X3_592) | ~two('#skF_21', X3_592) | ~in('#skF_21', X2_604, X1_599) | ~down('#skF_21', X2_604, X1_599) | ~barrel('#skF_21', X2_604) | ~present('#skF_21', X2_604) | ~agent('#skF_21', X2_604, Y_601) | ~event('#skF_21', X2_604) | ~lonely('#skF_21', X1_599) | ~street('#skF_21', X1_599) | ~placename('#skF_21', Z_600) | ~hollywood_placename('#skF_21', Z_600) | ~city('#skF_21', X1_599) | ~of('#skF_21', Z_600, X1_599) | ~old('#skF_21', Y_601) | ~dirty('#skF_21', Y_601) | ~white('#skF_21', Y_601) | ~chevy('#skF_21', Y_601) | ~frontseat('#skF_21', X_594) | ~forename('#skF_21', W_596) | ~jules_forename('#skF_21', W_596) | ~man('#skF_21', V_603) | ~of('#skF_21', W_596, V_603) | ~member('#skF_21', '#skF_37'(X3_592, X5_593, X_594, '#skF_21', W_596, X6_598, X1_599, Z_600, Y_601, V_603, X2_604, X4_605), '#skF_30')))).
% 100.55/85.04 tff(c_12028, plain, (![X1_819, X4_816, X6_813, Y_817, X2_815, X5_814, Z_818, X3_820, V_822, W_821]: (member('#skF_21', '#skF_38'(X3_820, X5_814, '#skF_25', '#skF_21', W_821, X6_813, X1_819, Z_818, Y_817, V_822, X2_815, X4_816), X3_820) | member('#skF_21', '#skF_40'(X3_820, X5_814, '#skF_25', '#skF_21', W_821, X6_813, X1_819, Z_818, Y_817, V_822, X2_815, X4_816), X3_820) | ~cheap('#skF_21', '#skF_41'(X3_820, X5_814, '#skF_25', '#skF_21', W_821, X6_813, X1_819, Z_818, Y_817, V_822, X2_815, X4_816)) | ~black('#skF_21', '#skF_41'(X3_820, X5_814, '#skF_25', '#skF_21', W_821, X6_813, X1_819, Z_818, Y_817, V_822, X2_815, X4_816)) | ~coat('#skF_21', '#skF_41'(X3_820, X5_814, '#skF_25', '#skF_21', W_821, X6_813, X1_819, Z_818, Y_817, V_822, X2_815, X4_816)) | ~behind('#skF_21', X6_813, X6_813) | ~be('#skF_21', X5_814, V_822, X6_813) | ~state('#skF_21', X5_814) | ~wheel('#skF_21', X6_813) | ~group('#skF_21', X4_816) | ~group('#skF_21', X3_820) | ~two('#skF_21', X3_820) | ~in('#skF_21', X2_815, X1_819) | ~down('#skF_21', X2_815, X1_819) | ~barrel('#skF_21', X2_815) | ~present('#skF_21', X2_815) | ~agent('#skF_21', X2_815, Y_817) | ~event('#skF_21', X2_815) | ~lonely('#skF_21', X1_819) | ~street('#skF_21', X1_819) | ~placename('#skF_21', Z_818) | ~hollywood_placename('#skF_21', Z_818) | ~city('#skF_21', X1_819) | ~of('#skF_21', Z_818, X1_819) | ~old('#skF_21', Y_817) | ~dirty('#skF_21', Y_817) | ~white('#skF_21', Y_817) | ~chevy('#skF_21', Y_817) | ~forename('#skF_21', W_821) | ~jules_forename('#skF_21', W_821) | ~man('#skF_21', V_822) | ~of('#skF_21', W_821, V_822) | ~member('#skF_21', '#skF_37'(X3_820, X5_814, '#skF_25', '#skF_21', W_821, X6_813, X1_819, Z_818, Y_817, V_822, X2_815, X4_816), '#skF_30')))).
% 100.55/85.04 tff(c_11519, plain, (![V_589, X1_585, X_580, Y_587, Z_586, X4_591, X2_590, W_582, X6_584, X3_578, X5_579]: (~in('#skF_21', '#skF_35'('#skF_37'(X3_578, X5_579, X_580, '#skF_21', W_582, X6_584, X1_585, Z_586, Y_587, V_589, X2_590, X4_591)), X_580) | ~state('#skF_21', '#skF_34'('#skF_37'(X3_578, X5_579, X_580, '#skF_21', W_582, X6_584, X1_585, Z_586, Y_587, V_589, X2_590, X4_591))) | member('#skF_21', '#skF_38'(X3_578, X5_579, X_580, '#skF_21', W_582, X6_584, X1_585, Z_586, Y_587, V_589, X2_590, X4_591), X3_578) | member('#skF_21', '#skF_40'(X3_578, X5_579, X_580, '#skF_21', W_582, X6_584, X1_585, Z_586, Y_587, V_589, X2_590, X4_591), X3_578) | ~cheap('#skF_21', '#skF_41'(X3_578, X5_579, X_580, '#skF_21', W_582, X6_584, X1_585, Z_586, Y_587, V_589, X2_590, X4_591)) | ~black('#skF_21', '#skF_41'(X3_578, X5_579, X_580, '#skF_21', W_582, X6_584, X1_585, Z_586, Y_587, V_589, X2_590, X4_591)) | ~coat('#skF_21', '#skF_41'(X3_578, X5_579, X_580, '#skF_21', W_582, X6_584, X1_585, Z_586, Y_587, V_589, X2_590, X4_591)) | ~behind('#skF_21', X6_584, X6_584) | ~be('#skF_21', X5_579, V_589, X6_584) | ~state('#skF_21', X5_579) | ~wheel('#skF_21', X6_584) | ~group('#skF_21', X4_591) | ~group('#skF_21', X3_578) | ~two('#skF_21', X3_578) | ~in('#skF_21', X2_590, X1_585) | ~down('#skF_21', X2_590, X1_585) | ~barrel('#skF_21', X2_590) | ~present('#skF_21', X2_590) | ~agent('#skF_21', X2_590, Y_587) | ~event('#skF_21', X2_590) | ~lonely('#skF_21', X1_585) | ~street('#skF_21', X1_585) | ~placename('#skF_21', Z_586) | ~hollywood_placename('#skF_21', Z_586) | ~city('#skF_21', X1_585) | ~of('#skF_21', Z_586, X1_585) | ~old('#skF_21', Y_587) | ~dirty('#skF_21', Y_587) | ~white('#skF_21', Y_587) | ~chevy('#skF_21', Y_587) | ~frontseat('#skF_21', X_580) | ~forename('#skF_21', W_582) | ~jules_forename('#skF_21', W_582) | ~man('#skF_21', V_589) | ~of('#skF_21', W_582, V_589) | ~member('#skF_21', '#skF_37'(X3_578, X5_579, X_580, '#skF_21', W_582, X6_584, X1_585, Z_586, Y_587, V_589, X2_590, X4_591), '#skF_30')))).
% 100.55/85.05 tff(c_11982, plain, (![V_787, Z_781, X13_789, Y_782, X3_785, X2_786, X6_784, X1_790, X5_788, X4_780, W_783]: (member('#skF_21', '#skF_38'(X3_785, X5_788, '#skF_25', '#skF_21', W_783, X6_784, X1_790, Z_781, Y_782, V_787, X2_786, X4_780), X3_785) | ~wear('#skF_21', X13_789) | ~nonreflexive('#skF_21', X13_789) | ~present('#skF_21', X13_789) | ~patient('#skF_21', X13_789, '#skF_39'(X3_785, X5_788, '#skF_25', '#skF_21', W_783, X6_784, X1_790, Z_781, Y_782, V_787, X2_786, X4_780)) | ~agent('#skF_21', X13_789, '#skF_40'(X3_785, X5_788, '#skF_25', '#skF_21', W_783, X6_784, X1_790, Z_781, Y_782, V_787, X2_786, X4_780)) | ~event('#skF_21', X13_789) | member('#skF_21', '#skF_41'(X3_785, X5_788, '#skF_25', '#skF_21', W_783, X6_784, X1_790, Z_781, Y_782, V_787, X2_786, X4_780), X4_780) | ~behind('#skF_21', X6_784, X6_784) | ~be('#skF_21', X5_788, V_787, X6_784) | ~state('#skF_21', X5_788) | ~wheel('#skF_21', X6_784) | ~group('#skF_21', X4_780) | ~group('#skF_21', X3_785) | ~two('#skF_21', X3_785) | ~in('#skF_21', X2_786, X1_790) | ~down('#skF_21', X2_786, X1_790) | ~barrel('#skF_21', X2_786) | ~present('#skF_21', X2_786) | ~agent('#skF_21', X2_786, Y_782) | ~event('#skF_21', X2_786) | ~lonely('#skF_21', X1_790) | ~street('#skF_21', X1_790) | ~placename('#skF_21', Z_781) | ~hollywood_placename('#skF_21', Z_781) | ~city('#skF_21', X1_790) | ~of('#skF_21', Z_781, X1_790) | ~old('#skF_21', Y_782) | ~dirty('#skF_21', Y_782) | ~white('#skF_21', Y_782) | ~chevy('#skF_21', Y_782) | ~forename('#skF_21', W_783) | ~jules_forename('#skF_21', W_783) | ~man('#skF_21', V_787) | ~of('#skF_21', W_783, V_787) | ~member('#skF_21', '#skF_37'(X3_785, X5_788, '#skF_25', '#skF_21', W_783, X6_784, X1_790, Z_781, Y_782, V_787, X2_786, X4_780), '#skF_30')))).
% 100.55/85.05 tff(c_11508, plain, (![X6_569, Y_573, X2_576, X_565, X4_577, X1_570, W_567, X13_571, V_575, Z_572, X3_563, X5_564]: (~in('#skF_21', '#skF_35'('#skF_37'(X3_563, X5_564, X_565, '#skF_21', W_567, X6_569, X1_570, Z_572, Y_573, V_575, X2_576, X4_577)), X_565) | ~state('#skF_21', '#skF_34'('#skF_37'(X3_563, X5_564, X_565, '#skF_21', W_567, X6_569, X1_570, Z_572, Y_573, V_575, X2_576, X4_577))) | member('#skF_21', '#skF_38'(X3_563, X5_564, X_565, '#skF_21', W_567, X6_569, X1_570, Z_572, Y_573, V_575, X2_576, X4_577), X3_563) | ~wear('#skF_21', X13_571) | ~nonreflexive('#skF_21', X13_571) | ~present('#skF_21', X13_571) | ~patient('#skF_21', X13_571, '#skF_39'(X3_563, X5_564, X_565, '#skF_21', W_567, X6_569, X1_570, Z_572, Y_573, V_575, X2_576, X4_577)) | ~agent('#skF_21', X13_571, '#skF_40'(X3_563, X5_564, X_565, '#skF_21', W_567, X6_569, X1_570, Z_572, Y_573, V_575, X2_576, X4_577)) | ~event('#skF_21', X13_571) | member('#skF_21', '#skF_41'(X3_563, X5_564, X_565, '#skF_21', W_567, X6_569, X1_570, Z_572, Y_573, V_575, X2_576, X4_577), X4_577) | ~behind('#skF_21', X6_569, X6_569) | ~be('#skF_21', X5_564, V_575, X6_569) | ~state('#skF_21', X5_564) | ~wheel('#skF_21', X6_569) | ~group('#skF_21', X4_577) | ~group('#skF_21', X3_563) | ~two('#skF_21', X3_563) | ~in('#skF_21', X2_576, X1_570) | ~down('#skF_21', X2_576, X1_570) | ~barrel('#skF_21', X2_576) | ~present('#skF_21', X2_576) | ~agent('#skF_21', X2_576, Y_573) | ~event('#skF_21', X2_576) | ~lonely('#skF_21', X1_570) | ~street('#skF_21', X1_570) | ~placename('#skF_21', Z_572) | ~hollywood_placename('#skF_21', Z_572) | ~city('#skF_21', X1_570) | ~of('#skF_21', Z_572, X1_570) | ~old('#skF_21', Y_573) | ~dirty('#skF_21', Y_573) | ~white('#skF_21', Y_573) | ~chevy('#skF_21', Y_573) | ~frontseat('#skF_21', X_565) | ~forename('#skF_21', W_567) | ~jules_forename('#skF_21', W_567) | ~man('#skF_21', V_575) | ~of('#skF_21', W_567, V_575) | ~member('#skF_21', '#skF_37'(X3_563, X5_564, X_565, '#skF_21', W_567, X6_569, X1_570, Z_572, Y_573, V_575, X2_576, X4_577), '#skF_30')))).
% 100.55/85.05 tff(c_11939, plain, (![Y_249, X2_252, V_246, X9_274, Z_250, X_248, X8_273, X6_256, X3_253, W_247, U_206, X5_255, X1_251, X4_254]: (~in(U_206, X9_274, X_248) | ~be(U_206, X8_273, '#skF_37'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X9_274) | ~state(U_206, X8_273) | ~young(U_206, '#skF_38'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~fellow(U_206, '#skF_38'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | member(U_206, '#skF_40'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X3_253) | ~cheap(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~black(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~coat(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~behind(U_206, X6_256, X6_256) | ~be(U_206, X5_255, V_246, X6_256) | ~state(U_206, X5_255) | ~wheel(U_206, X6_256) | ~group(U_206, X4_254) | ~group(U_206, X3_253) | ~two(U_206, X3_253) | ~in(U_206, X2_252, X1_251) | ~down(U_206, X2_252, X1_251) | ~barrel(U_206, X2_252) | ~present(U_206, X2_252) | ~agent(U_206, X2_252, Y_249) | ~event(U_206, X2_252) | ~lonely(U_206, X1_251) | ~street(U_206, X1_251) | ~placename(U_206, Z_250) | ~hollywood_placename(U_206, Z_250) | ~city(U_206, X1_251) | ~of(U_206, Z_250, X1_251) | ~old(U_206, Y_249) | ~dirty(U_206, Y_249) | ~white(U_206, Y_249) | ~chevy(U_206, Y_249) | ~frontseat(U_206, X_248) | ~forename(U_206, W_247) | ~jules_forename(U_206, W_247) | ~man(U_206, V_246) | ~of(U_206, W_247, V_246) | ~actual_world(U_206)))).
% 100.69/85.05 tff(c_11931, plain, (![Y_249, X2_252, V_246, X9_274, Z_250, X_248, X8_273, X6_256, X3_253, W_247, U_206, X5_255, X1_251, X4_254]: (~in(U_206, X9_274, X_248) | ~be(U_206, X8_273, '#skF_37'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X9_274) | ~state(U_206, X8_273) | ~young(U_206, '#skF_38'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~fellow(U_206, '#skF_38'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | member(U_206, '#skF_39'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X4_254) | ~cheap(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~black(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~coat(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~behind(U_206, X6_256, X6_256) | ~be(U_206, X5_255, V_246, X6_256) | ~state(U_206, X5_255) | ~wheel(U_206, X6_256) | ~group(U_206, X4_254) | ~group(U_206, X3_253) | ~two(U_206, X3_253) | ~in(U_206, X2_252, X1_251) | ~down(U_206, X2_252, X1_251) | ~barrel(U_206, X2_252) | ~present(U_206, X2_252) | ~agent(U_206, X2_252, Y_249) | ~event(U_206, X2_252) | ~lonely(U_206, X1_251) | ~street(U_206, X1_251) | ~placename(U_206, Z_250) | ~hollywood_placename(U_206, Z_250) | ~city(U_206, X1_251) | ~of(U_206, Z_250, X1_251) | ~old(U_206, Y_249) | ~dirty(U_206, Y_249) | ~white(U_206, Y_249) | ~chevy(U_206, Y_249) | ~frontseat(U_206, X_248) | ~forename(U_206, W_247) | ~jules_forename(U_206, W_247) | ~man(U_206, V_246) | ~of(U_206, W_247, V_246) | ~actual_world(U_206)))).
% 100.69/85.05 tff(c_11923, plain, (![Y_249, X2_252, V_246, X9_274, Z_250, X_248, X8_273, X13_279, X6_256, X3_253, W_247, U_206, X5_255, X1_251, X4_254]: (~in(U_206, X9_274, X_248) | ~be(U_206, X8_273, '#skF_37'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X9_274) | ~state(U_206, X8_273) | ~young(U_206, '#skF_38'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~fellow(U_206, '#skF_38'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~wear(U_206, X13_279) | ~nonreflexive(U_206, X13_279) | ~present(U_206, X13_279) | ~patient(U_206, X13_279, '#skF_39'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~agent(U_206, X13_279, '#skF_40'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~event(U_206, X13_279) | member(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X4_254) | ~behind(U_206, X6_256, X6_256) | ~be(U_206, X5_255, V_246, X6_256) | ~state(U_206, X5_255) | ~wheel(U_206, X6_256) | ~group(U_206, X4_254) | ~group(U_206, X3_253) | ~two(U_206, X3_253) | ~in(U_206, X2_252, X1_251) | ~down(U_206, X2_252, X1_251) | ~barrel(U_206, X2_252) | ~present(U_206, X2_252) | ~agent(U_206, X2_252, Y_249) | ~event(U_206, X2_252) | ~lonely(U_206, X1_251) | ~street(U_206, X1_251) | ~placename(U_206, Z_250) | ~hollywood_placename(U_206, Z_250) | ~city(U_206, X1_251) | ~of(U_206, Z_250, X1_251) | ~old(U_206, Y_249) | ~dirty(U_206, Y_249) | ~white(U_206, Y_249) | ~chevy(U_206, Y_249) | ~frontseat(U_206, X_248) | ~forename(U_206, W_247) | ~jules_forename(U_206, W_247) | ~man(U_206, V_246) | ~of(U_206, W_247, V_246) | ~actual_world(U_206)))).
% 100.69/85.05 tff(c_11747, plain, (![X4_714, X2_713, X5_704, W_707, V_712, X3_703, X1_709, X_705, Y_711, Z_710]: (member('#skF_1', '#skF_37'(X3_703, X5_704, X_705, '#skF_1', W_707, '#skF_12', X1_709, Z_710, Y_711, V_712, X2_713, X4_714), X3_703) | ~young('#skF_1', '#skF_38'(X3_703, X5_704, X_705, '#skF_1', W_707, '#skF_12', X1_709, Z_710, Y_711, V_712, X2_713, X4_714)) | ~fellow('#skF_1', '#skF_38'(X3_703, X5_704, X_705, '#skF_1', W_707, '#skF_12', X1_709, Z_710, Y_711, V_712, X2_713, X4_714)) | member('#skF_1', '#skF_39'(X3_703, X5_704, X_705, '#skF_1', W_707, '#skF_12', X1_709, Z_710, Y_711, V_712, X2_713, X4_714), X4_714) | ~cheap('#skF_1', '#skF_41'(X3_703, X5_704, X_705, '#skF_1', W_707, '#skF_12', X1_709, Z_710, Y_711, V_712, X2_713, X4_714)) | ~black('#skF_1', '#skF_41'(X3_703, X5_704, X_705, '#skF_1', W_707, '#skF_12', X1_709, Z_710, Y_711, V_712, X2_713, X4_714)) | ~coat('#skF_1', '#skF_41'(X3_703, X5_704, X_705, '#skF_1', W_707, '#skF_12', X1_709, Z_710, Y_711, V_712, X2_713, X4_714)) | ~be('#skF_1', X5_704, V_712, '#skF_12') | ~state('#skF_1', X5_704) | ~group('#skF_1', X4_714) | ~group('#skF_1', X3_703) | ~two('#skF_1', X3_703) | ~in('#skF_1', X2_713, X1_709) | ~down('#skF_1', X2_713, X1_709) | ~barrel('#skF_1', X2_713) | ~present('#skF_1', X2_713) | ~agent('#skF_1', X2_713, Y_711) | ~event('#skF_1', X2_713) | ~lonely('#skF_1', X1_709) | ~street('#skF_1', X1_709) | ~placename('#skF_1', Z_710) | ~hollywood_placename('#skF_1', Z_710) | ~city('#skF_1', X1_709) | ~of('#skF_1', Z_710, X1_709) | ~old('#skF_1', Y_711) | ~dirty('#skF_1', Y_711) | ~white('#skF_1', Y_711) | ~chevy('#skF_1', Y_711) | ~frontseat('#skF_1', X_705) | ~forename('#skF_1', W_707) | ~jules_forename('#skF_1', W_707) | ~man('#skF_1', V_712) | ~of('#skF_1', W_707, V_712)))).
% 100.69/85.05 tff(c_11741, plain, (![Y_249, X2_252, V_246, Z_250, X_248, X6_256, X3_253, W_247, U_206, X5_255, X1_251, X4_254]: (member(U_206, '#skF_37'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X3_253) | ~young(U_206, '#skF_38'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~fellow(U_206, '#skF_38'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | member(U_206, '#skF_39'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X4_254) | ~cheap(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~black(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~coat(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~behind(U_206, X6_256, X6_256) | ~be(U_206, X5_255, V_246, X6_256) | ~state(U_206, X5_255) | ~wheel(U_206, X6_256) | ~group(U_206, X4_254) | ~group(U_206, X3_253) | ~two(U_206, X3_253) | ~in(U_206, X2_252, X1_251) | ~down(U_206, X2_252, X1_251) | ~barrel(U_206, X2_252) | ~present(U_206, X2_252) | ~agent(U_206, X2_252, Y_249) | ~event(U_206, X2_252) | ~lonely(U_206, X1_251) | ~street(U_206, X1_251) | ~placename(U_206, Z_250) | ~hollywood_placename(U_206, Z_250) | ~city(U_206, X1_251) | ~of(U_206, Z_250, X1_251) | ~old(U_206, Y_249) | ~dirty(U_206, Y_249) | ~white(U_206, Y_249) | ~chevy(U_206, Y_249) | ~frontseat(U_206, X_248) | ~forename(U_206, W_247) | ~jules_forename(U_206, W_247) | ~man(U_206, V_246) | ~of(U_206, W_247, V_246) | ~actual_world(U_206)))).
% 100.69/85.05 tff(c_11739, plain, (![W_685, X5_682, Z_688, V_690, X2_691, Y_689, X1_687, X_683, X4_692, X3_681]: (member('#skF_1', '#skF_37'(X3_681, X5_682, X_683, '#skF_1', W_685, '#skF_12', X1_687, Z_688, Y_689, V_690, X2_691, X4_692), X3_681) | ~young('#skF_1', '#skF_38'(X3_681, X5_682, X_683, '#skF_1', W_685, '#skF_12', X1_687, Z_688, Y_689, V_690, X2_691, X4_692)) | ~fellow('#skF_1', '#skF_38'(X3_681, X5_682, X_683, '#skF_1', W_685, '#skF_12', X1_687, Z_688, Y_689, V_690, X2_691, X4_692)) | member('#skF_1', '#skF_40'(X3_681, X5_682, X_683, '#skF_1', W_685, '#skF_12', X1_687, Z_688, Y_689, V_690, X2_691, X4_692), X3_681) | ~cheap('#skF_1', '#skF_41'(X3_681, X5_682, X_683, '#skF_1', W_685, '#skF_12', X1_687, Z_688, Y_689, V_690, X2_691, X4_692)) | ~black('#skF_1', '#skF_41'(X3_681, X5_682, X_683, '#skF_1', W_685, '#skF_12', X1_687, Z_688, Y_689, V_690, X2_691, X4_692)) | ~coat('#skF_1', '#skF_41'(X3_681, X5_682, X_683, '#skF_1', W_685, '#skF_12', X1_687, Z_688, Y_689, V_690, X2_691, X4_692)) | ~be('#skF_1', X5_682, V_690, '#skF_12') | ~state('#skF_1', X5_682) | ~group('#skF_1', X4_692) | ~group('#skF_1', X3_681) | ~two('#skF_1', X3_681) | ~in('#skF_1', X2_691, X1_687) | ~down('#skF_1', X2_691, X1_687) | ~barrel('#skF_1', X2_691) | ~present('#skF_1', X2_691) | ~agent('#skF_1', X2_691, Y_689) | ~event('#skF_1', X2_691) | ~lonely('#skF_1', X1_687) | ~street('#skF_1', X1_687) | ~placename('#skF_1', Z_688) | ~hollywood_placename('#skF_1', Z_688) | ~city('#skF_1', X1_687) | ~of('#skF_1', Z_688, X1_687) | ~old('#skF_1', Y_689) | ~dirty('#skF_1', Y_689) | ~white('#skF_1', Y_689) | ~chevy('#skF_1', Y_689) | ~frontseat('#skF_1', X_683) | ~forename('#skF_1', W_685) | ~jules_forename('#skF_1', W_685) | ~man('#skF_1', V_690) | ~of('#skF_1', W_685, V_690)))).
% 100.69/85.05 tff(c_11733, plain, (![Y_249, X2_252, V_246, Z_250, X_248, X6_256, X3_253, W_247, U_206, X5_255, X1_251, X4_254]: (member(U_206, '#skF_37'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X3_253) | ~young(U_206, '#skF_38'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~fellow(U_206, '#skF_38'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | member(U_206, '#skF_40'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X3_253) | ~cheap(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~black(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~coat(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~behind(U_206, X6_256, X6_256) | ~be(U_206, X5_255, V_246, X6_256) | ~state(U_206, X5_255) | ~wheel(U_206, X6_256) | ~group(U_206, X4_254) | ~group(U_206, X3_253) | ~two(U_206, X3_253) | ~in(U_206, X2_252, X1_251) | ~down(U_206, X2_252, X1_251) | ~barrel(U_206, X2_252) | ~present(U_206, X2_252) | ~agent(U_206, X2_252, Y_249) | ~event(U_206, X2_252) | ~lonely(U_206, X1_251) | ~street(U_206, X1_251) | ~placename(U_206, Z_250) | ~hollywood_placename(U_206, Z_250) | ~city(U_206, X1_251) | ~of(U_206, Z_250, X1_251) | ~old(U_206, Y_249) | ~dirty(U_206, Y_249) | ~white(U_206, Y_249) | ~chevy(U_206, Y_249) | ~frontseat(U_206, X_248) | ~forename(U_206, W_247) | ~jules_forename(U_206, W_247) | ~man(U_206, V_246) | ~of(U_206, W_247, V_246) | ~actual_world(U_206)))).
% 100.69/85.05 tff(c_11724, plain, (![Y_249, X2_252, V_246, Z_250, X_248, X13_279, X6_256, X3_253, W_247, U_206, X5_255, X1_251, X4_254]: (member(U_206, '#skF_37'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X3_253) | ~young(U_206, '#skF_38'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~fellow(U_206, '#skF_38'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~wear(U_206, X13_279) | ~nonreflexive(U_206, X13_279) | ~present(U_206, X13_279) | ~patient(U_206, X13_279, '#skF_39'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~agent(U_206, X13_279, '#skF_40'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~event(U_206, X13_279) | member(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X4_254) | ~behind(U_206, X6_256, X6_256) | ~be(U_206, X5_255, V_246, X6_256) | ~state(U_206, X5_255) | ~wheel(U_206, X6_256) | ~group(U_206, X4_254) | ~group(U_206, X3_253) | ~two(U_206, X3_253) | ~in(U_206, X2_252, X1_251) | ~down(U_206, X2_252, X1_251) | ~barrel(U_206, X2_252) | ~present(U_206, X2_252) | ~agent(U_206, X2_252, Y_249) | ~event(U_206, X2_252) | ~lonely(U_206, X1_251) | ~street(U_206, X1_251) | ~placename(U_206, Z_250) | ~hollywood_placename(U_206, Z_250) | ~city(U_206, X1_251) | ~of(U_206, Z_250, X1_251) | ~old(U_206, Y_249) | ~dirty(U_206, Y_249) | ~white(U_206, Y_249) | ~chevy(U_206, Y_249) | ~frontseat(U_206, X_248) | ~forename(U_206, W_247) | ~jules_forename(U_206, W_247) | ~man(U_206, V_246) | ~of(U_206, W_247, V_246) | ~actual_world(U_206)))).
% 100.69/85.05 tff(c_11603, plain, (![X1_652, W_648, X3_654, X6_649, V_655, X4_653, X2_650, Z_651, Y_656, X5_657]: (~young('#skF_21', '#skF_38'(X3_654, X5_657, '#skF_25', '#skF_21', W_648, X6_649, X1_652, Z_651, Y_656, V_655, X2_650, X4_653)) | ~fellow('#skF_21', '#skF_38'(X3_654, X5_657, '#skF_25', '#skF_21', W_648, X6_649, X1_652, Z_651, Y_656, V_655, X2_650, X4_653)) | member('#skF_21', '#skF_40'(X3_654, X5_657, '#skF_25', '#skF_21', W_648, X6_649, X1_652, Z_651, Y_656, V_655, X2_650, X4_653), X3_654) | member('#skF_21', '#skF_41'(X3_654, X5_657, '#skF_25', '#skF_21', W_648, X6_649, X1_652, Z_651, Y_656, V_655, X2_650, X4_653), X4_653) | ~behind('#skF_21', X6_649, X6_649) | ~be('#skF_21', X5_657, V_655, X6_649) | ~state('#skF_21', X5_657) | ~wheel('#skF_21', X6_649) | ~group('#skF_21', X4_653) | ~group('#skF_21', X3_654) | ~two('#skF_21', X3_654) | ~in('#skF_21', X2_650, X1_652) | ~down('#skF_21', X2_650, X1_652) | ~barrel('#skF_21', X2_650) | ~present('#skF_21', X2_650) | ~agent('#skF_21', X2_650, Y_656) | ~event('#skF_21', X2_650) | ~lonely('#skF_21', X1_652) | ~street('#skF_21', X1_652) | ~placename('#skF_21', Z_651) | ~hollywood_placename('#skF_21', Z_651) | ~city('#skF_21', X1_652) | ~of('#skF_21', Z_651, X1_652) | ~old('#skF_21', Y_656) | ~dirty('#skF_21', Y_656) | ~white('#skF_21', Y_656) | ~chevy('#skF_21', Y_656) | ~forename('#skF_21', W_648) | ~jules_forename('#skF_21', W_648) | ~man('#skF_21', V_655) | ~of('#skF_21', W_648, V_655) | ~member('#skF_21', '#skF_37'(X3_654, X5_657, '#skF_25', '#skF_21', W_648, X6_649, X1_652, Z_651, Y_656, V_655, X2_650, X4_653), '#skF_30')))).
% 100.69/85.05 tff(c_11131, plain, (![Z_438, X3_430, X2_442, X6_436, X1_437, Y_439, X4_443, X_432, V_441, X5_431, W_434]: (~in('#skF_21', '#skF_35'('#skF_37'(X3_430, X5_431, X_432, '#skF_21', W_434, X6_436, X1_437, Z_438, Y_439, V_441, X2_442, X4_443)), X_432) | ~state('#skF_21', '#skF_34'('#skF_37'(X3_430, X5_431, X_432, '#skF_21', W_434, X6_436, X1_437, Z_438, Y_439, V_441, X2_442, X4_443))) | ~young('#skF_21', '#skF_38'(X3_430, X5_431, X_432, '#skF_21', W_434, X6_436, X1_437, Z_438, Y_439, V_441, X2_442, X4_443)) | ~fellow('#skF_21', '#skF_38'(X3_430, X5_431, X_432, '#skF_21', W_434, X6_436, X1_437, Z_438, Y_439, V_441, X2_442, X4_443)) | member('#skF_21', '#skF_40'(X3_430, X5_431, X_432, '#skF_21', W_434, X6_436, X1_437, Z_438, Y_439, V_441, X2_442, X4_443), X3_430) | member('#skF_21', '#skF_41'(X3_430, X5_431, X_432, '#skF_21', W_434, X6_436, X1_437, Z_438, Y_439, V_441, X2_442, X4_443), X4_443) | ~behind('#skF_21', X6_436, X6_436) | ~be('#skF_21', X5_431, V_441, X6_436) | ~state('#skF_21', X5_431) | ~wheel('#skF_21', X6_436) | ~group('#skF_21', X4_443) | ~group('#skF_21', X3_430) | ~two('#skF_21', X3_430) | ~in('#skF_21', X2_442, X1_437) | ~down('#skF_21', X2_442, X1_437) | ~barrel('#skF_21', X2_442) | ~present('#skF_21', X2_442) | ~agent('#skF_21', X2_442, Y_439) | ~event('#skF_21', X2_442) | ~lonely('#skF_21', X1_437) | ~street('#skF_21', X1_437) | ~placename('#skF_21', Z_438) | ~hollywood_placename('#skF_21', Z_438) | ~city('#skF_21', X1_437) | ~of('#skF_21', Z_438, X1_437) | ~old('#skF_21', Y_439) | ~dirty('#skF_21', Y_439) | ~white('#skF_21', Y_439) | ~chevy('#skF_21', Y_439) | ~frontseat('#skF_21', X_432) | ~forename('#skF_21', W_434) | ~jules_forename('#skF_21', W_434) | ~man('#skF_21', V_441) | ~of('#skF_21', W_434, V_441) | ~member('#skF_21', '#skF_37'(X3_430, X5_431, X_432, '#skF_21', W_434, X6_436, X1_437, Z_438, Y_439, V_441, X2_442, X4_443), '#skF_30')))).
% 100.69/85.05 tff(c_11590, plain, (![X6_626, X2_623, Z_620, Y_622, X3_621, X4_624, X5_617, V_618, X1_619, W_625]: (~young('#skF_21', '#skF_38'(X3_621, X5_617, '#skF_25', '#skF_21', W_625, X6_626, X1_619, Z_620, Y_622, V_618, X2_623, X4_624)) | ~fellow('#skF_21', '#skF_38'(X3_621, X5_617, '#skF_25', '#skF_21', W_625, X6_626, X1_619, Z_620, Y_622, V_618, X2_623, X4_624)) | member('#skF_21', '#skF_39'(X3_621, X5_617, '#skF_25', '#skF_21', W_625, X6_626, X1_619, Z_620, Y_622, V_618, X2_623, X4_624), X4_624) | member('#skF_21', '#skF_41'(X3_621, X5_617, '#skF_25', '#skF_21', W_625, X6_626, X1_619, Z_620, Y_622, V_618, X2_623, X4_624), X4_624) | ~behind('#skF_21', X6_626, X6_626) | ~be('#skF_21', X5_617, V_618, X6_626) | ~state('#skF_21', X5_617) | ~wheel('#skF_21', X6_626) | ~group('#skF_21', X4_624) | ~group('#skF_21', X3_621) | ~two('#skF_21', X3_621) | ~in('#skF_21', X2_623, X1_619) | ~down('#skF_21', X2_623, X1_619) | ~barrel('#skF_21', X2_623) | ~present('#skF_21', X2_623) | ~agent('#skF_21', X2_623, Y_622) | ~event('#skF_21', X2_623) | ~lonely('#skF_21', X1_619) | ~street('#skF_21', X1_619) | ~placename('#skF_21', Z_620) | ~hollywood_placename('#skF_21', Z_620) | ~city('#skF_21', X1_619) | ~of('#skF_21', Z_620, X1_619) | ~old('#skF_21', Y_622) | ~dirty('#skF_21', Y_622) | ~white('#skF_21', Y_622) | ~chevy('#skF_21', Y_622) | ~forename('#skF_21', W_625) | ~jules_forename('#skF_21', W_625) | ~man('#skF_21', V_618) | ~of('#skF_21', W_625, V_618) | ~member('#skF_21', '#skF_37'(X3_621, X5_617, '#skF_25', '#skF_21', W_625, X6_626, X1_619, Z_620, Y_622, V_618, X2_623, X4_624), '#skF_30')))).
% 100.69/85.05 tff(c_11123, plain, (![X4_429, X6_422, X5_417, Y_425, X3_416, V_427, Z_424, W_420, X_418, X1_423, X2_428]: (~in('#skF_21', '#skF_35'('#skF_37'(X3_416, X5_417, X_418, '#skF_21', W_420, X6_422, X1_423, Z_424, Y_425, V_427, X2_428, X4_429)), X_418) | ~state('#skF_21', '#skF_34'('#skF_37'(X3_416, X5_417, X_418, '#skF_21', W_420, X6_422, X1_423, Z_424, Y_425, V_427, X2_428, X4_429))) | ~young('#skF_21', '#skF_38'(X3_416, X5_417, X_418, '#skF_21', W_420, X6_422, X1_423, Z_424, Y_425, V_427, X2_428, X4_429)) | ~fellow('#skF_21', '#skF_38'(X3_416, X5_417, X_418, '#skF_21', W_420, X6_422, X1_423, Z_424, Y_425, V_427, X2_428, X4_429)) | member('#skF_21', '#skF_39'(X3_416, X5_417, X_418, '#skF_21', W_420, X6_422, X1_423, Z_424, Y_425, V_427, X2_428, X4_429), X4_429) | member('#skF_21', '#skF_41'(X3_416, X5_417, X_418, '#skF_21', W_420, X6_422, X1_423, Z_424, Y_425, V_427, X2_428, X4_429), X4_429) | ~behind('#skF_21', X6_422, X6_422) | ~be('#skF_21', X5_417, V_427, X6_422) | ~state('#skF_21', X5_417) | ~wheel('#skF_21', X6_422) | ~group('#skF_21', X4_429) | ~group('#skF_21', X3_416) | ~two('#skF_21', X3_416) | ~in('#skF_21', X2_428, X1_423) | ~down('#skF_21', X2_428, X1_423) | ~barrel('#skF_21', X2_428) | ~present('#skF_21', X2_428) | ~agent('#skF_21', X2_428, Y_425) | ~event('#skF_21', X2_428) | ~lonely('#skF_21', X1_423) | ~street('#skF_21', X1_423) | ~placename('#skF_21', Z_424) | ~hollywood_placename('#skF_21', Z_424) | ~city('#skF_21', X1_423) | ~of('#skF_21', Z_424, X1_423) | ~old('#skF_21', Y_425) | ~dirty('#skF_21', Y_425) | ~white('#skF_21', Y_425) | ~chevy('#skF_21', Y_425) | ~frontseat('#skF_21', X_418) | ~forename('#skF_21', W_420) | ~jules_forename('#skF_21', W_420) | ~man('#skF_21', V_427) | ~of('#skF_21', W_420, V_427) | ~member('#skF_21', '#skF_37'(X3_416, X5_417, X_418, '#skF_21', W_420, X6_422, X1_423, Z_424, Y_425, V_427, X2_428, X4_429), '#skF_30')))).
% 100.69/85.05 tff(c_11520, plain, (![Y_249, X2_252, V_246, X9_274, Z_250, X_248, X8_273, X6_256, X3_253, W_247, U_206, X5_255, X1_251, X4_254]: (~in(U_206, X9_274, X_248) | ~be(U_206, X8_273, '#skF_37'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X9_274) | ~state(U_206, X8_273) | member(U_206, '#skF_38'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X3_253) | member(U_206, '#skF_39'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X4_254) | ~cheap(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~black(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~coat(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~behind(U_206, X6_256, X6_256) | ~be(U_206, X5_255, V_246, X6_256) | ~state(U_206, X5_255) | ~wheel(U_206, X6_256) | ~group(U_206, X4_254) | ~group(U_206, X3_253) | ~two(U_206, X3_253) | ~in(U_206, X2_252, X1_251) | ~down(U_206, X2_252, X1_251) | ~barrel(U_206, X2_252) | ~present(U_206, X2_252) | ~agent(U_206, X2_252, Y_249) | ~event(U_206, X2_252) | ~lonely(U_206, X1_251) | ~street(U_206, X1_251) | ~placename(U_206, Z_250) | ~hollywood_placename(U_206, Z_250) | ~city(U_206, X1_251) | ~of(U_206, Z_250, X1_251) | ~old(U_206, Y_249) | ~dirty(U_206, Y_249) | ~white(U_206, Y_249) | ~chevy(U_206, Y_249) | ~frontseat(U_206, X_248) | ~forename(U_206, W_247) | ~jules_forename(U_206, W_247) | ~man(U_206, V_246) | ~of(U_206, W_247, V_246) | ~actual_world(U_206)))).
% 100.69/85.05 tff(c_11512, plain, (![Y_249, X2_252, V_246, X9_274, Z_250, X_248, X8_273, X6_256, X3_253, W_247, U_206, X5_255, X1_251, X4_254]: (~in(U_206, X9_274, X_248) | ~be(U_206, X8_273, '#skF_37'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X9_274) | ~state(U_206, X8_273) | member(U_206, '#skF_38'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X3_253) | member(U_206, '#skF_40'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X3_253) | ~cheap(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~black(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~coat(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~behind(U_206, X6_256, X6_256) | ~be(U_206, X5_255, V_246, X6_256) | ~state(U_206, X5_255) | ~wheel(U_206, X6_256) | ~group(U_206, X4_254) | ~group(U_206, X3_253) | ~two(U_206, X3_253) | ~in(U_206, X2_252, X1_251) | ~down(U_206, X2_252, X1_251) | ~barrel(U_206, X2_252) | ~present(U_206, X2_252) | ~agent(U_206, X2_252, Y_249) | ~event(U_206, X2_252) | ~lonely(U_206, X1_251) | ~street(U_206, X1_251) | ~placename(U_206, Z_250) | ~hollywood_placename(U_206, Z_250) | ~city(U_206, X1_251) | ~of(U_206, Z_250, X1_251) | ~old(U_206, Y_249) | ~dirty(U_206, Y_249) | ~white(U_206, Y_249) | ~chevy(U_206, Y_249) | ~frontseat(U_206, X_248) | ~forename(U_206, W_247) | ~jules_forename(U_206, W_247) | ~man(U_206, V_246) | ~of(U_206, W_247, V_246) | ~actual_world(U_206)))).
% 100.69/85.05 tff(c_11501, plain, (![Y_249, X2_252, V_246, X9_274, Z_250, X_248, X8_273, X13_279, X6_256, X3_253, W_247, U_206, X5_255, X1_251, X4_254]: (~in(U_206, X9_274, X_248) | ~be(U_206, X8_273, '#skF_37'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X9_274) | ~state(U_206, X8_273) | member(U_206, '#skF_38'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X3_253) | ~wear(U_206, X13_279) | ~nonreflexive(U_206, X13_279) | ~present(U_206, X13_279) | ~patient(U_206, X13_279, '#skF_39'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~agent(U_206, X13_279, '#skF_40'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~event(U_206, X13_279) | member(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X4_254) | ~behind(U_206, X6_256, X6_256) | ~be(U_206, X5_255, V_246, X6_256) | ~state(U_206, X5_255) | ~wheel(U_206, X6_256) | ~group(U_206, X4_254) | ~group(U_206, X3_253) | ~two(U_206, X3_253) | ~in(U_206, X2_252, X1_251) | ~down(U_206, X2_252, X1_251) | ~barrel(U_206, X2_252) | ~present(U_206, X2_252) | ~agent(U_206, X2_252, Y_249) | ~event(U_206, X2_252) | ~lonely(U_206, X1_251) | ~street(U_206, X1_251) | ~placename(U_206, Z_250) | ~hollywood_placename(U_206, Z_250) | ~city(U_206, X1_251) | ~of(U_206, Z_250, X1_251) | ~old(U_206, Y_249) | ~dirty(U_206, Y_249) | ~white(U_206, Y_249) | ~chevy(U_206, Y_249) | ~frontseat(U_206, X_248) | ~forename(U_206, W_247) | ~jules_forename(U_206, W_247) | ~man(U_206, V_246) | ~of(U_206, W_247, V_246) | ~actual_world(U_206)))).
% 100.69/85.05 tff(c_11330, plain, (![X_543, X4_552, Y_549, Z_548, W_545, X1_547, V_550, X3_541, X5_542, X2_551]: (member('#skF_1', '#skF_37'(X3_541, X5_542, X_543, '#skF_1', W_545, '#skF_12', X1_547, Z_548, Y_549, V_550, X2_551, X4_552), X3_541) | member('#skF_1', '#skF_38'(X3_541, X5_542, X_543, '#skF_1', W_545, '#skF_12', X1_547, Z_548, Y_549, V_550, X2_551, X4_552), X3_541) | member('#skF_1', '#skF_40'(X3_541, X5_542, X_543, '#skF_1', W_545, '#skF_12', X1_547, Z_548, Y_549, V_550, X2_551, X4_552), X3_541) | ~cheap('#skF_1', '#skF_41'(X3_541, X5_542, X_543, '#skF_1', W_545, '#skF_12', X1_547, Z_548, Y_549, V_550, X2_551, X4_552)) | ~black('#skF_1', '#skF_41'(X3_541, X5_542, X_543, '#skF_1', W_545, '#skF_12', X1_547, Z_548, Y_549, V_550, X2_551, X4_552)) | ~coat('#skF_1', '#skF_41'(X3_541, X5_542, X_543, '#skF_1', W_545, '#skF_12', X1_547, Z_548, Y_549, V_550, X2_551, X4_552)) | ~be('#skF_1', X5_542, V_550, '#skF_12') | ~state('#skF_1', X5_542) | ~group('#skF_1', X4_552) | ~group('#skF_1', X3_541) | ~two('#skF_1', X3_541) | ~in('#skF_1', X2_551, X1_547) | ~down('#skF_1', X2_551, X1_547) | ~barrel('#skF_1', X2_551) | ~present('#skF_1', X2_551) | ~agent('#skF_1', X2_551, Y_549) | ~event('#skF_1', X2_551) | ~lonely('#skF_1', X1_547) | ~street('#skF_1', X1_547) | ~placename('#skF_1', Z_548) | ~hollywood_placename('#skF_1', Z_548) | ~city('#skF_1', X1_547) | ~of('#skF_1', Z_548, X1_547) | ~old('#skF_1', Y_549) | ~dirty('#skF_1', Y_549) | ~white('#skF_1', Y_549) | ~chevy('#skF_1', Y_549) | ~frontseat('#skF_1', X_543) | ~forename('#skF_1', W_545) | ~jules_forename('#skF_1', W_545) | ~man('#skF_1', V_550) | ~of('#skF_1', W_545, V_550)))).
% 100.69/85.05 tff(c_11324, plain, (![Y_249, X2_252, V_246, Z_250, X_248, X6_256, X3_253, W_247, U_206, X5_255, X1_251, X4_254]: (member(U_206, '#skF_37'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X3_253) | member(U_206, '#skF_38'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X3_253) | member(U_206, '#skF_40'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X3_253) | ~cheap(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~black(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~coat(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~behind(U_206, X6_256, X6_256) | ~be(U_206, X5_255, V_246, X6_256) | ~state(U_206, X5_255) | ~wheel(U_206, X6_256) | ~group(U_206, X4_254) | ~group(U_206, X3_253) | ~two(U_206, X3_253) | ~in(U_206, X2_252, X1_251) | ~down(U_206, X2_252, X1_251) | ~barrel(U_206, X2_252) | ~present(U_206, X2_252) | ~agent(U_206, X2_252, Y_249) | ~event(U_206, X2_252) | ~lonely(U_206, X1_251) | ~street(U_206, X1_251) | ~placename(U_206, Z_250) | ~hollywood_placename(U_206, Z_250) | ~city(U_206, X1_251) | ~of(U_206, Z_250, X1_251) | ~old(U_206, Y_249) | ~dirty(U_206, Y_249) | ~white(U_206, Y_249) | ~chevy(U_206, Y_249) | ~frontseat(U_206, X_248) | ~forename(U_206, W_247) | ~jules_forename(U_206, W_247) | ~man(U_206, V_246) | ~of(U_206, W_247, V_246) | ~actual_world(U_206)))).
% 100.69/85.05 tff(c_11320, plain, (![X5_520, X1_525, X_521, X3_519, Y_527, V_528, X2_529, W_523, Z_526, X4_530]: (member('#skF_1', '#skF_37'(X3_519, X5_520, X_521, '#skF_1', W_523, '#skF_12', X1_525, Z_526, Y_527, V_528, X2_529, X4_530), X3_519) | member('#skF_1', '#skF_38'(X3_519, X5_520, X_521, '#skF_1', W_523, '#skF_12', X1_525, Z_526, Y_527, V_528, X2_529, X4_530), X3_519) | member('#skF_1', '#skF_39'(X3_519, X5_520, X_521, '#skF_1', W_523, '#skF_12', X1_525, Z_526, Y_527, V_528, X2_529, X4_530), X4_530) | ~cheap('#skF_1', '#skF_41'(X3_519, X5_520, X_521, '#skF_1', W_523, '#skF_12', X1_525, Z_526, Y_527, V_528, X2_529, X4_530)) | ~black('#skF_1', '#skF_41'(X3_519, X5_520, X_521, '#skF_1', W_523, '#skF_12', X1_525, Z_526, Y_527, V_528, X2_529, X4_530)) | ~coat('#skF_1', '#skF_41'(X3_519, X5_520, X_521, '#skF_1', W_523, '#skF_12', X1_525, Z_526, Y_527, V_528, X2_529, X4_530)) | ~be('#skF_1', X5_520, V_528, '#skF_12') | ~state('#skF_1', X5_520) | ~group('#skF_1', X4_530) | ~group('#skF_1', X3_519) | ~two('#skF_1', X3_519) | ~in('#skF_1', X2_529, X1_525) | ~down('#skF_1', X2_529, X1_525) | ~barrel('#skF_1', X2_529) | ~present('#skF_1', X2_529) | ~agent('#skF_1', X2_529, Y_527) | ~event('#skF_1', X2_529) | ~lonely('#skF_1', X1_525) | ~street('#skF_1', X1_525) | ~placename('#skF_1', Z_526) | ~hollywood_placename('#skF_1', Z_526) | ~city('#skF_1', X1_525) | ~of('#skF_1', Z_526, X1_525) | ~old('#skF_1', Y_527) | ~dirty('#skF_1', Y_527) | ~white('#skF_1', Y_527) | ~chevy('#skF_1', Y_527) | ~frontseat('#skF_1', X_521) | ~forename('#skF_1', W_523) | ~jules_forename('#skF_1', W_523) | ~man('#skF_1', V_528) | ~of('#skF_1', W_523, V_528)))).
% 100.69/85.05 tff(c_11314, plain, (![Y_249, X2_252, V_246, Z_250, X_248, X6_256, X3_253, W_247, U_206, X5_255, X1_251, X4_254]: (member(U_206, '#skF_37'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X3_253) | member(U_206, '#skF_38'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X3_253) | member(U_206, '#skF_39'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X4_254) | ~cheap(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~black(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~coat(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~behind(U_206, X6_256, X6_256) | ~be(U_206, X5_255, V_246, X6_256) | ~state(U_206, X5_255) | ~wheel(U_206, X6_256) | ~group(U_206, X4_254) | ~group(U_206, X3_253) | ~two(U_206, X3_253) | ~in(U_206, X2_252, X1_251) | ~down(U_206, X2_252, X1_251) | ~barrel(U_206, X2_252) | ~present(U_206, X2_252) | ~agent(U_206, X2_252, Y_249) | ~event(U_206, X2_252) | ~lonely(U_206, X1_251) | ~street(U_206, X1_251) | ~placename(U_206, Z_250) | ~hollywood_placename(U_206, Z_250) | ~city(U_206, X1_251) | ~of(U_206, Z_250, X1_251) | ~old(U_206, Y_249) | ~dirty(U_206, Y_249) | ~white(U_206, Y_249) | ~chevy(U_206, Y_249) | ~frontseat(U_206, X_248) | ~forename(U_206, W_247) | ~jules_forename(U_206, W_247) | ~man(U_206, V_246) | ~of(U_206, W_247, V_246) | ~actual_world(U_206)))).
% 100.69/85.05 tff(c_11302, plain, (![Y_249, X2_252, V_246, Z_250, X_248, X13_279, X6_256, X3_253, W_247, U_206, X5_255, X1_251, X4_254]: (member(U_206, '#skF_37'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X3_253) | member(U_206, '#skF_38'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X3_253) | ~wear(U_206, X13_279) | ~nonreflexive(U_206, X13_279) | ~present(U_206, X13_279) | ~patient(U_206, X13_279, '#skF_39'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~agent(U_206, X13_279, '#skF_40'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~event(U_206, X13_279) | member(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X4_254) | ~behind(U_206, X6_256, X6_256) | ~be(U_206, X5_255, V_246, X6_256) | ~state(U_206, X5_255) | ~wheel(U_206, X6_256) | ~group(U_206, X4_254) | ~group(U_206, X3_253) | ~two(U_206, X3_253) | ~in(U_206, X2_252, X1_251) | ~down(U_206, X2_252, X1_251) | ~barrel(U_206, X2_252) | ~present(U_206, X2_252) | ~agent(U_206, X2_252, Y_249) | ~event(U_206, X2_252) | ~lonely(U_206, X1_251) | ~street(U_206, X1_251) | ~placename(U_206, Z_250) | ~hollywood_placename(U_206, Z_250) | ~city(U_206, X1_251) | ~of(U_206, Z_250, X1_251) | ~old(U_206, Y_249) | ~dirty(U_206, Y_249) | ~white(U_206, Y_249) | ~chevy(U_206, Y_249) | ~frontseat(U_206, X_248) | ~forename(U_206, W_247) | ~jules_forename(U_206, W_247) | ~man(U_206, V_246) | ~of(U_206, W_247, V_246) | ~actual_world(U_206)))).
% 100.69/85.05 tff(c_11235, plain, (![X5_487, X4_491, V_488, X6_495, X1_486, Y_494, X3_489, W_492, X2_490, Z_493]: (member('#skF_21', '#skF_38'(X3_489, X5_487, '#skF_25', '#skF_21', W_492, X6_495, X1_486, Z_493, Y_494, V_488, X2_490, X4_491), X3_489) | member('#skF_21', '#skF_40'(X3_489, X5_487, '#skF_25', '#skF_21', W_492, X6_495, X1_486, Z_493, Y_494, V_488, X2_490, X4_491), X3_489) | member('#skF_21', '#skF_41'(X3_489, X5_487, '#skF_25', '#skF_21', W_492, X6_495, X1_486, Z_493, Y_494, V_488, X2_490, X4_491), X4_491) | ~behind('#skF_21', X6_495, X6_495) | ~be('#skF_21', X5_487, V_488, X6_495) | ~state('#skF_21', X5_487) | ~wheel('#skF_21', X6_495) | ~group('#skF_21', X4_491) | ~group('#skF_21', X3_489) | ~two('#skF_21', X3_489) | ~in('#skF_21', X2_490, X1_486) | ~down('#skF_21', X2_490, X1_486) | ~barrel('#skF_21', X2_490) | ~present('#skF_21', X2_490) | ~agent('#skF_21', X2_490, Y_494) | ~event('#skF_21', X2_490) | ~lonely('#skF_21', X1_486) | ~street('#skF_21', X1_486) | ~placename('#skF_21', Z_493) | ~hollywood_placename('#skF_21', Z_493) | ~city('#skF_21', X1_486) | ~of('#skF_21', Z_493, X1_486) | ~old('#skF_21', Y_494) | ~dirty('#skF_21', Y_494) | ~white('#skF_21', Y_494) | ~chevy('#skF_21', Y_494) | ~forename('#skF_21', W_492) | ~jules_forename('#skF_21', W_492) | ~man('#skF_21', V_488) | ~of('#skF_21', W_492, V_488) | ~member('#skF_21', '#skF_37'(X3_489, X5_487, '#skF_25', '#skF_21', W_492, X6_495, X1_486, Z_493, Y_494, V_488, X2_490, X4_491), '#skF_30')))).
% 100.69/85.05 tff(c_10878, plain, (![X2_356, X5_345, V_355, X_346, X3_344, W_348, Y_353, X6_350, X1_351, Z_352, X4_357]: (~in('#skF_21', '#skF_35'('#skF_37'(X3_344, X5_345, X_346, '#skF_21', W_348, X6_350, X1_351, Z_352, Y_353, V_355, X2_356, X4_357)), X_346) | ~state('#skF_21', '#skF_34'('#skF_37'(X3_344, X5_345, X_346, '#skF_21', W_348, X6_350, X1_351, Z_352, Y_353, V_355, X2_356, X4_357))) | member('#skF_21', '#skF_38'(X3_344, X5_345, X_346, '#skF_21', W_348, X6_350, X1_351, Z_352, Y_353, V_355, X2_356, X4_357), X3_344) | member('#skF_21', '#skF_40'(X3_344, X5_345, X_346, '#skF_21', W_348, X6_350, X1_351, Z_352, Y_353, V_355, X2_356, X4_357), X3_344) | member('#skF_21', '#skF_41'(X3_344, X5_345, X_346, '#skF_21', W_348, X6_350, X1_351, Z_352, Y_353, V_355, X2_356, X4_357), X4_357) | ~behind('#skF_21', X6_350, X6_350) | ~be('#skF_21', X5_345, V_355, X6_350) | ~state('#skF_21', X5_345) | ~wheel('#skF_21', X6_350) | ~group('#skF_21', X4_357) | ~group('#skF_21', X3_344) | ~two('#skF_21', X3_344) | ~in('#skF_21', X2_356, X1_351) | ~down('#skF_21', X2_356, X1_351) | ~barrel('#skF_21', X2_356) | ~present('#skF_21', X2_356) | ~agent('#skF_21', X2_356, Y_353) | ~event('#skF_21', X2_356) | ~lonely('#skF_21', X1_351) | ~street('#skF_21', X1_351) | ~placename('#skF_21', Z_352) | ~hollywood_placename('#skF_21', Z_352) | ~city('#skF_21', X1_351) | ~of('#skF_21', Z_352, X1_351) | ~old('#skF_21', Y_353) | ~dirty('#skF_21', Y_353) | ~white('#skF_21', Y_353) | ~chevy('#skF_21', Y_353) | ~frontseat('#skF_21', X_346) | ~forename('#skF_21', W_348) | ~jules_forename('#skF_21', W_348) | ~man('#skF_21', V_355) | ~of('#skF_21', W_348, V_355) | ~member('#skF_21', '#skF_37'(X3_344, X5_345, X_346, '#skF_21', W_348, X6_350, X1_351, Z_352, Y_353, V_355, X2_356, X4_357), '#skF_30')))).
% 100.69/85.05 tff(c_11222, plain, (![X5_457, X6_460, V_456, Y_461, X3_464, X2_462, Z_458, W_459, X4_455, X1_463]: (member('#skF_21', '#skF_38'(X3_464, X5_457, '#skF_25', '#skF_21', W_459, X6_460, X1_463, Z_458, Y_461, V_456, X2_462, X4_455), X3_464) | member('#skF_21', '#skF_39'(X3_464, X5_457, '#skF_25', '#skF_21', W_459, X6_460, X1_463, Z_458, Y_461, V_456, X2_462, X4_455), X4_455) | member('#skF_21', '#skF_41'(X3_464, X5_457, '#skF_25', '#skF_21', W_459, X6_460, X1_463, Z_458, Y_461, V_456, X2_462, X4_455), X4_455) | ~behind('#skF_21', X6_460, X6_460) | ~be('#skF_21', X5_457, V_456, X6_460) | ~state('#skF_21', X5_457) | ~wheel('#skF_21', X6_460) | ~group('#skF_21', X4_455) | ~group('#skF_21', X3_464) | ~two('#skF_21', X3_464) | ~in('#skF_21', X2_462, X1_463) | ~down('#skF_21', X2_462, X1_463) | ~barrel('#skF_21', X2_462) | ~present('#skF_21', X2_462) | ~agent('#skF_21', X2_462, Y_461) | ~event('#skF_21', X2_462) | ~lonely('#skF_21', X1_463) | ~street('#skF_21', X1_463) | ~placename('#skF_21', Z_458) | ~hollywood_placename('#skF_21', Z_458) | ~city('#skF_21', X1_463) | ~of('#skF_21', Z_458, X1_463) | ~old('#skF_21', Y_461) | ~dirty('#skF_21', Y_461) | ~white('#skF_21', Y_461) | ~chevy('#skF_21', Y_461) | ~forename('#skF_21', W_459) | ~jules_forename('#skF_21', W_459) | ~man('#skF_21', V_456) | ~of('#skF_21', W_459, V_456) | ~member('#skF_21', '#skF_37'(X3_464, X5_457, '#skF_25', '#skF_21', W_459, X6_460, X1_463, Z_458, Y_461, V_456, X2_462, X4_455), '#skF_30')))).
% 100.69/85.05 tff(c_10909, plain, (![V_369, X1_365, X6_364, X5_359, X3_358, X4_371, X2_370, W_362, Y_367, Z_366, X_360]: (~in('#skF_21', '#skF_35'('#skF_37'(X3_358, X5_359, X_360, '#skF_21', W_362, X6_364, X1_365, Z_366, Y_367, V_369, X2_370, X4_371)), X_360) | ~state('#skF_21', '#skF_34'('#skF_37'(X3_358, X5_359, X_360, '#skF_21', W_362, X6_364, X1_365, Z_366, Y_367, V_369, X2_370, X4_371))) | member('#skF_21', '#skF_38'(X3_358, X5_359, X_360, '#skF_21', W_362, X6_364, X1_365, Z_366, Y_367, V_369, X2_370, X4_371), X3_358) | member('#skF_21', '#skF_39'(X3_358, X5_359, X_360, '#skF_21', W_362, X6_364, X1_365, Z_366, Y_367, V_369, X2_370, X4_371), X4_371) | member('#skF_21', '#skF_41'(X3_358, X5_359, X_360, '#skF_21', W_362, X6_364, X1_365, Z_366, Y_367, V_369, X2_370, X4_371), X4_371) | ~behind('#skF_21', X6_364, X6_364) | ~be('#skF_21', X5_359, V_369, X6_364) | ~state('#skF_21', X5_359) | ~wheel('#skF_21', X6_364) | ~group('#skF_21', X4_371) | ~group('#skF_21', X3_358) | ~two('#skF_21', X3_358) | ~in('#skF_21', X2_370, X1_365) | ~down('#skF_21', X2_370, X1_365) | ~barrel('#skF_21', X2_370) | ~present('#skF_21', X2_370) | ~agent('#skF_21', X2_370, Y_367) | ~event('#skF_21', X2_370) | ~lonely('#skF_21', X1_365) | ~street('#skF_21', X1_365) | ~placename('#skF_21', Z_366) | ~hollywood_placename('#skF_21', Z_366) | ~city('#skF_21', X1_365) | ~of('#skF_21', Z_366, X1_365) | ~old('#skF_21', Y_367) | ~dirty('#skF_21', Y_367) | ~white('#skF_21', Y_367) | ~chevy('#skF_21', Y_367) | ~frontseat('#skF_21', X_360) | ~forename('#skF_21', W_362) | ~jules_forename('#skF_21', W_362) | ~man('#skF_21', V_369) | ~of('#skF_21', W_362, V_369) | ~member('#skF_21', '#skF_37'(X3_358, X5_359, X_360, '#skF_21', W_362, X6_364, X1_365, Z_366, Y_367, V_369, X2_370, X4_371), '#skF_30')))).
% 100.69/85.05 tff(c_11124, plain, (![Y_249, X2_252, V_246, X9_274, Z_250, X_248, X8_273, X6_256, X3_253, W_247, U_206, X5_255, X1_251, X4_254]: (~in(U_206, X9_274, X_248) | ~be(U_206, X8_273, '#skF_37'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X9_274) | ~state(U_206, X8_273) | ~young(U_206, '#skF_38'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~fellow(U_206, '#skF_38'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | member(U_206, '#skF_40'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X3_253) | member(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X4_254) | ~behind(U_206, X6_256, X6_256) | ~be(U_206, X5_255, V_246, X6_256) | ~state(U_206, X5_255) | ~wheel(U_206, X6_256) | ~group(U_206, X4_254) | ~group(U_206, X3_253) | ~two(U_206, X3_253) | ~in(U_206, X2_252, X1_251) | ~down(U_206, X2_252, X1_251) | ~barrel(U_206, X2_252) | ~present(U_206, X2_252) | ~agent(U_206, X2_252, Y_249) | ~event(U_206, X2_252) | ~lonely(U_206, X1_251) | ~street(U_206, X1_251) | ~placename(U_206, Z_250) | ~hollywood_placename(U_206, Z_250) | ~city(U_206, X1_251) | ~of(U_206, Z_250, X1_251) | ~old(U_206, Y_249) | ~dirty(U_206, Y_249) | ~white(U_206, Y_249) | ~chevy(U_206, Y_249) | ~frontseat(U_206, X_248) | ~forename(U_206, W_247) | ~jules_forename(U_206, W_247) | ~man(U_206, V_246) | ~of(U_206, W_247, V_246) | ~actual_world(U_206)))).
% 100.69/85.05 tff(c_11116, plain, (![Y_249, X2_252, V_246, X9_274, Z_250, X_248, X8_273, X6_256, X3_253, W_247, U_206, X5_255, X1_251, X4_254]: (~in(U_206, X9_274, X_248) | ~be(U_206, X8_273, '#skF_37'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X9_274) | ~state(U_206, X8_273) | ~young(U_206, '#skF_38'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~fellow(U_206, '#skF_38'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | member(U_206, '#skF_39'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X4_254) | member(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X4_254) | ~behind(U_206, X6_256, X6_256) | ~be(U_206, X5_255, V_246, X6_256) | ~state(U_206, X5_255) | ~wheel(U_206, X6_256) | ~group(U_206, X4_254) | ~group(U_206, X3_253) | ~two(U_206, X3_253) | ~in(U_206, X2_252, X1_251) | ~down(U_206, X2_252, X1_251) | ~barrel(U_206, X2_252) | ~present(U_206, X2_252) | ~agent(U_206, X2_252, Y_249) | ~event(U_206, X2_252) | ~lonely(U_206, X1_251) | ~street(U_206, X1_251) | ~placename(U_206, Z_250) | ~hollywood_placename(U_206, Z_250) | ~city(U_206, X1_251) | ~of(U_206, Z_250, X1_251) | ~old(U_206, Y_249) | ~dirty(U_206, Y_249) | ~white(U_206, Y_249) | ~chevy(U_206, Y_249) | ~frontseat(U_206, X_248) | ~forename(U_206, W_247) | ~jules_forename(U_206, W_247) | ~man(U_206, V_246) | ~of(U_206, W_247, V_246) | ~actual_world(U_206)))).
% 100.69/85.05 tff(c_10998, plain, (![X3_394, Y_402, V_403, X1_400, X2_404, W_398, Z_401, X_396, X5_395, X4_405]: (member('#skF_1', '#skF_37'(X3_394, X5_395, X_396, '#skF_1', W_398, '#skF_12', X1_400, Z_401, Y_402, V_403, X2_404, X4_405), X3_394) | ~young('#skF_1', '#skF_38'(X3_394, X5_395, X_396, '#skF_1', W_398, '#skF_12', X1_400, Z_401, Y_402, V_403, X2_404, X4_405)) | ~fellow('#skF_1', '#skF_38'(X3_394, X5_395, X_396, '#skF_1', W_398, '#skF_12', X1_400, Z_401, Y_402, V_403, X2_404, X4_405)) | member('#skF_1', '#skF_39'(X3_394, X5_395, X_396, '#skF_1', W_398, '#skF_12', X1_400, Z_401, Y_402, V_403, X2_404, X4_405), X4_405) | member('#skF_1', '#skF_41'(X3_394, X5_395, X_396, '#skF_1', W_398, '#skF_12', X1_400, Z_401, Y_402, V_403, X2_404, X4_405), X4_405) | ~be('#skF_1', X5_395, V_403, '#skF_12') | ~state('#skF_1', X5_395) | ~group('#skF_1', X4_405) | ~group('#skF_1', X3_394) | ~two('#skF_1', X3_394) | ~in('#skF_1', X2_404, X1_400) | ~down('#skF_1', X2_404, X1_400) | ~barrel('#skF_1', X2_404) | ~present('#skF_1', X2_404) | ~agent('#skF_1', X2_404, Y_402) | ~event('#skF_1', X2_404) | ~lonely('#skF_1', X1_400) | ~street('#skF_1', X1_400) | ~placename('#skF_1', Z_401) | ~hollywood_placename('#skF_1', Z_401) | ~city('#skF_1', X1_400) | ~of('#skF_1', Z_401, X1_400) | ~old('#skF_1', Y_402) | ~dirty('#skF_1', Y_402) | ~white('#skF_1', Y_402) | ~chevy('#skF_1', Y_402) | ~frontseat('#skF_1', X_396) | ~forename('#skF_1', W_398) | ~jules_forename('#skF_1', W_398) | ~man('#skF_1', V_403) | ~of('#skF_1', W_398, V_403)))).
% 100.69/85.06 tff(c_10992, plain, (![Y_249, X2_252, V_246, Z_250, X_248, X6_256, X3_253, W_247, U_206, X5_255, X1_251, X4_254]: (member(U_206, '#skF_37'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X3_253) | ~young(U_206, '#skF_38'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~fellow(U_206, '#skF_38'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | member(U_206, '#skF_39'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X4_254) | member(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X4_254) | ~behind(U_206, X6_256, X6_256) | ~be(U_206, X5_255, V_246, X6_256) | ~state(U_206, X5_255) | ~wheel(U_206, X6_256) | ~group(U_206, X4_254) | ~group(U_206, X3_253) | ~two(U_206, X3_253) | ~in(U_206, X2_252, X1_251) | ~down(U_206, X2_252, X1_251) | ~barrel(U_206, X2_252) | ~present(U_206, X2_252) | ~agent(U_206, X2_252, Y_249) | ~event(U_206, X2_252) | ~lonely(U_206, X1_251) | ~street(U_206, X1_251) | ~placename(U_206, Z_250) | ~hollywood_placename(U_206, Z_250) | ~city(U_206, X1_251) | ~of(U_206, Z_250, X1_251) | ~old(U_206, Y_249) | ~dirty(U_206, Y_249) | ~white(U_206, Y_249) | ~chevy(U_206, Y_249) | ~frontseat(U_206, X_248) | ~forename(U_206, W_247) | ~jules_forename(U_206, W_247) | ~man(U_206, V_246) | ~of(U_206, W_247, V_246) | ~actual_world(U_206)))).
% 100.69/85.06 tff(c_10990, plain, (![Y_380, X3_372, X4_383, X1_378, X_374, X5_373, Z_379, X2_382, V_381, W_376]: (member('#skF_1', '#skF_37'(X3_372, X5_373, X_374, '#skF_1', W_376, '#skF_12', X1_378, Z_379, Y_380, V_381, X2_382, X4_383), X3_372) | ~young('#skF_1', '#skF_38'(X3_372, X5_373, X_374, '#skF_1', W_376, '#skF_12', X1_378, Z_379, Y_380, V_381, X2_382, X4_383)) | ~fellow('#skF_1', '#skF_38'(X3_372, X5_373, X_374, '#skF_1', W_376, '#skF_12', X1_378, Z_379, Y_380, V_381, X2_382, X4_383)) | member('#skF_1', '#skF_40'(X3_372, X5_373, X_374, '#skF_1', W_376, '#skF_12', X1_378, Z_379, Y_380, V_381, X2_382, X4_383), X3_372) | member('#skF_1', '#skF_41'(X3_372, X5_373, X_374, '#skF_1', W_376, '#skF_12', X1_378, Z_379, Y_380, V_381, X2_382, X4_383), X4_383) | ~be('#skF_1', X5_373, V_381, '#skF_12') | ~state('#skF_1', X5_373) | ~group('#skF_1', X4_383) | ~group('#skF_1', X3_372) | ~two('#skF_1', X3_372) | ~in('#skF_1', X2_382, X1_378) | ~down('#skF_1', X2_382, X1_378) | ~barrel('#skF_1', X2_382) | ~present('#skF_1', X2_382) | ~agent('#skF_1', X2_382, Y_380) | ~event('#skF_1', X2_382) | ~lonely('#skF_1', X1_378) | ~street('#skF_1', X1_378) | ~placename('#skF_1', Z_379) | ~hollywood_placename('#skF_1', Z_379) | ~city('#skF_1', X1_378) | ~of('#skF_1', Z_379, X1_378) | ~old('#skF_1', Y_380) | ~dirty('#skF_1', Y_380) | ~white('#skF_1', Y_380) | ~chevy('#skF_1', Y_380) | ~frontseat('#skF_1', X_374) | ~forename('#skF_1', W_376) | ~jules_forename('#skF_1', W_376) | ~man('#skF_1', V_381) | ~of('#skF_1', W_376, V_381)))).
% 100.69/85.06 tff(c_10984, plain, (![Y_249, X2_252, V_246, Z_250, X_248, X6_256, X3_253, W_247, U_206, X5_255, X1_251, X4_254]: (member(U_206, '#skF_37'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X3_253) | ~young(U_206, '#skF_38'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | ~fellow(U_206, '#skF_38'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254)) | member(U_206, '#skF_40'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X3_253) | member(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X4_254) | ~behind(U_206, X6_256, X6_256) | ~be(U_206, X5_255, V_246, X6_256) | ~state(U_206, X5_255) | ~wheel(U_206, X6_256) | ~group(U_206, X4_254) | ~group(U_206, X3_253) | ~two(U_206, X3_253) | ~in(U_206, X2_252, X1_251) | ~down(U_206, X2_252, X1_251) | ~barrel(U_206, X2_252) | ~present(U_206, X2_252) | ~agent(U_206, X2_252, Y_249) | ~event(U_206, X2_252) | ~lonely(U_206, X1_251) | ~street(U_206, X1_251) | ~placename(U_206, Z_250) | ~hollywood_placename(U_206, Z_250) | ~city(U_206, X1_251) | ~of(U_206, Z_250, X1_251) | ~old(U_206, Y_249) | ~dirty(U_206, Y_249) | ~white(U_206, Y_249) | ~chevy(U_206, Y_249) | ~frontseat(U_206, X_248) | ~forename(U_206, W_247) | ~jules_forename(U_206, W_247) | ~man(U_206, V_246) | ~of(U_206, W_247, V_246) | ~actual_world(U_206)))).
% 100.69/85.06 tff(c_10902, plain, (![Y_249, X2_252, V_246, X9_274, Z_250, X_248, X8_273, X6_256, X3_253, W_247, U_206, X5_255, X1_251, X4_254]: (~in(U_206, X9_274, X_248) | ~be(U_206, X8_273, '#skF_37'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X9_274) | ~state(U_206, X8_273) | member(U_206, '#skF_38'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X3_253) | member(U_206, '#skF_39'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X4_254) | member(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X4_254) | ~behind(U_206, X6_256, X6_256) | ~be(U_206, X5_255, V_246, X6_256) | ~state(U_206, X5_255) | ~wheel(U_206, X6_256) | ~group(U_206, X4_254) | ~group(U_206, X3_253) | ~two(U_206, X3_253) | ~in(U_206, X2_252, X1_251) | ~down(U_206, X2_252, X1_251) | ~barrel(U_206, X2_252) | ~present(U_206, X2_252) | ~agent(U_206, X2_252, Y_249) | ~event(U_206, X2_252) | ~lonely(U_206, X1_251) | ~street(U_206, X1_251) | ~placename(U_206, Z_250) | ~hollywood_placename(U_206, Z_250) | ~city(U_206, X1_251) | ~of(U_206, Z_250, X1_251) | ~old(U_206, Y_249) | ~dirty(U_206, Y_249) | ~white(U_206, Y_249) | ~chevy(U_206, Y_249) | ~frontseat(U_206, X_248) | ~forename(U_206, W_247) | ~jules_forename(U_206, W_247) | ~man(U_206, V_246) | ~of(U_206, W_247, V_246) | ~actual_world(U_206)))).
% 100.69/85.06 tff(c_10871, plain, (![Y_249, X2_252, V_246, X9_274, Z_250, X_248, X8_273, X6_256, X3_253, W_247, U_206, X5_255, X1_251, X4_254]: (~in(U_206, X9_274, X_248) | ~be(U_206, X8_273, '#skF_37'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X9_274) | ~state(U_206, X8_273) | member(U_206, '#skF_38'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X3_253) | member(U_206, '#skF_40'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X3_253) | member(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X4_254) | ~behind(U_206, X6_256, X6_256) | ~be(U_206, X5_255, V_246, X6_256) | ~state(U_206, X5_255) | ~wheel(U_206, X6_256) | ~group(U_206, X4_254) | ~group(U_206, X3_253) | ~two(U_206, X3_253) | ~in(U_206, X2_252, X1_251) | ~down(U_206, X2_252, X1_251) | ~barrel(U_206, X2_252) | ~present(U_206, X2_252) | ~agent(U_206, X2_252, Y_249) | ~event(U_206, X2_252) | ~lonely(U_206, X1_251) | ~street(U_206, X1_251) | ~placename(U_206, Z_250) | ~hollywood_placename(U_206, Z_250) | ~city(U_206, X1_251) | ~of(U_206, Z_250, X1_251) | ~old(U_206, Y_249) | ~dirty(U_206, Y_249) | ~white(U_206, Y_249) | ~chevy(U_206, Y_249) | ~frontseat(U_206, X_248) | ~forename(U_206, W_247) | ~jules_forename(U_206, W_247) | ~man(U_206, V_246) | ~of(U_206, W_247, V_246) | ~actual_world(U_206)))).
% 100.69/85.06 tff(c_10774, plain, (![X4_333, X5_323, X_324, V_331, X3_322, Z_329, X1_328, Y_330, X2_332, W_326]: (member('#skF_1', '#skF_37'(X3_322, X5_323, X_324, '#skF_1', W_326, '#skF_12', X1_328, Z_329, Y_330, V_331, X2_332, X4_333), X3_322) | member('#skF_1', '#skF_38'(X3_322, X5_323, X_324, '#skF_1', W_326, '#skF_12', X1_328, Z_329, Y_330, V_331, X2_332, X4_333), X3_322) | member('#skF_1', '#skF_39'(X3_322, X5_323, X_324, '#skF_1', W_326, '#skF_12', X1_328, Z_329, Y_330, V_331, X2_332, X4_333), X4_333) | member('#skF_1', '#skF_41'(X3_322, X5_323, X_324, '#skF_1', W_326, '#skF_12', X1_328, Z_329, Y_330, V_331, X2_332, X4_333), X4_333) | ~be('#skF_1', X5_323, V_331, '#skF_12') | ~state('#skF_1', X5_323) | ~group('#skF_1', X4_333) | ~group('#skF_1', X3_322) | ~two('#skF_1', X3_322) | ~in('#skF_1', X2_332, X1_328) | ~down('#skF_1', X2_332, X1_328) | ~barrel('#skF_1', X2_332) | ~present('#skF_1', X2_332) | ~agent('#skF_1', X2_332, Y_330) | ~event('#skF_1', X2_332) | ~lonely('#skF_1', X1_328) | ~street('#skF_1', X1_328) | ~placename('#skF_1', Z_329) | ~hollywood_placename('#skF_1', Z_329) | ~city('#skF_1', X1_328) | ~of('#skF_1', Z_329, X1_328) | ~old('#skF_1', Y_330) | ~dirty('#skF_1', Y_330) | ~white('#skF_1', Y_330) | ~chevy('#skF_1', Y_330) | ~frontseat('#skF_1', X_324) | ~forename('#skF_1', W_326) | ~jules_forename('#skF_1', W_326) | ~man('#skF_1', V_331) | ~of('#skF_1', W_326, V_331)))).
% 100.69/85.06 tff(c_10768, plain, (![Y_249, X2_252, V_246, Z_250, X_248, X6_256, X3_253, W_247, U_206, X5_255, X1_251, X4_254]: (member(U_206, '#skF_37'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X3_253) | member(U_206, '#skF_38'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X3_253) | member(U_206, '#skF_39'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X4_254) | member(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X4_254) | ~behind(U_206, X6_256, X6_256) | ~be(U_206, X5_255, V_246, X6_256) | ~state(U_206, X5_255) | ~wheel(U_206, X6_256) | ~group(U_206, X4_254) | ~group(U_206, X3_253) | ~two(U_206, X3_253) | ~in(U_206, X2_252, X1_251) | ~down(U_206, X2_252, X1_251) | ~barrel(U_206, X2_252) | ~present(U_206, X2_252) | ~agent(U_206, X2_252, Y_249) | ~event(U_206, X2_252) | ~lonely(U_206, X1_251) | ~street(U_206, X1_251) | ~placename(U_206, Z_250) | ~hollywood_placename(U_206, Z_250) | ~city(U_206, X1_251) | ~of(U_206, Z_250, X1_251) | ~old(U_206, Y_249) | ~dirty(U_206, Y_249) | ~white(U_206, Y_249) | ~chevy(U_206, Y_249) | ~frontseat(U_206, X_248) | ~forename(U_206, W_247) | ~jules_forename(U_206, W_247) | ~man(U_206, V_246) | ~of(U_206, W_247, V_246) | ~actual_world(U_206)))).
% 100.69/85.06 tff(c_10765, plain, (![X4_311, X5_301, V_309, X_302, X3_300, Z_307, Y_308, X1_306, W_304, X2_310]: (member('#skF_1', '#skF_37'(X3_300, X5_301, X_302, '#skF_1', W_304, '#skF_12', X1_306, Z_307, Y_308, V_309, X2_310, X4_311), X3_300) | member('#skF_1', '#skF_38'(X3_300, X5_301, X_302, '#skF_1', W_304, '#skF_12', X1_306, Z_307, Y_308, V_309, X2_310, X4_311), X3_300) | member('#skF_1', '#skF_40'(X3_300, X5_301, X_302, '#skF_1', W_304, '#skF_12', X1_306, Z_307, Y_308, V_309, X2_310, X4_311), X3_300) | member('#skF_1', '#skF_41'(X3_300, X5_301, X_302, '#skF_1', W_304, '#skF_12', X1_306, Z_307, Y_308, V_309, X2_310, X4_311), X4_311) | ~be('#skF_1', X5_301, V_309, '#skF_12') | ~state('#skF_1', X5_301) | ~group('#skF_1', X4_311) | ~group('#skF_1', X3_300) | ~two('#skF_1', X3_300) | ~in('#skF_1', X2_310, X1_306) | ~down('#skF_1', X2_310, X1_306) | ~barrel('#skF_1', X2_310) | ~present('#skF_1', X2_310) | ~agent('#skF_1', X2_310, Y_308) | ~event('#skF_1', X2_310) | ~lonely('#skF_1', X1_306) | ~street('#skF_1', X1_306) | ~placename('#skF_1', Z_307) | ~hollywood_placename('#skF_1', Z_307) | ~city('#skF_1', X1_306) | ~of('#skF_1', Z_307, X1_306) | ~old('#skF_1', Y_308) | ~dirty('#skF_1', Y_308) | ~white('#skF_1', Y_308) | ~chevy('#skF_1', Y_308) | ~frontseat('#skF_1', X_302) | ~forename('#skF_1', W_304) | ~jules_forename('#skF_1', W_304) | ~man('#skF_1', V_309) | ~of('#skF_1', W_304, V_309)))).
% 100.69/85.06 tff(c_10759, plain, (![Y_249, X2_252, V_246, Z_250, X_248, X6_256, X3_253, W_247, U_206, X5_255, X1_251, X4_254]: (member(U_206, '#skF_37'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X3_253) | member(U_206, '#skF_38'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X3_253) | member(U_206, '#skF_40'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X3_253) | member(U_206, '#skF_41'(X3_253, X5_255, X_248, U_206, W_247, X6_256, X1_251, Z_250, Y_249, V_246, X2_252, X4_254), X4_254) | ~behind(U_206, X6_256, X6_256) | ~be(U_206, X5_255, V_246, X6_256) | ~state(U_206, X5_255) | ~wheel(U_206, X6_256) | ~group(U_206, X4_254) | ~group(U_206, X3_253) | ~two(U_206, X3_253) | ~in(U_206, X2_252, X1_251) | ~down(U_206, X2_252, X1_251) | ~barrel(U_206, X2_252) | ~present(U_206, X2_252) | ~agent(U_206, X2_252, Y_249) | ~event(U_206, X2_252) | ~lonely(U_206, X1_251) | ~street(U_206, X1_251) | ~placename(U_206, Z_250) | ~hollywood_placename(U_206, Z_250) | ~city(U_206, X1_251) | ~of(U_206, Z_250, X1_251) | ~old(U_206, Y_249) | ~dirty(U_206, Y_249) | ~white(U_206, Y_249) | ~chevy(U_206, Y_249) | ~frontseat(U_206, X_248) | ~forename(U_206, W_247) | ~jules_forename(U_206, W_247) | ~man(U_206, V_246) | ~of(U_206, W_247, V_246) | ~actual_world(U_206)))).
% 100.69/85.06 tff(c_10659, plain, (![X32_199, X33_203]: (patient('#skF_21', '#skF_36'(X32_199, X33_203), X32_199) | ~member('#skF_21', X33_203, '#skF_30') | ~member('#skF_21', X32_199, '#skF_31')))).
% 100.69/85.06 tff(c_10656, plain, (![X32_199, X33_203]: (agent('#skF_21', '#skF_36'(X32_199, X33_203), X33_203) | ~member('#skF_21', X33_203, '#skF_30') | ~member('#skF_21', X32_199, '#skF_31')))).
% 100.69/85.06 tff(c_10654, plain, (![X32_199, X33_203]: (wear('#skF_21', '#skF_36'(X32_199, X33_203)) | ~member('#skF_21', X33_203, '#skF_30') | ~member('#skF_21', X32_199, '#skF_31')))).
% 100.69/85.06 tff(c_10652, plain, (![X32_199, X33_203]: (nonreflexive('#skF_21', '#skF_36'(X32_199, X33_203)) | ~member('#skF_21', X33_203, '#skF_30') | ~member('#skF_21', X32_199, '#skF_31')))).
% 100.69/85.06 tff(c_10650, plain, (![X32_199, X33_203]: (event('#skF_21', '#skF_36'(X32_199, X33_203)) | ~member('#skF_21', X33_203, '#skF_30') | ~member('#skF_21', X32_199, '#skF_31')))).
% 100.69/85.06 tff(c_10648, plain, (![X32_199, X33_203]: (present('#skF_21', '#skF_36'(X32_199, X33_203)) | ~member('#skF_21', X33_203, '#skF_30') | ~member('#skF_21', X32_199, '#skF_31')))).
% 100.69/85.06 tff(c_10616, plain, (![X28_195]: (be('#skF_21', '#skF_34'(X28_195), X28_195, '#skF_35'(X28_195)) | ~member('#skF_21', X28_195, '#skF_30')))).
% 100.69/85.06 tff(c_10368, plain, (![X28_195]: (in('#skF_21', '#skF_35'(X28_195), '#skF_25') | ~member('#skF_21', X28_195, '#skF_30')))).
% 100.69/85.06 tff(c_10290, plain, (![X28_195]: (state('#skF_21', '#skF_34'(X28_195)) | ~member('#skF_21', X28_195, '#skF_30')))).
% 100.69/85.06 tff(c_10244, plain, (![X35_205]: (cheap('#skF_21', X35_205) | ~member('#skF_21', X35_205, '#skF_31')))).
% 100.69/85.06 tff(c_10241, plain, (![X35_205]: (black('#skF_21', X35_205) | ~member('#skF_21', X35_205, '#skF_31')))).
% 100.69/85.06 tff(c_10236, plain, (![X31_198]: (fellow('#skF_21', X31_198) | ~member('#skF_21', X31_198, '#skF_30')))).
% 100.69/85.06 tff(c_10232, plain, (![X35_205]: (coat('#skF_21', X35_205) | ~member('#skF_21', X35_205, '#skF_31')))).
% 100.69/85.06 tff(c_10228, plain, (![X31_198]: (young('#skF_21', X31_198) | ~member('#skF_21', X31_198, '#skF_30')))).
% 100.69/85.06 tff(c_10149, plain, (be('#skF_1', '#skF_11', '#skF_2', '#skF_12'))).
% 100.69/85.06 tff(c_10067, plain, (of('#skF_1', '#skF_6', '#skF_7'))).
% 100.69/85.06 tff(c_10059, plain, (of('#skF_1', '#skF_3', '#skF_2'))).
% 100.69/85.06 tff(c_10056, plain, (down('#skF_1', '#skF_8', '#skF_7'))).
% 100.69/85.06 tff(c_10053, plain, (in('#skF_1', '#skF_8', '#skF_7'))).
% 100.69/85.06 tff(c_10050, plain, (agent('#skF_1', '#skF_8', '#skF_5'))).
% 100.69/85.06 tff(c_10045, plain, (behind('#skF_1', '#skF_12', '#skF_12'))).
% 100.69/85.06 tff(c_9887, plain, (frontseat('#skF_1', '#skF_4'))).
% 100.69/85.06 tff(c_9886, plain, (dirty('#skF_1', '#skF_5'))).
% 100.69/85.06 tff(c_9881, plain, (jules_forename('#skF_1', '#skF_3'))).
% 100.69/85.06 tff(c_9879, plain, (white('#skF_1', '#skF_5'))).
% 100.69/85.06 tff(c_9876, plain, (man('#skF_1', '#skF_2'))).
% 100.69/85.06 tff(c_9874, plain, (forename('#skF_1', '#skF_3'))).
% 100.69/85.06 tff(c_9872, plain, (hollywood_placename('#skF_1', '#skF_6'))).
% 100.69/85.06 tff(c_9869, plain, (chevy('#skF_1', '#skF_5'))).
% 100.69/85.06 tff(c_9866, plain, (old('#skF_1', '#skF_5'))).
% 100.69/85.06 tff(c_9865, plain, (city('#skF_1', '#skF_7'))).
% 100.69/85.06 tff(c_9861, plain, (placename('#skF_1', '#skF_6'))).
% 100.69/85.06 tff(c_9860, plain, (event('#skF_1', '#skF_8'))).
% 100.69/85.06 tff(c_9857, plain, (street('#skF_1', '#skF_7'))).
% 100.69/85.06 tff(c_9856, plain, (lonely('#skF_1', '#skF_7'))).
% 100.69/85.06 tff(c_9854, plain, (present('#skF_1', '#skF_8'))).
% 100.69/85.06 tff(c_9853, plain, (two('#skF_1', '#skF_9'))).
% 100.69/85.06 tff(c_9852, plain, (barrel('#skF_1', '#skF_8'))).
% 100.69/85.06 tff(c_9846, plain, (group('#skF_1', '#skF_9'))).
% 100.69/85.06 tff(c_9845, plain, (wheel('#skF_1', '#skF_12'))).
% 100.69/85.06 tff(c_9843, plain, (state('#skF_1', '#skF_11'))).
% 100.69/85.06 tff(c_9841, plain, (group('#skF_1', '#skF_10'))).
% 100.69/85.06 tff(c_9807, plain, (actual_world('#skF_1'))).
% 100.69/85.06 tff(c_9626, plain, (be('#skF_21', '#skF_32', '#skF_22', '#skF_33'))).
% 100.69/85.06 tff(c_9274, plain, (agent('#skF_21', '#skF_29', '#skF_26'))).
% 100.69/85.06 tff(c_9225, plain, (behind('#skF_21', '#skF_33', '#skF_24'))).
% 100.69/85.06 tff(c_9212, plain, (in('#skF_21', '#skF_29', '#skF_28'))).
% 100.69/85.06 tff(c_9194, plain, (down('#skF_21', '#skF_29', '#skF_28'))).
% 100.77/85.06 tff(c_9145, plain, (of('#skF_21', '#skF_27', '#skF_28'))).
% 100.77/85.06 tff(c_9118, plain, (of('#skF_21', '#skF_23', '#skF_22'))).
% 100.77/85.06 tff(c_9019, plain, (wheel('#skF_21', '#skF_24'))).
% 100.77/85.06 tff(c_9017, plain, (state('#skF_21', '#skF_32'))).
% 100.77/85.06 tff(c_9013, plain, (old('#skF_21', '#skF_26'))).
% 100.77/85.06 tff(c_9011, plain, (two('#skF_21', '#skF_30'))).
% 100.77/85.06 tff(c_9007, plain, (man('#skF_21', '#skF_22'))).
% 100.77/85.06 tff(c_9005, plain, (present('#skF_21', '#skF_29'))).
% 100.77/85.06 tff(c_9003, plain, (barrel('#skF_21', '#skF_29'))).
% 100.77/85.06 tff(c_9001, plain, (frontseat('#skF_21', '#skF_25'))).
% 100.77/85.06 tff(c_8999, plain, (group('#skF_21', '#skF_31'))).
% 100.77/85.06 tff(c_8997, plain, (jules_forename('#skF_21', '#skF_23'))).
% 100.77/85.06 tff(c_8996, plain, (city('#skF_21', '#skF_28'))).
% 100.77/85.06 tff(c_8994, plain, (dirty('#skF_21', '#skF_26'))).
% 100.77/85.06 tff(c_8993, plain, (placename('#skF_21', '#skF_27'))).
% 100.77/85.06 tff(c_8992, plain, (group('#skF_21', '#skF_30'))).
% 100.77/85.06 tff(c_8991, plain, (hollywood_placename('#skF_21', '#skF_27'))).
% 100.77/85.06 tff(c_8990, plain, (event('#skF_21', '#skF_29'))).
% 100.77/85.06 tff(c_8988, plain, (forename('#skF_21', '#skF_23'))).
% 100.77/85.06 tff(c_8987, plain, (white('#skF_21', '#skF_26'))).
% 100.77/85.06 tff(c_8986, plain, (lonely('#skF_21', '#skF_28'))).
% 100.77/85.06 tff(c_8984, plain, (chevy('#skF_21', '#skF_26'))).
% 100.77/85.06 tff(c_8983, plain, (street('#skF_21', '#skF_28'))).
% 100.77/85.06 tff(c_8979, plain, (actual_world('#skF_21'))).
% 100.77/85.06 % SZS output end Saturation for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 100.77/85.06
%------------------------------------------------------------------------------