%------------------------------------------------------------------------------
% File : Beagle---0.9.52
% Problem : NLP218+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 : n025.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:38 PM UTC 2025
% Result : CounterSatisfiable 11.53s 3.49s
% Output : Assurance 0s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.06/0.11 % Problem : NLP218+1 : TPTP v9.0.0. Released v2.4.0.
% 0.06/0.12 % Command : java -Dfile.encoding=UTF-8 -Xms512M -Xmx4G -Xss10M -jar /export/starexec/sandbox2/solver/bin/beagle.jar -auto -q -proof -print tff -smtsolver /export/starexec/sandbox2/solver/bin/cvc4-1.4-x86_64-linux-opt -liasolver cooper -t %d %s
% 0.13/0.33 % Computer : n025.cluster.edu
% 0.13/0.33 % Model : x86_64 x86_64
% 0.13/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.33 % Memory : 8042.1875MB
% 0.13/0.33 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.33 % CPULimit : 300
% 0.13/0.33 % WCLimit : 300
% 0.13/0.33 % DateTime : Tue Apr 8 09:25:50 EDT 2025
% 0.13/0.33 % CPUTime :
% 11.53/3.48
% 11.53/3.49 % SZS status CounterSatisfiable for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 11.53/3.49
% 11.53/3.49 % SZS output start Saturation for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 11.53/3.50 %$ be > patient > of > member > in > down > behind > agent > young > white > wheel > wear > way > vehicle > unisex > two > transport > thing > street > state > specific > singleton > set > seat > relname > relation > present > placename > organism > old > object > nonreflexive > nonliving > nonhuman > nonexistent > multiple > man > male > lonely > location > living > jules_forename > instrumentality > impartial > human_person > human > hollywood_placename > group > general > furniture > frontseat > forename > fellow > existent > eventuality > event > entity > dirty > device > coat > clothes > city > chevy > cheap > car > black > barrel > artifact > animate > abstraction > actual_world > #nlpp > #skF_16 > #skF_17 > #skF_18 > #skF_7 > #skF_3 > #skF_13 > #skF_10 > #skF_5 > #skF_6 > #skF_9 > #skF_8 > #skF_15 > #skF_4 > #skF_11 > #skF_2 > #skF_14 > #skF_12 > #skF_1
% 11.53/3.50
% 11.53/3.50 %Foreground sorts:
% 11.53/3.50
% 11.53/3.50
% 11.53/3.50 %Background operators:
% 11.53/3.50
% 11.53/3.50
% 11.53/3.50 %Foreground operators:
% 11.53/3.50 tff(nonliving, type, nonliving: ($i * $i) > $o).
% 11.53/3.50 tff('#skF_16', type, '#skF_16': ($i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i) > $i).
% 11.53/3.50 tff(cheap, type, cheap: ($i * $i) > $o).
% 11.53/3.50 tff(wear, type, wear: ($i * $i) > $o).
% 11.53/3.50 tff(two, type, two: ($i * $i) > $o).
% 11.53/3.50 tff(relation, type, relation: ($i * $i) > $o).
% 11.53/3.50 tff(frontseat, type, frontseat: ($i * $i) > $o).
% 11.53/3.50 tff(placename, type, placename: ($i * $i) > $o).
% 11.53/3.50 tff(member, type, member: ($i * $i * $i) > $o).
% 11.53/3.50 tff(forename, type, forename: ($i * $i) > $o).
% 11.53/3.50 tff(be, type, be: ($i * $i * $i * $i) > $o).
% 11.53/3.50 tff(wheel, type, wheel: ($i * $i) > $o).
% 11.53/3.50 tff(living, type, living: ($i * $i) > $o).
% 11.53/3.50 tff(black, type, black: ($i * $i) > $o).
% 11.53/3.50 tff('#skF_17', type, '#skF_17': ($i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i) > $i).
% 11.53/3.50 tff(human_person, type, human_person: ($i * $i) > $o).
% 11.53/3.50 tff(present, type, present: ($i * $i) > $o).
% 11.53/3.50 tff(seat, type, seat: ($i * $i) > $o).
% 11.53/3.50 tff(in, type, in: ($i * $i * $i) > $o).
% 11.53/3.50 tff(old, type, old: ($i * $i) > $o).
% 11.53/3.50 tff(dirty, type, dirty: ($i * $i) > $o).
% 11.53/3.50 tff(behind, type, behind: ($i * $i * $i) > $o).
% 11.53/3.50 tff(entity, type, entity: ($i * $i) > $o).
% 11.53/3.50 tff(city, type, city: ($i * $i) > $o).
% 11.53/3.50 tff(eventuality, type, eventuality: ($i * $i) > $o).
% 11.53/3.50 tff('#skF_18', type, '#skF_18': ($i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i) > $i).
% 11.53/3.50 tff(existent, type, existent: ($i * $i) > $o).
% 11.53/3.50 tff(abstraction, type, abstraction: ($i * $i) > $o).
% 11.53/3.50 tff(relname, type, relname: ($i * $i) > $o).
% 11.53/3.50 tff(singleton, type, singleton: ($i * $i) > $o).
% 11.53/3.50 tff(young, type, young: ($i * $i) > $o).
% 11.53/3.50 tff(male, type, male: ($i * $i) > $o).
% 11.53/3.50 tff(multiple, type, multiple: ($i * $i) > $o).
% 11.53/3.50 tff(organism, type, organism: ($i * $i) > $o).
% 11.53/3.50 tff(animate, type, animate: ($i * $i) > $o).
% 11.53/3.50 tff(of, type, of: ($i * $i * $i) > $o).
% 11.53/3.50 tff('#skF_7', type, '#skF_7': $i).
% 11.53/3.50 tff(location, type, location: ($i * $i) > $o).
% 11.53/3.50 tff('#skF_3', type, '#skF_3': ($i * $i) > $i).
% 11.53/3.50 tff('#skF_13', type, '#skF_13': ($i * $i) > $i).
% 11.53/3.50 tff(actual_world, type, actual_world: $i > $o).
% 11.53/3.50 tff(agent, type, agent: ($i * $i * $i) > $o).
% 11.53/3.50 tff('#skF_10', type, '#skF_10': $i).
% 11.53/3.50 tff(instrumentality, type, instrumentality: ($i * $i) > $o).
% 11.53/3.50 tff('#skF_5', type, '#skF_5': $i).
% 11.53/3.50 tff(group, type, group: ($i * $i) > $o).
% 11.53/3.50 tff(device, type, device: ($i * $i) > $o).
% 11.53/3.50 tff(artifact, type, artifact: ($i * $i) > $o).
% 11.53/3.50 tff(lonely, type, lonely: ($i * $i) > $o).
% 11.53/3.50 tff(jules_forename, type, jules_forename: ($i * $i) > $o).
% 11.53/3.50 tff(fellow, type, fellow: ($i * $i) > $o).
% 11.53/3.50 tff(general, type, general: ($i * $i) > $o).
% 11.53/3.50 tff('#skF_6', type, '#skF_6': $i).
% 11.53/3.50 tff(nonhuman, type, nonhuman: ($i * $i) > $o).
% 11.53/3.50 tff(event, type, event: ($i * $i) > $o).
% 11.53/3.50 tff(down, type, down: ($i * $i * $i) > $o).
% 11.53/3.50 tff(patient, type, patient: ($i * $i * $i) > $o).
% 11.53/3.50 tff(hollywood_placename, type, hollywood_placename: ($i * $i) > $o).
% 11.53/3.50 tff(white, type, white: ($i * $i) > $o).
% 11.53/3.50 tff(transport, type, transport: ($i * $i) > $o).
% 11.53/3.50 tff(clothes, type, clothes: ($i * $i) > $o).
% 11.53/3.50 tff('#skF_9', type, '#skF_9': $i).
% 11.53/3.50 tff(nonexistent, type, nonexistent: ($i * $i) > $o).
% 11.53/3.50 tff(barrel, type, barrel: ($i * $i) > $o).
% 11.53/3.50 tff(state, type, state: ($i * $i) > $o).
% 11.53/3.50 tff(thing, type, thing: ($i * $i) > $o).
% 11.53/3.50 tff(street, type, street: ($i * $i) > $o).
% 11.53/3.50 tff('#skF_8', type, '#skF_8': $i).
% 11.53/3.50 tff(human, type, human: ($i * $i) > $o).
% 11.53/3.50 tff(man, type, man: ($i * $i) > $o).
% 11.53/3.50 tff('#skF_15', type, '#skF_15': ($i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i) > $i).
% 11.53/3.50 tff(car, type, car: ($i * $i) > $o).
% 11.53/3.50 tff(furniture, type, furniture: ($i * $i) > $o).
% 11.53/3.50 tff('#skF_4', type, '#skF_4': $i).
% 11.53/3.50 tff(unisex, type, unisex: ($i * $i) > $o).
% 11.53/3.50 tff('#skF_11', type, '#skF_11': $i > $i).
% 11.53/3.50 tff(set, type, set: ($i * $i) > $o).
% 11.53/3.50 tff('#skF_2', type, '#skF_2': ($i * $i) > $i).
% 11.53/3.50 tff(impartial, type, impartial: ($i * $i) > $o).
% 11.53/3.50 tff(object, type, object: ($i * $i) > $o).
% 11.53/3.50 tff('#skF_14', type, '#skF_14': ($i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i) > $i).
% 11.53/3.50 tff(nonreflexive, type, nonreflexive: ($i * $i) > $o).
% 11.53/3.50 tff(chevy, type, chevy: ($i * $i) > $o).
% 11.53/3.50 tff(specific, type, specific: ($i * $i) > $o).
% 11.53/3.50 tff('#skF_12', type, '#skF_12': $i > $i).
% 11.53/3.50 tff('#skF_1', type, '#skF_1': ($i * $i * $i * $i) > $i).
% 11.53/3.50 tff(coat, type, coat: ($i * $i) > $o).
% 11.53/3.50 tff(vehicle, type, vehicle: ($i * $i) > $o).
% 11.53/3.50 tff(way, type, way: ($i * $i) > $o).
% 11.53/3.50
% 11.53/3.50 %Saturated clause set:
% 11.53/3.50 tff(c_1896, plain, (![X14_1770, W_1772, Y_1769, X13_1773, X11_1767, X1_1774, X12_1771, Z_1775, V_1768]: (~young('#skF_4', '#skF_15'(X1_1774, X12_1771, X11_1767, '#skF_7', X13_1773, X14_1770, Z_1775, Y_1769, V_1768, W_1772, '#skF_4')) | ~fellow('#skF_4', '#skF_15'(X1_1774, X12_1771, X11_1767, '#skF_7', X13_1773, X14_1770, Z_1775, Y_1769, V_1768, W_1772, '#skF_4')) | ~cheap('#skF_4', '#skF_18'(X1_1774, X12_1771, X11_1767, '#skF_7', X13_1773, X14_1770, Z_1775, Y_1769, V_1768, W_1772, '#skF_4')) | ~black('#skF_4', '#skF_18'(X1_1774, X12_1771, X11_1767, '#skF_7', X13_1773, X14_1770, Z_1775, Y_1769, V_1768, W_1772, '#skF_4')) | ~coat('#skF_4', '#skF_18'(X1_1774, X12_1771, X11_1767, '#skF_7', X13_1773, X14_1770, Z_1775, Y_1769, V_1768, W_1772, '#skF_4')) | ~behind('#skF_4', X14_1770, X14_1770) | ~be('#skF_4', X13_1773, X11_1767, X14_1770) | ~state('#skF_4', X13_1773) | ~wheel('#skF_4', X14_1770) | ~group('#skF_4', X1_1774) | ~group('#skF_4', Z_1775) | ~two('#skF_4', Z_1775) | ~in('#skF_4', Y_1769, '#skF_7') | ~down('#skF_4', Y_1769, '#skF_7') | ~barrel('#skF_4', Y_1769) | ~present('#skF_4', Y_1769) | ~agent('#skF_4', Y_1769, V_1768) | ~event('#skF_4', Y_1769) | ~placename('#skF_4', W_1772) | ~hollywood_placename('#skF_4', W_1772) | ~of('#skF_4', W_1772, '#skF_7') | ~old('#skF_4', V_1768) | ~dirty('#skF_4', V_1768) | ~white('#skF_4', V_1768) | ~chevy('#skF_4', V_1768) | ~forename('#skF_4', X12_1771) | ~jules_forename('#skF_4', X12_1771) | ~man('#skF_4', X11_1767) | ~of('#skF_4', X12_1771, X11_1767) | ~member('#skF_4', '#skF_14'(X1_1774, X12_1771, X11_1767, '#skF_7', X13_1773, X14_1770, Z_1775, Y_1769, V_1768, W_1772, '#skF_4'), '#skF_9') | ~member('#skF_4', '#skF_17'(X1_1774, X12_1771, X11_1767, '#skF_7', X13_1773, X14_1770, Z_1775, Y_1769, V_1768, W_1772, '#skF_4'), '#skF_9') | ~member('#skF_4', '#skF_16'(X1_1774, X12_1771, X11_1767, '#skF_7', X13_1773, X14_1770, Z_1775, Y_1769, V_1768, W_1772, '#skF_4'), '#skF_10')))).
% 11.53/3.50 tff(c_1871, plain, (![W_1721, X13_1722, X14_1723, X1_1725, X11_1727, V_1729, X12_1726, Z_1728, X_1720, Y_1724]: (member('#skF_4', '#skF_14'(X1_1725, X12_1726, X11_1727, X_1720, X13_1722, X14_1723, Z_1728, Y_1724, V_1729, W_1721, '#skF_4'), Z_1728) | ~young('#skF_4', '#skF_15'(X1_1725, X12_1726, X11_1727, X_1720, X13_1722, X14_1723, Z_1728, Y_1724, V_1729, W_1721, '#skF_4')) | ~fellow('#skF_4', '#skF_15'(X1_1725, X12_1726, X11_1727, X_1720, X13_1722, X14_1723, Z_1728, Y_1724, V_1729, W_1721, '#skF_4')) | ~cheap('#skF_4', '#skF_18'(X1_1725, X12_1726, X11_1727, X_1720, X13_1722, X14_1723, Z_1728, Y_1724, V_1729, W_1721, '#skF_4')) | ~black('#skF_4', '#skF_18'(X1_1725, X12_1726, X11_1727, X_1720, X13_1722, X14_1723, Z_1728, Y_1724, V_1729, W_1721, '#skF_4')) | ~coat('#skF_4', '#skF_18'(X1_1725, X12_1726, X11_1727, X_1720, X13_1722, X14_1723, Z_1728, Y_1724, V_1729, W_1721, '#skF_4')) | ~behind('#skF_4', X14_1723, X14_1723) | ~be('#skF_4', X13_1722, X11_1727, X14_1723) | ~state('#skF_4', X13_1722) | ~wheel('#skF_4', X14_1723) | ~group('#skF_4', X1_1725) | ~group('#skF_4', Z_1728) | ~two('#skF_4', Z_1728) | ~in('#skF_4', Y_1724, X_1720) | ~down('#skF_4', Y_1724, X_1720) | ~barrel('#skF_4', Y_1724) | ~present('#skF_4', Y_1724) | ~agent('#skF_4', Y_1724, V_1729) | ~event('#skF_4', Y_1724) | ~lonely('#skF_4', X_1720) | ~street('#skF_4', X_1720) | ~placename('#skF_4', W_1721) | ~hollywood_placename('#skF_4', W_1721) | ~city('#skF_4', X_1720) | ~of('#skF_4', W_1721, X_1720) | ~old('#skF_4', V_1729) | ~dirty('#skF_4', V_1729) | ~white('#skF_4', V_1729) | ~chevy('#skF_4', V_1729) | ~frontseat('#skF_4', X_1720) | ~forename('#skF_4', X12_1726) | ~jules_forename('#skF_4', X12_1726) | ~man('#skF_4', X11_1727) | ~of('#skF_4', X12_1726, X11_1727) | ~member('#skF_4', '#skF_17'(X1_1725, X12_1726, X11_1727, X_1720, X13_1722, X14_1723, Z_1728, Y_1724, V_1729, W_1721, '#skF_4'), '#skF_9') | ~member('#skF_4', '#skF_16'(X1_1725, X12_1726, X11_1727, X_1720, X13_1722, X14_1723, Z_1728, Y_1724, V_1729, W_1721, '#skF_4'), '#skF_10')))).
% 11.53/3.50 tff(c_1851, plain, (![X1_1690, Z_1686, Y_1687, W_1682, V_1685, X14_1683, X13_1688, X12_1684, X11_1689]: (member('#skF_4', '#skF_15'(X1_1690, X12_1684, X11_1689, '#skF_7', X13_1688, X14_1683, Z_1686, Y_1687, V_1685, W_1682, '#skF_4'), Z_1686) | ~cheap('#skF_4', '#skF_18'(X1_1690, X12_1684, X11_1689, '#skF_7', X13_1688, X14_1683, Z_1686, Y_1687, V_1685, W_1682, '#skF_4')) | ~black('#skF_4', '#skF_18'(X1_1690, X12_1684, X11_1689, '#skF_7', X13_1688, X14_1683, Z_1686, Y_1687, V_1685, W_1682, '#skF_4')) | ~coat('#skF_4', '#skF_18'(X1_1690, X12_1684, X11_1689, '#skF_7', X13_1688, X14_1683, Z_1686, Y_1687, V_1685, W_1682, '#skF_4')) | ~behind('#skF_4', X14_1683, X14_1683) | ~be('#skF_4', X13_1688, X11_1689, X14_1683) | ~state('#skF_4', X13_1688) | ~wheel('#skF_4', X14_1683) | ~group('#skF_4', X1_1690) | ~group('#skF_4', Z_1686) | ~two('#skF_4', Z_1686) | ~in('#skF_4', Y_1687, '#skF_7') | ~down('#skF_4', Y_1687, '#skF_7') | ~barrel('#skF_4', Y_1687) | ~present('#skF_4', Y_1687) | ~agent('#skF_4', Y_1687, V_1685) | ~event('#skF_4', Y_1687) | ~placename('#skF_4', W_1682) | ~hollywood_placename('#skF_4', W_1682) | ~of('#skF_4', W_1682, '#skF_7') | ~old('#skF_4', V_1685) | ~dirty('#skF_4', V_1685) | ~white('#skF_4', V_1685) | ~chevy('#skF_4', V_1685) | ~forename('#skF_4', X12_1684) | ~jules_forename('#skF_4', X12_1684) | ~man('#skF_4', X11_1689) | ~of('#skF_4', X12_1684, X11_1689) | ~member('#skF_4', '#skF_14'(X1_1690, X12_1684, X11_1689, '#skF_7', X13_1688, X14_1683, Z_1686, Y_1687, V_1685, W_1682, '#skF_4'), '#skF_9') | ~member('#skF_4', '#skF_17'(X1_1690, X12_1684, X11_1689, '#skF_7', X13_1688, X14_1683, Z_1686, Y_1687, V_1685, W_1682, '#skF_4'), '#skF_9') | ~member('#skF_4', '#skF_16'(X1_1690, X12_1684, X11_1689, '#skF_7', X13_1688, X14_1683, Z_1686, Y_1687, V_1685, W_1682, '#skF_4'), '#skF_10')))).
% 11.53/3.50 tff(c_1821, plain, (![Y_1626, X11_1627, X13_1628, Z_1631, X14_1625, V_1629, X_1634, W_1632, X12_1630, X1_1633]: (member('#skF_4', '#skF_14'(X1_1633, X12_1630, X11_1627, X_1634, X13_1628, X14_1625, Z_1631, Y_1626, V_1629, W_1632, '#skF_4'), Z_1631) | member('#skF_4', '#skF_15'(X1_1633, X12_1630, X11_1627, X_1634, X13_1628, X14_1625, Z_1631, Y_1626, V_1629, W_1632, '#skF_4'), Z_1631) | ~cheap('#skF_4', '#skF_18'(X1_1633, X12_1630, X11_1627, X_1634, X13_1628, X14_1625, Z_1631, Y_1626, V_1629, W_1632, '#skF_4')) | ~black('#skF_4', '#skF_18'(X1_1633, X12_1630, X11_1627, X_1634, X13_1628, X14_1625, Z_1631, Y_1626, V_1629, W_1632, '#skF_4')) | ~coat('#skF_4', '#skF_18'(X1_1633, X12_1630, X11_1627, X_1634, X13_1628, X14_1625, Z_1631, Y_1626, V_1629, W_1632, '#skF_4')) | ~behind('#skF_4', X14_1625, X14_1625) | ~be('#skF_4', X13_1628, X11_1627, X14_1625) | ~state('#skF_4', X13_1628) | ~wheel('#skF_4', X14_1625) | ~group('#skF_4', X1_1633) | ~group('#skF_4', Z_1631) | ~two('#skF_4', Z_1631) | ~in('#skF_4', Y_1626, X_1634) | ~down('#skF_4', Y_1626, X_1634) | ~barrel('#skF_4', Y_1626) | ~present('#skF_4', Y_1626) | ~agent('#skF_4', Y_1626, V_1629) | ~event('#skF_4', Y_1626) | ~lonely('#skF_4', X_1634) | ~street('#skF_4', X_1634) | ~placename('#skF_4', W_1632) | ~hollywood_placename('#skF_4', W_1632) | ~city('#skF_4', X_1634) | ~of('#skF_4', W_1632, X_1634) | ~old('#skF_4', V_1629) | ~dirty('#skF_4', V_1629) | ~white('#skF_4', V_1629) | ~chevy('#skF_4', V_1629) | ~frontseat('#skF_4', X_1634) | ~forename('#skF_4', X12_1630) | ~jules_forename('#skF_4', X12_1630) | ~man('#skF_4', X11_1627) | ~of('#skF_4', X12_1630, X11_1627) | ~member('#skF_4', '#skF_17'(X1_1633, X12_1630, X11_1627, X_1634, X13_1628, X14_1625, Z_1631, Y_1626, V_1629, W_1632, '#skF_4'), '#skF_9') | ~member('#skF_4', '#skF_16'(X1_1633, X12_1630, X11_1627, X_1634, X13_1628, X14_1625, Z_1631, Y_1626, V_1629, W_1632, '#skF_4'), '#skF_10')))).
% 11.53/3.51 tff(c_1796, plain, (![Y_1583, X1_1578, Z_1579, X12_1582, X_1580, V_1577, X14_1584, W_1575, X11_1581, X13_1576]: (member('#skF_4', '#skF_14'(X1_1578, X12_1582, X11_1581, X_1580, X13_1576, X14_1584, Z_1579, Y_1583, V_1577, W_1575, '#skF_4'), Z_1579) | ~young('#skF_4', '#skF_15'(X1_1578, X12_1582, X11_1581, X_1580, X13_1576, X14_1584, Z_1579, Y_1583, V_1577, W_1575, '#skF_4')) | ~fellow('#skF_4', '#skF_15'(X1_1578, X12_1582, X11_1581, X_1580, X13_1576, X14_1584, Z_1579, Y_1583, V_1577, W_1575, '#skF_4')) | member('#skF_4', '#skF_18'(X1_1578, X12_1582, X11_1581, X_1580, X13_1576, X14_1584, Z_1579, Y_1583, V_1577, W_1575, '#skF_4'), X1_1578) | ~behind('#skF_4', X14_1584, X14_1584) | ~be('#skF_4', X13_1576, X11_1581, X14_1584) | ~state('#skF_4', X13_1576) | ~wheel('#skF_4', X14_1584) | ~group('#skF_4', X1_1578) | ~group('#skF_4', Z_1579) | ~two('#skF_4', Z_1579) | ~in('#skF_4', Y_1583, X_1580) | ~down('#skF_4', Y_1583, X_1580) | ~barrel('#skF_4', Y_1583) | ~present('#skF_4', Y_1583) | ~agent('#skF_4', Y_1583, V_1577) | ~event('#skF_4', Y_1583) | ~lonely('#skF_4', X_1580) | ~street('#skF_4', X_1580) | ~placename('#skF_4', W_1575) | ~hollywood_placename('#skF_4', W_1575) | ~city('#skF_4', X_1580) | ~of('#skF_4', W_1575, X_1580) | ~old('#skF_4', V_1577) | ~dirty('#skF_4', V_1577) | ~white('#skF_4', V_1577) | ~chevy('#skF_4', V_1577) | ~frontseat('#skF_4', X_1580) | ~forename('#skF_4', X12_1582) | ~jules_forename('#skF_4', X12_1582) | ~man('#skF_4', X11_1581) | ~of('#skF_4', X12_1582, X11_1581) | ~member('#skF_4', '#skF_17'(X1_1578, X12_1582, X11_1581, X_1580, X13_1576, X14_1584, Z_1579, Y_1583, V_1577, W_1575, '#skF_4'), '#skF_9') | ~member('#skF_4', '#skF_16'(X1_1578, X12_1582, X11_1581, X_1580, X13_1576, X14_1584, Z_1579, Y_1583, V_1577, W_1575, '#skF_4'), '#skF_10')))).
% 11.53/3.51 tff(c_1771, plain, (![X13_1534, V_1531, X11_1530, W_1532, X14_1527, Y_1533, X1_1529, Z_1528, X12_1535]: (~young('#skF_4', '#skF_15'(X1_1529, X12_1535, X11_1530, '#skF_7', X13_1534, X14_1527, Z_1528, Y_1533, V_1531, W_1532, '#skF_4')) | ~fellow('#skF_4', '#skF_15'(X1_1529, X12_1535, X11_1530, '#skF_7', X13_1534, X14_1527, Z_1528, Y_1533, V_1531, W_1532, '#skF_4')) | member('#skF_4', '#skF_18'(X1_1529, X12_1535, X11_1530, '#skF_7', X13_1534, X14_1527, Z_1528, Y_1533, V_1531, W_1532, '#skF_4'), X1_1529) | ~behind('#skF_4', X14_1527, X14_1527) | ~be('#skF_4', X13_1534, X11_1530, X14_1527) | ~state('#skF_4', X13_1534) | ~wheel('#skF_4', X14_1527) | ~group('#skF_4', X1_1529) | ~group('#skF_4', Z_1528) | ~two('#skF_4', Z_1528) | ~in('#skF_4', Y_1533, '#skF_7') | ~down('#skF_4', Y_1533, '#skF_7') | ~barrel('#skF_4', Y_1533) | ~present('#skF_4', Y_1533) | ~agent('#skF_4', Y_1533, V_1531) | ~event('#skF_4', Y_1533) | ~placename('#skF_4', W_1532) | ~hollywood_placename('#skF_4', W_1532) | ~of('#skF_4', W_1532, '#skF_7') | ~old('#skF_4', V_1531) | ~dirty('#skF_4', V_1531) | ~white('#skF_4', V_1531) | ~chevy('#skF_4', V_1531) | ~forename('#skF_4', X12_1535) | ~jules_forename('#skF_4', X12_1535) | ~man('#skF_4', X11_1530) | ~of('#skF_4', X12_1535, X11_1530) | ~member('#skF_4', '#skF_14'(X1_1529, X12_1535, X11_1530, '#skF_7', X13_1534, X14_1527, Z_1528, Y_1533, V_1531, W_1532, '#skF_4'), '#skF_9') | ~member('#skF_4', '#skF_17'(X1_1529, X12_1535, X11_1530, '#skF_7', X13_1534, X14_1527, Z_1528, Y_1533, V_1531, W_1532, '#skF_4'), '#skF_9') | ~member('#skF_4', '#skF_16'(X1_1529, X12_1535, X11_1530, '#skF_7', X13_1534, X14_1527, Z_1528, Y_1533, V_1531, W_1532, '#skF_4'), '#skF_10')))).
% 11.61/3.51 tff(c_1444, plain, (![X11_934, V_940, Z_938, Y_939, X1_931, X12_933, X_935, X7_234, X13_936, X14_937, W_941]: (member('#skF_4', '#skF_14'(X1_931, X12_933, X11_934, X_935, X13_936, X14_937, Z_938, Y_939, V_940, W_941, '#skF_4'), Z_938) | ~young('#skF_4', '#skF_15'(X1_931, X12_933, X11_934, X_935, X13_936, X14_937, Z_938, Y_939, V_940, W_941, '#skF_4')) | ~fellow('#skF_4', '#skF_15'(X1_931, X12_933, X11_934, X_935, X13_936, X14_937, Z_938, Y_939, V_940, W_941, '#skF_4')) | ~wear('#skF_4', '#skF_13'('#skF_16'(X1_931, X12_933, X11_934, X_935, X13_936, X14_937, Z_938, Y_939, V_940, W_941, '#skF_4'), X7_234)) | ~nonreflexive('#skF_4', '#skF_13'('#skF_16'(X1_931, X12_933, X11_934, X_935, X13_936, X14_937, Z_938, Y_939, V_940, W_941, '#skF_4'), X7_234)) | ~present('#skF_4', '#skF_13'('#skF_16'(X1_931, X12_933, X11_934, X_935, X13_936, X14_937, Z_938, Y_939, V_940, W_941, '#skF_4'), X7_234)) | ~agent('#skF_4', '#skF_13'('#skF_16'(X1_931, X12_933, X11_934, X_935, X13_936, X14_937, Z_938, Y_939, V_940, W_941, '#skF_4'), X7_234), '#skF_17'(X1_931, X12_933, X11_934, X_935, X13_936, X14_937, Z_938, Y_939, V_940, W_941, '#skF_4')) | ~event('#skF_4', '#skF_13'('#skF_16'(X1_931, X12_933, X11_934, X_935, X13_936, X14_937, Z_938, Y_939, V_940, W_941, '#skF_4'), X7_234)) | ~cheap('#skF_4', '#skF_18'(X1_931, X12_933, X11_934, X_935, X13_936, X14_937, Z_938, Y_939, V_940, W_941, '#skF_4')) | ~black('#skF_4', '#skF_18'(X1_931, X12_933, X11_934, X_935, X13_936, X14_937, Z_938, Y_939, V_940, W_941, '#skF_4')) | ~coat('#skF_4', '#skF_18'(X1_931, X12_933, X11_934, X_935, X13_936, X14_937, Z_938, Y_939, V_940, W_941, '#skF_4')) | ~behind('#skF_4', X14_937, X14_937) | ~be('#skF_4', X13_936, X11_934, X14_937) | ~state('#skF_4', X13_936) | ~wheel('#skF_4', X14_937) | ~group('#skF_4', X1_931) | ~group('#skF_4', Z_938) | ~two('#skF_4', Z_938) | ~in('#skF_4', Y_939, X_935) | ~down('#skF_4', Y_939, X_935) | ~barrel('#skF_4', Y_939) | ~present('#skF_4', Y_939) | ~agent('#skF_4', Y_939, V_940) | ~event('#skF_4', Y_939) | ~lonely('#skF_4', X_935) | ~street('#skF_4', X_935) | ~placename('#skF_4', W_941) | ~hollywood_placename('#skF_4', W_941) | ~city('#skF_4', X_935) | ~of('#skF_4', W_941, X_935) | ~old('#skF_4', V_940) | ~dirty('#skF_4', V_940) | ~white('#skF_4', V_940) | ~chevy('#skF_4', V_940) | ~frontseat('#skF_4', X_935) | ~forename('#skF_4', X12_933) | ~jules_forename('#skF_4', X12_933) | ~man('#skF_4', X11_934) | ~of('#skF_4', X12_933, X11_934) | ~member('#skF_4', X7_234, '#skF_9') | ~member('#skF_4', '#skF_16'(X1_931, X12_933, X11_934, X_935, X13_936, X14_937, Z_938, Y_939, V_940, W_941, '#skF_4'), '#skF_10')))).
% 11.61/3.51 tff(c_1668, plain, (![X1_1346, Z_1342, V_1347, X12_1349, Y_1351, W_1348, X11_1344, X13_1350, X7_234, X14_1345]: (~young('#skF_4', '#skF_15'(X1_1346, X12_1349, X11_1344, '#skF_7', X13_1350, X14_1345, Z_1342, Y_1351, V_1347, W_1348, '#skF_4')) | ~fellow('#skF_4', '#skF_15'(X1_1346, X12_1349, X11_1344, '#skF_7', X13_1350, X14_1345, Z_1342, Y_1351, V_1347, W_1348, '#skF_4')) | ~wear('#skF_4', '#skF_13'('#skF_16'(X1_1346, X12_1349, X11_1344, '#skF_7', X13_1350, X14_1345, Z_1342, Y_1351, V_1347, W_1348, '#skF_4'), X7_234)) | ~nonreflexive('#skF_4', '#skF_13'('#skF_16'(X1_1346, X12_1349, X11_1344, '#skF_7', X13_1350, X14_1345, Z_1342, Y_1351, V_1347, W_1348, '#skF_4'), X7_234)) | ~present('#skF_4', '#skF_13'('#skF_16'(X1_1346, X12_1349, X11_1344, '#skF_7', X13_1350, X14_1345, Z_1342, Y_1351, V_1347, W_1348, '#skF_4'), X7_234)) | ~agent('#skF_4', '#skF_13'('#skF_16'(X1_1346, X12_1349, X11_1344, '#skF_7', X13_1350, X14_1345, Z_1342, Y_1351, V_1347, W_1348, '#skF_4'), X7_234), '#skF_17'(X1_1346, X12_1349, X11_1344, '#skF_7', X13_1350, X14_1345, Z_1342, Y_1351, V_1347, W_1348, '#skF_4')) | ~event('#skF_4', '#skF_13'('#skF_16'(X1_1346, X12_1349, X11_1344, '#skF_7', X13_1350, X14_1345, Z_1342, Y_1351, V_1347, W_1348, '#skF_4'), X7_234)) | ~cheap('#skF_4', '#skF_18'(X1_1346, X12_1349, X11_1344, '#skF_7', X13_1350, X14_1345, Z_1342, Y_1351, V_1347, W_1348, '#skF_4')) | ~black('#skF_4', '#skF_18'(X1_1346, X12_1349, X11_1344, '#skF_7', X13_1350, X14_1345, Z_1342, Y_1351, V_1347, W_1348, '#skF_4')) | ~coat('#skF_4', '#skF_18'(X1_1346, X12_1349, X11_1344, '#skF_7', X13_1350, X14_1345, Z_1342, Y_1351, V_1347, W_1348, '#skF_4')) | ~behind('#skF_4', X14_1345, X14_1345) | ~be('#skF_4', X13_1350, X11_1344, X14_1345) | ~state('#skF_4', X13_1350) | ~wheel('#skF_4', X14_1345) | ~group('#skF_4', X1_1346) | ~group('#skF_4', Z_1342) | ~two('#skF_4', Z_1342) | ~in('#skF_4', Y_1351, '#skF_7') | ~down('#skF_4', Y_1351, '#skF_7') | ~barrel('#skF_4', Y_1351) | ~present('#skF_4', Y_1351) | ~agent('#skF_4', Y_1351, V_1347) | ~event('#skF_4', Y_1351) | ~placename('#skF_4', W_1348) | ~hollywood_placename('#skF_4', W_1348) | ~of('#skF_4', W_1348, '#skF_7') | ~old('#skF_4', V_1347) | ~dirty('#skF_4', V_1347) | ~white('#skF_4', V_1347) | ~chevy('#skF_4', V_1347) | ~forename('#skF_4', X12_1349) | ~jules_forename('#skF_4', X12_1349) | ~man('#skF_4', X11_1344) | ~of('#skF_4', X12_1349, X11_1344) | ~member('#skF_4', '#skF_14'(X1_1346, X12_1349, X11_1344, '#skF_7', X13_1350, X14_1345, Z_1342, Y_1351, V_1347, W_1348, '#skF_4'), '#skF_9') | ~member('#skF_4', X7_234, '#skF_9') | ~member('#skF_4', '#skF_16'(X1_1346, X12_1349, X11_1344, '#skF_7', X13_1350, X14_1345, Z_1342, Y_1351, V_1347, W_1348, '#skF_4'), '#skF_10')))).
% 11.61/3.51 tff(c_1734, plain, (![Z_1465, X14_1459, V_1467, X11_1463, W_1460, X13_1462, Y_1466, X12_1461, X1_1464, X_1468]: (member('#skF_4', '#skF_14'(X1_1464, X12_1461, X11_1463, X_1468, X13_1462, X14_1459, Z_1465, Y_1466, V_1467, W_1460, '#skF_4'), Z_1465) | member('#skF_4', '#skF_15'(X1_1464, X12_1461, X11_1463, X_1468, X13_1462, X14_1459, Z_1465, Y_1466, V_1467, W_1460, '#skF_4'), Z_1465) | member('#skF_4', '#skF_18'(X1_1464, X12_1461, X11_1463, X_1468, X13_1462, X14_1459, Z_1465, Y_1466, V_1467, W_1460, '#skF_4'), X1_1464) | ~behind('#skF_4', X14_1459, X14_1459) | ~be('#skF_4', X13_1462, X11_1463, X14_1459) | ~state('#skF_4', X13_1462) | ~wheel('#skF_4', X14_1459) | ~group('#skF_4', X1_1464) | ~group('#skF_4', Z_1465) | ~two('#skF_4', Z_1465) | ~in('#skF_4', Y_1466, X_1468) | ~down('#skF_4', Y_1466, X_1468) | ~barrel('#skF_4', Y_1466) | ~present('#skF_4', Y_1466) | ~agent('#skF_4', Y_1466, V_1467) | ~event('#skF_4', Y_1466) | ~lonely('#skF_4', X_1468) | ~street('#skF_4', X_1468) | ~placename('#skF_4', W_1460) | ~hollywood_placename('#skF_4', W_1460) | ~city('#skF_4', X_1468) | ~of('#skF_4', W_1460, X_1468) | ~old('#skF_4', V_1467) | ~dirty('#skF_4', V_1467) | ~white('#skF_4', V_1467) | ~chevy('#skF_4', V_1467) | ~frontseat('#skF_4', X_1468) | ~forename('#skF_4', X12_1461) | ~jules_forename('#skF_4', X12_1461) | ~man('#skF_4', X11_1463) | ~of('#skF_4', X12_1461, X11_1463) | ~member('#skF_4', '#skF_17'(X1_1464, X12_1461, X11_1463, X_1468, X13_1462, X14_1459, Z_1465, Y_1466, V_1467, W_1460, '#skF_4'), '#skF_9') | ~member('#skF_4', '#skF_16'(X1_1464, X12_1461, X11_1463, X_1468, X13_1462, X14_1459, Z_1465, Y_1466, V_1467, W_1460, '#skF_4'), '#skF_10')))).
% 11.61/3.51 tff(c_1382, plain, (![Z_906, W_909, X13_904, X_903, X1_899, X12_901, X7_234, X11_902, X14_905, V_908, Y_907]: (member('#skF_4', '#skF_14'(X1_899, X12_901, X11_902, X_903, X13_904, X14_905, Z_906, Y_907, V_908, W_909, '#skF_4'), Z_906) | member('#skF_4', '#skF_15'(X1_899, X12_901, X11_902, X_903, X13_904, X14_905, Z_906, Y_907, V_908, W_909, '#skF_4'), Z_906) | ~wear('#skF_4', '#skF_13'('#skF_16'(X1_899, X12_901, X11_902, X_903, X13_904, X14_905, Z_906, Y_907, V_908, W_909, '#skF_4'), X7_234)) | ~nonreflexive('#skF_4', '#skF_13'('#skF_16'(X1_899, X12_901, X11_902, X_903, X13_904, X14_905, Z_906, Y_907, V_908, W_909, '#skF_4'), X7_234)) | ~present('#skF_4', '#skF_13'('#skF_16'(X1_899, X12_901, X11_902, X_903, X13_904, X14_905, Z_906, Y_907, V_908, W_909, '#skF_4'), X7_234)) | ~agent('#skF_4', '#skF_13'('#skF_16'(X1_899, X12_901, X11_902, X_903, X13_904, X14_905, Z_906, Y_907, V_908, W_909, '#skF_4'), X7_234), '#skF_17'(X1_899, X12_901, X11_902, X_903, X13_904, X14_905, Z_906, Y_907, V_908, W_909, '#skF_4')) | ~event('#skF_4', '#skF_13'('#skF_16'(X1_899, X12_901, X11_902, X_903, X13_904, X14_905, Z_906, Y_907, V_908, W_909, '#skF_4'), X7_234)) | ~cheap('#skF_4', '#skF_18'(X1_899, X12_901, X11_902, X_903, X13_904, X14_905, Z_906, Y_907, V_908, W_909, '#skF_4')) | ~black('#skF_4', '#skF_18'(X1_899, X12_901, X11_902, X_903, X13_904, X14_905, Z_906, Y_907, V_908, W_909, '#skF_4')) | ~coat('#skF_4', '#skF_18'(X1_899, X12_901, X11_902, X_903, X13_904, X14_905, Z_906, Y_907, V_908, W_909, '#skF_4')) | ~behind('#skF_4', X14_905, X14_905) | ~be('#skF_4', X13_904, X11_902, X14_905) | ~state('#skF_4', X13_904) | ~wheel('#skF_4', X14_905) | ~group('#skF_4', X1_899) | ~group('#skF_4', Z_906) | ~two('#skF_4', Z_906) | ~in('#skF_4', Y_907, X_903) | ~down('#skF_4', Y_907, X_903) | ~barrel('#skF_4', Y_907) | ~present('#skF_4', Y_907) | ~agent('#skF_4', Y_907, V_908) | ~event('#skF_4', Y_907) | ~lonely('#skF_4', X_903) | ~street('#skF_4', X_903) | ~placename('#skF_4', W_909) | ~hollywood_placename('#skF_4', W_909) | ~city('#skF_4', X_903) | ~of('#skF_4', W_909, X_903) | ~old('#skF_4', V_908) | ~dirty('#skF_4', V_908) | ~white('#skF_4', V_908) | ~chevy('#skF_4', V_908) | ~frontseat('#skF_4', X_903) | ~forename('#skF_4', X12_901) | ~jules_forename('#skF_4', X12_901) | ~man('#skF_4', X11_902) | ~of('#skF_4', X12_901, X11_902) | ~member('#skF_4', X7_234, '#skF_9') | ~member('#skF_4', '#skF_16'(X1_899, X12_901, X11_902, X_903, X13_904, X14_905, Z_906, Y_907, V_908, W_909, '#skF_4'), '#skF_10')))).
% 11.61/3.51 tff(c_1703, plain, (![Z_1401, X1_1404, W_1402, X14_1400, X11_1406, V_1403, X13_1408, Y_1407, X12_1405]: (member('#skF_4', '#skF_15'(X1_1404, X12_1405, X11_1406, '#skF_7', X13_1408, X14_1400, Z_1401, Y_1407, V_1403, W_1402, '#skF_4'), Z_1401) | member('#skF_4', '#skF_18'(X1_1404, X12_1405, X11_1406, '#skF_7', X13_1408, X14_1400, Z_1401, Y_1407, V_1403, W_1402, '#skF_4'), X1_1404) | ~behind('#skF_4', X14_1400, X14_1400) | ~be('#skF_4', X13_1408, X11_1406, X14_1400) | ~state('#skF_4', X13_1408) | ~wheel('#skF_4', X14_1400) | ~group('#skF_4', X1_1404) | ~group('#skF_4', Z_1401) | ~two('#skF_4', Z_1401) | ~in('#skF_4', Y_1407, '#skF_7') | ~down('#skF_4', Y_1407, '#skF_7') | ~barrel('#skF_4', Y_1407) | ~present('#skF_4', Y_1407) | ~agent('#skF_4', Y_1407, V_1403) | ~event('#skF_4', Y_1407) | ~placename('#skF_4', W_1402) | ~hollywood_placename('#skF_4', W_1402) | ~of('#skF_4', W_1402, '#skF_7') | ~old('#skF_4', V_1403) | ~dirty('#skF_4', V_1403) | ~white('#skF_4', V_1403) | ~chevy('#skF_4', V_1403) | ~forename('#skF_4', X12_1405) | ~jules_forename('#skF_4', X12_1405) | ~man('#skF_4', X11_1406) | ~of('#skF_4', X12_1405, X11_1406) | ~member('#skF_4', '#skF_14'(X1_1404, X12_1405, X11_1406, '#skF_7', X13_1408, X14_1400, Z_1401, Y_1407, V_1403, W_1402, '#skF_4'), '#skF_9') | ~member('#skF_4', '#skF_17'(X1_1404, X12_1405, X11_1406, '#skF_7', X13_1408, X14_1400, Z_1401, Y_1407, V_1403, W_1402, '#skF_4'), '#skF_9') | ~member('#skF_4', '#skF_16'(X1_1404, X12_1405, X11_1406, '#skF_7', X13_1408, X14_1400, Z_1401, Y_1407, V_1403, W_1402, '#skF_4'), '#skF_10')))).
% 11.61/3.51 tff(c_1639, plain, (![V_1295, Y_1299, W_1291, X1_1298, Z_1297, X14_1296, X12_1293, X13_1294, X7_234, X11_1292]: (member('#skF_4', '#skF_15'(X1_1298, X12_1293, X11_1292, '#skF_7', X13_1294, X14_1296, Z_1297, Y_1299, V_1295, W_1291, '#skF_4'), Z_1297) | ~wear('#skF_4', '#skF_13'('#skF_16'(X1_1298, X12_1293, X11_1292, '#skF_7', X13_1294, X14_1296, Z_1297, Y_1299, V_1295, W_1291, '#skF_4'), X7_234)) | ~nonreflexive('#skF_4', '#skF_13'('#skF_16'(X1_1298, X12_1293, X11_1292, '#skF_7', X13_1294, X14_1296, Z_1297, Y_1299, V_1295, W_1291, '#skF_4'), X7_234)) | ~present('#skF_4', '#skF_13'('#skF_16'(X1_1298, X12_1293, X11_1292, '#skF_7', X13_1294, X14_1296, Z_1297, Y_1299, V_1295, W_1291, '#skF_4'), X7_234)) | ~agent('#skF_4', '#skF_13'('#skF_16'(X1_1298, X12_1293, X11_1292, '#skF_7', X13_1294, X14_1296, Z_1297, Y_1299, V_1295, W_1291, '#skF_4'), X7_234), '#skF_17'(X1_1298, X12_1293, X11_1292, '#skF_7', X13_1294, X14_1296, Z_1297, Y_1299, V_1295, W_1291, '#skF_4')) | ~event('#skF_4', '#skF_13'('#skF_16'(X1_1298, X12_1293, X11_1292, '#skF_7', X13_1294, X14_1296, Z_1297, Y_1299, V_1295, W_1291, '#skF_4'), X7_234)) | ~cheap('#skF_4', '#skF_18'(X1_1298, X12_1293, X11_1292, '#skF_7', X13_1294, X14_1296, Z_1297, Y_1299, V_1295, W_1291, '#skF_4')) | ~black('#skF_4', '#skF_18'(X1_1298, X12_1293, X11_1292, '#skF_7', X13_1294, X14_1296, Z_1297, Y_1299, V_1295, W_1291, '#skF_4')) | ~coat('#skF_4', '#skF_18'(X1_1298, X12_1293, X11_1292, '#skF_7', X13_1294, X14_1296, Z_1297, Y_1299, V_1295, W_1291, '#skF_4')) | ~behind('#skF_4', X14_1296, X14_1296) | ~be('#skF_4', X13_1294, X11_1292, X14_1296) | ~state('#skF_4', X13_1294) | ~wheel('#skF_4', X14_1296) | ~group('#skF_4', X1_1298) | ~group('#skF_4', Z_1297) | ~two('#skF_4', Z_1297) | ~in('#skF_4', Y_1299, '#skF_7') | ~down('#skF_4', Y_1299, '#skF_7') | ~barrel('#skF_4', Y_1299) | ~present('#skF_4', Y_1299) | ~agent('#skF_4', Y_1299, V_1295) | ~event('#skF_4', Y_1299) | ~placename('#skF_4', W_1291) | ~hollywood_placename('#skF_4', W_1291) | ~of('#skF_4', W_1291, '#skF_7') | ~old('#skF_4', V_1295) | ~dirty('#skF_4', V_1295) | ~white('#skF_4', V_1295) | ~chevy('#skF_4', V_1295) | ~forename('#skF_4', X12_1293) | ~jules_forename('#skF_4', X12_1293) | ~man('#skF_4', X11_1292) | ~of('#skF_4', X12_1293, X11_1292) | ~member('#skF_4', '#skF_14'(X1_1298, X12_1293, X11_1292, '#skF_7', X13_1294, X14_1296, Z_1297, Y_1299, V_1295, W_1291, '#skF_4'), '#skF_9') | ~member('#skF_4', X7_234, '#skF_9') | ~member('#skF_4', '#skF_16'(X1_1298, X12_1293, X11_1292, '#skF_7', X13_1294, X14_1296, Z_1297, Y_1299, V_1295, W_1291, '#skF_4'), '#skF_10')))).
% 11.61/3.51 tff(c_1247, plain, (![X13_844, X_843, V_848, W_849, Z_846, X14_845, Y_847, X11_842, X7_234, X1_839, X12_841]: (member('#skF_4', '#skF_14'(X1_839, X12_841, X11_842, X_843, X13_844, X14_845, Z_846, Y_847, V_848, W_849, '#skF_4'), Z_846) | ~young('#skF_4', '#skF_15'(X1_839, X12_841, X11_842, X_843, X13_844, X14_845, Z_846, Y_847, V_848, W_849, '#skF_4')) | ~fellow('#skF_4', '#skF_15'(X1_839, X12_841, X11_842, X_843, X13_844, X14_845, Z_846, Y_847, V_848, W_849, '#skF_4')) | ~wear('#skF_4', '#skF_13'('#skF_16'(X1_839, X12_841, X11_842, X_843, X13_844, X14_845, Z_846, Y_847, V_848, W_849, '#skF_4'), X7_234)) | ~nonreflexive('#skF_4', '#skF_13'('#skF_16'(X1_839, X12_841, X11_842, X_843, X13_844, X14_845, Z_846, Y_847, V_848, W_849, '#skF_4'), X7_234)) | ~present('#skF_4', '#skF_13'('#skF_16'(X1_839, X12_841, X11_842, X_843, X13_844, X14_845, Z_846, Y_847, V_848, W_849, '#skF_4'), X7_234)) | ~agent('#skF_4', '#skF_13'('#skF_16'(X1_839, X12_841, X11_842, X_843, X13_844, X14_845, Z_846, Y_847, V_848, W_849, '#skF_4'), X7_234), '#skF_17'(X1_839, X12_841, X11_842, X_843, X13_844, X14_845, Z_846, Y_847, V_848, W_849, '#skF_4')) | ~event('#skF_4', '#skF_13'('#skF_16'(X1_839, X12_841, X11_842, X_843, X13_844, X14_845, Z_846, Y_847, V_848, W_849, '#skF_4'), X7_234)) | member('#skF_4', '#skF_18'(X1_839, X12_841, X11_842, X_843, X13_844, X14_845, Z_846, Y_847, V_848, W_849, '#skF_4'), X1_839) | ~behind('#skF_4', X14_845, X14_845) | ~be('#skF_4', X13_844, X11_842, X14_845) | ~state('#skF_4', X13_844) | ~wheel('#skF_4', X14_845) | ~group('#skF_4', X1_839) | ~group('#skF_4', Z_846) | ~two('#skF_4', Z_846) | ~in('#skF_4', Y_847, X_843) | ~down('#skF_4', Y_847, X_843) | ~barrel('#skF_4', Y_847) | ~present('#skF_4', Y_847) | ~agent('#skF_4', Y_847, V_848) | ~event('#skF_4', Y_847) | ~lonely('#skF_4', X_843) | ~street('#skF_4', X_843) | ~placename('#skF_4', W_849) | ~hollywood_placename('#skF_4', W_849) | ~city('#skF_4', X_843) | ~of('#skF_4', W_849, X_843) | ~old('#skF_4', V_848) | ~dirty('#skF_4', V_848) | ~white('#skF_4', V_848) | ~chevy('#skF_4', V_848) | ~frontseat('#skF_4', X_843) | ~forename('#skF_4', X12_841) | ~jules_forename('#skF_4', X12_841) | ~man('#skF_4', X11_842) | ~of('#skF_4', X12_841, X11_842) | ~member('#skF_4', X7_234, '#skF_9') | ~member('#skF_4', '#skF_16'(X1_839, X12_841, X11_842, X_843, X13_844, X14_845, Z_846, Y_847, V_848, W_849, '#skF_4'), '#skF_10')))).
% 11.61/3.51 tff(c_1663, plain, (![X11_1334, X13_1339, X12_1338, X14_1340, X8_1336, Y_1333, X1_1337, V_1332, W_1335, Z_1341]: (~young('#skF_4', '#skF_15'(X1_1337, X12_1338, X11_1334, '#skF_7', X13_1339, X14_1340, Z_1341, Y_1333, V_1332, W_1335, '#skF_4')) | ~fellow('#skF_4', '#skF_15'(X1_1337, X12_1338, X11_1334, '#skF_7', X13_1339, X14_1340, Z_1341, Y_1333, V_1332, W_1335, '#skF_4')) | ~wear('#skF_4', X8_1336) | ~nonreflexive('#skF_4', X8_1336) | ~present('#skF_4', X8_1336) | ~patient('#skF_4', X8_1336, '#skF_16'(X1_1337, X12_1338, X11_1334, '#skF_7', X13_1339, X14_1340, Z_1341, Y_1333, V_1332, W_1335, '#skF_4')) | ~agent('#skF_4', X8_1336, '#skF_17'(X1_1337, X12_1338, X11_1334, '#skF_7', X13_1339, X14_1340, Z_1341, Y_1333, V_1332, W_1335, '#skF_4')) | ~event('#skF_4', X8_1336) | ~cheap('#skF_4', '#skF_18'(X1_1337, X12_1338, X11_1334, '#skF_7', X13_1339, X14_1340, Z_1341, Y_1333, V_1332, W_1335, '#skF_4')) | ~black('#skF_4', '#skF_18'(X1_1337, X12_1338, X11_1334, '#skF_7', X13_1339, X14_1340, Z_1341, Y_1333, V_1332, W_1335, '#skF_4')) | ~coat('#skF_4', '#skF_18'(X1_1337, X12_1338, X11_1334, '#skF_7', X13_1339, X14_1340, Z_1341, Y_1333, V_1332, W_1335, '#skF_4')) | ~behind('#skF_4', X14_1340, X14_1340) | ~be('#skF_4', X13_1339, X11_1334, X14_1340) | ~state('#skF_4', X13_1339) | ~wheel('#skF_4', X14_1340) | ~group('#skF_4', X1_1337) | ~group('#skF_4', Z_1341) | ~two('#skF_4', Z_1341) | ~in('#skF_4', Y_1333, '#skF_7') | ~down('#skF_4', Y_1333, '#skF_7') | ~barrel('#skF_4', Y_1333) | ~present('#skF_4', Y_1333) | ~agent('#skF_4', Y_1333, V_1332) | ~event('#skF_4', Y_1333) | ~placename('#skF_4', W_1335) | ~hollywood_placename('#skF_4', W_1335) | ~of('#skF_4', W_1335, '#skF_7') | ~old('#skF_4', V_1332) | ~dirty('#skF_4', V_1332) | ~white('#skF_4', V_1332) | ~chevy('#skF_4', V_1332) | ~forename('#skF_4', X12_1338) | ~jules_forename('#skF_4', X12_1338) | ~man('#skF_4', X11_1334) | ~of('#skF_4', X12_1338, X11_1334) | ~member('#skF_4', '#skF_14'(X1_1337, X12_1338, X11_1334, '#skF_7', X13_1339, X14_1340, Z_1341, Y_1333, V_1332, W_1335, '#skF_4'), '#skF_9')))).
% 11.61/3.51 tff(c_1467, plain, (![X12_956, X8_955, X11_957, X14_960, W_965, X13_959, Y_962, X_958, Z_961, V_964, X1_953]: (~in('#skF_4', '#skF_12'('#skF_14'(X1_953, X12_956, X11_957, X_958, X13_959, X14_960, Z_961, Y_962, V_964, W_965, '#skF_4')), X_958) | ~state('#skF_4', '#skF_11'('#skF_14'(X1_953, X12_956, X11_957, X_958, X13_959, X14_960, Z_961, Y_962, V_964, W_965, '#skF_4'))) | ~young('#skF_4', '#skF_15'(X1_953, X12_956, X11_957, X_958, X13_959, X14_960, Z_961, Y_962, V_964, W_965, '#skF_4')) | ~fellow('#skF_4', '#skF_15'(X1_953, X12_956, X11_957, X_958, X13_959, X14_960, Z_961, Y_962, V_964, W_965, '#skF_4')) | ~wear('#skF_4', X8_955) | ~nonreflexive('#skF_4', X8_955) | ~present('#skF_4', X8_955) | ~patient('#skF_4', X8_955, '#skF_16'(X1_953, X12_956, X11_957, X_958, X13_959, X14_960, Z_961, Y_962, V_964, W_965, '#skF_4')) | ~agent('#skF_4', X8_955, '#skF_17'(X1_953, X12_956, X11_957, X_958, X13_959, X14_960, Z_961, Y_962, V_964, W_965, '#skF_4')) | ~event('#skF_4', X8_955) | ~cheap('#skF_4', '#skF_18'(X1_953, X12_956, X11_957, X_958, X13_959, X14_960, Z_961, Y_962, V_964, W_965, '#skF_4')) | ~black('#skF_4', '#skF_18'(X1_953, X12_956, X11_957, X_958, X13_959, X14_960, Z_961, Y_962, V_964, W_965, '#skF_4')) | ~coat('#skF_4', '#skF_18'(X1_953, X12_956, X11_957, X_958, X13_959, X14_960, Z_961, Y_962, V_964, W_965, '#skF_4')) | ~behind('#skF_4', X14_960, X14_960) | ~be('#skF_4', X13_959, X11_957, X14_960) | ~state('#skF_4', X13_959) | ~wheel('#skF_4', X14_960) | ~group('#skF_4', X1_953) | ~group('#skF_4', Z_961) | ~two('#skF_4', Z_961) | ~in('#skF_4', Y_962, X_958) | ~down('#skF_4', Y_962, X_958) | ~barrel('#skF_4', Y_962) | ~present('#skF_4', Y_962) | ~agent('#skF_4', Y_962, V_964) | ~event('#skF_4', Y_962) | ~lonely('#skF_4', X_958) | ~street('#skF_4', X_958) | ~placename('#skF_4', W_965) | ~hollywood_placename('#skF_4', W_965) | ~city('#skF_4', X_958) | ~of('#skF_4', W_965, X_958) | ~old('#skF_4', V_964) | ~dirty('#skF_4', V_964) | ~white('#skF_4', V_964) | ~chevy('#skF_4', V_964) | ~frontseat('#skF_4', X_958) | ~forename('#skF_4', X12_956) | ~jules_forename('#skF_4', X12_956) | ~man('#skF_4', X11_957) | ~of('#skF_4', X12_956, X11_957) | ~member('#skF_4', '#skF_14'(X1_953, X12_956, X11_957, X_958, X13_959, X14_960, Z_961, Y_962, V_964, W_965, '#skF_4'), '#skF_9')))).
% 11.61/3.51 tff(c_1590, plain, (![W_1200, Y_1198, Z_1194, X1_1201, X14_1193, V_1196, X7_234, X13_1197, X11_1199, X12_1195]: (~young('#skF_4', '#skF_15'(X1_1201, X12_1195, X11_1199, '#skF_7', X13_1197, X14_1193, Z_1194, Y_1198, V_1196, W_1200, '#skF_4')) | ~fellow('#skF_4', '#skF_15'(X1_1201, X12_1195, X11_1199, '#skF_7', X13_1197, X14_1193, Z_1194, Y_1198, V_1196, W_1200, '#skF_4')) | ~wear('#skF_4', '#skF_13'('#skF_16'(X1_1201, X12_1195, X11_1199, '#skF_7', X13_1197, X14_1193, Z_1194, Y_1198, V_1196, W_1200, '#skF_4'), X7_234)) | ~nonreflexive('#skF_4', '#skF_13'('#skF_16'(X1_1201, X12_1195, X11_1199, '#skF_7', X13_1197, X14_1193, Z_1194, Y_1198, V_1196, W_1200, '#skF_4'), X7_234)) | ~present('#skF_4', '#skF_13'('#skF_16'(X1_1201, X12_1195, X11_1199, '#skF_7', X13_1197, X14_1193, Z_1194, Y_1198, V_1196, W_1200, '#skF_4'), X7_234)) | ~agent('#skF_4', '#skF_13'('#skF_16'(X1_1201, X12_1195, X11_1199, '#skF_7', X13_1197, X14_1193, Z_1194, Y_1198, V_1196, W_1200, '#skF_4'), X7_234), '#skF_17'(X1_1201, X12_1195, X11_1199, '#skF_7', X13_1197, X14_1193, Z_1194, Y_1198, V_1196, W_1200, '#skF_4')) | ~event('#skF_4', '#skF_13'('#skF_16'(X1_1201, X12_1195, X11_1199, '#skF_7', X13_1197, X14_1193, Z_1194, Y_1198, V_1196, W_1200, '#skF_4'), X7_234)) | member('#skF_4', '#skF_18'(X1_1201, X12_1195, X11_1199, '#skF_7', X13_1197, X14_1193, Z_1194, Y_1198, V_1196, W_1200, '#skF_4'), X1_1201) | ~behind('#skF_4', X14_1193, X14_1193) | ~be('#skF_4', X13_1197, X11_1199, X14_1193) | ~state('#skF_4', X13_1197) | ~wheel('#skF_4', X14_1193) | ~group('#skF_4', X1_1201) | ~group('#skF_4', Z_1194) | ~two('#skF_4', Z_1194) | ~in('#skF_4', Y_1198, '#skF_7') | ~down('#skF_4', Y_1198, '#skF_7') | ~barrel('#skF_4', Y_1198) | ~present('#skF_4', Y_1198) | ~agent('#skF_4', Y_1198, V_1196) | ~event('#skF_4', Y_1198) | ~placename('#skF_4', W_1200) | ~hollywood_placename('#skF_4', W_1200) | ~of('#skF_4', W_1200, '#skF_7') | ~old('#skF_4', V_1196) | ~dirty('#skF_4', V_1196) | ~white('#skF_4', V_1196) | ~chevy('#skF_4', V_1196) | ~forename('#skF_4', X12_1195) | ~jules_forename('#skF_4', X12_1195) | ~man('#skF_4', X11_1199) | ~of('#skF_4', X12_1195, X11_1199) | ~member('#skF_4', '#skF_14'(X1_1201, X12_1195, X11_1199, '#skF_7', X13_1197, X14_1193, Z_1194, Y_1198, V_1196, W_1200, '#skF_4'), '#skF_9') | ~member('#skF_4', X7_234, '#skF_9') | ~member('#skF_4', '#skF_16'(X1_1201, X12_1195, X11_1199, '#skF_7', X13_1197, X14_1193, Z_1194, Y_1198, V_1196, W_1200, '#skF_4'), '#skF_10')))).
% 11.61/3.51 tff(c_1099, plain, (![X13_741, V_745, W_746, Y_744, X1_736, X11_739, Z_743, X7_234, X12_738, X_740, X14_742]: (member('#skF_4', '#skF_14'(X1_736, X12_738, X11_739, X_740, X13_741, X14_742, Z_743, Y_744, V_745, W_746, '#skF_4'), Z_743) | member('#skF_4', '#skF_15'(X1_736, X12_738, X11_739, X_740, X13_741, X14_742, Z_743, Y_744, V_745, W_746, '#skF_4'), Z_743) | ~wear('#skF_4', '#skF_13'('#skF_16'(X1_736, X12_738, X11_739, X_740, X13_741, X14_742, Z_743, Y_744, V_745, W_746, '#skF_4'), X7_234)) | ~nonreflexive('#skF_4', '#skF_13'('#skF_16'(X1_736, X12_738, X11_739, X_740, X13_741, X14_742, Z_743, Y_744, V_745, W_746, '#skF_4'), X7_234)) | ~present('#skF_4', '#skF_13'('#skF_16'(X1_736, X12_738, X11_739, X_740, X13_741, X14_742, Z_743, Y_744, V_745, W_746, '#skF_4'), X7_234)) | ~agent('#skF_4', '#skF_13'('#skF_16'(X1_736, X12_738, X11_739, X_740, X13_741, X14_742, Z_743, Y_744, V_745, W_746, '#skF_4'), X7_234), '#skF_17'(X1_736, X12_738, X11_739, X_740, X13_741, X14_742, Z_743, Y_744, V_745, W_746, '#skF_4')) | ~event('#skF_4', '#skF_13'('#skF_16'(X1_736, X12_738, X11_739, X_740, X13_741, X14_742, Z_743, Y_744, V_745, W_746, '#skF_4'), X7_234)) | member('#skF_4', '#skF_18'(X1_736, X12_738, X11_739, X_740, X13_741, X14_742, Z_743, Y_744, V_745, W_746, '#skF_4'), X1_736) | ~behind('#skF_4', X14_742, X14_742) | ~be('#skF_4', X13_741, X11_739, X14_742) | ~state('#skF_4', X13_741) | ~wheel('#skF_4', X14_742) | ~group('#skF_4', X1_736) | ~group('#skF_4', Z_743) | ~two('#skF_4', Z_743) | ~in('#skF_4', Y_744, X_740) | ~down('#skF_4', Y_744, X_740) | ~barrel('#skF_4', Y_744) | ~present('#skF_4', Y_744) | ~agent('#skF_4', Y_744, V_745) | ~event('#skF_4', Y_744) | ~lonely('#skF_4', X_740) | ~street('#skF_4', X_740) | ~placename('#skF_4', W_746) | ~hollywood_placename('#skF_4', W_746) | ~city('#skF_4', X_740) | ~of('#skF_4', W_746, X_740) | ~old('#skF_4', V_745) | ~dirty('#skF_4', V_745) | ~white('#skF_4', V_745) | ~chevy('#skF_4', V_745) | ~frontseat('#skF_4', X_740) | ~forename('#skF_4', X12_738) | ~jules_forename('#skF_4', X12_738) | ~man('#skF_4', X11_739) | ~of('#skF_4', X12_738, X11_739) | ~member('#skF_4', X7_234, '#skF_9') | ~member('#skF_4', '#skF_16'(X1_736, X12_738, X11_739, X_740, X13_741, X14_742, Z_743, Y_744, V_745, W_746, '#skF_4'), '#skF_10')))).
% 11.61/3.52 tff(c_1634, plain, (![X12_1287, Y_1285, X13_1281, X11_1284, X8_1280, Z_1286, X14_1288, W_1289, V_1283, X1_1282]: (member('#skF_4', '#skF_15'(X1_1282, X12_1287, X11_1284, '#skF_7', X13_1281, X14_1288, Z_1286, Y_1285, V_1283, W_1289, '#skF_4'), Z_1286) | ~wear('#skF_4', X8_1280) | ~nonreflexive('#skF_4', X8_1280) | ~present('#skF_4', X8_1280) | ~patient('#skF_4', X8_1280, '#skF_16'(X1_1282, X12_1287, X11_1284, '#skF_7', X13_1281, X14_1288, Z_1286, Y_1285, V_1283, W_1289, '#skF_4')) | ~agent('#skF_4', X8_1280, '#skF_17'(X1_1282, X12_1287, X11_1284, '#skF_7', X13_1281, X14_1288, Z_1286, Y_1285, V_1283, W_1289, '#skF_4')) | ~event('#skF_4', X8_1280) | ~cheap('#skF_4', '#skF_18'(X1_1282, X12_1287, X11_1284, '#skF_7', X13_1281, X14_1288, Z_1286, Y_1285, V_1283, W_1289, '#skF_4')) | ~black('#skF_4', '#skF_18'(X1_1282, X12_1287, X11_1284, '#skF_7', X13_1281, X14_1288, Z_1286, Y_1285, V_1283, W_1289, '#skF_4')) | ~coat('#skF_4', '#skF_18'(X1_1282, X12_1287, X11_1284, '#skF_7', X13_1281, X14_1288, Z_1286, Y_1285, V_1283, W_1289, '#skF_4')) | ~behind('#skF_4', X14_1288, X14_1288) | ~be('#skF_4', X13_1281, X11_1284, X14_1288) | ~state('#skF_4', X13_1281) | ~wheel('#skF_4', X14_1288) | ~group('#skF_4', X1_1282) | ~group('#skF_4', Z_1286) | ~two('#skF_4', Z_1286) | ~in('#skF_4', Y_1285, '#skF_7') | ~down('#skF_4', Y_1285, '#skF_7') | ~barrel('#skF_4', Y_1285) | ~present('#skF_4', Y_1285) | ~agent('#skF_4', Y_1285, V_1283) | ~event('#skF_4', Y_1285) | ~placename('#skF_4', W_1289) | ~hollywood_placename('#skF_4', W_1289) | ~of('#skF_4', W_1289, '#skF_7') | ~old('#skF_4', V_1283) | ~dirty('#skF_4', V_1283) | ~white('#skF_4', V_1283) | ~chevy('#skF_4', V_1283) | ~forename('#skF_4', X12_1287) | ~jules_forename('#skF_4', X12_1287) | ~man('#skF_4', X11_1284) | ~of('#skF_4', X12_1287, X11_1284) | ~member('#skF_4', '#skF_14'(X1_1282, X12_1287, X11_1284, '#skF_7', X13_1281, X14_1288, Z_1286, Y_1285, V_1283, W_1289, '#skF_4'), '#skF_9')))).
% 11.61/3.52 tff(c_1407, plain, (![X8_915, V_924, Z_921, X11_917, Y_922, X13_919, X1_913, X14_920, W_925, X12_916, X_918]: (~in('#skF_4', '#skF_12'('#skF_14'(X1_913, X12_916, X11_917, X_918, X13_919, X14_920, Z_921, Y_922, V_924, W_925, '#skF_4')), X_918) | ~state('#skF_4', '#skF_11'('#skF_14'(X1_913, X12_916, X11_917, X_918, X13_919, X14_920, Z_921, Y_922, V_924, W_925, '#skF_4'))) | member('#skF_4', '#skF_15'(X1_913, X12_916, X11_917, X_918, X13_919, X14_920, Z_921, Y_922, V_924, W_925, '#skF_4'), Z_921) | ~wear('#skF_4', X8_915) | ~nonreflexive('#skF_4', X8_915) | ~present('#skF_4', X8_915) | ~patient('#skF_4', X8_915, '#skF_16'(X1_913, X12_916, X11_917, X_918, X13_919, X14_920, Z_921, Y_922, V_924, W_925, '#skF_4')) | ~agent('#skF_4', X8_915, '#skF_17'(X1_913, X12_916, X11_917, X_918, X13_919, X14_920, Z_921, Y_922, V_924, W_925, '#skF_4')) | ~event('#skF_4', X8_915) | ~cheap('#skF_4', '#skF_18'(X1_913, X12_916, X11_917, X_918, X13_919, X14_920, Z_921, Y_922, V_924, W_925, '#skF_4')) | ~black('#skF_4', '#skF_18'(X1_913, X12_916, X11_917, X_918, X13_919, X14_920, Z_921, Y_922, V_924, W_925, '#skF_4')) | ~coat('#skF_4', '#skF_18'(X1_913, X12_916, X11_917, X_918, X13_919, X14_920, Z_921, Y_922, V_924, W_925, '#skF_4')) | ~behind('#skF_4', X14_920, X14_920) | ~be('#skF_4', X13_919, X11_917, X14_920) | ~state('#skF_4', X13_919) | ~wheel('#skF_4', X14_920) | ~group('#skF_4', X1_913) | ~group('#skF_4', Z_921) | ~two('#skF_4', Z_921) | ~in('#skF_4', Y_922, X_918) | ~down('#skF_4', Y_922, X_918) | ~barrel('#skF_4', Y_922) | ~present('#skF_4', Y_922) | ~agent('#skF_4', Y_922, V_924) | ~event('#skF_4', Y_922) | ~lonely('#skF_4', X_918) | ~street('#skF_4', X_918) | ~placename('#skF_4', W_925) | ~hollywood_placename('#skF_4', W_925) | ~city('#skF_4', X_918) | ~of('#skF_4', W_925, X_918) | ~old('#skF_4', V_924) | ~dirty('#skF_4', V_924) | ~white('#skF_4', V_924) | ~chevy('#skF_4', V_924) | ~frontseat('#skF_4', X_918) | ~forename('#skF_4', X12_916) | ~jules_forename('#skF_4', X12_916) | ~man('#skF_4', X11_917) | ~of('#skF_4', X12_916, X11_917) | ~member('#skF_4', '#skF_14'(X1_913, X12_916, X11_917, X_918, X13_919, X14_920, Z_921, Y_922, V_924, W_925, '#skF_4'), '#skF_9')))).
% 11.61/3.52 tff(c_1567, plain, (![W_1146, X12_1153, X14_1145, V_1152, X1_1150, Z_1151, X13_1148, X7_234, X11_1149, Y_1147]: (member('#skF_4', '#skF_15'(X1_1150, X12_1153, X11_1149, '#skF_7', X13_1148, X14_1145, Z_1151, Y_1147, V_1152, W_1146, '#skF_4'), Z_1151) | ~wear('#skF_4', '#skF_13'('#skF_16'(X1_1150, X12_1153, X11_1149, '#skF_7', X13_1148, X14_1145, Z_1151, Y_1147, V_1152, W_1146, '#skF_4'), X7_234)) | ~nonreflexive('#skF_4', '#skF_13'('#skF_16'(X1_1150, X12_1153, X11_1149, '#skF_7', X13_1148, X14_1145, Z_1151, Y_1147, V_1152, W_1146, '#skF_4'), X7_234)) | ~present('#skF_4', '#skF_13'('#skF_16'(X1_1150, X12_1153, X11_1149, '#skF_7', X13_1148, X14_1145, Z_1151, Y_1147, V_1152, W_1146, '#skF_4'), X7_234)) | ~agent('#skF_4', '#skF_13'('#skF_16'(X1_1150, X12_1153, X11_1149, '#skF_7', X13_1148, X14_1145, Z_1151, Y_1147, V_1152, W_1146, '#skF_4'), X7_234), '#skF_17'(X1_1150, X12_1153, X11_1149, '#skF_7', X13_1148, X14_1145, Z_1151, Y_1147, V_1152, W_1146, '#skF_4')) | ~event('#skF_4', '#skF_13'('#skF_16'(X1_1150, X12_1153, X11_1149, '#skF_7', X13_1148, X14_1145, Z_1151, Y_1147, V_1152, W_1146, '#skF_4'), X7_234)) | member('#skF_4', '#skF_18'(X1_1150, X12_1153, X11_1149, '#skF_7', X13_1148, X14_1145, Z_1151, Y_1147, V_1152, W_1146, '#skF_4'), X1_1150) | ~behind('#skF_4', X14_1145, X14_1145) | ~be('#skF_4', X13_1148, X11_1149, X14_1145) | ~state('#skF_4', X13_1148) | ~wheel('#skF_4', X14_1145) | ~group('#skF_4', X1_1150) | ~group('#skF_4', Z_1151) | ~two('#skF_4', Z_1151) | ~in('#skF_4', Y_1147, '#skF_7') | ~down('#skF_4', Y_1147, '#skF_7') | ~barrel('#skF_4', Y_1147) | ~present('#skF_4', Y_1147) | ~agent('#skF_4', Y_1147, V_1152) | ~event('#skF_4', Y_1147) | ~placename('#skF_4', W_1146) | ~hollywood_placename('#skF_4', W_1146) | ~of('#skF_4', W_1146, '#skF_7') | ~old('#skF_4', V_1152) | ~dirty('#skF_4', V_1152) | ~white('#skF_4', V_1152) | ~chevy('#skF_4', V_1152) | ~forename('#skF_4', X12_1153) | ~jules_forename('#skF_4', X12_1153) | ~man('#skF_4', X11_1149) | ~of('#skF_4', X12_1153, X11_1149) | ~member('#skF_4', '#skF_14'(X1_1150, X12_1153, X11_1149, '#skF_7', X13_1148, X14_1145, Z_1151, Y_1147, V_1152, W_1146, '#skF_4'), '#skF_9') | ~member('#skF_4', X7_234, '#skF_9') | ~member('#skF_4', '#skF_16'(X1_1150, X12_1153, X11_1149, '#skF_7', X13_1148, X14_1145, Z_1151, Y_1147, V_1152, W_1146, '#skF_4'), '#skF_10')))).
% 11.61/3.52 tff(c_1615, plain, (![W_1243, V_1247, Y_1248, X11_1244, X14_1245, X13_1246, Z_1241, X1_1242, X12_1249]: (~young('#skF_4', '#skF_15'(X1_1242, X12_1249, X11_1244, '#skF_7', X13_1246, X14_1245, Z_1241, Y_1248, V_1247, W_1243, '#skF_4')) | ~fellow('#skF_4', '#skF_15'(X1_1242, X12_1249, X11_1244, '#skF_7', X13_1246, X14_1245, Z_1241, Y_1248, V_1247, W_1243, '#skF_4')) | member('#skF_4', '#skF_16'(X1_1242, X12_1249, X11_1244, '#skF_7', X13_1246, X14_1245, Z_1241, Y_1248, V_1247, W_1243, '#skF_4'), X1_1242) | ~cheap('#skF_4', '#skF_18'(X1_1242, X12_1249, X11_1244, '#skF_7', X13_1246, X14_1245, Z_1241, Y_1248, V_1247, W_1243, '#skF_4')) | ~black('#skF_4', '#skF_18'(X1_1242, X12_1249, X11_1244, '#skF_7', X13_1246, X14_1245, Z_1241, Y_1248, V_1247, W_1243, '#skF_4')) | ~coat('#skF_4', '#skF_18'(X1_1242, X12_1249, X11_1244, '#skF_7', X13_1246, X14_1245, Z_1241, Y_1248, V_1247, W_1243, '#skF_4')) | ~behind('#skF_4', X14_1245, X14_1245) | ~be('#skF_4', X13_1246, X11_1244, X14_1245) | ~state('#skF_4', X13_1246) | ~wheel('#skF_4', X14_1245) | ~group('#skF_4', X1_1242) | ~group('#skF_4', Z_1241) | ~two('#skF_4', Z_1241) | ~in('#skF_4', Y_1248, '#skF_7') | ~down('#skF_4', Y_1248, '#skF_7') | ~barrel('#skF_4', Y_1248) | ~present('#skF_4', Y_1248) | ~agent('#skF_4', Y_1248, V_1247) | ~event('#skF_4', Y_1248) | ~placename('#skF_4', W_1243) | ~hollywood_placename('#skF_4', W_1243) | ~of('#skF_4', W_1243, '#skF_7') | ~old('#skF_4', V_1247) | ~dirty('#skF_4', V_1247) | ~white('#skF_4', V_1247) | ~chevy('#skF_4', V_1247) | ~forename('#skF_4', X12_1249) | ~jules_forename('#skF_4', X12_1249) | ~man('#skF_4', X11_1244) | ~of('#skF_4', X12_1249, X11_1244) | ~member('#skF_4', '#skF_14'(X1_1242, X12_1249, X11_1244, '#skF_7', X13_1246, X14_1245, Z_1241, Y_1248, V_1247, W_1243, '#skF_4'), '#skF_9')))).
% 11.61/3.52 tff(c_1602, plain, (![Z_1213, X12_1219, X1_1218, Y_1217, X14_1220, X13_1214, W_1216, X11_1215, V_1221]: (~young('#skF_4', '#skF_15'(X1_1218, X12_1219, X11_1215, '#skF_7', X13_1214, X14_1220, Z_1213, Y_1217, V_1221, W_1216, '#skF_4')) | ~fellow('#skF_4', '#skF_15'(X1_1218, X12_1219, X11_1215, '#skF_7', X13_1214, X14_1220, Z_1213, Y_1217, V_1221, W_1216, '#skF_4')) | member('#skF_4', '#skF_17'(X1_1218, X12_1219, X11_1215, '#skF_7', X13_1214, X14_1220, Z_1213, Y_1217, V_1221, W_1216, '#skF_4'), Z_1213) | ~cheap('#skF_4', '#skF_18'(X1_1218, X12_1219, X11_1215, '#skF_7', X13_1214, X14_1220, Z_1213, Y_1217, V_1221, W_1216, '#skF_4')) | ~black('#skF_4', '#skF_18'(X1_1218, X12_1219, X11_1215, '#skF_7', X13_1214, X14_1220, Z_1213, Y_1217, V_1221, W_1216, '#skF_4')) | ~coat('#skF_4', '#skF_18'(X1_1218, X12_1219, X11_1215, '#skF_7', X13_1214, X14_1220, Z_1213, Y_1217, V_1221, W_1216, '#skF_4')) | ~behind('#skF_4', X14_1220, X14_1220) | ~be('#skF_4', X13_1214, X11_1215, X14_1220) | ~state('#skF_4', X13_1214) | ~wheel('#skF_4', X14_1220) | ~group('#skF_4', X1_1218) | ~group('#skF_4', Z_1213) | ~two('#skF_4', Z_1213) | ~in('#skF_4', Y_1217, '#skF_7') | ~down('#skF_4', Y_1217, '#skF_7') | ~barrel('#skF_4', Y_1217) | ~present('#skF_4', Y_1217) | ~agent('#skF_4', Y_1217, V_1221) | ~event('#skF_4', Y_1217) | ~placename('#skF_4', W_1216) | ~hollywood_placename('#skF_4', W_1216) | ~of('#skF_4', W_1216, '#skF_7') | ~old('#skF_4', V_1221) | ~dirty('#skF_4', V_1221) | ~white('#skF_4', V_1221) | ~chevy('#skF_4', V_1221) | ~forename('#skF_4', X12_1219) | ~jules_forename('#skF_4', X12_1219) | ~man('#skF_4', X11_1215) | ~of('#skF_4', X12_1219, X11_1215) | ~member('#skF_4', '#skF_14'(X1_1218, X12_1219, X11_1215, '#skF_7', X13_1214, X14_1220, Z_1213, Y_1217, V_1221, W_1216, '#skF_4'), '#skF_9')))).
% 11.61/3.52 tff(c_1301, plain, (![Z_873, V_876, X14_872, X13_871, X1_866, X12_868, W_877, X11_869, X_870, Y_874]: (~in('#skF_4', '#skF_12'('#skF_14'(X1_866, X12_868, X11_869, X_870, X13_871, X14_872, Z_873, Y_874, V_876, W_877, '#skF_4')), X_870) | ~state('#skF_4', '#skF_11'('#skF_14'(X1_866, X12_868, X11_869, X_870, X13_871, X14_872, Z_873, Y_874, V_876, W_877, '#skF_4'))) | ~young('#skF_4', '#skF_15'(X1_866, X12_868, X11_869, X_870, X13_871, X14_872, Z_873, Y_874, V_876, W_877, '#skF_4')) | ~fellow('#skF_4', '#skF_15'(X1_866, X12_868, X11_869, X_870, X13_871, X14_872, Z_873, Y_874, V_876, W_877, '#skF_4')) | member('#skF_4', '#skF_16'(X1_866, X12_868, X11_869, X_870, X13_871, X14_872, Z_873, Y_874, V_876, W_877, '#skF_4'), X1_866) | ~cheap('#skF_4', '#skF_18'(X1_866, X12_868, X11_869, X_870, X13_871, X14_872, Z_873, Y_874, V_876, W_877, '#skF_4')) | ~black('#skF_4', '#skF_18'(X1_866, X12_868, X11_869, X_870, X13_871, X14_872, Z_873, Y_874, V_876, W_877, '#skF_4')) | ~coat('#skF_4', '#skF_18'(X1_866, X12_868, X11_869, X_870, X13_871, X14_872, Z_873, Y_874, V_876, W_877, '#skF_4')) | ~behind('#skF_4', X14_872, X14_872) | ~be('#skF_4', X13_871, X11_869, X14_872) | ~state('#skF_4', X13_871) | ~wheel('#skF_4', X14_872) | ~group('#skF_4', X1_866) | ~group('#skF_4', Z_873) | ~two('#skF_4', Z_873) | ~in('#skF_4', Y_874, X_870) | ~down('#skF_4', Y_874, X_870) | ~barrel('#skF_4', Y_874) | ~present('#skF_4', Y_874) | ~agent('#skF_4', Y_874, V_876) | ~event('#skF_4', Y_874) | ~lonely('#skF_4', X_870) | ~street('#skF_4', X_870) | ~placename('#skF_4', W_877) | ~hollywood_placename('#skF_4', W_877) | ~city('#skF_4', X_870) | ~of('#skF_4', W_877, X_870) | ~old('#skF_4', V_876) | ~dirty('#skF_4', V_876) | ~white('#skF_4', V_876) | ~chevy('#skF_4', V_876) | ~frontseat('#skF_4', X_870) | ~forename('#skF_4', X12_868) | ~jules_forename('#skF_4', X12_868) | ~man('#skF_4', X11_869) | ~of('#skF_4', X12_868, X11_869) | ~member('#skF_4', '#skF_14'(X1_866, X12_868, X11_869, X_870, X13_871, X14_872, Z_873, Y_874, V_876, W_877, '#skF_4'), '#skF_9')))).
% 11.61/3.52 tff(c_1284, plain, (![X12_855, X1_853, X11_856, Y_861, W_864, X13_858, X14_859, X_857, Z_860, V_863]: (~in('#skF_4', '#skF_12'('#skF_14'(X1_853, X12_855, X11_856, X_857, X13_858, X14_859, Z_860, Y_861, V_863, W_864, '#skF_4')), X_857) | ~state('#skF_4', '#skF_11'('#skF_14'(X1_853, X12_855, X11_856, X_857, X13_858, X14_859, Z_860, Y_861, V_863, W_864, '#skF_4'))) | ~young('#skF_4', '#skF_15'(X1_853, X12_855, X11_856, X_857, X13_858, X14_859, Z_860, Y_861, V_863, W_864, '#skF_4')) | ~fellow('#skF_4', '#skF_15'(X1_853, X12_855, X11_856, X_857, X13_858, X14_859, Z_860, Y_861, V_863, W_864, '#skF_4')) | member('#skF_4', '#skF_17'(X1_853, X12_855, X11_856, X_857, X13_858, X14_859, Z_860, Y_861, V_863, W_864, '#skF_4'), Z_860) | ~cheap('#skF_4', '#skF_18'(X1_853, X12_855, X11_856, X_857, X13_858, X14_859, Z_860, Y_861, V_863, W_864, '#skF_4')) | ~black('#skF_4', '#skF_18'(X1_853, X12_855, X11_856, X_857, X13_858, X14_859, Z_860, Y_861, V_863, W_864, '#skF_4')) | ~coat('#skF_4', '#skF_18'(X1_853, X12_855, X11_856, X_857, X13_858, X14_859, Z_860, Y_861, V_863, W_864, '#skF_4')) | ~behind('#skF_4', X14_859, X14_859) | ~be('#skF_4', X13_858, X11_856, X14_859) | ~state('#skF_4', X13_858) | ~wheel('#skF_4', X14_859) | ~group('#skF_4', X1_853) | ~group('#skF_4', Z_860) | ~two('#skF_4', Z_860) | ~in('#skF_4', Y_861, X_857) | ~down('#skF_4', Y_861, X_857) | ~barrel('#skF_4', Y_861) | ~present('#skF_4', Y_861) | ~agent('#skF_4', Y_861, V_863) | ~event('#skF_4', Y_861) | ~lonely('#skF_4', X_857) | ~street('#skF_4', X_857) | ~placename('#skF_4', W_864) | ~hollywood_placename('#skF_4', W_864) | ~city('#skF_4', X_857) | ~of('#skF_4', W_864, X_857) | ~old('#skF_4', V_863) | ~dirty('#skF_4', V_863) | ~white('#skF_4', V_863) | ~chevy('#skF_4', V_863) | ~frontseat('#skF_4', X_857) | ~forename('#skF_4', X12_855) | ~jules_forename('#skF_4', X12_855) | ~man('#skF_4', X11_856) | ~of('#skF_4', X12_855, X11_856) | ~member('#skF_4', '#skF_14'(X1_853, X12_855, X11_856, X_857, X13_858, X14_859, Z_860, Y_861, V_863, W_864, '#skF_4'), '#skF_9')))).
% 11.61/3.52 tff(c_1585, plain, (![X8_1189, V_1183, Y_1191, W_1187, X12_1186, X14_1192, Z_1188, X11_1184, X13_1185, X1_1190]: (~young('#skF_4', '#skF_15'(X1_1190, X12_1186, X11_1184, '#skF_7', X13_1185, X14_1192, Z_1188, Y_1191, V_1183, W_1187, '#skF_4')) | ~fellow('#skF_4', '#skF_15'(X1_1190, X12_1186, X11_1184, '#skF_7', X13_1185, X14_1192, Z_1188, Y_1191, V_1183, W_1187, '#skF_4')) | ~wear('#skF_4', X8_1189) | ~nonreflexive('#skF_4', X8_1189) | ~present('#skF_4', X8_1189) | ~patient('#skF_4', X8_1189, '#skF_16'(X1_1190, X12_1186, X11_1184, '#skF_7', X13_1185, X14_1192, Z_1188, Y_1191, V_1183, W_1187, '#skF_4')) | ~agent('#skF_4', X8_1189, '#skF_17'(X1_1190, X12_1186, X11_1184, '#skF_7', X13_1185, X14_1192, Z_1188, Y_1191, V_1183, W_1187, '#skF_4')) | ~event('#skF_4', X8_1189) | member('#skF_4', '#skF_18'(X1_1190, X12_1186, X11_1184, '#skF_7', X13_1185, X14_1192, Z_1188, Y_1191, V_1183, W_1187, '#skF_4'), X1_1190) | ~behind('#skF_4', X14_1192, X14_1192) | ~be('#skF_4', X13_1185, X11_1184, X14_1192) | ~state('#skF_4', X13_1185) | ~wheel('#skF_4', X14_1192) | ~group('#skF_4', X1_1190) | ~group('#skF_4', Z_1188) | ~two('#skF_4', Z_1188) | ~in('#skF_4', Y_1191, '#skF_7') | ~down('#skF_4', Y_1191, '#skF_7') | ~barrel('#skF_4', Y_1191) | ~present('#skF_4', Y_1191) | ~agent('#skF_4', Y_1191, V_1183) | ~event('#skF_4', Y_1191) | ~placename('#skF_4', W_1187) | ~hollywood_placename('#skF_4', W_1187) | ~of('#skF_4', W_1187, '#skF_7') | ~old('#skF_4', V_1183) | ~dirty('#skF_4', V_1183) | ~white('#skF_4', V_1183) | ~chevy('#skF_4', V_1183) | ~forename('#skF_4', X12_1186) | ~jules_forename('#skF_4', X12_1186) | ~man('#skF_4', X11_1184) | ~of('#skF_4', X12_1186, X11_1184) | ~member('#skF_4', '#skF_14'(X1_1190, X12_1186, X11_1184, '#skF_7', X13_1185, X14_1192, Z_1188, Y_1191, V_1183, W_1187, '#skF_4'), '#skF_9')))).
% 11.61/3.52 tff(c_1364, plain, (![X1_879, X12_882, X13_885, X_884, X11_883, Z_887, W_891, V_890, Y_888, X14_886, X8_881]: (~in('#skF_4', '#skF_12'('#skF_14'(X1_879, X12_882, X11_883, X_884, X13_885, X14_886, Z_887, Y_888, V_890, W_891, '#skF_4')), X_884) | ~state('#skF_4', '#skF_11'('#skF_14'(X1_879, X12_882, X11_883, X_884, X13_885, X14_886, Z_887, Y_888, V_890, W_891, '#skF_4'))) | ~young('#skF_4', '#skF_15'(X1_879, X12_882, X11_883, X_884, X13_885, X14_886, Z_887, Y_888, V_890, W_891, '#skF_4')) | ~fellow('#skF_4', '#skF_15'(X1_879, X12_882, X11_883, X_884, X13_885, X14_886, Z_887, Y_888, V_890, W_891, '#skF_4')) | ~wear('#skF_4', X8_881) | ~nonreflexive('#skF_4', X8_881) | ~present('#skF_4', X8_881) | ~patient('#skF_4', X8_881, '#skF_16'(X1_879, X12_882, X11_883, X_884, X13_885, X14_886, Z_887, Y_888, V_890, W_891, '#skF_4')) | ~agent('#skF_4', X8_881, '#skF_17'(X1_879, X12_882, X11_883, X_884, X13_885, X14_886, Z_887, Y_888, V_890, W_891, '#skF_4')) | ~event('#skF_4', X8_881) | member('#skF_4', '#skF_18'(X1_879, X12_882, X11_883, X_884, X13_885, X14_886, Z_887, Y_888, V_890, W_891, '#skF_4'), X1_879) | ~behind('#skF_4', X14_886, X14_886) | ~be('#skF_4', X13_885, X11_883, X14_886) | ~state('#skF_4', X13_885) | ~wheel('#skF_4', X14_886) | ~group('#skF_4', X1_879) | ~group('#skF_4', Z_887) | ~two('#skF_4', Z_887) | ~in('#skF_4', Y_888, X_884) | ~down('#skF_4', Y_888, X_884) | ~barrel('#skF_4', Y_888) | ~present('#skF_4', Y_888) | ~agent('#skF_4', Y_888, V_890) | ~event('#skF_4', Y_888) | ~lonely('#skF_4', X_884) | ~street('#skF_4', X_884) | ~placename('#skF_4', W_891) | ~hollywood_placename('#skF_4', W_891) | ~city('#skF_4', X_884) | ~of('#skF_4', W_891, X_884) | ~old('#skF_4', V_890) | ~dirty('#skF_4', V_890) | ~white('#skF_4', V_890) | ~chevy('#skF_4', V_890) | ~frontseat('#skF_4', X_884) | ~forename('#skF_4', X12_882) | ~jules_forename('#skF_4', X12_882) | ~man('#skF_4', X11_883) | ~of('#skF_4', X12_882, X11_883) | ~member('#skF_4', '#skF_14'(X1_879, X12_882, X11_883, X_884, X13_885, X14_886, Z_887, Y_888, V_890, W_891, '#skF_4'), '#skF_9')))).
% 11.61/3.52 tff(c_1572, plain, (![W_1157, Y_1158, X11_1161, X12_1156, X1_1154, X14_1155, V_1159, X13_1162, Z_1160]: (member('#skF_4', '#skF_15'(X1_1154, X12_1156, X11_1161, '#skF_7', X13_1162, X14_1155, Z_1160, Y_1158, V_1159, W_1157, '#skF_4'), Z_1160) | member('#skF_4', '#skF_17'(X1_1154, X12_1156, X11_1161, '#skF_7', X13_1162, X14_1155, Z_1160, Y_1158, V_1159, W_1157, '#skF_4'), Z_1160) | ~cheap('#skF_4', '#skF_18'(X1_1154, X12_1156, X11_1161, '#skF_7', X13_1162, X14_1155, Z_1160, Y_1158, V_1159, W_1157, '#skF_4')) | ~black('#skF_4', '#skF_18'(X1_1154, X12_1156, X11_1161, '#skF_7', X13_1162, X14_1155, Z_1160, Y_1158, V_1159, W_1157, '#skF_4')) | ~coat('#skF_4', '#skF_18'(X1_1154, X12_1156, X11_1161, '#skF_7', X13_1162, X14_1155, Z_1160, Y_1158, V_1159, W_1157, '#skF_4')) | ~behind('#skF_4', X14_1155, X14_1155) | ~be('#skF_4', X13_1162, X11_1161, X14_1155) | ~state('#skF_4', X13_1162) | ~wheel('#skF_4', X14_1155) | ~group('#skF_4', X1_1154) | ~group('#skF_4', Z_1160) | ~two('#skF_4', Z_1160) | ~in('#skF_4', Y_1158, '#skF_7') | ~down('#skF_4', Y_1158, '#skF_7') | ~barrel('#skF_4', Y_1158) | ~present('#skF_4', Y_1158) | ~agent('#skF_4', Y_1158, V_1159) | ~event('#skF_4', Y_1158) | ~placename('#skF_4', W_1157) | ~hollywood_placename('#skF_4', W_1157) | ~of('#skF_4', W_1157, '#skF_7') | ~old('#skF_4', V_1159) | ~dirty('#skF_4', V_1159) | ~white('#skF_4', V_1159) | ~chevy('#skF_4', V_1159) | ~forename('#skF_4', X12_1156) | ~jules_forename('#skF_4', X12_1156) | ~man('#skF_4', X11_1161) | ~of('#skF_4', X12_1156, X11_1161) | ~member('#skF_4', '#skF_14'(X1_1154, X12_1156, X11_1161, '#skF_7', X13_1162, X14_1155, Z_1160, Y_1158, V_1159, W_1157, '#skF_4'), '#skF_9')))).
% 11.61/3.52 tff(c_1562, plain, (![X13_1143, Y_1136, X12_1139, X14_1141, W_1135, Z_1137, V_1142, X1_1140, X11_1134, X8_1138]: (member('#skF_4', '#skF_15'(X1_1140, X12_1139, X11_1134, '#skF_7', X13_1143, X14_1141, Z_1137, Y_1136, V_1142, W_1135, '#skF_4'), Z_1137) | ~wear('#skF_4', X8_1138) | ~nonreflexive('#skF_4', X8_1138) | ~present('#skF_4', X8_1138) | ~patient('#skF_4', X8_1138, '#skF_16'(X1_1140, X12_1139, X11_1134, '#skF_7', X13_1143, X14_1141, Z_1137, Y_1136, V_1142, W_1135, '#skF_4')) | ~agent('#skF_4', X8_1138, '#skF_17'(X1_1140, X12_1139, X11_1134, '#skF_7', X13_1143, X14_1141, Z_1137, Y_1136, V_1142, W_1135, '#skF_4')) | ~event('#skF_4', X8_1138) | member('#skF_4', '#skF_18'(X1_1140, X12_1139, X11_1134, '#skF_7', X13_1143, X14_1141, Z_1137, Y_1136, V_1142, W_1135, '#skF_4'), X1_1140) | ~behind('#skF_4', X14_1141, X14_1141) | ~be('#skF_4', X13_1143, X11_1134, X14_1141) | ~state('#skF_4', X13_1143) | ~wheel('#skF_4', X14_1141) | ~group('#skF_4', X1_1140) | ~group('#skF_4', Z_1137) | ~two('#skF_4', Z_1137) | ~in('#skF_4', Y_1136, '#skF_7') | ~down('#skF_4', Y_1136, '#skF_7') | ~barrel('#skF_4', Y_1136) | ~present('#skF_4', Y_1136) | ~agent('#skF_4', Y_1136, V_1142) | ~event('#skF_4', Y_1136) | ~placename('#skF_4', W_1135) | ~hollywood_placename('#skF_4', W_1135) | ~of('#skF_4', W_1135, '#skF_7') | ~old('#skF_4', V_1142) | ~dirty('#skF_4', V_1142) | ~white('#skF_4', V_1142) | ~chevy('#skF_4', V_1142) | ~forename('#skF_4', X12_1139) | ~jules_forename('#skF_4', X12_1139) | ~man('#skF_4', X11_1134) | ~of('#skF_4', X12_1139, X11_1134) | ~member('#skF_4', '#skF_14'(X1_1140, X12_1139, X11_1134, '#skF_7', X13_1143, X14_1141, Z_1137, Y_1136, V_1142, W_1135, '#skF_4'), '#skF_9')))).
% 11.61/3.52 tff(c_1181, plain, (![X14_791, V_795, W_796, Y_793, X12_787, X13_790, X_789, X1_785, X11_788, Z_792]: (~in('#skF_4', '#skF_12'('#skF_14'(X1_785, X12_787, X11_788, X_789, X13_790, X14_791, Z_792, Y_793, V_795, W_796, '#skF_4')), X_789) | ~state('#skF_4', '#skF_11'('#skF_14'(X1_785, X12_787, X11_788, X_789, X13_790, X14_791, Z_792, Y_793, V_795, W_796, '#skF_4'))) | member('#skF_4', '#skF_15'(X1_785, X12_787, X11_788, X_789, X13_790, X14_791, Z_792, Y_793, V_795, W_796, '#skF_4'), Z_792) | member('#skF_4', '#skF_17'(X1_785, X12_787, X11_788, X_789, X13_790, X14_791, Z_792, Y_793, V_795, W_796, '#skF_4'), Z_792) | ~cheap('#skF_4', '#skF_18'(X1_785, X12_787, X11_788, X_789, X13_790, X14_791, Z_792, Y_793, V_795, W_796, '#skF_4')) | ~black('#skF_4', '#skF_18'(X1_785, X12_787, X11_788, X_789, X13_790, X14_791, Z_792, Y_793, V_795, W_796, '#skF_4')) | ~coat('#skF_4', '#skF_18'(X1_785, X12_787, X11_788, X_789, X13_790, X14_791, Z_792, Y_793, V_795, W_796, '#skF_4')) | ~behind('#skF_4', X14_791, X14_791) | ~be('#skF_4', X13_790, X11_788, X14_791) | ~state('#skF_4', X13_790) | ~wheel('#skF_4', X14_791) | ~group('#skF_4', X1_785) | ~group('#skF_4', Z_792) | ~two('#skF_4', Z_792) | ~in('#skF_4', Y_793, X_789) | ~down('#skF_4', Y_793, X_789) | ~barrel('#skF_4', Y_793) | ~present('#skF_4', Y_793) | ~agent('#skF_4', Y_793, V_795) | ~event('#skF_4', Y_793) | ~lonely('#skF_4', X_789) | ~street('#skF_4', X_789) | ~placename('#skF_4', W_796) | ~hollywood_placename('#skF_4', W_796) | ~city('#skF_4', X_789) | ~of('#skF_4', W_796, X_789) | ~old('#skF_4', V_795) | ~dirty('#skF_4', V_795) | ~white('#skF_4', V_795) | ~chevy('#skF_4', V_795) | ~frontseat('#skF_4', X_789) | ~forename('#skF_4', X12_787) | ~jules_forename('#skF_4', X12_787) | ~man('#skF_4', X11_788) | ~of('#skF_4', X12_787, X11_788) | ~member('#skF_4', '#skF_14'(X1_785, X12_787, X11_788, X_789, X13_790, X14_791, Z_792, Y_793, V_795, W_796, '#skF_4'), '#skF_9')))).
% 11.61/3.52 tff(c_1218, plain, (![V_810, Y_808, X11_803, X1_799, X14_806, Z_807, X12_802, X13_805, X8_801, X_804, W_811]: (~in('#skF_4', '#skF_12'('#skF_14'(X1_799, X12_802, X11_803, X_804, X13_805, X14_806, Z_807, Y_808, V_810, W_811, '#skF_4')), X_804) | ~state('#skF_4', '#skF_11'('#skF_14'(X1_799, X12_802, X11_803, X_804, X13_805, X14_806, Z_807, Y_808, V_810, W_811, '#skF_4'))) | member('#skF_4', '#skF_15'(X1_799, X12_802, X11_803, X_804, X13_805, X14_806, Z_807, Y_808, V_810, W_811, '#skF_4'), Z_807) | ~wear('#skF_4', X8_801) | ~nonreflexive('#skF_4', X8_801) | ~present('#skF_4', X8_801) | ~patient('#skF_4', X8_801, '#skF_16'(X1_799, X12_802, X11_803, X_804, X13_805, X14_806, Z_807, Y_808, V_810, W_811, '#skF_4')) | ~agent('#skF_4', X8_801, '#skF_17'(X1_799, X12_802, X11_803, X_804, X13_805, X14_806, Z_807, Y_808, V_810, W_811, '#skF_4')) | ~event('#skF_4', X8_801) | member('#skF_4', '#skF_18'(X1_799, X12_802, X11_803, X_804, X13_805, X14_806, Z_807, Y_808, V_810, W_811, '#skF_4'), X1_799) | ~behind('#skF_4', X14_806, X14_806) | ~be('#skF_4', X13_805, X11_803, X14_806) | ~state('#skF_4', X13_805) | ~wheel('#skF_4', X14_806) | ~group('#skF_4', X1_799) | ~group('#skF_4', Z_807) | ~two('#skF_4', Z_807) | ~in('#skF_4', Y_808, X_804) | ~down('#skF_4', Y_808, X_804) | ~barrel('#skF_4', Y_808) | ~present('#skF_4', Y_808) | ~agent('#skF_4', Y_808, V_810) | ~event('#skF_4', Y_808) | ~lonely('#skF_4', X_804) | ~street('#skF_4', X_804) | ~placename('#skF_4', W_811) | ~hollywood_placename('#skF_4', W_811) | ~city('#skF_4', X_804) | ~of('#skF_4', W_811, X_804) | ~old('#skF_4', V_810) | ~dirty('#skF_4', V_810) | ~white('#skF_4', V_810) | ~chevy('#skF_4', V_810) | ~frontseat('#skF_4', X_804) | ~forename('#skF_4', X12_802) | ~jules_forename('#skF_4', X12_802) | ~man('#skF_4', X11_803) | ~of('#skF_4', X12_802, X11_803) | ~member('#skF_4', '#skF_14'(X1_799, X12_802, X11_803, X_804, X13_805, X14_806, Z_807, Y_808, V_810, W_811, '#skF_4'), '#skF_9')))).
% 11.61/3.52 tff(c_1542, plain, (![V_1097, X12_1103, X11_1102, X14_1101, X1_1099, Y_1098, W_1096, X13_1100, Z_1095]: (member('#skF_4', '#skF_15'(X1_1099, X12_1103, X11_1102, '#skF_7', X13_1100, X14_1101, Z_1095, Y_1098, V_1097, W_1096, '#skF_4'), Z_1095) | member('#skF_4', '#skF_16'(X1_1099, X12_1103, X11_1102, '#skF_7', X13_1100, X14_1101, Z_1095, Y_1098, V_1097, W_1096, '#skF_4'), X1_1099) | ~cheap('#skF_4', '#skF_18'(X1_1099, X12_1103, X11_1102, '#skF_7', X13_1100, X14_1101, Z_1095, Y_1098, V_1097, W_1096, '#skF_4')) | ~black('#skF_4', '#skF_18'(X1_1099, X12_1103, X11_1102, '#skF_7', X13_1100, X14_1101, Z_1095, Y_1098, V_1097, W_1096, '#skF_4')) | ~coat('#skF_4', '#skF_18'(X1_1099, X12_1103, X11_1102, '#skF_7', X13_1100, X14_1101, Z_1095, Y_1098, V_1097, W_1096, '#skF_4')) | ~behind('#skF_4', X14_1101, X14_1101) | ~be('#skF_4', X13_1100, X11_1102, X14_1101) | ~state('#skF_4', X13_1100) | ~wheel('#skF_4', X14_1101) | ~group('#skF_4', X1_1099) | ~group('#skF_4', Z_1095) | ~two('#skF_4', Z_1095) | ~in('#skF_4', Y_1098, '#skF_7') | ~down('#skF_4', Y_1098, '#skF_7') | ~barrel('#skF_4', Y_1098) | ~present('#skF_4', Y_1098) | ~agent('#skF_4', Y_1098, V_1097) | ~event('#skF_4', Y_1098) | ~placename('#skF_4', W_1096) | ~hollywood_placename('#skF_4', W_1096) | ~of('#skF_4', W_1096, '#skF_7') | ~old('#skF_4', V_1097) | ~dirty('#skF_4', V_1097) | ~white('#skF_4', V_1097) | ~chevy('#skF_4', V_1097) | ~forename('#skF_4', X12_1103) | ~jules_forename('#skF_4', X12_1103) | ~man('#skF_4', X11_1102) | ~of('#skF_4', X12_1103, X11_1102) | ~member('#skF_4', '#skF_14'(X1_1099, X12_1103, X11_1102, '#skF_7', X13_1100, X14_1101, Z_1095, Y_1098, V_1097, W_1096, '#skF_4'), '#skF_9')))).
% 11.61/3.52 tff(c_1148, plain, (![V_779, X14_775, Y_777, X12_771, X1_769, X11_772, X13_774, W_780, X_773, Z_776]: (~in('#skF_4', '#skF_12'('#skF_14'(X1_769, X12_771, X11_772, X_773, X13_774, X14_775, Z_776, Y_777, V_779, W_780, '#skF_4')), X_773) | ~state('#skF_4', '#skF_11'('#skF_14'(X1_769, X12_771, X11_772, X_773, X13_774, X14_775, Z_776, Y_777, V_779, W_780, '#skF_4'))) | member('#skF_4', '#skF_15'(X1_769, X12_771, X11_772, X_773, X13_774, X14_775, Z_776, Y_777, V_779, W_780, '#skF_4'), Z_776) | member('#skF_4', '#skF_16'(X1_769, X12_771, X11_772, X_773, X13_774, X14_775, Z_776, Y_777, V_779, W_780, '#skF_4'), X1_769) | ~cheap('#skF_4', '#skF_18'(X1_769, X12_771, X11_772, X_773, X13_774, X14_775, Z_776, Y_777, V_779, W_780, '#skF_4')) | ~black('#skF_4', '#skF_18'(X1_769, X12_771, X11_772, X_773, X13_774, X14_775, Z_776, Y_777, V_779, W_780, '#skF_4')) | ~coat('#skF_4', '#skF_18'(X1_769, X12_771, X11_772, X_773, X13_774, X14_775, Z_776, Y_777, V_779, W_780, '#skF_4')) | ~behind('#skF_4', X14_775, X14_775) | ~be('#skF_4', X13_774, X11_772, X14_775) | ~state('#skF_4', X13_774) | ~wheel('#skF_4', X14_775) | ~group('#skF_4', X1_769) | ~group('#skF_4', Z_776) | ~two('#skF_4', Z_776) | ~in('#skF_4', Y_777, X_773) | ~down('#skF_4', Y_777, X_773) | ~barrel('#skF_4', Y_777) | ~present('#skF_4', Y_777) | ~agent('#skF_4', Y_777, V_779) | ~event('#skF_4', Y_777) | ~lonely('#skF_4', X_773) | ~street('#skF_4', X_773) | ~placename('#skF_4', W_780) | ~hollywood_placename('#skF_4', W_780) | ~city('#skF_4', X_773) | ~of('#skF_4', W_780, X_773) | ~old('#skF_4', V_779) | ~dirty('#skF_4', V_779) | ~white('#skF_4', V_779) | ~chevy('#skF_4', V_779) | ~frontseat('#skF_4', X_773) | ~forename('#skF_4', X12_771) | ~jules_forename('#skF_4', X12_771) | ~man('#skF_4', X11_772) | ~of('#skF_4', X12_771, X11_772) | ~member('#skF_4', '#skF_14'(X1_769, X12_771, X11_772, X_773, X13_774, X14_775, Z_776, Y_777, V_779, W_780, '#skF_4'), '#skF_9')))).
% 11.61/3.52 tff(c_1529, plain, (![Z_1074, X14_1072, Y_1068, W_1070, X13_1075, X12_1073, X11_1069, X1_1071, V_1067]: (~young('#skF_4', '#skF_15'(X1_1071, X12_1073, X11_1069, '#skF_7', X13_1075, X14_1072, Z_1074, Y_1068, V_1067, W_1070, '#skF_4')) | ~fellow('#skF_4', '#skF_15'(X1_1071, X12_1073, X11_1069, '#skF_7', X13_1075, X14_1072, Z_1074, Y_1068, V_1067, W_1070, '#skF_4')) | member('#skF_4', '#skF_17'(X1_1071, X12_1073, X11_1069, '#skF_7', X13_1075, X14_1072, Z_1074, Y_1068, V_1067, W_1070, '#skF_4'), Z_1074) | member('#skF_4', '#skF_18'(X1_1071, X12_1073, X11_1069, '#skF_7', X13_1075, X14_1072, Z_1074, Y_1068, V_1067, W_1070, '#skF_4'), X1_1071) | ~behind('#skF_4', X14_1072, X14_1072) | ~be('#skF_4', X13_1075, X11_1069, X14_1072) | ~state('#skF_4', X13_1075) | ~wheel('#skF_4', X14_1072) | ~group('#skF_4', X1_1071) | ~group('#skF_4', Z_1074) | ~two('#skF_4', Z_1074) | ~in('#skF_4', Y_1068, '#skF_7') | ~down('#skF_4', Y_1068, '#skF_7') | ~barrel('#skF_4', Y_1068) | ~present('#skF_4', Y_1068) | ~agent('#skF_4', Y_1068, V_1067) | ~event('#skF_4', Y_1068) | ~placename('#skF_4', W_1070) | ~hollywood_placename('#skF_4', W_1070) | ~of('#skF_4', W_1070, '#skF_7') | ~old('#skF_4', V_1067) | ~dirty('#skF_4', V_1067) | ~white('#skF_4', V_1067) | ~chevy('#skF_4', V_1067) | ~forename('#skF_4', X12_1073) | ~jules_forename('#skF_4', X12_1073) | ~man('#skF_4', X11_1069) | ~of('#skF_4', X12_1073, X11_1069) | ~member('#skF_4', '#skF_14'(X1_1071, X12_1073, X11_1069, '#skF_7', X13_1075, X14_1072, Z_1074, Y_1068, V_1067, W_1070, '#skF_4'), '#skF_9')))).
% 11.61/3.52 tff(c_1035, plain, (![W_700, X12_691, X14_695, Y_697, X_693, X13_694, V_699, Z_696, X11_692, X1_689]: (~in('#skF_4', '#skF_12'('#skF_14'(X1_689, X12_691, X11_692, X_693, X13_694, X14_695, Z_696, Y_697, V_699, W_700, '#skF_4')), X_693) | ~state('#skF_4', '#skF_11'('#skF_14'(X1_689, X12_691, X11_692, X_693, X13_694, X14_695, Z_696, Y_697, V_699, W_700, '#skF_4'))) | ~young('#skF_4', '#skF_15'(X1_689, X12_691, X11_692, X_693, X13_694, X14_695, Z_696, Y_697, V_699, W_700, '#skF_4')) | ~fellow('#skF_4', '#skF_15'(X1_689, X12_691, X11_692, X_693, X13_694, X14_695, Z_696, Y_697, V_699, W_700, '#skF_4')) | member('#skF_4', '#skF_17'(X1_689, X12_691, X11_692, X_693, X13_694, X14_695, Z_696, Y_697, V_699, W_700, '#skF_4'), Z_696) | member('#skF_4', '#skF_18'(X1_689, X12_691, X11_692, X_693, X13_694, X14_695, Z_696, Y_697, V_699, W_700, '#skF_4'), X1_689) | ~behind('#skF_4', X14_695, X14_695) | ~be('#skF_4', X13_694, X11_692, X14_695) | ~state('#skF_4', X13_694) | ~wheel('#skF_4', X14_695) | ~group('#skF_4', X1_689) | ~group('#skF_4', Z_696) | ~two('#skF_4', Z_696) | ~in('#skF_4', Y_697, X_693) | ~down('#skF_4', Y_697, X_693) | ~barrel('#skF_4', Y_697) | ~present('#skF_4', Y_697) | ~agent('#skF_4', Y_697, V_699) | ~event('#skF_4', Y_697) | ~lonely('#skF_4', X_693) | ~street('#skF_4', X_693) | ~placename('#skF_4', W_700) | ~hollywood_placename('#skF_4', W_700) | ~city('#skF_4', X_693) | ~of('#skF_4', W_700, X_693) | ~old('#skF_4', V_699) | ~dirty('#skF_4', V_699) | ~white('#skF_4', V_699) | ~chevy('#skF_4', V_699) | ~frontseat('#skF_4', X_693) | ~forename('#skF_4', X12_691) | ~jules_forename('#skF_4', X12_691) | ~man('#skF_4', X11_692) | ~of('#skF_4', X12_691, X11_692) | ~member('#skF_4', '#skF_14'(X1_689, X12_691, X11_692, X_693, X13_694, X14_695, Z_696, Y_697, V_699, W_700, '#skF_4'), '#skF_9')))).
% 11.61/3.52 tff(c_1516, plain, (![X14_1045, X13_1044, X12_1046, Y_1039, X1_1042, Z_1041, V_1047, W_1040, X11_1043]: (~young('#skF_4', '#skF_15'(X1_1042, X12_1046, X11_1043, '#skF_7', X13_1044, X14_1045, Z_1041, Y_1039, V_1047, W_1040, '#skF_4')) | ~fellow('#skF_4', '#skF_15'(X1_1042, X12_1046, X11_1043, '#skF_7', X13_1044, X14_1045, Z_1041, Y_1039, V_1047, W_1040, '#skF_4')) | member('#skF_4', '#skF_16'(X1_1042, X12_1046, X11_1043, '#skF_7', X13_1044, X14_1045, Z_1041, Y_1039, V_1047, W_1040, '#skF_4'), X1_1042) | member('#skF_4', '#skF_18'(X1_1042, X12_1046, X11_1043, '#skF_7', X13_1044, X14_1045, Z_1041, Y_1039, V_1047, W_1040, '#skF_4'), X1_1042) | ~behind('#skF_4', X14_1045, X14_1045) | ~be('#skF_4', X13_1044, X11_1043, X14_1045) | ~state('#skF_4', X13_1044) | ~wheel('#skF_4', X14_1045) | ~group('#skF_4', X1_1042) | ~group('#skF_4', Z_1041) | ~two('#skF_4', Z_1041) | ~in('#skF_4', Y_1039, '#skF_7') | ~down('#skF_4', Y_1039, '#skF_7') | ~barrel('#skF_4', Y_1039) | ~present('#skF_4', Y_1039) | ~agent('#skF_4', Y_1039, V_1047) | ~event('#skF_4', Y_1039) | ~placename('#skF_4', W_1040) | ~hollywood_placename('#skF_4', W_1040) | ~of('#skF_4', W_1040, '#skF_7') | ~old('#skF_4', V_1047) | ~dirty('#skF_4', V_1047) | ~white('#skF_4', V_1047) | ~chevy('#skF_4', V_1047) | ~forename('#skF_4', X12_1046) | ~jules_forename('#skF_4', X12_1046) | ~man('#skF_4', X11_1043) | ~of('#skF_4', X12_1046, X11_1043) | ~member('#skF_4', '#skF_14'(X1_1042, X12_1046, X11_1043, '#skF_7', X13_1044, X14_1045, Z_1041, Y_1039, V_1047, W_1040, '#skF_4'), '#skF_9')))).
% 11.61/3.52 tff(c_1077, plain, (![W_719, Y_716, V_718, X14_714, Z_715, X13_713, X_712, X11_711, X12_710, X1_708]: (~in('#skF_4', '#skF_12'('#skF_14'(X1_708, X12_710, X11_711, X_712, X13_713, X14_714, Z_715, Y_716, V_718, W_719, '#skF_4')), X_712) | ~state('#skF_4', '#skF_11'('#skF_14'(X1_708, X12_710, X11_711, X_712, X13_713, X14_714, Z_715, Y_716, V_718, W_719, '#skF_4'))) | ~young('#skF_4', '#skF_15'(X1_708, X12_710, X11_711, X_712, X13_713, X14_714, Z_715, Y_716, V_718, W_719, '#skF_4')) | ~fellow('#skF_4', '#skF_15'(X1_708, X12_710, X11_711, X_712, X13_713, X14_714, Z_715, Y_716, V_718, W_719, '#skF_4')) | member('#skF_4', '#skF_16'(X1_708, X12_710, X11_711, X_712, X13_713, X14_714, Z_715, Y_716, V_718, W_719, '#skF_4'), X1_708) | member('#skF_4', '#skF_18'(X1_708, X12_710, X11_711, X_712, X13_713, X14_714, Z_715, Y_716, V_718, W_719, '#skF_4'), X1_708) | ~behind('#skF_4', X14_714, X14_714) | ~be('#skF_4', X13_713, X11_711, X14_714) | ~state('#skF_4', X13_713) | ~wheel('#skF_4', X14_714) | ~group('#skF_4', X1_708) | ~group('#skF_4', Z_715) | ~two('#skF_4', Z_715) | ~in('#skF_4', Y_716, X_712) | ~down('#skF_4', Y_716, X_712) | ~barrel('#skF_4', Y_716) | ~present('#skF_4', Y_716) | ~agent('#skF_4', Y_716, V_718) | ~event('#skF_4', Y_716) | ~lonely('#skF_4', X_712) | ~street('#skF_4', X_712) | ~placename('#skF_4', W_719) | ~hollywood_placename('#skF_4', W_719) | ~city('#skF_4', X_712) | ~of('#skF_4', W_719, X_712) | ~old('#skF_4', V_718) | ~dirty('#skF_4', V_718) | ~white('#skF_4', V_718) | ~chevy('#skF_4', V_718) | ~frontseat('#skF_4', X_712) | ~forename('#skF_4', X12_710) | ~jules_forename('#skF_4', X12_710) | ~man('#skF_4', X11_711) | ~of('#skF_4', X12_710, X11_711) | ~member('#skF_4', '#skF_14'(X1_708, X12_710, X11_711, X_712, X13_713, X14_714, Z_715, Y_716, V_718, W_719, '#skF_4'), '#skF_9')))).
% 11.61/3.52 tff(c_1503, plain, (![X1_1018, X12_1013, X14_1014, V_1011, W_1016, X13_1019, Z_1015, X11_1017, Y_1012]: (member('#skF_4', '#skF_15'(X1_1018, X12_1013, X11_1017, '#skF_7', X13_1019, X14_1014, Z_1015, Y_1012, V_1011, W_1016, '#skF_4'), Z_1015) | member('#skF_4', '#skF_16'(X1_1018, X12_1013, X11_1017, '#skF_7', X13_1019, X14_1014, Z_1015, Y_1012, V_1011, W_1016, '#skF_4'), X1_1018) | member('#skF_4', '#skF_18'(X1_1018, X12_1013, X11_1017, '#skF_7', X13_1019, X14_1014, Z_1015, Y_1012, V_1011, W_1016, '#skF_4'), X1_1018) | ~behind('#skF_4', X14_1014, X14_1014) | ~be('#skF_4', X13_1019, X11_1017, X14_1014) | ~state('#skF_4', X13_1019) | ~wheel('#skF_4', X14_1014) | ~group('#skF_4', X1_1018) | ~group('#skF_4', Z_1015) | ~two('#skF_4', Z_1015) | ~in('#skF_4', Y_1012, '#skF_7') | ~down('#skF_4', Y_1012, '#skF_7') | ~barrel('#skF_4', Y_1012) | ~present('#skF_4', Y_1012) | ~agent('#skF_4', Y_1012, V_1011) | ~event('#skF_4', Y_1012) | ~placename('#skF_4', W_1016) | ~hollywood_placename('#skF_4', W_1016) | ~of('#skF_4', W_1016, '#skF_7') | ~old('#skF_4', V_1011) | ~dirty('#skF_4', V_1011) | ~white('#skF_4', V_1011) | ~chevy('#skF_4', V_1011) | ~forename('#skF_4', X12_1013) | ~jules_forename('#skF_4', X12_1013) | ~man('#skF_4', X11_1017) | ~of('#skF_4', X12_1013, X11_1017) | ~member('#skF_4', '#skF_14'(X1_1018, X12_1013, X11_1017, '#skF_7', X13_1019, X14_1014, Z_1015, Y_1012, V_1011, W_1016, '#skF_4'), '#skF_9')))).
% 11.61/3.52 tff(c_888, plain, (![X11_629, X_630, W_637, X12_628, Z_633, Y_634, X14_632, V_636, X1_626, X13_631]: (~in('#skF_4', '#skF_12'('#skF_14'(X1_626, X12_628, X11_629, X_630, X13_631, X14_632, Z_633, Y_634, V_636, W_637, '#skF_4')), X_630) | ~state('#skF_4', '#skF_11'('#skF_14'(X1_626, X12_628, X11_629, X_630, X13_631, X14_632, Z_633, Y_634, V_636, W_637, '#skF_4'))) | member('#skF_4', '#skF_15'(X1_626, X12_628, X11_629, X_630, X13_631, X14_632, Z_633, Y_634, V_636, W_637, '#skF_4'), Z_633) | member('#skF_4', '#skF_16'(X1_626, X12_628, X11_629, X_630, X13_631, X14_632, Z_633, Y_634, V_636, W_637, '#skF_4'), X1_626) | member('#skF_4', '#skF_18'(X1_626, X12_628, X11_629, X_630, X13_631, X14_632, Z_633, Y_634, V_636, W_637, '#skF_4'), X1_626) | ~behind('#skF_4', X14_632, X14_632) | ~be('#skF_4', X13_631, X11_629, X14_632) | ~state('#skF_4', X13_631) | ~wheel('#skF_4', X14_632) | ~group('#skF_4', X1_626) | ~group('#skF_4', Z_633) | ~two('#skF_4', Z_633) | ~in('#skF_4', Y_634, X_630) | ~down('#skF_4', Y_634, X_630) | ~barrel('#skF_4', Y_634) | ~present('#skF_4', Y_634) | ~agent('#skF_4', Y_634, V_636) | ~event('#skF_4', Y_634) | ~lonely('#skF_4', X_630) | ~street('#skF_4', X_630) | ~placename('#skF_4', W_637) | ~hollywood_placename('#skF_4', W_637) | ~city('#skF_4', X_630) | ~of('#skF_4', W_637, X_630) | ~old('#skF_4', V_636) | ~dirty('#skF_4', V_636) | ~white('#skF_4', V_636) | ~chevy('#skF_4', V_636) | ~frontseat('#skF_4', X_630) | ~forename('#skF_4', X12_628) | ~jules_forename('#skF_4', X12_628) | ~man('#skF_4', X11_629) | ~of('#skF_4', X12_628, X11_629) | ~member('#skF_4', '#skF_14'(X1_626, X12_628, X11_629, X_630, X13_631, X14_632, Z_633, Y_634, V_636, W_637, '#skF_4'), '#skF_9')))).
% 11.61/3.52 tff(c_1490, plain, (![X13_985, X11_991, V_989, W_987, Y_984, X12_983, Z_990, X14_988, X1_986]: (member('#skF_4', '#skF_15'(X1_986, X12_983, X11_991, '#skF_7', X13_985, X14_988, Z_990, Y_984, V_989, W_987, '#skF_4'), Z_990) | member('#skF_4', '#skF_17'(X1_986, X12_983, X11_991, '#skF_7', X13_985, X14_988, Z_990, Y_984, V_989, W_987, '#skF_4'), Z_990) | member('#skF_4', '#skF_18'(X1_986, X12_983, X11_991, '#skF_7', X13_985, X14_988, Z_990, Y_984, V_989, W_987, '#skF_4'), X1_986) | ~behind('#skF_4', X14_988, X14_988) | ~be('#skF_4', X13_985, X11_991, X14_988) | ~state('#skF_4', X13_985) | ~wheel('#skF_4', X14_988) | ~group('#skF_4', X1_986) | ~group('#skF_4', Z_990) | ~two('#skF_4', Z_990) | ~in('#skF_4', Y_984, '#skF_7') | ~down('#skF_4', Y_984, '#skF_7') | ~barrel('#skF_4', Y_984) | ~present('#skF_4', Y_984) | ~agent('#skF_4', Y_984, V_989) | ~event('#skF_4', Y_984) | ~placename('#skF_4', W_987) | ~hollywood_placename('#skF_4', W_987) | ~of('#skF_4', W_987, '#skF_7') | ~old('#skF_4', V_989) | ~dirty('#skF_4', V_989) | ~white('#skF_4', V_989) | ~chevy('#skF_4', V_989) | ~forename('#skF_4', X12_983) | ~jules_forename('#skF_4', X12_983) | ~man('#skF_4', X11_991) | ~of('#skF_4', X12_983, X11_991) | ~member('#skF_4', '#skF_14'(X1_986, X12_983, X11_991, '#skF_7', X13_985, X14_988, Z_990, Y_984, V_989, W_987, '#skF_4'), '#skF_9')))).
% 11.61/3.52 tff(c_836, plain, (![X14_603, V_607, X12_599, X13_602, Y_605, X11_600, X_601, Z_604, W_608, X1_597]: (~in('#skF_4', '#skF_12'('#skF_14'(X1_597, X12_599, X11_600, X_601, X13_602, X14_603, Z_604, Y_605, V_607, W_608, '#skF_4')), X_601) | ~state('#skF_4', '#skF_11'('#skF_14'(X1_597, X12_599, X11_600, X_601, X13_602, X14_603, Z_604, Y_605, V_607, W_608, '#skF_4'))) | member('#skF_4', '#skF_15'(X1_597, X12_599, X11_600, X_601, X13_602, X14_603, Z_604, Y_605, V_607, W_608, '#skF_4'), Z_604) | member('#skF_4', '#skF_17'(X1_597, X12_599, X11_600, X_601, X13_602, X14_603, Z_604, Y_605, V_607, W_608, '#skF_4'), Z_604) | member('#skF_4', '#skF_18'(X1_597, X12_599, X11_600, X_601, X13_602, X14_603, Z_604, Y_605, V_607, W_608, '#skF_4'), X1_597) | ~behind('#skF_4', X14_603, X14_603) | ~be('#skF_4', X13_602, X11_600, X14_603) | ~state('#skF_4', X13_602) | ~wheel('#skF_4', X14_603) | ~group('#skF_4', X1_597) | ~group('#skF_4', Z_604) | ~two('#skF_4', Z_604) | ~in('#skF_4', Y_605, X_601) | ~down('#skF_4', Y_605, X_601) | ~barrel('#skF_4', Y_605) | ~present('#skF_4', Y_605) | ~agent('#skF_4', Y_605, V_607) | ~event('#skF_4', Y_605) | ~lonely('#skF_4', X_601) | ~street('#skF_4', X_601) | ~placename('#skF_4', W_608) | ~hollywood_placename('#skF_4', W_608) | ~city('#skF_4', X_601) | ~of('#skF_4', W_608, X_601) | ~old('#skF_4', V_607) | ~dirty('#skF_4', V_607) | ~white('#skF_4', V_607) | ~chevy('#skF_4', V_607) | ~frontseat('#skF_4', X_601) | ~forename('#skF_4', X12_599) | ~jules_forename('#skF_4', X12_599) | ~man('#skF_4', X11_600) | ~of('#skF_4', X12_599, X11_600) | ~member('#skF_4', '#skF_14'(X1_597, X12_599, X11_600, X_601, X13_602, X14_603, Z_604, Y_605, V_607, W_608, '#skF_4'), '#skF_9')))).
% 11.61/3.52 tff(c_1476, plain, (![W_967, X_968]: (~animate('#skF_4', '#skF_1'('#skF_4', '#skF_10', W_967, X_968)) | X_968=W_967 | ~member('#skF_4', X_968, '#skF_10') | ~member('#skF_4', W_967, '#skF_10')))).
% 11.61/3.52 tff(c_1475, plain, (![W_967, X_968]: (~abstraction('#skF_4', '#skF_1'('#skF_4', '#skF_10', W_967, X_968)) | X_968=W_967 | ~member('#skF_4', X_968, '#skF_10') | ~member('#skF_4', W_967, '#skF_10')))).
% 11.61/3.52 tff(c_1460, plain, (![W_951, X_952]: (artifact('#skF_4', '#skF_1'('#skF_4', '#skF_10', W_951, X_952)) | X_952=W_951 | ~member('#skF_4', X_952, '#skF_10') | ~member('#skF_4', W_951, '#skF_10')))).
% 11.61/3.53 tff(c_198, plain, (![X4_303, X3_302, X14_285, X13_284, V_278, X10_237, X12_277, Z_282, X11_276, X_280, X8_308, Y_281, X1_283, W_279]: (~in(X10_237, X4_303, X_280) | ~be(X10_237, X3_302, '#skF_14'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), X4_303) | ~state(X10_237, X3_302) | ~young(X10_237, '#skF_15'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~fellow(X10_237, '#skF_15'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~wear(X10_237, X8_308) | ~nonreflexive(X10_237, X8_308) | ~present(X10_237, X8_308) | ~patient(X10_237, X8_308, '#skF_16'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~agent(X10_237, X8_308, '#skF_17'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~event(X10_237, X8_308) | ~cheap(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~black(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~coat(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~behind(X10_237, X14_285, X14_285) | ~be(X10_237, X13_284, X11_276, X14_285) | ~state(X10_237, X13_284) | ~wheel(X10_237, X14_285) | ~group(X10_237, X1_283) | ~group(X10_237, Z_282) | ~two(X10_237, Z_282) | ~in(X10_237, Y_281, X_280) | ~down(X10_237, Y_281, X_280) | ~barrel(X10_237, Y_281) | ~present(X10_237, Y_281) | ~agent(X10_237, Y_281, V_278) | ~event(X10_237, Y_281) | ~lonely(X10_237, X_280) | ~street(X10_237, X_280) | ~placename(X10_237, W_279) | ~hollywood_placename(X10_237, W_279) | ~city(X10_237, X_280) | ~of(X10_237, W_279, X_280) | ~old(X10_237, V_278) | ~dirty(X10_237, V_278) | ~white(X10_237, V_278) | ~chevy(X10_237, V_278) | ~frontseat(X10_237, X_280) | ~forename(X10_237, X12_277) | ~jules_forename(X10_237, X12_277) | ~man(X10_237, X11_276) | ~of(X10_237, X12_277, X11_276) | ~actual_world(X10_237)))).
% 11.61/3.53 tff(c_1455, plain, (![W_949, X_950]: (clothes('#skF_4', '#skF_1'('#skF_4', '#skF_10', W_949, X_950)) | X_950=W_949 | ~member('#skF_4', X_950, '#skF_10') | ~member('#skF_4', W_949, '#skF_10')))).
% 11.61/3.53 tff(c_1450, plain, (![W_685, X_686]: (coat('#skF_4', '#skF_1'('#skF_4', '#skF_10', W_685, X_686)) | X_686=W_685 | ~member('#skF_4', X_686, '#skF_10') | ~member('#skF_4', W_685, '#skF_10')))).
% 11.61/3.53 tff(c_1448, plain, (![W_685, X_686]: (black('#skF_4', '#skF_1'('#skF_4', '#skF_10', W_685, X_686)) | X_686=W_685 | ~member('#skF_4', X_686, '#skF_10') | ~member('#skF_4', W_685, '#skF_10')))).
% 11.61/3.53 tff(c_1446, plain, (![W_685, X_686]: (cheap('#skF_4', '#skF_1'('#skF_4', '#skF_10', W_685, X_686)) | X_686=W_685 | ~member('#skF_4', X_686, '#skF_10') | ~member('#skF_4', W_685, '#skF_10')))).
% 11.61/3.53 tff(c_1435, plain, (![W_157, X_161]: (~member('#skF_4', '#skF_1'('#skF_4', '#skF_10', W_157, X_161), '#skF_9') | X_161=W_157 | ~member('#skF_4', X_161, '#skF_10') | ~member('#skF_4', W_157, '#skF_10')))).
% 11.61/3.53 tff(c_200, plain, (![X14_285, X13_284, V_278, X10_237, X12_277, Z_282, X11_276, X_280, X8_308, Y_281, X1_283, W_279]: (member(X10_237, '#skF_14'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), Z_282) | ~young(X10_237, '#skF_15'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~fellow(X10_237, '#skF_15'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~wear(X10_237, X8_308) | ~nonreflexive(X10_237, X8_308) | ~present(X10_237, X8_308) | ~patient(X10_237, X8_308, '#skF_16'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~agent(X10_237, X8_308, '#skF_17'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~event(X10_237, X8_308) | ~cheap(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~black(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~coat(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~behind(X10_237, X14_285, X14_285) | ~be(X10_237, X13_284, X11_276, X14_285) | ~state(X10_237, X13_284) | ~wheel(X10_237, X14_285) | ~group(X10_237, X1_283) | ~group(X10_237, Z_282) | ~two(X10_237, Z_282) | ~in(X10_237, Y_281, X_280) | ~down(X10_237, Y_281, X_280) | ~barrel(X10_237, Y_281) | ~present(X10_237, Y_281) | ~agent(X10_237, Y_281, V_278) | ~event(X10_237, Y_281) | ~lonely(X10_237, X_280) | ~street(X10_237, X_280) | ~placename(X10_237, W_279) | ~hollywood_placename(X10_237, W_279) | ~city(X10_237, X_280) | ~of(X10_237, W_279, X_280) | ~old(X10_237, V_278) | ~dirty(X10_237, V_278) | ~white(X10_237, V_278) | ~chevy(X10_237, V_278) | ~frontseat(X10_237, X_280) | ~forename(X10_237, X12_277) | ~jules_forename(X10_237, X12_277) | ~man(X10_237, X11_276) | ~of(X10_237, X12_277, X11_276) | ~actual_world(X10_237)))).
% 11.69/3.53 tff(c_1419, plain, (![X7_234]: (~member('#skF_4', X7_234, '#skF_9') | ~member('#skF_4', X7_234, '#skF_10')))).
% 11.69/3.53 tff(c_740, plain, (![X6_536, X7_537]: (~agent('#skF_4', '#skF_13'(X6_536, X7_537), X6_536) | ~nonreflexive('#skF_4', '#skF_13'(X6_536, X7_537)) | ~member('#skF_4', X7_537, '#skF_9') | ~member('#skF_4', X6_536, '#skF_10')))).
% 11.69/3.53 tff(c_202, plain, (![X4_303, X3_302, X14_285, X13_284, V_278, X10_237, X12_277, Z_282, X11_276, X_280, X8_308, Y_281, X1_283, W_279]: (~in(X10_237, X4_303, X_280) | ~be(X10_237, X3_302, '#skF_14'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), X4_303) | ~state(X10_237, X3_302) | member(X10_237, '#skF_15'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), Z_282) | ~wear(X10_237, X8_308) | ~nonreflexive(X10_237, X8_308) | ~present(X10_237, X8_308) | ~patient(X10_237, X8_308, '#skF_16'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~agent(X10_237, X8_308, '#skF_17'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~event(X10_237, X8_308) | ~cheap(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~black(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~coat(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~behind(X10_237, X14_285, X14_285) | ~be(X10_237, X13_284, X11_276, X14_285) | ~state(X10_237, X13_284) | ~wheel(X10_237, X14_285) | ~group(X10_237, X1_283) | ~group(X10_237, Z_282) | ~two(X10_237, Z_282) | ~in(X10_237, Y_281, X_280) | ~down(X10_237, Y_281, X_280) | ~barrel(X10_237, Y_281) | ~present(X10_237, Y_281) | ~agent(X10_237, Y_281, V_278) | ~event(X10_237, Y_281) | ~lonely(X10_237, X_280) | ~street(X10_237, X_280) | ~placename(X10_237, W_279) | ~hollywood_placename(X10_237, W_279) | ~city(X10_237, X_280) | ~of(X10_237, W_279, X_280) | ~old(X10_237, V_278) | ~dirty(X10_237, V_278) | ~white(X10_237, V_278) | ~chevy(X10_237, V_278) | ~frontseat(X10_237, X_280) | ~forename(X10_237, X12_277) | ~jules_forename(X10_237, X12_277) | ~man(X10_237, X11_276) | ~of(X10_237, X12_277, X11_276) | ~actual_world(X10_237)))).
% 11.69/3.53 tff(c_1395, plain, (be('#skF_4', '#skF_11'('#skF_2'('#skF_4', '#skF_9')), '#skF_2'('#skF_4', '#skF_9'), '#skF_2'('#skF_4', '#skF_9')))).
% 11.69/3.53 tff(c_1388, plain, (be('#skF_4', '#skF_11'('#skF_3'('#skF_4', '#skF_9')), '#skF_3'('#skF_4', '#skF_9'), '#skF_3'('#skF_4', '#skF_9')))).
% 11.69/3.53 tff(c_1386, plain, (~forename('#skF_4', '#skF_6'))).
% 11.69/3.53 tff(c_1374, plain, (![X7_896, X6_895]: (~member('#skF_4', X7_896, '#skF_9') | ~member('#skF_4', X6_895, '#skF_10') | ~artifact('#skF_4', '#skF_13'(X6_895, X7_896))))).
% 11.69/3.53 tff(c_204, plain, (![X14_285, X13_284, V_278, X10_237, X12_277, Z_282, X11_276, X_280, X8_308, Y_281, X1_283, W_279]: (member(X10_237, '#skF_14'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), Z_282) | member(X10_237, '#skF_15'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), Z_282) | ~wear(X10_237, X8_308) | ~nonreflexive(X10_237, X8_308) | ~present(X10_237, X8_308) | ~patient(X10_237, X8_308, '#skF_16'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~agent(X10_237, X8_308, '#skF_17'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~event(X10_237, X8_308) | ~cheap(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~black(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~coat(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~behind(X10_237, X14_285, X14_285) | ~be(X10_237, X13_284, X11_276, X14_285) | ~state(X10_237, X13_284) | ~wheel(X10_237, X14_285) | ~group(X10_237, X1_283) | ~group(X10_237, Z_282) | ~two(X10_237, Z_282) | ~in(X10_237, Y_281, X_280) | ~down(X10_237, Y_281, X_280) | ~barrel(X10_237, Y_281) | ~present(X10_237, Y_281) | ~agent(X10_237, Y_281, V_278) | ~event(X10_237, Y_281) | ~lonely(X10_237, X_280) | ~street(X10_237, X_280) | ~placename(X10_237, W_279) | ~hollywood_placename(X10_237, W_279) | ~city(X10_237, X_280) | ~of(X10_237, W_279, X_280) | ~old(X10_237, V_278) | ~dirty(X10_237, V_278) | ~white(X10_237, V_278) | ~chevy(X10_237, V_278) | ~frontseat(X10_237, X_280) | ~forename(X10_237, X12_277) | ~jules_forename(X10_237, X12_277) | ~man(X10_237, X11_276) | ~of(X10_237, X12_277, X11_276) | ~actual_world(X10_237)))).
% 11.69/3.53 tff(c_1373, plain, (![X7_896, X6_895]: (~member('#skF_4', X7_896, '#skF_9') | ~member('#skF_4', X6_895, '#skF_10') | ~city('#skF_4', '#skF_13'(X6_895, X7_896))))).
% 11.69/3.53 tff(c_932, plain, (![X6_230, X7_234]: (~entity('#skF_4', '#skF_13'(X6_230, X7_234)) | ~member('#skF_4', X7_234, '#skF_9') | ~member('#skF_4', X6_230, '#skF_10')))).
% 11.69/3.53 tff(c_899, plain, (![X6_230, X7_234]: (~abstraction('#skF_4', '#skF_13'(X6_230, X7_234)) | ~member('#skF_4', X7_234, '#skF_9') | ~member('#skF_4', X6_230, '#skF_10')))).
% 11.69/3.53 tff(c_222, plain, (![X4_303, X3_302, X14_285, X13_284, V_278, X10_237, X12_277, Z_282, X11_276, X_280, X8_308, Y_281, X1_283, W_279]: (~in(X10_237, X4_303, X_280) | ~be(X10_237, X3_302, '#skF_14'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), X4_303) | ~state(X10_237, X3_302) | ~young(X10_237, '#skF_15'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~fellow(X10_237, '#skF_15'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~wear(X10_237, X8_308) | ~nonreflexive(X10_237, X8_308) | ~present(X10_237, X8_308) | ~patient(X10_237, X8_308, '#skF_16'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~agent(X10_237, X8_308, '#skF_17'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~event(X10_237, X8_308) | member(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), X1_283) | ~behind(X10_237, X14_285, X14_285) | ~be(X10_237, X13_284, X11_276, X14_285) | ~state(X10_237, X13_284) | ~wheel(X10_237, X14_285) | ~group(X10_237, X1_283) | ~group(X10_237, Z_282) | ~two(X10_237, Z_282) | ~in(X10_237, Y_281, X_280) | ~down(X10_237, Y_281, X_280) | ~barrel(X10_237, Y_281) | ~present(X10_237, Y_281) | ~agent(X10_237, Y_281, V_278) | ~event(X10_237, Y_281) | ~lonely(X10_237, X_280) | ~street(X10_237, X_280) | ~placename(X10_237, W_279) | ~hollywood_placename(X10_237, W_279) | ~city(X10_237, X_280) | ~of(X10_237, W_279, X_280) | ~old(X10_237, V_278) | ~dirty(X10_237, V_278) | ~white(X10_237, V_278) | ~chevy(X10_237, V_278) | ~frontseat(X10_237, X_280) | ~forename(X10_237, X12_277) | ~jules_forename(X10_237, X12_277) | ~man(X10_237, X11_276) | ~of(X10_237, X12_277, X11_276) | ~actual_world(X10_237)))).
% 11.69/3.53 tff(c_1334, plain, (member('#skF_4', '#skF_2'('#skF_4', '#skF_9'), '#skF_9'))).
% 11.69/3.53 tff(c_1333, plain, (in('#skF_4', '#skF_2'('#skF_4', '#skF_9'), '#skF_7'))).
% 11.69/3.53 tff(c_1294, plain, (member('#skF_4', '#skF_3'('#skF_4', '#skF_9'), '#skF_9'))).
% 11.69/3.53 tff(c_214, plain, (![X4_303, X3_302, X14_285, X13_284, V_278, X10_237, X12_277, Z_282, X11_276, X_280, Y_281, X1_283, W_279]: (~in(X10_237, X4_303, X_280) | ~be(X10_237, X3_302, '#skF_14'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), X4_303) | ~state(X10_237, X3_302) | ~young(X10_237, '#skF_15'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~fellow(X10_237, '#skF_15'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | member(X10_237, '#skF_16'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), X1_283) | ~cheap(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~black(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~coat(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~behind(X10_237, X14_285, X14_285) | ~be(X10_237, X13_284, X11_276, X14_285) | ~state(X10_237, X13_284) | ~wheel(X10_237, X14_285) | ~group(X10_237, X1_283) | ~group(X10_237, Z_282) | ~two(X10_237, Z_282) | ~in(X10_237, Y_281, X_280) | ~down(X10_237, Y_281, X_280) | ~barrel(X10_237, Y_281) | ~present(X10_237, Y_281) | ~agent(X10_237, Y_281, V_278) | ~event(X10_237, Y_281) | ~lonely(X10_237, X_280) | ~street(X10_237, X_280) | ~placename(X10_237, W_279) | ~hollywood_placename(X10_237, W_279) | ~city(X10_237, X_280) | ~of(X10_237, W_279, X_280) | ~old(X10_237, V_278) | ~dirty(X10_237, V_278) | ~white(X10_237, V_278) | ~chevy(X10_237, V_278) | ~frontseat(X10_237, X_280) | ~forename(X10_237, X12_277) | ~jules_forename(X10_237, X12_277) | ~man(X10_237, X11_276) | ~of(X10_237, X12_277, X11_276) | ~actual_world(X10_237)))).
% 11.69/3.53 tff(c_1293, plain, (in('#skF_4', '#skF_3'('#skF_4', '#skF_9'), '#skF_7'))).
% 11.69/3.53 tff(c_206, plain, (![X4_303, X3_302, X14_285, X13_284, V_278, X10_237, X12_277, Z_282, X11_276, X_280, Y_281, X1_283, W_279]: (~in(X10_237, X4_303, X_280) | ~be(X10_237, X3_302, '#skF_14'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), X4_303) | ~state(X10_237, X3_302) | ~young(X10_237, '#skF_15'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~fellow(X10_237, '#skF_15'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | member(X10_237, '#skF_17'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), Z_282) | ~cheap(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~black(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~coat(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~behind(X10_237, X14_285, X14_285) | ~be(X10_237, X13_284, X11_276, X14_285) | ~state(X10_237, X13_284) | ~wheel(X10_237, X14_285) | ~group(X10_237, X1_283) | ~group(X10_237, Z_282) | ~two(X10_237, Z_282) | ~in(X10_237, Y_281, X_280) | ~down(X10_237, Y_281, X_280) | ~barrel(X10_237, Y_281) | ~present(X10_237, Y_281) | ~agent(X10_237, Y_281, V_278) | ~event(X10_237, Y_281) | ~lonely(X10_237, X_280) | ~street(X10_237, X_280) | ~placename(X10_237, W_279) | ~hollywood_placename(X10_237, W_279) | ~city(X10_237, X_280) | ~of(X10_237, W_279, X_280) | ~old(X10_237, V_278) | ~dirty(X10_237, V_278) | ~white(X10_237, V_278) | ~chevy(X10_237, V_278) | ~frontseat(X10_237, X_280) | ~forename(X10_237, X12_277) | ~jules_forename(X10_237, X12_277) | ~man(X10_237, X11_276) | ~of(X10_237, X12_277, X11_276) | ~actual_world(X10_237)))).
% 11.69/3.53 tff(c_1260, plain, (![W_648]: (W_648='#skF_6' | ~of('#skF_4', W_648, '#skF_7') | ~placename('#skF_4', W_648)))).
% 11.69/3.53 tff(c_1261, plain, (entity('#skF_4', '#skF_7'))).
% 11.69/3.53 tff(c_1238, plain, (![X2_826]: (~member('#skF_4', X2_826, '#skF_9') | ~artifact('#skF_4', '#skF_11'(X2_826))))).
% 11.69/3.53 tff(c_224, plain, (![X14_285, X13_284, V_278, X10_237, X12_277, Z_282, X11_276, X_280, X8_308, Y_281, X1_283, W_279]: (member(X10_237, '#skF_14'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), Z_282) | ~young(X10_237, '#skF_15'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~fellow(X10_237, '#skF_15'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~wear(X10_237, X8_308) | ~nonreflexive(X10_237, X8_308) | ~present(X10_237, X8_308) | ~patient(X10_237, X8_308, '#skF_16'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~agent(X10_237, X8_308, '#skF_17'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~event(X10_237, X8_308) | member(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), X1_283) | ~behind(X10_237, X14_285, X14_285) | ~be(X10_237, X13_284, X11_276, X14_285) | ~state(X10_237, X13_284) | ~wheel(X10_237, X14_285) | ~group(X10_237, X1_283) | ~group(X10_237, Z_282) | ~two(X10_237, Z_282) | ~in(X10_237, Y_281, X_280) | ~down(X10_237, Y_281, X_280) | ~barrel(X10_237, Y_281) | ~present(X10_237, Y_281) | ~agent(X10_237, Y_281, V_278) | ~event(X10_237, Y_281) | ~lonely(X10_237, X_280) | ~street(X10_237, X_280) | ~placename(X10_237, W_279) | ~hollywood_placename(X10_237, W_279) | ~city(X10_237, X_280) | ~of(X10_237, W_279, X_280) | ~old(X10_237, V_278) | ~dirty(X10_237, V_278) | ~white(X10_237, V_278) | ~chevy(X10_237, V_278) | ~frontseat(X10_237, X_280) | ~forename(X10_237, X12_277) | ~jules_forename(X10_237, X12_277) | ~man(X10_237, X11_276) | ~of(X10_237, X12_277, X11_276) | ~actual_world(X10_237)))).
% 11.69/3.53 tff(c_1237, plain, (![X2_826]: (~member('#skF_4', X2_826, '#skF_9') | ~city('#skF_4', '#skF_11'(X2_826))))).
% 11.69/3.53 tff(c_208, plain, (![X14_285, X13_284, V_278, X10_237, X12_277, Z_282, X11_276, X_280, Y_281, X1_283, W_279]: (member(X10_237, '#skF_14'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), Z_282) | ~young(X10_237, '#skF_15'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~fellow(X10_237, '#skF_15'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | member(X10_237, '#skF_17'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), Z_282) | ~cheap(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~black(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~coat(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~behind(X10_237, X14_285, X14_285) | ~be(X10_237, X13_284, X11_276, X14_285) | ~state(X10_237, X13_284) | ~wheel(X10_237, X14_285) | ~group(X10_237, X1_283) | ~group(X10_237, Z_282) | ~two(X10_237, Z_282) | ~in(X10_237, Y_281, X_280) | ~down(X10_237, Y_281, X_280) | ~barrel(X10_237, Y_281) | ~present(X10_237, Y_281) | ~agent(X10_237, Y_281, V_278) | ~event(X10_237, Y_281) | ~lonely(X10_237, X_280) | ~street(X10_237, X_280) | ~placename(X10_237, W_279) | ~hollywood_placename(X10_237, W_279) | ~city(X10_237, X_280) | ~of(X10_237, W_279, X_280) | ~old(X10_237, V_278) | ~dirty(X10_237, V_278) | ~white(X10_237, V_278) | ~chevy(X10_237, V_278) | ~frontseat(X10_237, X_280) | ~forename(X10_237, X12_277) | ~jules_forename(X10_237, X12_277) | ~man(X10_237, X11_276) | ~of(X10_237, X12_277, X11_276) | ~actual_world(X10_237)))).
% 11.69/3.53 tff(c_1226, plain, (![X2_813]: (~entity('#skF_4', '#skF_11'(X2_813)) | ~member('#skF_4', X2_813, '#skF_9')))).
% 11.69/3.53 tff(c_1227, plain, (![X2_813]: (~abstraction('#skF_4', '#skF_11'(X2_813)) | ~member('#skF_4', X2_813, '#skF_9')))).
% 11.69/3.53 tff(c_216, plain, (![X14_285, X13_284, V_278, X10_237, X12_277, Z_282, X11_276, X_280, Y_281, X1_283, W_279]: (member(X10_237, '#skF_14'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), Z_282) | ~young(X10_237, '#skF_15'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~fellow(X10_237, '#skF_15'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | member(X10_237, '#skF_16'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), X1_283) | ~cheap(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~black(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~coat(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~behind(X10_237, X14_285, X14_285) | ~be(X10_237, X13_284, X11_276, X14_285) | ~state(X10_237, X13_284) | ~wheel(X10_237, X14_285) | ~group(X10_237, X1_283) | ~group(X10_237, Z_282) | ~two(X10_237, Z_282) | ~in(X10_237, Y_281, X_280) | ~down(X10_237, Y_281, X_280) | ~barrel(X10_237, Y_281) | ~present(X10_237, Y_281) | ~agent(X10_237, Y_281, V_278) | ~event(X10_237, Y_281) | ~lonely(X10_237, X_280) | ~street(X10_237, X_280) | ~placename(X10_237, W_279) | ~hollywood_placename(X10_237, W_279) | ~city(X10_237, X_280) | ~of(X10_237, W_279, X_280) | ~old(X10_237, V_278) | ~dirty(X10_237, V_278) | ~white(X10_237, V_278) | ~chevy(X10_237, V_278) | ~frontseat(X10_237, X_280) | ~forename(X10_237, X12_277) | ~jules_forename(X10_237, X12_277) | ~man(X10_237, X11_276) | ~of(X10_237, X12_277, X11_276) | ~actual_world(X10_237)))).
% 11.69/3.53 tff(c_466, plain, (![X2_226]: (eventuality('#skF_4', '#skF_11'(X2_226)) | ~member('#skF_4', X2_226, '#skF_9')))).
% 11.69/3.53 tff(c_226, plain, (![X4_303, X3_302, X14_285, X13_284, V_278, X10_237, X12_277, Z_282, X11_276, X_280, X8_308, Y_281, X1_283, W_279]: (~in(X10_237, X4_303, X_280) | ~be(X10_237, X3_302, '#skF_14'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), X4_303) | ~state(X10_237, X3_302) | member(X10_237, '#skF_15'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), Z_282) | ~wear(X10_237, X8_308) | ~nonreflexive(X10_237, X8_308) | ~present(X10_237, X8_308) | ~patient(X10_237, X8_308, '#skF_16'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~agent(X10_237, X8_308, '#skF_17'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~event(X10_237, X8_308) | member(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), X1_283) | ~behind(X10_237, X14_285, X14_285) | ~be(X10_237, X13_284, X11_276, X14_285) | ~state(X10_237, X13_284) | ~wheel(X10_237, X14_285) | ~group(X10_237, X1_283) | ~group(X10_237, Z_282) | ~two(X10_237, Z_282) | ~in(X10_237, Y_281, X_280) | ~down(X10_237, Y_281, X_280) | ~barrel(X10_237, Y_281) | ~present(X10_237, Y_281) | ~agent(X10_237, Y_281, V_278) | ~event(X10_237, Y_281) | ~lonely(X10_237, X_280) | ~street(X10_237, X_280) | ~placename(X10_237, W_279) | ~hollywood_placename(X10_237, W_279) | ~city(X10_237, X_280) | ~of(X10_237, W_279, X_280) | ~old(X10_237, V_278) | ~dirty(X10_237, V_278) | ~white(X10_237, V_278) | ~chevy(X10_237, V_278) | ~frontseat(X10_237, X_280) | ~forename(X10_237, X12_277) | ~jules_forename(X10_237, X12_277) | ~man(X10_237, X11_276) | ~of(X10_237, X12_277, X11_276) | ~actual_world(X10_237)))).
% 11.69/3.53 tff(c_1211, plain, (~two('#skF_4', '#skF_10'))).
% 11.69/3.53 tff(c_418, plain, (![X2_416]: (event('#skF_4', '#skF_11'(X2_416)) | ~member('#skF_4', X2_416, '#skF_9')))).
% 11.69/3.53 tff(c_1174, plain, ('#skF_12'('#skF_2'('#skF_4', '#skF_9'))='#skF_2'('#skF_4', '#skF_9'))).
% 11.69/3.53 tff(c_1171, plain, ('#skF_12'('#skF_3'('#skF_4', '#skF_9'))='#skF_3'('#skF_4', '#skF_9'))).
% 11.69/3.53 tff(c_210, plain, (![X4_303, X3_302, X14_285, X13_284, V_278, X10_237, X12_277, Z_282, X11_276, X_280, Y_281, X1_283, W_279]: (~in(X10_237, X4_303, X_280) | ~be(X10_237, X3_302, '#skF_14'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), X4_303) | ~state(X10_237, X3_302) | member(X10_237, '#skF_15'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), Z_282) | member(X10_237, '#skF_17'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), Z_282) | ~cheap(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~black(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~coat(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~behind(X10_237, X14_285, X14_285) | ~be(X10_237, X13_284, X11_276, X14_285) | ~state(X10_237, X13_284) | ~wheel(X10_237, X14_285) | ~group(X10_237, X1_283) | ~group(X10_237, Z_282) | ~two(X10_237, Z_282) | ~in(X10_237, Y_281, X_280) | ~down(X10_237, Y_281, X_280) | ~barrel(X10_237, Y_281) | ~present(X10_237, Y_281) | ~agent(X10_237, Y_281, V_278) | ~event(X10_237, Y_281) | ~lonely(X10_237, X_280) | ~street(X10_237, X_280) | ~placename(X10_237, W_279) | ~hollywood_placename(X10_237, W_279) | ~city(X10_237, X_280) | ~of(X10_237, W_279, X_280) | ~old(X10_237, V_278) | ~dirty(X10_237, V_278) | ~white(X10_237, V_278) | ~chevy(X10_237, V_278) | ~frontseat(X10_237, X_280) | ~forename(X10_237, X12_277) | ~jules_forename(X10_237, X12_277) | ~man(X10_237, X11_276) | ~of(X10_237, X12_277, X11_276) | ~actual_world(X10_237)))).
% 11.69/3.53 tff(c_524, plain, (![X2_226]: ('#skF_12'(X2_226)=X2_226 | ~member('#skF_4', X2_226, '#skF_9')))).
% 11.69/3.53 tff(c_1153, plain, (~barrel('#skF_4', '#skF_7'))).
% 11.69/3.53 tff(c_1113, plain, (![U_13, V_14]: (~barrel(U_13, V_14) | ~city(U_13, V_14)))).
% 11.69/3.53 tff(c_218, plain, (![X4_303, X3_302, X14_285, X13_284, V_278, X10_237, X12_277, Z_282, X11_276, X_280, Y_281, X1_283, W_279]: (~in(X10_237, X4_303, X_280) | ~be(X10_237, X3_302, '#skF_14'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), X4_303) | ~state(X10_237, X3_302) | member(X10_237, '#skF_15'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), Z_282) | member(X10_237, '#skF_16'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), X1_283) | ~cheap(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~black(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~coat(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~behind(X10_237, X14_285, X14_285) | ~be(X10_237, X13_284, X11_276, X14_285) | ~state(X10_237, X13_284) | ~wheel(X10_237, X14_285) | ~group(X10_237, X1_283) | ~group(X10_237, Z_282) | ~two(X10_237, Z_282) | ~in(X10_237, Y_281, X_280) | ~down(X10_237, Y_281, X_280) | ~barrel(X10_237, Y_281) | ~present(X10_237, Y_281) | ~agent(X10_237, Y_281, V_278) | ~event(X10_237, Y_281) | ~lonely(X10_237, X_280) | ~street(X10_237, X_280) | ~placename(X10_237, W_279) | ~hollywood_placename(X10_237, W_279) | ~city(X10_237, X_280) | ~of(X10_237, W_279, X_280) | ~old(X10_237, V_278) | ~dirty(X10_237, V_278) | ~white(X10_237, V_278) | ~chevy(X10_237, V_278) | ~frontseat(X10_237, X_280) | ~forename(X10_237, X12_277) | ~jules_forename(X10_237, X12_277) | ~man(X10_237, X11_276) | ~of(X10_237, X12_277, X11_276) | ~actual_world(X10_237)))).
% 11.69/3.53 tff(c_1116, plain, (![U_414, V_415]: (~barrel(U_414, V_415) | ~artifact(U_414, V_415)))).
% 11.69/3.53 tff(c_900, plain, (![U_43, V_44]: (~abstraction(U_43, V_44) | ~barrel(U_43, V_44)))).
% 11.69/3.53 tff(c_1130, plain, (~city('#skF_4', '#skF_2'('#skF_4', '#skF_9')))).
% 11.69/3.53 tff(c_1129, plain, (~city('#skF_4', '#skF_3'('#skF_4', '#skF_9')))).
% 11.69/3.53 tff(c_220, plain, (![X14_285, X13_284, V_278, X10_237, X12_277, Z_282, X11_276, X_280, Y_281, X1_283, W_279]: (member(X10_237, '#skF_14'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), Z_282) | member(X10_237, '#skF_15'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), Z_282) | member(X10_237, '#skF_16'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), X1_283) | ~cheap(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~black(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~coat(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~behind(X10_237, X14_285, X14_285) | ~be(X10_237, X13_284, X11_276, X14_285) | ~state(X10_237, X13_284) | ~wheel(X10_237, X14_285) | ~group(X10_237, X1_283) | ~group(X10_237, Z_282) | ~two(X10_237, Z_282) | ~in(X10_237, Y_281, X_280) | ~down(X10_237, Y_281, X_280) | ~barrel(X10_237, Y_281) | ~present(X10_237, Y_281) | ~agent(X10_237, Y_281, V_278) | ~event(X10_237, Y_281) | ~lonely(X10_237, X_280) | ~street(X10_237, X_280) | ~placename(X10_237, W_279) | ~hollywood_placename(X10_237, W_279) | ~city(X10_237, X_280) | ~of(X10_237, W_279, X_280) | ~old(X10_237, V_278) | ~dirty(X10_237, V_278) | ~white(X10_237, V_278) | ~chevy(X10_237, V_278) | ~frontseat(X10_237, X_280) | ~forename(X10_237, X12_277) | ~jules_forename(X10_237, X12_277) | ~man(X10_237, X11_276) | ~of(X10_237, X12_277, X11_276) | ~actual_world(X10_237)))).
% 11.69/3.53 tff(c_1083, plain, (![U_13, V_14]: (~fellow(U_13, V_14) | ~city(U_13, V_14)))).
% 11.69/3.53 tff(c_1040, plain, (![U_59, V_60]: (~city(U_59, V_60) | ~human_person(U_59, V_60)))).
% 11.69/3.54 tff(c_933, plain, (![U_43, V_44]: (~entity(U_43, V_44) | ~barrel(U_43, V_44)))).
% 11.69/3.54 tff(c_228, plain, (![X14_285, X13_284, V_278, X10_237, X12_277, Z_282, X11_276, X_280, X8_308, Y_281, X1_283, W_279]: (member(X10_237, '#skF_14'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), Z_282) | member(X10_237, '#skF_15'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), Z_282) | ~wear(X10_237, X8_308) | ~nonreflexive(X10_237, X8_308) | ~present(X10_237, X8_308) | ~patient(X10_237, X8_308, '#skF_16'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~agent(X10_237, X8_308, '#skF_17'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~event(X10_237, X8_308) | member(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), X1_283) | ~behind(X10_237, X14_285, X14_285) | ~be(X10_237, X13_284, X11_276, X14_285) | ~state(X10_237, X13_284) | ~wheel(X10_237, X14_285) | ~group(X10_237, X1_283) | ~group(X10_237, Z_282) | ~two(X10_237, Z_282) | ~in(X10_237, Y_281, X_280) | ~down(X10_237, Y_281, X_280) | ~barrel(X10_237, Y_281) | ~present(X10_237, Y_281) | ~agent(X10_237, Y_281, V_278) | ~event(X10_237, Y_281) | ~lonely(X10_237, X_280) | ~street(X10_237, X_280) | ~placename(X10_237, W_279) | ~hollywood_placename(X10_237, W_279) | ~city(X10_237, X_280) | ~of(X10_237, W_279, X_280) | ~old(X10_237, V_278) | ~dirty(X10_237, V_278) | ~white(X10_237, V_278) | ~chevy(X10_237, V_278) | ~frontseat(X10_237, X_280) | ~forename(X10_237, X12_277) | ~jules_forename(X10_237, X12_277) | ~man(X10_237, X11_276) | ~of(X10_237, X12_277, X11_276) | ~actual_world(X10_237)))).
% 11.69/3.54 tff(c_1092, plain, (~abstraction('#skF_4', '#skF_10'))).
% 11.69/3.54 tff(c_1091, plain, (~abstraction('#skF_4', '#skF_9'))).
% 11.69/3.54 tff(c_824, plain, (![U_334, V_335]: (~abstraction(U_334, V_335) | ~group(U_334, V_335)))).
% 11.69/3.54 tff(c_803, plain, (![U_372, V_373]: (~location(U_372, V_373) | ~fellow(U_372, V_373)))).
% 11.69/3.54 tff(c_1062, plain, (~artifact('#skF_4', '#skF_9'))).
% 11.69/3.54 tff(c_212, plain, (![X14_285, X13_284, V_278, X10_237, X12_277, Z_282, X11_276, X_280, Y_281, X1_283, W_279]: (member(X10_237, '#skF_14'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), Z_282) | member(X10_237, '#skF_15'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), Z_282) | member(X10_237, '#skF_17'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), Z_282) | ~cheap(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~black(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~coat(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~behind(X10_237, X14_285, X14_285) | ~be(X10_237, X13_284, X11_276, X14_285) | ~state(X10_237, X13_284) | ~wheel(X10_237, X14_285) | ~group(X10_237, X1_283) | ~group(X10_237, Z_282) | ~two(X10_237, Z_282) | ~in(X10_237, Y_281, X_280) | ~down(X10_237, Y_281, X_280) | ~barrel(X10_237, Y_281) | ~present(X10_237, Y_281) | ~agent(X10_237, Y_281, V_278) | ~event(X10_237, Y_281) | ~lonely(X10_237, X_280) | ~street(X10_237, X_280) | ~placename(X10_237, W_279) | ~hollywood_placename(X10_237, W_279) | ~city(X10_237, X_280) | ~of(X10_237, W_279, X_280) | ~old(X10_237, V_278) | ~dirty(X10_237, V_278) | ~white(X10_237, V_278) | ~chevy(X10_237, V_278) | ~frontseat(X10_237, X_280) | ~forename(X10_237, X12_277) | ~jules_forename(X10_237, X12_277) | ~man(X10_237, X11_276) | ~of(X10_237, X12_277, X11_276) | ~actual_world(X10_237)))).
% 11.69/3.54 tff(c_1069, plain, (~city('#skF_4', '#skF_10'))).
% 11.69/3.54 tff(c_1070, plain, (~artifact('#skF_4', '#skF_10'))).
% 11.69/3.54 tff(c_1061, plain, (~city('#skF_4', '#skF_9'))).
% 11.69/3.54 tff(c_238, plain, (![X4_303, X3_302, X14_285, X13_284, V_278, X10_237, X12_277, Z_282, X11_276, X_280, Y_281, X1_283, W_279]: (~in(X10_237, X4_303, X_280) | ~be(X10_237, X3_302, '#skF_14'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), X4_303) | ~state(X10_237, X3_302) | ~young(X10_237, '#skF_15'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~fellow(X10_237, '#skF_15'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | member(X10_237, '#skF_16'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), X1_283) | member(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), X1_283) | ~behind(X10_237, X14_285, X14_285) | ~be(X10_237, X13_284, X11_276, X14_285) | ~state(X10_237, X13_284) | ~wheel(X10_237, X14_285) | ~group(X10_237, X1_283) | ~group(X10_237, Z_282) | ~two(X10_237, Z_282) | ~in(X10_237, Y_281, X_280) | ~down(X10_237, Y_281, X_280) | ~barrel(X10_237, Y_281) | ~present(X10_237, Y_281) | ~agent(X10_237, Y_281, V_278) | ~event(X10_237, Y_281) | ~lonely(X10_237, X_280) | ~street(X10_237, X_280) | ~placename(X10_237, W_279) | ~hollywood_placename(X10_237, W_279) | ~city(X10_237, X_280) | ~of(X10_237, W_279, X_280) | ~old(X10_237, V_278) | ~dirty(X10_237, V_278) | ~white(X10_237, V_278) | ~chevy(X10_237, V_278) | ~frontseat(X10_237, X_280) | ~forename(X10_237, X12_277) | ~jules_forename(X10_237, X12_277) | ~man(X10_237, X11_276) | ~of(X10_237, X12_277, X11_276) | ~actual_world(X10_237)))).
% 11.69/3.54 tff(c_1054, plain, (~entity('#skF_4', '#skF_10'))).
% 11.69/3.54 tff(c_1053, plain, (~entity('#skF_4', '#skF_9'))).
% 11.69/3.54 tff(c_819, plain, (![U_334, V_335]: (~entity(U_334, V_335) | ~group(U_334, V_335)))).
% 11.69/3.54 tff(c_699, plain, (![U_13, V_14]: (~animate(U_13, V_14) | ~city(U_13, V_14)))).
% 11.69/3.54 tff(c_755, plain, (![U_13, V_14]: (~living(U_13, V_14) | ~city(U_13, V_14)))).
% 11.69/3.54 tff(c_230, plain, (![X4_303, X3_302, X14_285, X13_284, V_278, X10_237, X12_277, Z_282, X11_276, X_280, Y_281, X1_283, W_279]: (~in(X10_237, X4_303, X_280) | ~be(X10_237, X3_302, '#skF_14'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), X4_303) | ~state(X10_237, X3_302) | ~young(X10_237, '#skF_15'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~fellow(X10_237, '#skF_15'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | member(X10_237, '#skF_17'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), Z_282) | member(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), X1_283) | ~behind(X10_237, X14_285, X14_285) | ~be(X10_237, X13_284, X11_276, X14_285) | ~state(X10_237, X13_284) | ~wheel(X10_237, X14_285) | ~group(X10_237, X1_283) | ~group(X10_237, Z_282) | ~two(X10_237, Z_282) | ~in(X10_237, Y_281, X_280) | ~down(X10_237, Y_281, X_280) | ~barrel(X10_237, Y_281) | ~present(X10_237, Y_281) | ~agent(X10_237, Y_281, V_278) | ~event(X10_237, Y_281) | ~lonely(X10_237, X_280) | ~street(X10_237, X_280) | ~placename(X10_237, W_279) | ~hollywood_placename(X10_237, W_279) | ~city(X10_237, X_280) | ~of(X10_237, W_279, X_280) | ~old(X10_237, V_278) | ~dirty(X10_237, V_278) | ~white(X10_237, V_278) | ~chevy(X10_237, V_278) | ~frontseat(X10_237, X_280) | ~forename(X10_237, X12_277) | ~jules_forename(X10_237, X12_277) | ~man(X10_237, X11_276) | ~of(X10_237, X12_277, X11_276) | ~actual_world(X10_237)))).
% 11.69/3.54 tff(c_875, plain, (![U_622, V_623]: (~abstraction(U_622, V_623) | ~city(U_622, V_623)))).
% 11.69/3.54 tff(c_991, plain, (~animate('#skF_4', '#skF_5'))).
% 11.69/3.54 tff(c_990, plain, (~abstraction('#skF_4', '#skF_5'))).
% 11.69/3.54 tff(c_148, plain, (![U_141, V_142, W_157, X_161]: (member(U_141, '#skF_1'(U_141, V_142, W_157, X_161), V_142) | two(U_141, V_142) | X_161=W_157 | ~member(U_141, X_161, V_142) | ~member(U_141, W_157, V_142)))).
% 11.69/3.54 tff(c_983, plain, (artifact('#skF_4', '#skF_5'))).
% 11.69/3.54 tff(c_787, plain, (![U_564, V_565]: (artifact(U_564, V_565) | ~car(U_564, V_565)))).
% 11.69/3.54 tff(c_829, plain, (![U_59, V_60]: (~artifact(U_59, V_60) | ~human_person(U_59, V_60)))).
% 11.69/3.54 tff(c_972, plain, (~barrel('#skF_4', '#skF_10'))).
% 11.69/3.54 tff(c_968, plain, (~barrel('#skF_4', '#skF_9'))).
% 11.69/3.54 tff(c_232, plain, (![X14_285, X13_284, V_278, X10_237, X12_277, Z_282, X11_276, X_280, Y_281, X1_283, W_279]: (member(X10_237, '#skF_14'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), Z_282) | ~young(X10_237, '#skF_15'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~fellow(X10_237, '#skF_15'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | member(X10_237, '#skF_17'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), Z_282) | member(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), X1_283) | ~behind(X10_237, X14_285, X14_285) | ~be(X10_237, X13_284, X11_276, X14_285) | ~state(X10_237, X13_284) | ~wheel(X10_237, X14_285) | ~group(X10_237, X1_283) | ~group(X10_237, Z_282) | ~two(X10_237, Z_282) | ~in(X10_237, Y_281, X_280) | ~down(X10_237, Y_281, X_280) | ~barrel(X10_237, Y_281) | ~present(X10_237, Y_281) | ~agent(X10_237, Y_281, V_278) | ~event(X10_237, Y_281) | ~lonely(X10_237, X_280) | ~street(X10_237, X_280) | ~placename(X10_237, W_279) | ~hollywood_placename(X10_237, W_279) | ~city(X10_237, X_280) | ~of(X10_237, W_279, X_280) | ~old(X10_237, V_278) | ~dirty(X10_237, V_278) | ~white(X10_237, V_278) | ~chevy(X10_237, V_278) | ~frontseat(X10_237, X_280) | ~forename(X10_237, X12_277) | ~jules_forename(X10_237, X12_277) | ~man(X10_237, X11_276) | ~of(X10_237, X12_277, X11_276) | ~actual_world(X10_237)))).
% 11.69/3.54 tff(c_964, plain, (~event('#skF_4', '#skF_10'))).
% 11.69/3.54 tff(c_956, plain, (~event('#skF_4', '#skF_9'))).
% 11.69/3.54 tff(c_952, plain, (~eventuality('#skF_4', '#skF_10'))).
% 11.69/3.54 tff(c_132, plain, (![U_131, X_135, V_132, W_133]: (~of(U_131, X_135, V_132) | X_135=W_133 | ~forename(U_131, X_135) | ~of(U_131, W_133, V_132) | ~forename(U_131, W_133) | ~entity(U_131, V_132)))).
% 11.69/3.54 tff(c_951, plain, (~eventuality('#skF_4', '#skF_9'))).
% 11.69/3.54 tff(c_798, plain, (![U_334, V_335]: (~eventuality(U_334, V_335) | ~group(U_334, V_335)))).
% 11.69/3.54 tff(c_943, plain, (~artifact('#skF_4', '#skF_8'))).
% 11.69/3.54 tff(c_942, plain, (~city('#skF_4', '#skF_8'))).
% 11.69/3.54 tff(c_934, plain, (~entity('#skF_4', '#skF_8'))).
% 11.69/3.54 tff(c_240, plain, (![X14_285, X13_284, V_278, X10_237, X12_277, Z_282, X11_276, X_280, Y_281, X1_283, W_279]: (member(X10_237, '#skF_14'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), Z_282) | ~young(X10_237, '#skF_15'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | ~fellow(X10_237, '#skF_15'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237)) | member(X10_237, '#skF_16'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), X1_283) | member(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), X1_283) | ~behind(X10_237, X14_285, X14_285) | ~be(X10_237, X13_284, X11_276, X14_285) | ~state(X10_237, X13_284) | ~wheel(X10_237, X14_285) | ~group(X10_237, X1_283) | ~group(X10_237, Z_282) | ~two(X10_237, Z_282) | ~in(X10_237, Y_281, X_280) | ~down(X10_237, Y_281, X_280) | ~barrel(X10_237, Y_281) | ~present(X10_237, Y_281) | ~agent(X10_237, Y_281, V_278) | ~event(X10_237, Y_281) | ~lonely(X10_237, X_280) | ~street(X10_237, X_280) | ~placename(X10_237, W_279) | ~hollywood_placename(X10_237, W_279) | ~city(X10_237, X_280) | ~of(X10_237, W_279, X_280) | ~old(X10_237, V_278) | ~dirty(X10_237, V_278) | ~white(X10_237, V_278) | ~chevy(X10_237, V_278) | ~frontseat(X10_237, X_280) | ~forename(X10_237, X12_277) | ~jules_forename(X10_237, X12_277) | ~man(X10_237, X11_276) | ~of(X10_237, X12_277, X11_276) | ~actual_world(X10_237)))).
% 11.69/3.54 tff(c_808, plain, (![U_97, V_98]: (~entity(U_97, V_98) | ~event(U_97, V_98)))).
% 11.69/3.54 tff(c_915, plain, (~artifact('#skF_4', '#skF_2'('#skF_4', '#skF_9')))).
% 11.69/3.54 tff(c_914, plain, (~artifact('#skF_4', '#skF_3'('#skF_4', '#skF_9')))).
% 11.69/3.54 tff(c_134, plain, (![U_136, X_140, V_137, W_138]: (~of(U_136, X_140, V_137) | X_140=W_138 | ~placename(U_136, X_140) | ~of(U_136, W_138, V_137) | ~placename(U_136, W_138) | ~entity(U_136, V_137)))).
% 11.69/3.54 tff(c_793, plain, (![U_372, V_373]: (~artifact(U_372, V_373) | ~fellow(U_372, V_373)))).
% 11.69/3.54 tff(c_906, plain, (~abstraction('#skF_4', '#skF_7'))).
% 11.69/3.54 tff(c_870, plain, (![U_414, V_415]: (~abstraction(U_414, V_415) | ~artifact(U_414, V_415)))).
% 11.69/3.54 tff(c_901, plain, (~abstraction('#skF_4', '#skF_8'))).
% 11.69/3.54 tff(c_760, plain, (![U_97, V_98]: (~abstraction(U_97, V_98) | ~event(U_97, V_98)))).
% 11.69/3.54 tff(c_242, plain, (![X4_303, X3_302, X14_285, X13_284, V_278, X10_237, X12_277, Z_282, X11_276, X_280, Y_281, X1_283, W_279]: (~in(X10_237, X4_303, X_280) | ~be(X10_237, X3_302, '#skF_14'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), X4_303) | ~state(X10_237, X3_302) | member(X10_237, '#skF_15'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), Z_282) | member(X10_237, '#skF_16'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), X1_283) | member(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), X1_283) | ~behind(X10_237, X14_285, X14_285) | ~be(X10_237, X13_284, X11_276, X14_285) | ~state(X10_237, X13_284) | ~wheel(X10_237, X14_285) | ~group(X10_237, X1_283) | ~group(X10_237, Z_282) | ~two(X10_237, Z_282) | ~in(X10_237, Y_281, X_280) | ~down(X10_237, Y_281, X_280) | ~barrel(X10_237, Y_281) | ~present(X10_237, Y_281) | ~agent(X10_237, Y_281, V_278) | ~event(X10_237, Y_281) | ~lonely(X10_237, X_280) | ~street(X10_237, X_280) | ~placename(X10_237, W_279) | ~hollywood_placename(X10_237, W_279) | ~city(X10_237, X_280) | ~of(X10_237, W_279, X_280) | ~old(X10_237, V_278) | ~dirty(X10_237, V_278) | ~white(X10_237, V_278) | ~chevy(X10_237, V_278) | ~frontseat(X10_237, X_280) | ~forename(X10_237, X12_277) | ~jules_forename(X10_237, X12_277) | ~man(X10_237, X11_276) | ~of(X10_237, X12_277, X11_276) | ~actual_world(X10_237)))).
% 11.69/3.54 tff(c_844, plain, (![U_15, V_16]: (abstraction(U_15, V_16) | ~hollywood_placename(U_15, V_16)))).
% 11.69/3.54 tff(c_531, plain, (![U_13, V_14]: (entity(U_13, V_14) | ~city(U_13, V_14)))).
% 11.69/3.54 tff(c_488, plain, (![U_19, V_20]: (~entity(U_19, V_20) | ~abstraction(U_19, V_20)))).
% 11.69/3.54 tff(c_144, plain, (![U_141, V_142, W_157, X_161]: ('#skF_1'(U_141, V_142, W_157, X_161)!=W_157 | two(U_141, V_142) | X_161=W_157 | ~member(U_141, X_161, V_142) | ~member(U_141, W_157, V_142)))).
% 11.69/3.54 tff(c_544, plain, (![U_483, V_484]: (artifact(U_483, V_484) | ~frontseat(U_483, V_484)))).
% 11.69/3.54 tff(c_850, plain, (~animate('#skF_4', '#skF_7'))).
% 11.69/3.54 tff(c_502, plain, (![U_455, V_456]: (~animate(U_455, V_456) | ~artifact(U_455, V_456)))).
% 11.69/3.54 tff(c_845, plain, (abstraction('#skF_4', '#skF_6'))).
% 11.69/3.54 tff(c_519, plain, (![U_463, V_464]: (abstraction(U_463, V_464) | ~placename(U_463, V_464)))).
% 11.69/3.54 tff(c_234, plain, (![X4_303, X3_302, X14_285, X13_284, V_278, X10_237, X12_277, Z_282, X11_276, X_280, Y_281, X1_283, W_279]: (~in(X10_237, X4_303, X_280) | ~be(X10_237, X3_302, '#skF_14'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), X4_303) | ~state(X10_237, X3_302) | member(X10_237, '#skF_15'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), Z_282) | member(X10_237, '#skF_17'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), Z_282) | member(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), X1_283) | ~behind(X10_237, X14_285, X14_285) | ~be(X10_237, X13_284, X11_276, X14_285) | ~state(X10_237, X13_284) | ~wheel(X10_237, X14_285) | ~group(X10_237, X1_283) | ~group(X10_237, Z_282) | ~two(X10_237, Z_282) | ~in(X10_237, Y_281, X_280) | ~down(X10_237, Y_281, X_280) | ~barrel(X10_237, Y_281) | ~present(X10_237, Y_281) | ~agent(X10_237, Y_281, V_278) | ~event(X10_237, Y_281) | ~lonely(X10_237, X_280) | ~street(X10_237, X_280) | ~placename(X10_237, W_279) | ~hollywood_placename(X10_237, W_279) | ~city(X10_237, X_280) | ~of(X10_237, W_279, X_280) | ~old(X10_237, V_278) | ~dirty(X10_237, V_278) | ~white(X10_237, V_278) | ~chevy(X10_237, V_278) | ~frontseat(X10_237, X_280) | ~forename(X10_237, X12_277) | ~jules_forename(X10_237, X12_277) | ~man(X10_237, X11_276) | ~of(X10_237, X12_277, X11_276) | ~actual_world(X10_237)))).
% 11.69/3.54 tff(c_503, plain, (![U_455, V_456]: (~living(U_455, V_456) | ~artifact(U_455, V_456)))).
% 11.69/3.54 tff(c_612, plain, (![U_497, V_498]: (~multiple(U_497, V_498) | ~abstraction(U_497, V_498)))).
% 11.69/3.54 tff(c_537, plain, (![U_477, V_478]: (~multiple(U_477, V_478) | ~entity(U_477, V_478)))).
% 11.69/3.54 tff(c_146, plain, (![U_141, V_142, W_157, X_161]: ('#skF_1'(U_141, V_142, W_157, X_161)!=X_161 | two(U_141, V_142) | X_161=W_157 | ~member(U_141, X_161, V_142) | ~member(U_141, W_157, V_142)))).
% 11.69/3.54 tff(c_553, plain, (![U_485, V_486]: (human(U_485, V_486) | ~fellow(U_485, V_486)))).
% 11.69/3.54 tff(c_514, plain, (![U_81, V_82]: (~eventuality(U_81, V_82) | ~entity(U_81, V_82)))).
% 11.69/3.54 tff(c_606, plain, (![U_11, V_12]: (~male(U_11, V_12) | ~location(U_11, V_12)))).
% 11.69/3.54 tff(c_688, plain, (![U_519, V_520]: (~multiple(U_519, V_520) | ~eventuality(U_519, V_520)))).
% 11.69/3.54 tff(c_605, plain, (![U_89, V_90]: (~male(U_89, V_90) | ~artifact(U_89, V_90)))).
% 11.69/3.54 tff(c_236, plain, (![X14_285, X13_284, V_278, X10_237, X12_277, Z_282, X11_276, X_280, Y_281, X1_283, W_279]: (member(X10_237, '#skF_14'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), Z_282) | member(X10_237, '#skF_15'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), Z_282) | member(X10_237, '#skF_17'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), Z_282) | member(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), X1_283) | ~behind(X10_237, X14_285, X14_285) | ~be(X10_237, X13_284, X11_276, X14_285) | ~state(X10_237, X13_284) | ~wheel(X10_237, X14_285) | ~group(X10_237, X1_283) | ~group(X10_237, Z_282) | ~two(X10_237, Z_282) | ~in(X10_237, Y_281, X_280) | ~down(X10_237, Y_281, X_280) | ~barrel(X10_237, Y_281) | ~present(X10_237, Y_281) | ~agent(X10_237, Y_281, V_278) | ~event(X10_237, Y_281) | ~lonely(X10_237, X_280) | ~street(X10_237, X_280) | ~placename(X10_237, W_279) | ~hollywood_placename(X10_237, W_279) | ~city(X10_237, X_280) | ~of(X10_237, W_279, X_280) | ~old(X10_237, V_278) | ~dirty(X10_237, V_278) | ~white(X10_237, V_278) | ~chevy(X10_237, V_278) | ~frontseat(X10_237, X_280) | ~forename(X10_237, X12_277) | ~jules_forename(X10_237, X12_277) | ~man(X10_237, X11_276) | ~of(X10_237, X12_277, X11_276) | ~actual_world(X10_237)))).
% 11.69/3.54 tff(c_508, plain, (![U_457, V_458]: (instrumentality(U_457, V_458) | ~car(U_457, V_458)))).
% 11.69/3.54 tff(c_771, plain, (animate('#skF_4', '#skF_2'('#skF_4', '#skF_9')))).
% 11.69/3.54 tff(c_770, plain, (animate('#skF_4', '#skF_3'('#skF_4', '#skF_9')))).
% 11.69/3.54 tff(c_136, plain, (![Y_167, U_141, V_142]: (Y_167='#skF_2'(U_141, V_142) | Y_167='#skF_3'(U_141, V_142) | ~member(U_141, Y_167, V_142) | ~two(U_141, V_142)))).
% 11.69/3.54 tff(c_552, plain, (![U_485, V_486]: (animate(U_485, V_486) | ~fellow(U_485, V_486)))).
% 11.69/3.54 tff(c_597, plain, (![U_491, V_492]: (abstraction(U_491, V_492) | ~forename(U_491, V_492)))).
% 11.69/3.54 tff(c_617, plain, (![U_13, V_14]: (impartial(U_13, V_14) | ~city(U_13, V_14)))).
% 11.69/3.54 tff(c_493, plain, (![U_19, V_20]: (~eventuality(U_19, V_20) | ~abstraction(U_19, V_20)))).
% 11.69/3.54 tff(c_667, plain, (![U_509, V_510]: (~living(U_509, V_510) | ~location(U_509, V_510)))).
% 11.69/3.54 tff(c_244, plain, (![X14_285, X13_284, V_278, X10_237, X12_277, Z_282, X11_276, X_280, Y_281, X1_283, W_279]: (member(X10_237, '#skF_14'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), Z_282) | member(X10_237, '#skF_15'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), Z_282) | member(X10_237, '#skF_16'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), X1_283) | member(X10_237, '#skF_18'(X1_283, X12_277, X11_276, X_280, X13_284, X14_285, Z_282, Y_281, V_278, W_279, X10_237), X1_283) | ~behind(X10_237, X14_285, X14_285) | ~be(X10_237, X13_284, X11_276, X14_285) | ~state(X10_237, X13_284) | ~wheel(X10_237, X14_285) | ~group(X10_237, X1_283) | ~group(X10_237, Z_282) | ~two(X10_237, Z_282) | ~in(X10_237, Y_281, X_280) | ~down(X10_237, Y_281, X_280) | ~barrel(X10_237, Y_281) | ~present(X10_237, Y_281) | ~agent(X10_237, Y_281, V_278) | ~event(X10_237, Y_281) | ~lonely(X10_237, X_280) | ~street(X10_237, X_280) | ~placename(X10_237, W_279) | ~hollywood_placename(X10_237, W_279) | ~city(X10_237, X_280) | ~of(X10_237, W_279, X_280) | ~old(X10_237, V_278) | ~dirty(X10_237, V_278) | ~white(X10_237, V_278) | ~chevy(X10_237, V_278) | ~frontseat(X10_237, X_280) | ~forename(X10_237, X12_277) | ~jules_forename(X10_237, X12_277) | ~man(X10_237, X11_276) | ~of(X10_237, X12_277, X11_276) | ~actual_world(X10_237)))).
% 11.69/3.54 tff(c_749, plain, (~abstraction('#skF_4', '#skF_2'('#skF_4', '#skF_9')))).
% 11.69/3.54 tff(c_748, plain, (~abstraction('#skF_4', '#skF_3'('#skF_4', '#skF_9')))).
% 11.69/3.54 tff(c_676, plain, (![U_513, V_514]: (~abstraction(U_513, V_514) | ~fellow(U_513, V_514)))).
% 11.69/3.55 tff(c_258, plain, (![X6_230, X7_234]: (patient('#skF_4', '#skF_13'(X6_230, X7_234), X6_230) | ~member('#skF_4', X7_234, '#skF_9') | ~member('#skF_4', X6_230, '#skF_10')))).
% 11.69/3.55 tff(c_735, plain, (entity('#skF_4', '#skF_2'('#skF_4', '#skF_9')))).
% 11.69/3.55 tff(c_734, plain, (entity('#skF_4', '#skF_3'('#skF_4', '#skF_9')))).
% 11.69/3.55 tff(c_657, plain, (![U_63, V_64]: (entity(U_63, V_64) | ~fellow(U_63, V_64)))).
% 11.69/3.55 tff(c_721, plain, (~barrel('#skF_4', '#skF_3'('#skF_4', '#skF_9')))).
% 11.69/3.55 tff(c_725, plain, (~barrel('#skF_4', '#skF_2'('#skF_4', '#skF_9')))).
% 11.69/3.55 tff(c_260, plain, (![X6_230, X7_234]: (agent('#skF_4', '#skF_13'(X6_230, X7_234), X7_234) | ~member('#skF_4', X7_234, '#skF_9') | ~member('#skF_4', X6_230, '#skF_10')))).
% 11.69/3.55 tff(c_717, plain, (~event('#skF_4', '#skF_2'('#skF_4', '#skF_9')))).
% 11.69/3.55 tff(c_712, plain, (~event('#skF_4', '#skF_3'('#skF_4', '#skF_9')))).
% 11.69/3.55 tff(c_708, plain, (~eventuality('#skF_4', '#skF_2'('#skF_4', '#skF_9')))).
% 11.69/3.55 tff(c_150, plain, (![U_168, V_169, X_171]: (~patient(U_168, V_169, X_171) | ~agent(U_168, V_169, X_171) | ~nonreflexive(U_168, V_169)))).
% 11.69/3.55 tff(c_707, plain, (~eventuality('#skF_4', '#skF_3'('#skF_4', '#skF_9')))).
% 11.69/3.55 tff(c_677, plain, (![U_513, V_514]: (~eventuality(U_513, V_514) | ~fellow(U_513, V_514)))).
% 11.69/3.55 tff(c_666, plain, (![U_509, V_510]: (~animate(U_509, V_510) | ~location(U_509, V_510)))).
% 11.69/3.55 tff(c_682, plain, ('#skF_3'('#skF_4', '#skF_9')!='#skF_2'('#skF_4', '#skF_9'))).
% 11.69/3.55 tff(c_693, plain, (artifact('#skF_4', '#skF_7'))).
% 11.69/3.55 tff(c_254, plain, (![X6_230, X7_234]: (nonreflexive('#skF_4', '#skF_13'(X6_230, X7_234)) | ~member('#skF_4', X7_234, '#skF_9') | ~member('#skF_4', X6_230, '#skF_10')))).
% 11.69/3.55 tff(c_309, plain, (![U_41, V_42]: (artifact(U_41, V_42) | ~street(U_41, V_42)))).
% 11.69/3.55 tff(c_391, plain, (![U_109, V_110]: (singleton(U_109, V_110) | ~eventuality(U_109, V_110)))).
% 11.69/3.55 tff(c_303, plain, (![U_334, V_335]: (multiple(U_334, V_335) | ~group(U_334, V_335)))).
% 11.69/3.55 tff(c_138, plain, (![U_141, V_142]: ('#skF_3'(U_141, V_142)!='#skF_2'(U_141, V_142) | ~two(U_141, V_142)))).
% 11.69/3.55 tff(c_339, plain, (![U_372, V_373]: (male(U_372, V_373) | ~fellow(U_372, V_373)))).
% 11.69/3.55 tff(c_365, plain, (![U_59, V_60]: (living(U_59, V_60) | ~human_person(U_59, V_60)))).
% 11.69/3.55 tff(c_331, plain, (![U_11, V_12]: (nonliving(U_11, V_12) | ~location(U_11, V_12)))).
% 11.69/3.55 tff(c_412, plain, (![U_414, V_415]: (impartial(U_414, V_415) | ~artifact(U_414, V_415)))).
% 11.69/3.55 tff(c_286, plain, (![U_319, V_320]: (entity(U_319, V_320) | ~human_person(U_319, V_320)))).
% 11.69/3.55 tff(c_256, plain, (![X6_230, X7_234]: (present('#skF_4', '#skF_13'(X6_230, X7_234)) | ~member('#skF_4', X7_234, '#skF_9') | ~member('#skF_4', X6_230, '#skF_10')))).
% 11.69/3.55 tff(c_651, plain, (~old('#skF_4', '#skF_3'('#skF_4', '#skF_9')))).
% 11.69/3.55 tff(c_645, plain, (young('#skF_4', '#skF_3'('#skF_4', '#skF_9')))).
% 11.69/3.55 tff(c_641, plain, (fellow('#skF_4', '#skF_3'('#skF_4', '#skF_9')))).
% 11.69/3.55 tff(c_140, plain, (![U_141, V_142]: (member(U_141, '#skF_3'(U_141, V_142), V_142) | ~two(U_141, V_142)))).
% 11.69/3.55 tff(c_351, plain, (![U_11, V_12]: (impartial(U_11, V_12) | ~location(U_11, V_12)))).
% 11.69/3.55 tff(c_400, plain, (![U_412, V_413]: (singleton(U_412, V_413) | ~abstraction(U_412, V_413)))).
% 11.69/3.55 tff(c_411, plain, (![U_414, V_415]: (entity(U_414, V_415) | ~artifact(U_414, V_415)))).
% 11.69/3.55 tff(c_356, plain, (![U_75, V_76]: (~male(U_75, V_76) | ~object(U_75, V_76)))).
% 11.69/3.55 tff(c_344, plain, (![U_374, V_375]: (relation(U_374, V_375) | ~forename(U_374, V_375)))).
% 11.69/3.55 tff(c_252, plain, (![X6_230, X7_234]: (wear('#skF_4', '#skF_13'(X6_230, X7_234)) | ~member('#skF_4', X7_234, '#skF_9') | ~member('#skF_4', X6_230, '#skF_10')))).
% 11.69/3.55 tff(c_587, plain, (~old('#skF_4', '#skF_2'('#skF_4', '#skF_9')))).
% 11.69/3.55 tff(c_581, plain, (young('#skF_4', '#skF_2'('#skF_4', '#skF_9')))).
% 11.69/3.55 tff(c_577, plain, (fellow('#skF_4', '#skF_2'('#skF_4', '#skF_9')))).
% 11.69/3.55 tff(c_142, plain, (![U_141, V_142]: (member(U_141, '#skF_2'(U_141, V_142), V_142) | ~two(U_141, V_142)))).
% 11.69/3.55 tff(c_428, plain, (![U_63, V_64]: (human_person(U_63, V_64) | ~fellow(U_63, V_64)))).
% 11.69/3.55 tff(c_445, plain, (![U_9, V_10]: (furniture(U_9, V_10) | ~frontseat(U_9, V_10)))).
% 11.69/3.55 tff(c_453, plain, (![U_93, V_94]: (artifact(U_93, V_94) | ~device(U_93, V_94)))).
% 11.69/3.55 tff(c_454, plain, (![U_5, V_6]: (artifact(U_5, V_6) | ~furniture(U_5, V_6)))).
% 11.69/3.55 tff(c_392, plain, (![U_85, V_86]: (singleton(U_85, V_86) | ~entity(U_85, V_86)))).
% 11.69/3.55 tff(c_262, plain, (![X6_230, X7_234]: (event('#skF_4', '#skF_13'(X6_230, X7_234)) | ~member('#skF_4', X7_234, '#skF_9') | ~member('#skF_4', X6_230, '#skF_10')))).
% 11.69/3.55 tff(c_383, plain, (![U_11, V_12]: (entity(U_11, V_12) | ~location(U_11, V_12)))).
% 11.69/3.55 tff(c_378, plain, (![U_400, V_401]: (~male(U_400, V_401) | ~abstraction(U_400, V_401)))).
% 11.69/3.55 tff(c_370, plain, (![U_21, V_22]: (~human(U_21, V_22) | ~abstraction(U_21, V_22)))).
% 11.69/3.55 tff(c_154, plain, (![X_177, W_176, U_174, V_175]: (X_177=W_176 | ~be(U_174, V_175, W_176, X_177)))).
% 11.69/3.55 tff(c_459, plain, (![U_433, V_434]: (relation(U_433, V_434) | ~placename(U_433, V_434)))).
% 11.69/3.55 tff(c_482, plain, (![U_103, V_104]: (~existent(U_103, V_104) | ~eventuality(U_103, V_104)))).
% 11.69/3.55 tff(c_423, plain, (![U_59, V_60]: (impartial(U_59, V_60) | ~human_person(U_59, V_60)))).
% 11.69/3.55 tff(c_434, plain, (![U_35, V_36]: (transport(U_35, V_36) | ~car(U_35, V_36)))).
% 11.69/3.55 tff(c_413, plain, (![U_414, V_415]: (nonliving(U_414, V_415) | ~artifact(U_414, V_415)))).
% 11.69/3.55 tff(c_270, plain, (![X2_226]: (be('#skF_4', '#skF_11'(X2_226), X2_226, '#skF_12'(X2_226)) | ~member('#skF_4', X2_226, '#skF_9')))).
% 11.69/3.55 tff(c_439, plain, (![U_425, V_426]: (~general(U_425, V_426) | ~eventuality(U_425, V_426)))).
% 11.69/3.55 tff(c_471, plain, (![U_440, V_441]: (~general(U_440, V_441) | ~entity(U_440, V_441)))).
% 11.69/3.55 tff(c_477, plain, (![U_444, V_445]: (~male(U_444, V_445) | ~eventuality(U_444, V_445)))).
% 11.69/3.55 tff(c_116, plain, (![U_115, V_116]: (~nonexistent(U_115, V_116) | ~existent(U_115, V_116)))).
% 11.69/3.55 tff(c_102, plain, (![U_101, V_102]: (unisex(U_101, V_102) | ~eventuality(U_101, V_102)))).
% 11.69/3.55 tff(c_114, plain, (![U_113, V_114]: (~nonliving(U_113, V_114) | ~animate(U_113, V_114)))).
% 11.69/3.55 tff(c_84, plain, (![U_83, V_84]: (specific(U_83, V_84) | ~entity(U_83, V_84)))).
% 11.69/3.55 tff(c_112, plain, (![U_111, V_112]: (eventuality(U_111, V_112) | ~state(U_111, V_112)))).
% 11.69/3.55 tff(c_98, plain, (![U_97, V_98]: (eventuality(U_97, V_98) | ~event(U_97, V_98)))).
% 11.69/3.55 tff(c_268, plain, (![X2_226]: (in('#skF_4', '#skF_12'(X2_226), '#skF_7') | ~member('#skF_4', X2_226, '#skF_9')))).
% 11.69/3.55 tff(c_30, plain, (![U_29, V_30]: (relname(U_29, V_30) | ~placename(U_29, V_30)))).
% 11.69/3.55 tff(c_92, plain, (![U_91, V_92]: (artifact(U_91, V_92) | ~instrumentality(U_91, V_92)))).
% 11.69/3.55 tff(c_8, plain, (![U_7, V_8]: (furniture(U_7, V_8) | ~seat(U_7, V_8)))).
% 11.69/3.55 tff(c_104, plain, (![U_103, V_104]: (nonexistent(U_103, V_104) | ~eventuality(U_103, V_104)))).
% 11.69/3.55 tff(c_106, plain, (![U_105, V_106]: (specific(U_105, V_106) | ~eventuality(U_105, V_106)))).
% 11.69/3.55 tff(c_34, plain, (![U_33, V_34]: (transport(U_33, V_34) | ~vehicle(U_33, V_34)))).
% 11.69/3.55 tff(c_32, plain, (![U_31, V_32]: (instrumentality(U_31, V_32) | ~transport(U_31, V_32)))).
% 11.69/3.55 tff(c_62, plain, (![U_61, V_62]: (human_person(U_61, V_62) | ~man(U_61, V_62)))).
% 11.69/3.55 tff(c_56, plain, (![U_55, V_56]: (impartial(U_55, V_56) | ~organism(U_55, V_56)))).
% 11.69/3.55 tff(c_272, plain, (![X2_226]: (state('#skF_4', '#skF_11'(X2_226)) | ~member('#skF_4', X2_226, '#skF_9')))).
% 11.69/3.55 tff(c_90, plain, (![U_89, V_90]: (object(U_89, V_90) | ~artifact(U_89, V_90)))).
% 11.69/3.55 tff(c_24, plain, (![U_23, V_24]: (thing(U_23, V_24) | ~abstraction(U_23, V_24)))).
% 11.69/3.55 tff(c_66, plain, (![U_65, V_66]: (event(U_65, V_66) | ~wear(U_65, V_66)))).
% 11.69/3.55 tff(c_96, plain, (![U_95, V_96]: (device(U_95, V_96) | ~wheel(U_95, V_96)))).
% 11.69/3.55 tff(c_100, plain, (![U_99, V_100]: (event(U_99, V_100) | ~state(U_99, V_100)))).
% 11.69/3.55 tff(c_108, plain, (![U_107, V_108]: (singleton(U_107, V_108) | ~thing(U_107, V_108)))).
% 11.69/3.55 tff(c_88, plain, (![U_87, V_88]: (entity(U_87, V_88) | ~object(U_87, V_88)))).
% 11.69/3.55 tff(c_18, plain, (![U_17, V_18]: (unisex(U_17, V_18) | ~abstraction(U_17, V_18)))).
% 11.69/3.55 tff(c_10, plain, (![U_9, V_10]: (seat(U_9, V_10) | ~frontseat(U_9, V_10)))).
% 11.69/3.55 tff(c_266, plain, (![X5_229]: (fellow('#skF_4', X5_229) | ~member('#skF_4', X5_229, '#skF_9')))).
% 11.69/3.55 tff(c_110, plain, (![U_109, V_110]: (thing(U_109, V_110) | ~eventuality(U_109, V_110)))).
% 11.69/3.55 tff(c_118, plain, (![U_117, V_118]: (~human(U_117, V_118) | ~nonhuman(U_117, V_118)))).
% 11.69/3.55 tff(c_54, plain, (![U_53, V_54]: (living(U_53, V_54) | ~organism(U_53, V_54)))).
% 11.69/3.55 tff(c_94, plain, (![U_93, V_94]: (instrumentality(U_93, V_94) | ~device(U_93, V_94)))).
% 11.69/3.55 tff(c_36, plain, (![U_35, V_36]: (vehicle(U_35, V_36) | ~car(U_35, V_36)))).
% 11.69/3.55 tff(c_82, plain, (![U_81, V_82]: (existent(U_81, V_82) | ~entity(U_81, V_82)))).
% 11.69/3.55 tff(c_74, plain, (![U_73, V_74]: (clothes(U_73, V_74) | ~coat(U_73, V_74)))).
% 11.69/3.55 tff(c_126, plain, (![U_125, V_126]: (~male(U_125, V_126) | ~unisex(U_125, V_126)))).
% 11.69/3.55 tff(c_78, plain, (![U_77, V_78]: (impartial(U_77, V_78) | ~object(U_77, V_78)))).
% 11.69/3.55 tff(c_246, plain, (![X9_236]: (cheap('#skF_4', X9_236) | ~member('#skF_4', X9_236, '#skF_10')))).
% 11.69/3.55 tff(c_50, plain, (![U_49, V_50]: (animate(U_49, V_50) | ~human_person(U_49, V_50)))).
% 11.69/3.55 tff(c_4, plain, (![U_3, V_4]: (relname(U_3, V_4) | ~forename(U_3, V_4)))).
% 11.69/3.55 tff(c_64, plain, (![U_63, V_64]: (man(U_63, V_64) | ~fellow(U_63, V_64)))).
% 11.69/3.55 tff(c_86, plain, (![U_85, V_86]: (thing(U_85, V_86) | ~entity(U_85, V_86)))).
% 11.69/3.55 tff(c_14, plain, (![U_13, V_14]: (location(U_13, V_14) | ~city(U_13, V_14)))).
% 11.69/3.55 tff(c_76, plain, (![U_75, V_76]: (unisex(U_75, V_76) | ~object(U_75, V_76)))).
% 11.69/3.55 tff(c_80, plain, (![U_79, V_80]: (nonliving(U_79, V_80) | ~object(U_79, V_80)))).
% 11.69/3.55 tff(c_22, plain, (![U_21, V_22]: (nonhuman(U_21, V_22) | ~abstraction(U_21, V_22)))).
% 11.69/3.55 tff(c_72, plain, (![U_71, V_72]: (artifact(U_71, V_72) | ~clothes(U_71, V_72)))).
% 11.69/3.55 tff(c_264, plain, (![X5_229]: (young('#skF_4', X5_229) | ~member('#skF_4', X5_229, '#skF_9')))).
% 11.69/3.56 tff(c_44, plain, (![U_43, V_44]: (event(U_43, V_44) | ~barrel(U_43, V_44)))).
% 11.69/3.56 tff(c_120, plain, (![U_119, V_120]: (~living(U_119, V_120) | ~nonliving(U_119, V_120)))).
% 11.69/3.56 tff(c_6, plain, (![U_5, V_6]: (instrumentality(U_5, V_6) | ~furniture(U_5, V_6)))).
% 11.69/3.56 tff(c_122, plain, (![U_121, V_122]: (~multiple(U_121, V_122) | ~singleton(U_121, V_122)))).
% 11.69/3.56 tff(c_124, plain, (![U_123, V_124]: (~general(U_123, V_124) | ~specific(U_123, V_124)))).
% 11.69/3.56 tff(c_26, plain, (![U_25, V_26]: (abstraction(U_25, V_26) | ~relation(U_25, V_26)))).
% 11.69/3.56 tff(c_317, plain, (car('#skF_4', '#skF_5'))).
% 11.69/3.56 tff(c_38, plain, (![U_37, V_38]: (car(U_37, V_38) | ~chevy(U_37, V_38)))).
% 11.69/3.56 tff(c_130, plain, (![U_129, V_130]: (~old(U_129, V_130) | ~young(U_129, V_130)))).
% 11.69/3.56 tff(c_248, plain, (![X9_236]: (black('#skF_4', X9_236) | ~member('#skF_4', X9_236, '#skF_10')))).
% 11.69/3.56 tff(c_28, plain, (![U_27, V_28]: (relation(U_27, V_28) | ~relname(U_27, V_28)))).
% 11.69/3.56 tff(c_40, plain, (![U_39, V_40]: (artifact(U_39, V_40) | ~way(U_39, V_40)))).
% 11.69/3.56 tff(c_16, plain, (![U_15, V_16]: (placename(U_15, V_16) | ~hollywood_placename(U_15, V_16)))).
% 11.69/3.56 tff(c_70, plain, (![U_69, V_70]: (set(U_69, V_70) | ~group(U_69, V_70)))).
% 11.69/3.56 tff(c_42, plain, (![U_41, V_42]: (way(U_41, V_42) | ~street(U_41, V_42)))).
% 11.69/3.56 tff(c_68, plain, (![U_67, V_68]: (multiple(U_67, V_68) | ~set(U_67, V_68)))).
% 11.69/3.56 tff(c_2, plain, (![U_1, V_2]: (forename(U_1, V_2) | ~jules_forename(U_1, V_2)))).
% 11.69/3.56 tff(c_52, plain, (![U_51, V_52]: (human(U_51, V_52) | ~human_person(U_51, V_52)))).
% 11.69/3.56 tff(c_46, plain, (![U_45, V_46]: (group(U_45, V_46) | ~two(U_45, V_46)))).
% 11.69/3.56 tff(c_250, plain, (![X9_236]: (coat('#skF_4', X9_236) | ~member('#skF_4', X9_236, '#skF_10')))).
% 11.69/3.56 tff(c_48, plain, (![U_47, V_48]: (male(U_47, V_48) | ~man(U_47, V_48)))).
% 11.69/3.56 tff(c_60, plain, (![U_59, V_60]: (organism(U_59, V_60) | ~human_person(U_59, V_60)))).
% 11.69/3.56 tff(c_280, plain, (~black('#skF_4', '#skF_5'))).
% 11.69/3.56 tff(c_20, plain, (![U_19, V_20]: (general(U_19, V_20) | ~abstraction(U_19, V_20)))).
% 11.69/3.56 tff(c_128, plain, (![U_127, V_128]: (~black(U_127, V_128) | ~white(U_127, V_128)))).
% 11.69/3.56 tff(c_12, plain, (![U_11, V_12]: (object(U_11, V_12) | ~location(U_11, V_12)))).
% 11.69/3.56 tff(c_58, plain, (![U_57, V_58]: (entity(U_57, V_58) | ~organism(U_57, V_58)))).
% 11.69/3.56 tff(c_170, plain, (agent('#skF_4', '#skF_8', '#skF_5'))).
% 11.69/3.56 tff(c_184, plain, (of('#skF_4', '#skF_6', '#skF_7'))).
% 11.69/3.56 tff(c_164, plain, (down('#skF_4', '#skF_8', '#skF_7'))).
% 11.69/3.56 tff(c_162, plain, (in('#skF_4', '#skF_8', '#skF_7'))).
% 11.69/3.56 tff(c_152, plain, (![U_172, V_173]: (~member(U_172, V_173, V_173)))).
% 11.69/3.56 tff(c_176, plain, (street('#skF_4', '#skF_7'))).
% 11.69/3.56 tff(c_158, plain, (group('#skF_4', '#skF_9'))).
% 11.69/3.56 tff(c_160, plain, (two('#skF_4', '#skF_9'))).
% 11.69/3.56 tff(c_166, plain, (barrel('#skF_4', '#skF_8'))).
% 11.69/3.56 tff(c_168, plain, (present('#skF_4', '#skF_8'))).
% 11.69/3.56 tff(c_172, plain, (event('#skF_4', '#skF_8'))).
% 11.69/3.56 tff(c_174, plain, (lonely('#skF_4', '#skF_7'))).
% 11.69/3.56 tff(c_156, plain, (group('#skF_4', '#skF_10'))).
% 11.69/3.56 tff(c_182, plain, (city('#skF_4', '#skF_7'))).
% 11.69/3.56 tff(c_180, plain, (hollywood_placename('#skF_4', '#skF_6'))).
% 11.69/3.56 tff(c_178, plain, (placename('#skF_4', '#skF_6'))).
% 11.69/3.56 tff(c_186, plain, (old('#skF_4', '#skF_5'))).
% 11.69/3.56 tff(c_188, plain, (dirty('#skF_4', '#skF_5'))).
% 11.69/3.56 tff(c_190, plain, (white('#skF_4', '#skF_5'))).
% 11.69/3.56 tff(c_192, plain, (chevy('#skF_4', '#skF_5'))).
% 11.69/3.56 tff(c_194, plain, (frontseat('#skF_4', '#skF_7'))).
% 11.69/3.56 tff(c_196, plain, (actual_world('#skF_4'))).
% 11.69/3.56 % SZS output end Saturation for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 11.69/3.56
%------------------------------------------------------------------------------