%------------------------------------------------------------------------------
% File : Beagle---0.9.52
% Problem : NLP214+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/sandbox/solver/bin/beagle.jar -auto -q -proof -print tff -smtsolver /export/starexec/sandbox/solver/bin/cvc4-1.4-x86_64-linux-opt -liasolver cooper -t %d %s
% Computer : n012.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:37 PM UTC 2025
% Result : CounterSatisfiable 12.21s 3.82s
% Output : Assurance 0s
% Verified :
% SZS Type : -
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.10 % Problem : NLP214+1 : TPTP v9.0.0. Released v2.4.0.
% 0.00/0.11 % Command : java -Dfile.encoding=UTF-8 -Xms512M -Xmx4G -Xss10M -jar /export/starexec/sandbox/solver/bin/beagle.jar -auto -q -proof -print tff -smtsolver /export/starexec/sandbox/solver/bin/cvc4-1.4-x86_64-linux-opt -liasolver cooper -t %d %s
% 0.10/0.32 % Computer : n012.cluster.edu
% 0.10/0.32 % Model : x86_64 x86_64
% 0.10/0.32 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.10/0.32 % Memory : 8042.1875MB
% 0.10/0.32 % OS : Linux 3.10.0-693.el7.x86_64
% 0.10/0.32 % CPULimit : 300
% 0.10/0.32 % WCLimit : 300
% 0.10/0.32 % DateTime : Tue Apr 8 09:21:44 EDT 2025
% 0.10/0.32 % CPUTime :
% 12.21/3.81
% 12.21/3.82 % SZS status CounterSatisfiable for /export/starexec/sandbox/benchmark/theBenchmark.p
% 12.21/3.82
% 12.21/3.82 % SZS output start Saturation for /export/starexec/sandbox/benchmark/theBenchmark.p
% 12.21/3.83 %$ 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_15 > #skF_11 > #skF_7 > #skF_3 > #skF_10 > #skF_14 > #skF_5 > #skF_6 > #skF_9 > #skF_8 > #skF_13 > #skF_16 > #skF_4 > #skF_2 > #skF_19 > #skF_18 > #skF_17 > #skF_12 > #skF_1
% 12.21/3.83
% 12.21/3.83 %Foreground sorts:
% 12.21/3.83
% 12.21/3.83
% 12.21/3.83 %Background operators:
% 12.21/3.83
% 12.21/3.83
% 12.21/3.83 %Foreground operators:
% 12.21/3.83 tff(nonliving, type, nonliving: ($i * $i) > $o).
% 12.21/3.83 tff(cheap, type, cheap: ($i * $i) > $o).
% 12.21/3.83 tff(wear, type, wear: ($i * $i) > $o).
% 12.21/3.83 tff(two, type, two: ($i * $i) > $o).
% 12.21/3.83 tff(relation, type, relation: ($i * $i) > $o).
% 12.21/3.83 tff(frontseat, type, frontseat: ($i * $i) > $o).
% 12.21/3.83 tff(placename, type, placename: ($i * $i) > $o).
% 12.21/3.83 tff(member, type, member: ($i * $i * $i) > $o).
% 12.21/3.83 tff(forename, type, forename: ($i * $i) > $o).
% 12.21/3.83 tff(be, type, be: ($i * $i * $i * $i) > $o).
% 12.21/3.83 tff('#skF_15', type, '#skF_15': ($i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i) > $i).
% 12.21/3.83 tff(wheel, type, wheel: ($i * $i) > $o).
% 12.21/3.83 tff(living, type, living: ($i * $i) > $o).
% 12.21/3.83 tff(black, type, black: ($i * $i) > $o).
% 12.21/3.83 tff(human_person, type, human_person: ($i * $i) > $o).
% 12.21/3.83 tff(present, type, present: ($i * $i) > $o).
% 12.21/3.83 tff(seat, type, seat: ($i * $i) > $o).
% 12.21/3.83 tff(in, type, in: ($i * $i * $i) > $o).
% 12.21/3.83 tff(old, type, old: ($i * $i) > $o).
% 12.21/3.83 tff(dirty, type, dirty: ($i * $i) > $o).
% 12.21/3.83 tff(behind, type, behind: ($i * $i * $i) > $o).
% 12.21/3.83 tff(entity, type, entity: ($i * $i) > $o).
% 12.21/3.83 tff('#skF_11', type, '#skF_11': $i).
% 12.21/3.83 tff(city, type, city: ($i * $i) > $o).
% 12.21/3.83 tff(eventuality, type, eventuality: ($i * $i) > $o).
% 12.21/3.83 tff(existent, type, existent: ($i * $i) > $o).
% 12.21/3.83 tff(abstraction, type, abstraction: ($i * $i) > $o).
% 12.21/3.83 tff(relname, type, relname: ($i * $i) > $o).
% 12.21/3.83 tff(singleton, type, singleton: ($i * $i) > $o).
% 12.21/3.83 tff(young, type, young: ($i * $i) > $o).
% 12.21/3.83 tff(male, type, male: ($i * $i) > $o).
% 12.21/3.83 tff(multiple, type, multiple: ($i * $i) > $o).
% 12.21/3.83 tff(organism, type, organism: ($i * $i) > $o).
% 12.21/3.83 tff(animate, type, animate: ($i * $i) > $o).
% 12.21/3.83 tff(of, type, of: ($i * $i * $i) > $o).
% 12.21/3.83 tff('#skF_7', type, '#skF_7': $i).
% 12.21/3.83 tff(location, type, location: ($i * $i) > $o).
% 12.21/3.83 tff('#skF_3', type, '#skF_3': ($i * $i) > $i).
% 12.21/3.83 tff(actual_world, type, actual_world: $i > $o).
% 12.21/3.83 tff(agent, type, agent: ($i * $i * $i) > $o).
% 12.21/3.83 tff('#skF_10', type, '#skF_10': $i).
% 12.21/3.83 tff('#skF_14', type, '#skF_14': ($i * $i) > $i).
% 12.21/3.83 tff(instrumentality, type, instrumentality: ($i * $i) > $o).
% 12.21/3.83 tff('#skF_5', type, '#skF_5': $i).
% 12.21/3.83 tff(group, type, group: ($i * $i) > $o).
% 12.21/3.83 tff(device, type, device: ($i * $i) > $o).
% 12.21/3.83 tff(artifact, type, artifact: ($i * $i) > $o).
% 12.21/3.83 tff(lonely, type, lonely: ($i * $i) > $o).
% 12.21/3.83 tff(jules_forename, type, jules_forename: ($i * $i) > $o).
% 12.21/3.83 tff(fellow, type, fellow: ($i * $i) > $o).
% 12.21/3.83 tff(general, type, general: ($i * $i) > $o).
% 12.21/3.83 tff('#skF_6', type, '#skF_6': $i).
% 12.21/3.83 tff(nonhuman, type, nonhuman: ($i * $i) > $o).
% 12.21/3.83 tff(event, type, event: ($i * $i) > $o).
% 12.21/3.83 tff(down, type, down: ($i * $i * $i) > $o).
% 12.21/3.83 tff(patient, type, patient: ($i * $i * $i) > $o).
% 12.21/3.83 tff(hollywood_placename, type, hollywood_placename: ($i * $i) > $o).
% 12.21/3.83 tff(white, type, white: ($i * $i) > $o).
% 12.21/3.83 tff(transport, type, transport: ($i * $i) > $o).
% 12.21/3.83 tff(clothes, type, clothes: ($i * $i) > $o).
% 12.21/3.83 tff('#skF_9', type, '#skF_9': $i).
% 12.21/3.83 tff(nonexistent, type, nonexistent: ($i * $i) > $o).
% 12.21/3.83 tff(barrel, type, barrel: ($i * $i) > $o).
% 12.21/3.83 tff(state, type, state: ($i * $i) > $o).
% 12.21/3.83 tff(thing, type, thing: ($i * $i) > $o).
% 12.21/3.83 tff(street, type, street: ($i * $i) > $o).
% 12.21/3.83 tff('#skF_8', type, '#skF_8': $i).
% 12.21/3.83 tff(human, type, human: ($i * $i) > $o).
% 12.21/3.83 tff('#skF_13', type, '#skF_13': $i > $i).
% 12.21/3.83 tff(man, type, man: ($i * $i) > $o).
% 12.21/3.83 tff(car, type, car: ($i * $i) > $o).
% 12.21/3.83 tff('#skF_16', type, '#skF_16': ($i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i) > $i).
% 12.21/3.83 tff(furniture, type, furniture: ($i * $i) > $o).
% 12.21/3.83 tff('#skF_4', type, '#skF_4': $i).
% 12.21/3.83 tff(unisex, type, unisex: ($i * $i) > $o).
% 12.21/3.83 tff(set, type, set: ($i * $i) > $o).
% 12.21/3.83 tff('#skF_2', type, '#skF_2': ($i * $i) > $i).
% 12.21/3.83 tff(impartial, type, impartial: ($i * $i) > $o).
% 12.21/3.83 tff('#skF_19', type, '#skF_19': ($i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i) > $i).
% 12.21/3.83 tff('#skF_18', type, '#skF_18': ($i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i) > $i).
% 12.21/3.83 tff(object, type, object: ($i * $i) > $o).
% 12.21/3.83 tff(nonreflexive, type, nonreflexive: ($i * $i) > $o).
% 12.21/3.83 tff(chevy, type, chevy: ($i * $i) > $o).
% 12.21/3.83 tff(specific, type, specific: ($i * $i) > $o).
% 12.21/3.83 tff('#skF_17', type, '#skF_17': ($i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i * $i) > $i).
% 12.21/3.83 tff('#skF_12', type, '#skF_12': $i > $i).
% 12.21/3.83 tff('#skF_1', type, '#skF_1': ($i * $i * $i * $i) > $i).
% 12.21/3.83 tff(coat, type, coat: ($i * $i) > $o).
% 12.21/3.83 tff(vehicle, type, vehicle: ($i * $i) > $o).
% 12.21/3.83 tff(way, type, way: ($i * $i) > $o).
% 12.21/3.83
% 12.21/3.83 %Saturated clause set:
% 12.21/3.83 tff(c_1910, plain, (![X_1897, Z_1891, X13_1892, X12_1895, X2_1898, X15_1896, X14_1899, W_1893, X1_1890, Y_1894]: (~young('#skF_4', '#skF_16'(X15_1896, Z_1891, X14_1899, Y_1894, X13_1892, X_1897, X12_1895, '#skF_4', X2_1898, X1_1890, '#skF_5', W_1893)) | ~fellow('#skF_4', '#skF_16'(X15_1896, Z_1891, X14_1899, Y_1894, X13_1892, X_1897, X12_1895, '#skF_4', X2_1898, X1_1890, '#skF_5', W_1893)) | ~cheap('#skF_4', '#skF_19'(X15_1896, Z_1891, X14_1899, Y_1894, X13_1892, X_1897, X12_1895, '#skF_4', X2_1898, X1_1890, '#skF_5', W_1893)) | ~black('#skF_4', '#skF_19'(X15_1896, Z_1891, X14_1899, Y_1894, X13_1892, X_1897, X12_1895, '#skF_4', X2_1898, X1_1890, '#skF_5', W_1893)) | ~coat('#skF_4', '#skF_19'(X15_1896, Z_1891, X14_1899, Y_1894, X13_1892, X_1897, X12_1895, '#skF_4', X2_1898, X1_1890, '#skF_5', W_1893)) | ~behind('#skF_4', X15_1896, X15_1896) | ~be('#skF_4', X14_1899, X12_1895, X15_1896) | ~state('#skF_4', X14_1899) | ~wheel('#skF_4', X15_1896) | ~group('#skF_4', X2_1898) | ~group('#skF_4', X1_1890) | ~two('#skF_4', X1_1890) | ~in('#skF_4', Z_1891, Y_1894) | ~down('#skF_4', Z_1891, Y_1894) | ~barrel('#skF_4', Z_1891) | ~present('#skF_4', Z_1891) | ~agent('#skF_4', Z_1891, W_1893) | ~event('#skF_4', Z_1891) | ~lonely('#skF_4', Y_1894) | ~street('#skF_4', Y_1894) | ~placename('#skF_4', X_1897) | ~hollywood_placename('#skF_4', X_1897) | ~city('#skF_4', Y_1894) | ~of('#skF_4', X_1897, Y_1894) | ~old('#skF_4', W_1893) | ~dirty('#skF_4', W_1893) | ~white('#skF_4', W_1893) | ~chevy('#skF_4', W_1893) | ~forename('#skF_4', X13_1892) | ~jules_forename('#skF_4', X13_1892) | ~man('#skF_4', X12_1895) | ~of('#skF_4', X13_1892, X12_1895) | ~member('#skF_4', '#skF_15'(X15_1896, Z_1891, X14_1899, Y_1894, X13_1892, X_1897, X12_1895, '#skF_4', X2_1898, X1_1890, '#skF_5', W_1893), '#skF_10') | ~member('#skF_4', '#skF_18'(X15_1896, Z_1891, X14_1899, Y_1894, X13_1892, X_1897, X12_1895, '#skF_4', X2_1898, X1_1890, '#skF_5', W_1893), '#skF_10') | ~member('#skF_4', '#skF_17'(X15_1896, Z_1891, X14_1899, Y_1894, X13_1892, X_1897, X12_1895, '#skF_4', X2_1898, X1_1890, '#skF_5', W_1893), '#skF_11')))).
% 12.21/3.83 tff(c_1890, plain, (![Z_1859, X12_1851, X_1858, Y_1857, X13_1854, X1_1853, X15_1852, W_1850, X2_1855, X14_1856]: (member('#skF_4', '#skF_16'(X15_1852, Z_1859, X14_1856, Y_1857, X13_1854, X_1858, X12_1851, '#skF_4', X2_1855, X1_1853, '#skF_5', W_1850), X1_1853) | ~cheap('#skF_4', '#skF_19'(X15_1852, Z_1859, X14_1856, Y_1857, X13_1854, X_1858, X12_1851, '#skF_4', X2_1855, X1_1853, '#skF_5', W_1850)) | ~black('#skF_4', '#skF_19'(X15_1852, Z_1859, X14_1856, Y_1857, X13_1854, X_1858, X12_1851, '#skF_4', X2_1855, X1_1853, '#skF_5', W_1850)) | ~coat('#skF_4', '#skF_19'(X15_1852, Z_1859, X14_1856, Y_1857, X13_1854, X_1858, X12_1851, '#skF_4', X2_1855, X1_1853, '#skF_5', W_1850)) | ~behind('#skF_4', X15_1852, X15_1852) | ~be('#skF_4', X14_1856, X12_1851, X15_1852) | ~state('#skF_4', X14_1856) | ~wheel('#skF_4', X15_1852) | ~group('#skF_4', X2_1855) | ~group('#skF_4', X1_1853) | ~two('#skF_4', X1_1853) | ~in('#skF_4', Z_1859, Y_1857) | ~down('#skF_4', Z_1859, Y_1857) | ~barrel('#skF_4', Z_1859) | ~present('#skF_4', Z_1859) | ~agent('#skF_4', Z_1859, W_1850) | ~event('#skF_4', Z_1859) | ~lonely('#skF_4', Y_1857) | ~street('#skF_4', Y_1857) | ~placename('#skF_4', X_1858) | ~hollywood_placename('#skF_4', X_1858) | ~city('#skF_4', Y_1857) | ~of('#skF_4', X_1858, Y_1857) | ~old('#skF_4', W_1850) | ~dirty('#skF_4', W_1850) | ~white('#skF_4', W_1850) | ~chevy('#skF_4', W_1850) | ~forename('#skF_4', X13_1854) | ~jules_forename('#skF_4', X13_1854) | ~man('#skF_4', X12_1851) | ~of('#skF_4', X13_1854, X12_1851) | ~member('#skF_4', '#skF_15'(X15_1852, Z_1859, X14_1856, Y_1857, X13_1854, X_1858, X12_1851, '#skF_4', X2_1855, X1_1853, '#skF_5', W_1850), '#skF_10') | ~member('#skF_4', '#skF_18'(X15_1852, Z_1859, X14_1856, Y_1857, X13_1854, X_1858, X12_1851, '#skF_4', X2_1855, X1_1853, '#skF_5', W_1850), '#skF_10') | ~member('#skF_4', '#skF_17'(X15_1852, Z_1859, X14_1856, Y_1857, X13_1854, X_1858, X12_1851, '#skF_4', X2_1855, X1_1853, '#skF_5', W_1850), '#skF_11')))).
% 12.21/3.83 tff(c_1860, plain, (![X13_1794, X_1792, Y_1791, W_1789, Z_1788, X14_1795, X12_1790, V_1798, X2_1797, X1_1796, X15_1793]: (member('#skF_4', '#skF_15'(X15_1793, Z_1788, X14_1795, Y_1791, X13_1794, X_1792, X12_1790, '#skF_4', X2_1797, X1_1796, V_1798, W_1789), X1_1796) | ~young('#skF_4', '#skF_16'(X15_1793, Z_1788, X14_1795, Y_1791, X13_1794, X_1792, X12_1790, '#skF_4', X2_1797, X1_1796, V_1798, W_1789)) | ~fellow('#skF_4', '#skF_16'(X15_1793, Z_1788, X14_1795, Y_1791, X13_1794, X_1792, X12_1790, '#skF_4', X2_1797, X1_1796, V_1798, W_1789)) | ~cheap('#skF_4', '#skF_19'(X15_1793, Z_1788, X14_1795, Y_1791, X13_1794, X_1792, X12_1790, '#skF_4', X2_1797, X1_1796, V_1798, W_1789)) | ~black('#skF_4', '#skF_19'(X15_1793, Z_1788, X14_1795, Y_1791, X13_1794, X_1792, X12_1790, '#skF_4', X2_1797, X1_1796, V_1798, W_1789)) | ~coat('#skF_4', '#skF_19'(X15_1793, Z_1788, X14_1795, Y_1791, X13_1794, X_1792, X12_1790, '#skF_4', X2_1797, X1_1796, V_1798, W_1789)) | ~behind('#skF_4', X15_1793, X15_1793) | ~be('#skF_4', X14_1795, X12_1790, X15_1793) | ~state('#skF_4', X14_1795) | ~wheel('#skF_4', X15_1793) | ~group('#skF_4', X2_1797) | ~group('#skF_4', X1_1796) | ~two('#skF_4', X1_1796) | ~in('#skF_4', Z_1788, Y_1791) | ~down('#skF_4', Z_1788, Y_1791) | ~barrel('#skF_4', Z_1788) | ~present('#skF_4', Z_1788) | ~agent('#skF_4', Z_1788, W_1789) | ~event('#skF_4', Z_1788) | ~lonely('#skF_4', Y_1791) | ~street('#skF_4', Y_1791) | ~placename('#skF_4', X_1792) | ~hollywood_placename('#skF_4', X_1792) | ~city('#skF_4', Y_1791) | ~of('#skF_4', X_1792, Y_1791) | ~old('#skF_4', W_1789) | ~dirty('#skF_4', W_1789) | ~white('#skF_4', W_1789) | ~chevy('#skF_4', W_1789) | ~frontseat('#skF_4', V_1798) | ~forename('#skF_4', X13_1794) | ~jules_forename('#skF_4', X13_1794) | ~man('#skF_4', X12_1790) | ~of('#skF_4', X13_1794, X12_1790) | ~member('#skF_4', '#skF_18'(X15_1793, Z_1788, X14_1795, Y_1791, X13_1794, X_1792, X12_1790, '#skF_4', X2_1797, X1_1796, V_1798, W_1789), '#skF_10') | ~member('#skF_4', '#skF_17'(X15_1793, Z_1788, X14_1795, Y_1791, X13_1794, X_1792, X12_1790, '#skF_4', X2_1797, X1_1796, V_1798, W_1789), '#skF_11')))).
% 12.21/3.83 tff(c_1835, plain, (![X14_1742, X_1740, X12_1733, W_1734, X15_1737, Y_1736, X1_1735, Z_1739, V_1738, X13_1743, X2_1741]: (member('#skF_4', '#skF_15'(X15_1737, Z_1739, X14_1742, Y_1736, X13_1743, X_1740, X12_1733, '#skF_4', X2_1741, X1_1735, V_1738, W_1734), X1_1735) | member('#skF_4', '#skF_16'(X15_1737, Z_1739, X14_1742, Y_1736, X13_1743, X_1740, X12_1733, '#skF_4', X2_1741, X1_1735, V_1738, W_1734), X1_1735) | ~cheap('#skF_4', '#skF_19'(X15_1737, Z_1739, X14_1742, Y_1736, X13_1743, X_1740, X12_1733, '#skF_4', X2_1741, X1_1735, V_1738, W_1734)) | ~black('#skF_4', '#skF_19'(X15_1737, Z_1739, X14_1742, Y_1736, X13_1743, X_1740, X12_1733, '#skF_4', X2_1741, X1_1735, V_1738, W_1734)) | ~coat('#skF_4', '#skF_19'(X15_1737, Z_1739, X14_1742, Y_1736, X13_1743, X_1740, X12_1733, '#skF_4', X2_1741, X1_1735, V_1738, W_1734)) | ~behind('#skF_4', X15_1737, X15_1737) | ~be('#skF_4', X14_1742, X12_1733, X15_1737) | ~state('#skF_4', X14_1742) | ~wheel('#skF_4', X15_1737) | ~group('#skF_4', X2_1741) | ~group('#skF_4', X1_1735) | ~two('#skF_4', X1_1735) | ~in('#skF_4', Z_1739, Y_1736) | ~down('#skF_4', Z_1739, Y_1736) | ~barrel('#skF_4', Z_1739) | ~present('#skF_4', Z_1739) | ~agent('#skF_4', Z_1739, W_1734) | ~event('#skF_4', Z_1739) | ~lonely('#skF_4', Y_1736) | ~street('#skF_4', Y_1736) | ~placename('#skF_4', X_1740) | ~hollywood_placename('#skF_4', X_1740) | ~city('#skF_4', Y_1736) | ~of('#skF_4', X_1740, Y_1736) | ~old('#skF_4', W_1734) | ~dirty('#skF_4', W_1734) | ~white('#skF_4', W_1734) | ~chevy('#skF_4', W_1734) | ~frontseat('#skF_4', V_1738) | ~forename('#skF_4', X13_1743) | ~jules_forename('#skF_4', X13_1743) | ~man('#skF_4', X12_1733) | ~of('#skF_4', X13_1743, X12_1733) | ~member('#skF_4', '#skF_18'(X15_1737, Z_1739, X14_1742, Y_1736, X13_1743, X_1740, X12_1733, '#skF_4', X2_1741, X1_1735, V_1738, W_1734), '#skF_10') | ~member('#skF_4', '#skF_17'(X15_1737, Z_1739, X14_1742, Y_1736, X13_1743, X_1740, X12_1733, '#skF_4', X2_1741, X1_1735, V_1738, W_1734), '#skF_11')))).
% 12.21/3.84 tff(c_1815, plain, (![X13_1696, Y_1695, X14_1692, Z_1697, W_1699, X_1698, V_1690, X1_1693, X12_1689, X15_1691, X2_1694]: (member('#skF_4', '#skF_15'(X15_1691, Z_1697, X14_1692, Y_1695, X13_1696, X_1698, X12_1689, '#skF_4', X2_1694, X1_1693, V_1690, W_1699), X1_1693) | ~young('#skF_4', '#skF_16'(X15_1691, Z_1697, X14_1692, Y_1695, X13_1696, X_1698, X12_1689, '#skF_4', X2_1694, X1_1693, V_1690, W_1699)) | ~fellow('#skF_4', '#skF_16'(X15_1691, Z_1697, X14_1692, Y_1695, X13_1696, X_1698, X12_1689, '#skF_4', X2_1694, X1_1693, V_1690, W_1699)) | member('#skF_4', '#skF_19'(X15_1691, Z_1697, X14_1692, Y_1695, X13_1696, X_1698, X12_1689, '#skF_4', X2_1694, X1_1693, V_1690, W_1699), X2_1694) | ~behind('#skF_4', X15_1691, X15_1691) | ~be('#skF_4', X14_1692, X12_1689, X15_1691) | ~state('#skF_4', X14_1692) | ~wheel('#skF_4', X15_1691) | ~group('#skF_4', X2_1694) | ~group('#skF_4', X1_1693) | ~two('#skF_4', X1_1693) | ~in('#skF_4', Z_1697, Y_1695) | ~down('#skF_4', Z_1697, Y_1695) | ~barrel('#skF_4', Z_1697) | ~present('#skF_4', Z_1697) | ~agent('#skF_4', Z_1697, W_1699) | ~event('#skF_4', Z_1697) | ~lonely('#skF_4', Y_1695) | ~street('#skF_4', Y_1695) | ~placename('#skF_4', X_1698) | ~hollywood_placename('#skF_4', X_1698) | ~city('#skF_4', Y_1695) | ~of('#skF_4', X_1698, Y_1695) | ~old('#skF_4', W_1699) | ~dirty('#skF_4', W_1699) | ~white('#skF_4', W_1699) | ~chevy('#skF_4', W_1699) | ~frontseat('#skF_4', V_1690) | ~forename('#skF_4', X13_1696) | ~jules_forename('#skF_4', X13_1696) | ~man('#skF_4', X12_1689) | ~of('#skF_4', X13_1696, X12_1689) | ~member('#skF_4', '#skF_18'(X15_1691, Z_1697, X14_1692, Y_1695, X13_1696, X_1698, X12_1689, '#skF_4', X2_1694, X1_1693, V_1690, W_1699), '#skF_10') | ~member('#skF_4', '#skF_17'(X15_1691, Z_1697, X14_1692, Y_1695, X13_1696, X_1698, X12_1689, '#skF_4', X2_1694, X1_1693, V_1690, W_1699), '#skF_11')))).
% 12.21/3.84 tff(c_1785, plain, (![X_1625, X12_1631, W_1630, X2_1632, X15_1634, X14_1626, X1_1628, Y_1627, Z_1629, X13_1633]: (~young('#skF_4', '#skF_16'(X15_1634, Z_1629, X14_1626, Y_1627, X13_1633, X_1625, X12_1631, '#skF_4', X2_1632, X1_1628, '#skF_5', W_1630)) | ~fellow('#skF_4', '#skF_16'(X15_1634, Z_1629, X14_1626, Y_1627, X13_1633, X_1625, X12_1631, '#skF_4', X2_1632, X1_1628, '#skF_5', W_1630)) | member('#skF_4', '#skF_19'(X15_1634, Z_1629, X14_1626, Y_1627, X13_1633, X_1625, X12_1631, '#skF_4', X2_1632, X1_1628, '#skF_5', W_1630), X2_1632) | ~behind('#skF_4', X15_1634, X15_1634) | ~be('#skF_4', X14_1626, X12_1631, X15_1634) | ~state('#skF_4', X14_1626) | ~wheel('#skF_4', X15_1634) | ~group('#skF_4', X2_1632) | ~group('#skF_4', X1_1628) | ~two('#skF_4', X1_1628) | ~in('#skF_4', Z_1629, Y_1627) | ~down('#skF_4', Z_1629, Y_1627) | ~barrel('#skF_4', Z_1629) | ~present('#skF_4', Z_1629) | ~agent('#skF_4', Z_1629, W_1630) | ~event('#skF_4', Z_1629) | ~lonely('#skF_4', Y_1627) | ~street('#skF_4', Y_1627) | ~placename('#skF_4', X_1625) | ~hollywood_placename('#skF_4', X_1625) | ~city('#skF_4', Y_1627) | ~of('#skF_4', X_1625, Y_1627) | ~old('#skF_4', W_1630) | ~dirty('#skF_4', W_1630) | ~white('#skF_4', W_1630) | ~chevy('#skF_4', W_1630) | ~forename('#skF_4', X13_1633) | ~jules_forename('#skF_4', X13_1633) | ~man('#skF_4', X12_1631) | ~of('#skF_4', X13_1633, X12_1631) | ~member('#skF_4', '#skF_15'(X15_1634, Z_1629, X14_1626, Y_1627, X13_1633, X_1625, X12_1631, '#skF_4', X2_1632, X1_1628, '#skF_5', W_1630), '#skF_10') | ~member('#skF_4', '#skF_18'(X15_1634, Z_1629, X14_1626, Y_1627, X13_1633, X_1625, X12_1631, '#skF_4', X2_1632, X1_1628, '#skF_5', W_1630), '#skF_10') | ~member('#skF_4', '#skF_17'(X15_1634, Z_1629, X14_1626, Y_1627, X13_1633, X_1625, X12_1631, '#skF_4', X2_1632, X1_1628, '#skF_5', W_1630), '#skF_11')))).
% 12.21/3.84 tff(c_1676, plain, (![X8_235, X15_1419, Y_1417, X1_1415, X2_1418, X14_1413, W_1412, X13_1411, Z_1414, X12_1416, X_1420]: (~young('#skF_4', '#skF_16'(X15_1419, Z_1414, X14_1413, Y_1417, X13_1411, X_1420, X12_1416, '#skF_4', X2_1418, X1_1415, '#skF_5', W_1412)) | ~fellow('#skF_4', '#skF_16'(X15_1419, Z_1414, X14_1413, Y_1417, X13_1411, X_1420, X12_1416, '#skF_4', X2_1418, X1_1415, '#skF_5', W_1412)) | ~wear('#skF_4', '#skF_14'('#skF_17'(X15_1419, Z_1414, X14_1413, Y_1417, X13_1411, X_1420, X12_1416, '#skF_4', X2_1418, X1_1415, '#skF_5', W_1412), X8_235)) | ~nonreflexive('#skF_4', '#skF_14'('#skF_17'(X15_1419, Z_1414, X14_1413, Y_1417, X13_1411, X_1420, X12_1416, '#skF_4', X2_1418, X1_1415, '#skF_5', W_1412), X8_235)) | ~present('#skF_4', '#skF_14'('#skF_17'(X15_1419, Z_1414, X14_1413, Y_1417, X13_1411, X_1420, X12_1416, '#skF_4', X2_1418, X1_1415, '#skF_5', W_1412), X8_235)) | ~agent('#skF_4', '#skF_14'('#skF_17'(X15_1419, Z_1414, X14_1413, Y_1417, X13_1411, X_1420, X12_1416, '#skF_4', X2_1418, X1_1415, '#skF_5', W_1412), X8_235), '#skF_18'(X15_1419, Z_1414, X14_1413, Y_1417, X13_1411, X_1420, X12_1416, '#skF_4', X2_1418, X1_1415, '#skF_5', W_1412)) | ~event('#skF_4', '#skF_14'('#skF_17'(X15_1419, Z_1414, X14_1413, Y_1417, X13_1411, X_1420, X12_1416, '#skF_4', X2_1418, X1_1415, '#skF_5', W_1412), X8_235)) | ~cheap('#skF_4', '#skF_19'(X15_1419, Z_1414, X14_1413, Y_1417, X13_1411, X_1420, X12_1416, '#skF_4', X2_1418, X1_1415, '#skF_5', W_1412)) | ~black('#skF_4', '#skF_19'(X15_1419, Z_1414, X14_1413, Y_1417, X13_1411, X_1420, X12_1416, '#skF_4', X2_1418, X1_1415, '#skF_5', W_1412)) | ~coat('#skF_4', '#skF_19'(X15_1419, Z_1414, X14_1413, Y_1417, X13_1411, X_1420, X12_1416, '#skF_4', X2_1418, X1_1415, '#skF_5', W_1412)) | ~behind('#skF_4', X15_1419, X15_1419) | ~be('#skF_4', X14_1413, X12_1416, X15_1419) | ~state('#skF_4', X14_1413) | ~wheel('#skF_4', X15_1419) | ~group('#skF_4', X2_1418) | ~group('#skF_4', X1_1415) | ~two('#skF_4', X1_1415) | ~in('#skF_4', Z_1414, Y_1417) | ~down('#skF_4', Z_1414, Y_1417) | ~barrel('#skF_4', Z_1414) | ~present('#skF_4', Z_1414) | ~agent('#skF_4', Z_1414, W_1412) | ~event('#skF_4', Z_1414) | ~lonely('#skF_4', Y_1417) | ~street('#skF_4', Y_1417) | ~placename('#skF_4', X_1420) | ~hollywood_placename('#skF_4', X_1420) | ~city('#skF_4', Y_1417) | ~of('#skF_4', X_1420, Y_1417) | ~old('#skF_4', W_1412) | ~dirty('#skF_4', W_1412) | ~white('#skF_4', W_1412) | ~chevy('#skF_4', W_1412) | ~forename('#skF_4', X13_1411) | ~jules_forename('#skF_4', X13_1411) | ~man('#skF_4', X12_1416) | ~of('#skF_4', X13_1411, X12_1416) | ~member('#skF_4', '#skF_15'(X15_1419, Z_1414, X14_1413, Y_1417, X13_1411, X_1420, X12_1416, '#skF_4', X2_1418, X1_1415, '#skF_5', W_1412), '#skF_10') | ~member('#skF_4', X8_235, '#skF_10') | ~member('#skF_4', '#skF_17'(X15_1419, Z_1414, X14_1413, Y_1417, X13_1411, X_1420, X12_1416, '#skF_4', X2_1418, X1_1415, '#skF_5', W_1412), '#skF_11')))).
% 12.21/3.84 tff(c_1463, plain, (![X8_235, X_981, Z_977, X15_976, X12_982, X13_980, V_986, X1_985, W_988, Y_979, X2_984, X14_978]: (member('#skF_4', '#skF_15'(X15_976, Z_977, X14_978, Y_979, X13_980, X_981, X12_982, '#skF_4', X2_984, X1_985, V_986, W_988), X1_985) | ~young('#skF_4', '#skF_16'(X15_976, Z_977, X14_978, Y_979, X13_980, X_981, X12_982, '#skF_4', X2_984, X1_985, V_986, W_988)) | ~fellow('#skF_4', '#skF_16'(X15_976, Z_977, X14_978, Y_979, X13_980, X_981, X12_982, '#skF_4', X2_984, X1_985, V_986, W_988)) | ~wear('#skF_4', '#skF_14'('#skF_17'(X15_976, Z_977, X14_978, Y_979, X13_980, X_981, X12_982, '#skF_4', X2_984, X1_985, V_986, W_988), X8_235)) | ~nonreflexive('#skF_4', '#skF_14'('#skF_17'(X15_976, Z_977, X14_978, Y_979, X13_980, X_981, X12_982, '#skF_4', X2_984, X1_985, V_986, W_988), X8_235)) | ~present('#skF_4', '#skF_14'('#skF_17'(X15_976, Z_977, X14_978, Y_979, X13_980, X_981, X12_982, '#skF_4', X2_984, X1_985, V_986, W_988), X8_235)) | ~agent('#skF_4', '#skF_14'('#skF_17'(X15_976, Z_977, X14_978, Y_979, X13_980, X_981, X12_982, '#skF_4', X2_984, X1_985, V_986, W_988), X8_235), '#skF_18'(X15_976, Z_977, X14_978, Y_979, X13_980, X_981, X12_982, '#skF_4', X2_984, X1_985, V_986, W_988)) | ~event('#skF_4', '#skF_14'('#skF_17'(X15_976, Z_977, X14_978, Y_979, X13_980, X_981, X12_982, '#skF_4', X2_984, X1_985, V_986, W_988), X8_235)) | ~cheap('#skF_4', '#skF_19'(X15_976, Z_977, X14_978, Y_979, X13_980, X_981, X12_982, '#skF_4', X2_984, X1_985, V_986, W_988)) | ~black('#skF_4', '#skF_19'(X15_976, Z_977, X14_978, Y_979, X13_980, X_981, X12_982, '#skF_4', X2_984, X1_985, V_986, W_988)) | ~coat('#skF_4', '#skF_19'(X15_976, Z_977, X14_978, Y_979, X13_980, X_981, X12_982, '#skF_4', X2_984, X1_985, V_986, W_988)) | ~behind('#skF_4', X15_976, X15_976) | ~be('#skF_4', X14_978, X12_982, X15_976) | ~state('#skF_4', X14_978) | ~wheel('#skF_4', X15_976) | ~group('#skF_4', X2_984) | ~group('#skF_4', X1_985) | ~two('#skF_4', X1_985) | ~in('#skF_4', Z_977, Y_979) | ~down('#skF_4', Z_977, Y_979) | ~barrel('#skF_4', Z_977) | ~present('#skF_4', Z_977) | ~agent('#skF_4', Z_977, W_988) | ~event('#skF_4', Z_977) | ~lonely('#skF_4', Y_979) | ~street('#skF_4', Y_979) | ~placename('#skF_4', X_981) | ~hollywood_placename('#skF_4', X_981) | ~city('#skF_4', Y_979) | ~of('#skF_4', X_981, Y_979) | ~old('#skF_4', W_988) | ~dirty('#skF_4', W_988) | ~white('#skF_4', W_988) | ~chevy('#skF_4', W_988) | ~frontseat('#skF_4', V_986) | ~forename('#skF_4', X13_980) | ~jules_forename('#skF_4', X13_980) | ~man('#skF_4', X12_982) | ~of('#skF_4', X13_980, X12_982) | ~member('#skF_4', X8_235, '#skF_10') | ~member('#skF_4', '#skF_17'(X15_976, Z_977, X14_978, Y_979, X13_980, X_981, X12_982, '#skF_4', X2_984, X1_985, V_986, W_988), '#skF_11')))).
% 12.21/3.84 tff(c_1748, plain, (![W_1555, V_1558, X13_1556, Z_1559, X2_1553, X12_1560, Y_1554, X_1552, X1_1550, X14_1557, X15_1551]: (member('#skF_4', '#skF_15'(X15_1551, Z_1559, X14_1557, Y_1554, X13_1556, X_1552, X12_1560, '#skF_4', X2_1553, X1_1550, V_1558, W_1555), X1_1550) | member('#skF_4', '#skF_16'(X15_1551, Z_1559, X14_1557, Y_1554, X13_1556, X_1552, X12_1560, '#skF_4', X2_1553, X1_1550, V_1558, W_1555), X1_1550) | member('#skF_4', '#skF_19'(X15_1551, Z_1559, X14_1557, Y_1554, X13_1556, X_1552, X12_1560, '#skF_4', X2_1553, X1_1550, V_1558, W_1555), X2_1553) | ~behind('#skF_4', X15_1551, X15_1551) | ~be('#skF_4', X14_1557, X12_1560, X15_1551) | ~state('#skF_4', X14_1557) | ~wheel('#skF_4', X15_1551) | ~group('#skF_4', X2_1553) | ~group('#skF_4', X1_1550) | ~two('#skF_4', X1_1550) | ~in('#skF_4', Z_1559, Y_1554) | ~down('#skF_4', Z_1559, Y_1554) | ~barrel('#skF_4', Z_1559) | ~present('#skF_4', Z_1559) | ~agent('#skF_4', Z_1559, W_1555) | ~event('#skF_4', Z_1559) | ~lonely('#skF_4', Y_1554) | ~street('#skF_4', Y_1554) | ~placename('#skF_4', X_1552) | ~hollywood_placename('#skF_4', X_1552) | ~city('#skF_4', Y_1554) | ~of('#skF_4', X_1552, Y_1554) | ~old('#skF_4', W_1555) | ~dirty('#skF_4', W_1555) | ~white('#skF_4', W_1555) | ~chevy('#skF_4', W_1555) | ~frontseat('#skF_4', V_1558) | ~forename('#skF_4', X13_1556) | ~jules_forename('#skF_4', X13_1556) | ~man('#skF_4', X12_1560) | ~of('#skF_4', X13_1556, X12_1560) | ~member('#skF_4', '#skF_18'(X15_1551, Z_1559, X14_1557, Y_1554, X13_1556, X_1552, X12_1560, '#skF_4', X2_1553, X1_1550, V_1558, W_1555), '#skF_10') | ~member('#skF_4', '#skF_17'(X15_1551, Z_1559, X14_1557, Y_1554, X13_1556, X_1552, X12_1560, '#skF_4', X2_1553, X1_1550, V_1558, W_1555), '#skF_11')))).
% 12.21/3.84 tff(c_1723, plain, (![X13_1505, X_1503, Y_1499, X2_1497, Z_1504, X14_1502, X15_1506, X1_1498, W_1501, X12_1500]: (member('#skF_4', '#skF_16'(X15_1506, Z_1504, X14_1502, Y_1499, X13_1505, X_1503, X12_1500, '#skF_4', X2_1497, X1_1498, '#skF_5', W_1501), X1_1498) | member('#skF_4', '#skF_19'(X15_1506, Z_1504, X14_1502, Y_1499, X13_1505, X_1503, X12_1500, '#skF_4', X2_1497, X1_1498, '#skF_5', W_1501), X2_1497) | ~behind('#skF_4', X15_1506, X15_1506) | ~be('#skF_4', X14_1502, X12_1500, X15_1506) | ~state('#skF_4', X14_1502) | ~wheel('#skF_4', X15_1506) | ~group('#skF_4', X2_1497) | ~group('#skF_4', X1_1498) | ~two('#skF_4', X1_1498) | ~in('#skF_4', Z_1504, Y_1499) | ~down('#skF_4', Z_1504, Y_1499) | ~barrel('#skF_4', Z_1504) | ~present('#skF_4', Z_1504) | ~agent('#skF_4', Z_1504, W_1501) | ~event('#skF_4', Z_1504) | ~lonely('#skF_4', Y_1499) | ~street('#skF_4', Y_1499) | ~placename('#skF_4', X_1503) | ~hollywood_placename('#skF_4', X_1503) | ~city('#skF_4', Y_1499) | ~of('#skF_4', X_1503, Y_1499) | ~old('#skF_4', W_1501) | ~dirty('#skF_4', W_1501) | ~white('#skF_4', W_1501) | ~chevy('#skF_4', W_1501) | ~forename('#skF_4', X13_1505) | ~jules_forename('#skF_4', X13_1505) | ~man('#skF_4', X12_1500) | ~of('#skF_4', X13_1505, X12_1500) | ~member('#skF_4', '#skF_15'(X15_1506, Z_1504, X14_1502, Y_1499, X13_1505, X_1503, X12_1500, '#skF_4', X2_1497, X1_1498, '#skF_5', W_1501), '#skF_10') | ~member('#skF_4', '#skF_18'(X15_1506, Z_1504, X14_1502, Y_1499, X13_1505, X_1503, X12_1500, '#skF_4', X2_1497, X1_1498, '#skF_5', W_1501), '#skF_10') | ~member('#skF_4', '#skF_17'(X15_1506, Z_1504, X14_1502, Y_1499, X13_1505, X_1503, X12_1500, '#skF_4', X2_1497, X1_1498, '#skF_5', W_1501), '#skF_11')))).
% 12.21/3.84 tff(c_1400, plain, (![X8_235, X14_940, Z_939, W_950, Y_941, X13_942, X15_938, X2_946, X12_944, X_943, X1_947, V_948]: (member('#skF_4', '#skF_15'(X15_938, Z_939, X14_940, Y_941, X13_942, X_943, X12_944, '#skF_4', X2_946, X1_947, V_948, W_950), X1_947) | member('#skF_4', '#skF_16'(X15_938, Z_939, X14_940, Y_941, X13_942, X_943, X12_944, '#skF_4', X2_946, X1_947, V_948, W_950), X1_947) | ~wear('#skF_4', '#skF_14'('#skF_17'(X15_938, Z_939, X14_940, Y_941, X13_942, X_943, X12_944, '#skF_4', X2_946, X1_947, V_948, W_950), X8_235)) | ~nonreflexive('#skF_4', '#skF_14'('#skF_17'(X15_938, Z_939, X14_940, Y_941, X13_942, X_943, X12_944, '#skF_4', X2_946, X1_947, V_948, W_950), X8_235)) | ~present('#skF_4', '#skF_14'('#skF_17'(X15_938, Z_939, X14_940, Y_941, X13_942, X_943, X12_944, '#skF_4', X2_946, X1_947, V_948, W_950), X8_235)) | ~agent('#skF_4', '#skF_14'('#skF_17'(X15_938, Z_939, X14_940, Y_941, X13_942, X_943, X12_944, '#skF_4', X2_946, X1_947, V_948, W_950), X8_235), '#skF_18'(X15_938, Z_939, X14_940, Y_941, X13_942, X_943, X12_944, '#skF_4', X2_946, X1_947, V_948, W_950)) | ~event('#skF_4', '#skF_14'('#skF_17'(X15_938, Z_939, X14_940, Y_941, X13_942, X_943, X12_944, '#skF_4', X2_946, X1_947, V_948, W_950), X8_235)) | ~cheap('#skF_4', '#skF_19'(X15_938, Z_939, X14_940, Y_941, X13_942, X_943, X12_944, '#skF_4', X2_946, X1_947, V_948, W_950)) | ~black('#skF_4', '#skF_19'(X15_938, Z_939, X14_940, Y_941, X13_942, X_943, X12_944, '#skF_4', X2_946, X1_947, V_948, W_950)) | ~coat('#skF_4', '#skF_19'(X15_938, Z_939, X14_940, Y_941, X13_942, X_943, X12_944, '#skF_4', X2_946, X1_947, V_948, W_950)) | ~behind('#skF_4', X15_938, X15_938) | ~be('#skF_4', X14_940, X12_944, X15_938) | ~state('#skF_4', X14_940) | ~wheel('#skF_4', X15_938) | ~group('#skF_4', X2_946) | ~group('#skF_4', X1_947) | ~two('#skF_4', X1_947) | ~in('#skF_4', Z_939, Y_941) | ~down('#skF_4', Z_939, Y_941) | ~barrel('#skF_4', Z_939) | ~present('#skF_4', Z_939) | ~agent('#skF_4', Z_939, W_950) | ~event('#skF_4', Z_939) | ~lonely('#skF_4', Y_941) | ~street('#skF_4', Y_941) | ~placename('#skF_4', X_943) | ~hollywood_placename('#skF_4', X_943) | ~city('#skF_4', Y_941) | ~of('#skF_4', X_943, Y_941) | ~old('#skF_4', W_950) | ~dirty('#skF_4', W_950) | ~white('#skF_4', W_950) | ~chevy('#skF_4', W_950) | ~frontseat('#skF_4', V_948) | ~forename('#skF_4', X13_942) | ~jules_forename('#skF_4', X13_942) | ~man('#skF_4', X12_944) | ~of('#skF_4', X13_942, X12_944) | ~member('#skF_4', X8_235, '#skF_10') | ~member('#skF_4', '#skF_17'(X15_938, Z_939, X14_940, Y_941, X13_942, X_943, X12_944, '#skF_4', X2_946, X1_947, V_948, W_950), '#skF_11')))).
% 12.21/3.84 tff(c_1659, plain, (![Z_1385, X12_1377, X8_235, X2_1386, X1_1381, X_1378, X14_1379, X13_1383, W_1382, Y_1376, X15_1380]: (member('#skF_4', '#skF_16'(X15_1380, Z_1385, X14_1379, Y_1376, X13_1383, X_1378, X12_1377, '#skF_4', X2_1386, X1_1381, '#skF_5', W_1382), X1_1381) | ~wear('#skF_4', '#skF_14'('#skF_17'(X15_1380, Z_1385, X14_1379, Y_1376, X13_1383, X_1378, X12_1377, '#skF_4', X2_1386, X1_1381, '#skF_5', W_1382), X8_235)) | ~nonreflexive('#skF_4', '#skF_14'('#skF_17'(X15_1380, Z_1385, X14_1379, Y_1376, X13_1383, X_1378, X12_1377, '#skF_4', X2_1386, X1_1381, '#skF_5', W_1382), X8_235)) | ~present('#skF_4', '#skF_14'('#skF_17'(X15_1380, Z_1385, X14_1379, Y_1376, X13_1383, X_1378, X12_1377, '#skF_4', X2_1386, X1_1381, '#skF_5', W_1382), X8_235)) | ~agent('#skF_4', '#skF_14'('#skF_17'(X15_1380, Z_1385, X14_1379, Y_1376, X13_1383, X_1378, X12_1377, '#skF_4', X2_1386, X1_1381, '#skF_5', W_1382), X8_235), '#skF_18'(X15_1380, Z_1385, X14_1379, Y_1376, X13_1383, X_1378, X12_1377, '#skF_4', X2_1386, X1_1381, '#skF_5', W_1382)) | ~event('#skF_4', '#skF_14'('#skF_17'(X15_1380, Z_1385, X14_1379, Y_1376, X13_1383, X_1378, X12_1377, '#skF_4', X2_1386, X1_1381, '#skF_5', W_1382), X8_235)) | ~cheap('#skF_4', '#skF_19'(X15_1380, Z_1385, X14_1379, Y_1376, X13_1383, X_1378, X12_1377, '#skF_4', X2_1386, X1_1381, '#skF_5', W_1382)) | ~black('#skF_4', '#skF_19'(X15_1380, Z_1385, X14_1379, Y_1376, X13_1383, X_1378, X12_1377, '#skF_4', X2_1386, X1_1381, '#skF_5', W_1382)) | ~coat('#skF_4', '#skF_19'(X15_1380, Z_1385, X14_1379, Y_1376, X13_1383, X_1378, X12_1377, '#skF_4', X2_1386, X1_1381, '#skF_5', W_1382)) | ~behind('#skF_4', X15_1380, X15_1380) | ~be('#skF_4', X14_1379, X12_1377, X15_1380) | ~state('#skF_4', X14_1379) | ~wheel('#skF_4', X15_1380) | ~group('#skF_4', X2_1386) | ~group('#skF_4', X1_1381) | ~two('#skF_4', X1_1381) | ~in('#skF_4', Z_1385, Y_1376) | ~down('#skF_4', Z_1385, Y_1376) | ~barrel('#skF_4', Z_1385) | ~present('#skF_4', Z_1385) | ~agent('#skF_4', Z_1385, W_1382) | ~event('#skF_4', Z_1385) | ~lonely('#skF_4', Y_1376) | ~street('#skF_4', Y_1376) | ~placename('#skF_4', X_1378) | ~hollywood_placename('#skF_4', X_1378) | ~city('#skF_4', Y_1376) | ~of('#skF_4', X_1378, Y_1376) | ~old('#skF_4', W_1382) | ~dirty('#skF_4', W_1382) | ~white('#skF_4', W_1382) | ~chevy('#skF_4', W_1382) | ~forename('#skF_4', X13_1383) | ~jules_forename('#skF_4', X13_1383) | ~man('#skF_4', X12_1377) | ~of('#skF_4', X13_1383, X12_1377) | ~member('#skF_4', '#skF_15'(X15_1380, Z_1385, X14_1379, Y_1376, X13_1383, X_1378, X12_1377, '#skF_4', X2_1386, X1_1381, '#skF_5', W_1382), '#skF_10') | ~member('#skF_4', X8_235, '#skF_10') | ~member('#skF_4', '#skF_17'(X15_1380, Z_1385, X14_1379, Y_1376, X13_1383, X_1378, X12_1377, '#skF_4', X2_1386, X1_1381, '#skF_5', W_1382), '#skF_11')))).
% 12.21/3.84 tff(c_1241, plain, (![X8_235, X12_837, X_836, X1_840, Z_832, X15_831, X13_835, X14_833, X2_839, V_841, W_843, Y_834]: (member('#skF_4', '#skF_15'(X15_831, Z_832, X14_833, Y_834, X13_835, X_836, X12_837, '#skF_4', X2_839, X1_840, V_841, W_843), X1_840) | ~young('#skF_4', '#skF_16'(X15_831, Z_832, X14_833, Y_834, X13_835, X_836, X12_837, '#skF_4', X2_839, X1_840, V_841, W_843)) | ~fellow('#skF_4', '#skF_16'(X15_831, Z_832, X14_833, Y_834, X13_835, X_836, X12_837, '#skF_4', X2_839, X1_840, V_841, W_843)) | ~wear('#skF_4', '#skF_14'('#skF_17'(X15_831, Z_832, X14_833, Y_834, X13_835, X_836, X12_837, '#skF_4', X2_839, X1_840, V_841, W_843), X8_235)) | ~nonreflexive('#skF_4', '#skF_14'('#skF_17'(X15_831, Z_832, X14_833, Y_834, X13_835, X_836, X12_837, '#skF_4', X2_839, X1_840, V_841, W_843), X8_235)) | ~present('#skF_4', '#skF_14'('#skF_17'(X15_831, Z_832, X14_833, Y_834, X13_835, X_836, X12_837, '#skF_4', X2_839, X1_840, V_841, W_843), X8_235)) | ~agent('#skF_4', '#skF_14'('#skF_17'(X15_831, Z_832, X14_833, Y_834, X13_835, X_836, X12_837, '#skF_4', X2_839, X1_840, V_841, W_843), X8_235), '#skF_18'(X15_831, Z_832, X14_833, Y_834, X13_835, X_836, X12_837, '#skF_4', X2_839, X1_840, V_841, W_843)) | ~event('#skF_4', '#skF_14'('#skF_17'(X15_831, Z_832, X14_833, Y_834, X13_835, X_836, X12_837, '#skF_4', X2_839, X1_840, V_841, W_843), X8_235)) | member('#skF_4', '#skF_19'(X15_831, Z_832, X14_833, Y_834, X13_835, X_836, X12_837, '#skF_4', X2_839, X1_840, V_841, W_843), X2_839) | ~behind('#skF_4', X15_831, X15_831) | ~be('#skF_4', X14_833, X12_837, X15_831) | ~state('#skF_4', X14_833) | ~wheel('#skF_4', X15_831) | ~group('#skF_4', X2_839) | ~group('#skF_4', X1_840) | ~two('#skF_4', X1_840) | ~in('#skF_4', Z_832, Y_834) | ~down('#skF_4', Z_832, Y_834) | ~barrel('#skF_4', Z_832) | ~present('#skF_4', Z_832) | ~agent('#skF_4', Z_832, W_843) | ~event('#skF_4', Z_832) | ~lonely('#skF_4', Y_834) | ~street('#skF_4', Y_834) | ~placename('#skF_4', X_836) | ~hollywood_placename('#skF_4', X_836) | ~city('#skF_4', Y_834) | ~of('#skF_4', X_836, Y_834) | ~old('#skF_4', W_843) | ~dirty('#skF_4', W_843) | ~white('#skF_4', W_843) | ~chevy('#skF_4', W_843) | ~frontseat('#skF_4', V_841) | ~forename('#skF_4', X13_835) | ~jules_forename('#skF_4', X13_835) | ~man('#skF_4', X12_837) | ~of('#skF_4', X13_835, X12_837) | ~member('#skF_4', X8_235, '#skF_10') | ~member('#skF_4', '#skF_17'(X15_831, Z_832, X14_833, Y_834, X13_835, X_836, X12_837, '#skF_4', X2_839, X1_840, V_841, W_843), '#skF_11')))).
% 12.21/3.84 tff(c_1611, plain, (![X8_235, W_1275, X12_1269, X2_1277, X_1278, X14_1276, X15_1274, Y_1272, X13_1270, Z_1273, X1_1271]: (~young('#skF_4', '#skF_16'(X15_1274, Z_1273, X14_1276, Y_1272, X13_1270, X_1278, X12_1269, '#skF_4', X2_1277, X1_1271, '#skF_5', W_1275)) | ~fellow('#skF_4', '#skF_16'(X15_1274, Z_1273, X14_1276, Y_1272, X13_1270, X_1278, X12_1269, '#skF_4', X2_1277, X1_1271, '#skF_5', W_1275)) | ~wear('#skF_4', '#skF_14'('#skF_17'(X15_1274, Z_1273, X14_1276, Y_1272, X13_1270, X_1278, X12_1269, '#skF_4', X2_1277, X1_1271, '#skF_5', W_1275), X8_235)) | ~nonreflexive('#skF_4', '#skF_14'('#skF_17'(X15_1274, Z_1273, X14_1276, Y_1272, X13_1270, X_1278, X12_1269, '#skF_4', X2_1277, X1_1271, '#skF_5', W_1275), X8_235)) | ~present('#skF_4', '#skF_14'('#skF_17'(X15_1274, Z_1273, X14_1276, Y_1272, X13_1270, X_1278, X12_1269, '#skF_4', X2_1277, X1_1271, '#skF_5', W_1275), X8_235)) | ~agent('#skF_4', '#skF_14'('#skF_17'(X15_1274, Z_1273, X14_1276, Y_1272, X13_1270, X_1278, X12_1269, '#skF_4', X2_1277, X1_1271, '#skF_5', W_1275), X8_235), '#skF_18'(X15_1274, Z_1273, X14_1276, Y_1272, X13_1270, X_1278, X12_1269, '#skF_4', X2_1277, X1_1271, '#skF_5', W_1275)) | ~event('#skF_4', '#skF_14'('#skF_17'(X15_1274, Z_1273, X14_1276, Y_1272, X13_1270, X_1278, X12_1269, '#skF_4', X2_1277, X1_1271, '#skF_5', W_1275), X8_235)) | member('#skF_4', '#skF_19'(X15_1274, Z_1273, X14_1276, Y_1272, X13_1270, X_1278, X12_1269, '#skF_4', X2_1277, X1_1271, '#skF_5', W_1275), X2_1277) | ~behind('#skF_4', X15_1274, X15_1274) | ~be('#skF_4', X14_1276, X12_1269, X15_1274) | ~state('#skF_4', X14_1276) | ~wheel('#skF_4', X15_1274) | ~group('#skF_4', X2_1277) | ~group('#skF_4', X1_1271) | ~two('#skF_4', X1_1271) | ~in('#skF_4', Z_1273, Y_1272) | ~down('#skF_4', Z_1273, Y_1272) | ~barrel('#skF_4', Z_1273) | ~present('#skF_4', Z_1273) | ~agent('#skF_4', Z_1273, W_1275) | ~event('#skF_4', Z_1273) | ~lonely('#skF_4', Y_1272) | ~street('#skF_4', Y_1272) | ~placename('#skF_4', X_1278) | ~hollywood_placename('#skF_4', X_1278) | ~city('#skF_4', Y_1272) | ~of('#skF_4', X_1278, Y_1272) | ~old('#skF_4', W_1275) | ~dirty('#skF_4', W_1275) | ~white('#skF_4', W_1275) | ~chevy('#skF_4', W_1275) | ~forename('#skF_4', X13_1270) | ~jules_forename('#skF_4', X13_1270) | ~man('#skF_4', X12_1269) | ~of('#skF_4', X13_1270, X12_1269) | ~member('#skF_4', '#skF_15'(X15_1274, Z_1273, X14_1276, Y_1272, X13_1270, X_1278, X12_1269, '#skF_4', X2_1277, X1_1271, '#skF_5', W_1275), '#skF_10') | ~member('#skF_4', X8_235, '#skF_10') | ~member('#skF_4', '#skF_17'(X15_1274, Z_1273, X14_1276, Y_1272, X13_1270, X_1278, X12_1269, '#skF_4', X2_1277, X1_1271, '#skF_5', W_1275), '#skF_11')))).
% 12.21/3.84 tff(c_1671, plain, (![X9_1400, X13_1407, X2_1406, X14_1409, X1_1404, Z_1399, X15_1401, Y_1402, W_1405, X12_1408, X_1403]: (~young('#skF_4', '#skF_16'(X15_1401, Z_1399, X14_1409, Y_1402, X13_1407, X_1403, X12_1408, '#skF_4', X2_1406, X1_1404, '#skF_5', W_1405)) | ~fellow('#skF_4', '#skF_16'(X15_1401, Z_1399, X14_1409, Y_1402, X13_1407, X_1403, X12_1408, '#skF_4', X2_1406, X1_1404, '#skF_5', W_1405)) | ~wear('#skF_4', X9_1400) | ~nonreflexive('#skF_4', X9_1400) | ~present('#skF_4', X9_1400) | ~patient('#skF_4', X9_1400, '#skF_17'(X15_1401, Z_1399, X14_1409, Y_1402, X13_1407, X_1403, X12_1408, '#skF_4', X2_1406, X1_1404, '#skF_5', W_1405)) | ~agent('#skF_4', X9_1400, '#skF_18'(X15_1401, Z_1399, X14_1409, Y_1402, X13_1407, X_1403, X12_1408, '#skF_4', X2_1406, X1_1404, '#skF_5', W_1405)) | ~event('#skF_4', X9_1400) | ~cheap('#skF_4', '#skF_19'(X15_1401, Z_1399, X14_1409, Y_1402, X13_1407, X_1403, X12_1408, '#skF_4', X2_1406, X1_1404, '#skF_5', W_1405)) | ~black('#skF_4', '#skF_19'(X15_1401, Z_1399, X14_1409, Y_1402, X13_1407, X_1403, X12_1408, '#skF_4', X2_1406, X1_1404, '#skF_5', W_1405)) | ~coat('#skF_4', '#skF_19'(X15_1401, Z_1399, X14_1409, Y_1402, X13_1407, X_1403, X12_1408, '#skF_4', X2_1406, X1_1404, '#skF_5', W_1405)) | ~behind('#skF_4', X15_1401, X15_1401) | ~be('#skF_4', X14_1409, X12_1408, X15_1401) | ~state('#skF_4', X14_1409) | ~wheel('#skF_4', X15_1401) | ~group('#skF_4', X2_1406) | ~group('#skF_4', X1_1404) | ~two('#skF_4', X1_1404) | ~in('#skF_4', Z_1399, Y_1402) | ~down('#skF_4', Z_1399, Y_1402) | ~barrel('#skF_4', Z_1399) | ~present('#skF_4', Z_1399) | ~agent('#skF_4', Z_1399, W_1405) | ~event('#skF_4', Z_1399) | ~lonely('#skF_4', Y_1402) | ~street('#skF_4', Y_1402) | ~placename('#skF_4', X_1403) | ~hollywood_placename('#skF_4', X_1403) | ~city('#skF_4', Y_1402) | ~of('#skF_4', X_1403, Y_1402) | ~old('#skF_4', W_1405) | ~dirty('#skF_4', W_1405) | ~white('#skF_4', W_1405) | ~chevy('#skF_4', W_1405) | ~forename('#skF_4', X13_1407) | ~jules_forename('#skF_4', X13_1407) | ~man('#skF_4', X12_1408) | ~of('#skF_4', X13_1407, X12_1408) | ~member('#skF_4', '#skF_15'(X15_1401, Z_1399, X14_1409, Y_1402, X13_1407, X_1403, X12_1408, '#skF_4', X2_1406, X1_1404, '#skF_5', W_1405), '#skF_10')))).
% 12.21/3.84 tff(c_1490, plain, (![X9_1007, X12_1002, Y_998, X2_1004, X13_1000, X15_995, W_1009, X14_997, X1_1005, X_1001, Z_996, V_1006]: (~in('#skF_4', '#skF_13'('#skF_15'(X15_995, Z_996, X14_997, Y_998, X13_1000, X_1001, X12_1002, '#skF_4', X2_1004, X1_1005, V_1006, W_1009)), V_1006) | ~state('#skF_4', '#skF_12'('#skF_15'(X15_995, Z_996, X14_997, Y_998, X13_1000, X_1001, X12_1002, '#skF_4', X2_1004, X1_1005, V_1006, W_1009))) | ~young('#skF_4', '#skF_16'(X15_995, Z_996, X14_997, Y_998, X13_1000, X_1001, X12_1002, '#skF_4', X2_1004, X1_1005, V_1006, W_1009)) | ~fellow('#skF_4', '#skF_16'(X15_995, Z_996, X14_997, Y_998, X13_1000, X_1001, X12_1002, '#skF_4', X2_1004, X1_1005, V_1006, W_1009)) | ~wear('#skF_4', X9_1007) | ~nonreflexive('#skF_4', X9_1007) | ~present('#skF_4', X9_1007) | ~patient('#skF_4', X9_1007, '#skF_17'(X15_995, Z_996, X14_997, Y_998, X13_1000, X_1001, X12_1002, '#skF_4', X2_1004, X1_1005, V_1006, W_1009)) | ~agent('#skF_4', X9_1007, '#skF_18'(X15_995, Z_996, X14_997, Y_998, X13_1000, X_1001, X12_1002, '#skF_4', X2_1004, X1_1005, V_1006, W_1009)) | ~event('#skF_4', X9_1007) | ~cheap('#skF_4', '#skF_19'(X15_995, Z_996, X14_997, Y_998, X13_1000, X_1001, X12_1002, '#skF_4', X2_1004, X1_1005, V_1006, W_1009)) | ~black('#skF_4', '#skF_19'(X15_995, Z_996, X14_997, Y_998, X13_1000, X_1001, X12_1002, '#skF_4', X2_1004, X1_1005, V_1006, W_1009)) | ~coat('#skF_4', '#skF_19'(X15_995, Z_996, X14_997, Y_998, X13_1000, X_1001, X12_1002, '#skF_4', X2_1004, X1_1005, V_1006, W_1009)) | ~behind('#skF_4', X15_995, X15_995) | ~be('#skF_4', X14_997, X12_1002, X15_995) | ~state('#skF_4', X14_997) | ~wheel('#skF_4', X15_995) | ~group('#skF_4', X2_1004) | ~group('#skF_4', X1_1005) | ~two('#skF_4', X1_1005) | ~in('#skF_4', Z_996, Y_998) | ~down('#skF_4', Z_996, Y_998) | ~barrel('#skF_4', Z_996) | ~present('#skF_4', Z_996) | ~agent('#skF_4', Z_996, W_1009) | ~event('#skF_4', Z_996) | ~lonely('#skF_4', Y_998) | ~street('#skF_4', Y_998) | ~placename('#skF_4', X_1001) | ~hollywood_placename('#skF_4', X_1001) | ~city('#skF_4', Y_998) | ~of('#skF_4', X_1001, Y_998) | ~old('#skF_4', W_1009) | ~dirty('#skF_4', W_1009) | ~white('#skF_4', W_1009) | ~chevy('#skF_4', W_1009) | ~frontseat('#skF_4', V_1006) | ~forename('#skF_4', X13_1000) | ~jules_forename('#skF_4', X13_1000) | ~man('#skF_4', X12_1002) | ~of('#skF_4', X13_1000, X12_1002) | ~member('#skF_4', '#skF_15'(X15_995, Z_996, X14_997, Y_998, X13_1000, X_1001, X12_1002, '#skF_4', X2_1004, X1_1005, V_1006, W_1009), '#skF_10')))).
% 12.21/3.84 tff(c_1648, plain, (![X1_1363, Z_1355, X_1357, X14_1354, Y_1359, X15_1356, X9_1361, X12_1358, X2_1362, X13_1360, W_1353]: (member('#skF_4', '#skF_16'(X15_1356, Z_1355, X14_1354, Y_1359, X13_1360, X_1357, X12_1358, '#skF_4', X2_1362, X1_1363, '#skF_5', W_1353), X1_1363) | ~wear('#skF_4', X9_1361) | ~nonreflexive('#skF_4', X9_1361) | ~present('#skF_4', X9_1361) | ~patient('#skF_4', X9_1361, '#skF_17'(X15_1356, Z_1355, X14_1354, Y_1359, X13_1360, X_1357, X12_1358, '#skF_4', X2_1362, X1_1363, '#skF_5', W_1353)) | ~agent('#skF_4', X9_1361, '#skF_18'(X15_1356, Z_1355, X14_1354, Y_1359, X13_1360, X_1357, X12_1358, '#skF_4', X2_1362, X1_1363, '#skF_5', W_1353)) | ~event('#skF_4', X9_1361) | ~cheap('#skF_4', '#skF_19'(X15_1356, Z_1355, X14_1354, Y_1359, X13_1360, X_1357, X12_1358, '#skF_4', X2_1362, X1_1363, '#skF_5', W_1353)) | ~black('#skF_4', '#skF_19'(X15_1356, Z_1355, X14_1354, Y_1359, X13_1360, X_1357, X12_1358, '#skF_4', X2_1362, X1_1363, '#skF_5', W_1353)) | ~coat('#skF_4', '#skF_19'(X15_1356, Z_1355, X14_1354, Y_1359, X13_1360, X_1357, X12_1358, '#skF_4', X2_1362, X1_1363, '#skF_5', W_1353)) | ~behind('#skF_4', X15_1356, X15_1356) | ~be('#skF_4', X14_1354, X12_1358, X15_1356) | ~state('#skF_4', X14_1354) | ~wheel('#skF_4', X15_1356) | ~group('#skF_4', X2_1362) | ~group('#skF_4', X1_1363) | ~two('#skF_4', X1_1363) | ~in('#skF_4', Z_1355, Y_1359) | ~down('#skF_4', Z_1355, Y_1359) | ~barrel('#skF_4', Z_1355) | ~present('#skF_4', Z_1355) | ~agent('#skF_4', Z_1355, W_1353) | ~event('#skF_4', Z_1355) | ~lonely('#skF_4', Y_1359) | ~street('#skF_4', Y_1359) | ~placename('#skF_4', X_1357) | ~hollywood_placename('#skF_4', X_1357) | ~city('#skF_4', Y_1359) | ~of('#skF_4', X_1357, Y_1359) | ~old('#skF_4', W_1353) | ~dirty('#skF_4', W_1353) | ~white('#skF_4', W_1353) | ~chevy('#skF_4', W_1353) | ~forename('#skF_4', X13_1360) | ~jules_forename('#skF_4', X13_1360) | ~man('#skF_4', X12_1358) | ~of('#skF_4', X13_1360, X12_1358) | ~member('#skF_4', '#skF_15'(X15_1356, Z_1355, X14_1354, Y_1359, X13_1360, X_1357, X12_1358, '#skF_4', X2_1362, X1_1363, '#skF_5', W_1353), '#skF_10')))).
% 12.21/3.84 tff(c_1078, plain, (![X8_235, X1_739, X_735, W_742, X12_736, X14_732, X13_734, X15_730, X2_738, Y_733, Z_731, V_740]: (member('#skF_4', '#skF_15'(X15_730, Z_731, X14_732, Y_733, X13_734, X_735, X12_736, '#skF_4', X2_738, X1_739, V_740, W_742), X1_739) | member('#skF_4', '#skF_16'(X15_730, Z_731, X14_732, Y_733, X13_734, X_735, X12_736, '#skF_4', X2_738, X1_739, V_740, W_742), X1_739) | ~wear('#skF_4', '#skF_14'('#skF_17'(X15_730, Z_731, X14_732, Y_733, X13_734, X_735, X12_736, '#skF_4', X2_738, X1_739, V_740, W_742), X8_235)) | ~nonreflexive('#skF_4', '#skF_14'('#skF_17'(X15_730, Z_731, X14_732, Y_733, X13_734, X_735, X12_736, '#skF_4', X2_738, X1_739, V_740, W_742), X8_235)) | ~present('#skF_4', '#skF_14'('#skF_17'(X15_730, Z_731, X14_732, Y_733, X13_734, X_735, X12_736, '#skF_4', X2_738, X1_739, V_740, W_742), X8_235)) | ~agent('#skF_4', '#skF_14'('#skF_17'(X15_730, Z_731, X14_732, Y_733, X13_734, X_735, X12_736, '#skF_4', X2_738, X1_739, V_740, W_742), X8_235), '#skF_18'(X15_730, Z_731, X14_732, Y_733, X13_734, X_735, X12_736, '#skF_4', X2_738, X1_739, V_740, W_742)) | ~event('#skF_4', '#skF_14'('#skF_17'(X15_730, Z_731, X14_732, Y_733, X13_734, X_735, X12_736, '#skF_4', X2_738, X1_739, V_740, W_742), X8_235)) | member('#skF_4', '#skF_19'(X15_730, Z_731, X14_732, Y_733, X13_734, X_735, X12_736, '#skF_4', X2_738, X1_739, V_740, W_742), X2_738) | ~behind('#skF_4', X15_730, X15_730) | ~be('#skF_4', X14_732, X12_736, X15_730) | ~state('#skF_4', X14_732) | ~wheel('#skF_4', X15_730) | ~group('#skF_4', X2_738) | ~group('#skF_4', X1_739) | ~two('#skF_4', X1_739) | ~in('#skF_4', Z_731, Y_733) | ~down('#skF_4', Z_731, Y_733) | ~barrel('#skF_4', Z_731) | ~present('#skF_4', Z_731) | ~agent('#skF_4', Z_731, W_742) | ~event('#skF_4', Z_731) | ~lonely('#skF_4', Y_733) | ~street('#skF_4', Y_733) | ~placename('#skF_4', X_735) | ~hollywood_placename('#skF_4', X_735) | ~city('#skF_4', Y_733) | ~of('#skF_4', X_735, Y_733) | ~old('#skF_4', W_742) | ~dirty('#skF_4', W_742) | ~white('#skF_4', W_742) | ~chevy('#skF_4', W_742) | ~frontseat('#skF_4', V_740) | ~forename('#skF_4', X13_734) | ~jules_forename('#skF_4', X13_734) | ~man('#skF_4', X12_736) | ~of('#skF_4', X13_734, X12_736) | ~member('#skF_4', X8_235, '#skF_10') | ~member('#skF_4', '#skF_17'(X15_730, Z_731, X14_732, Y_733, X13_734, X_735, X12_736, '#skF_4', X2_738, X1_739, V_740, W_742), '#skF_11')))).
% 12.45/3.86 tff(c_1427, plain, (![X9_965, X_959, X1_963, Z_954, Y_956, X13_958, X14_955, X12_960, X15_953, V_964, W_967, X2_962]: (~in('#skF_4', '#skF_13'('#skF_15'(X15_953, Z_954, X14_955, Y_956, X13_958, X_959, X12_960, '#skF_4', X2_962, X1_963, V_964, W_967)), V_964) | ~state('#skF_4', '#skF_12'('#skF_15'(X15_953, Z_954, X14_955, Y_956, X13_958, X_959, X12_960, '#skF_4', X2_962, X1_963, V_964, W_967))) | member('#skF_4', '#skF_16'(X15_953, Z_954, X14_955, Y_956, X13_958, X_959, X12_960, '#skF_4', X2_962, X1_963, V_964, W_967), X1_963) | ~wear('#skF_4', X9_965) | ~nonreflexive('#skF_4', X9_965) | ~present('#skF_4', X9_965) | ~patient('#skF_4', X9_965, '#skF_17'(X15_953, Z_954, X14_955, Y_956, X13_958, X_959, X12_960, '#skF_4', X2_962, X1_963, V_964, W_967)) | ~agent('#skF_4', X9_965, '#skF_18'(X15_953, Z_954, X14_955, Y_956, X13_958, X_959, X12_960, '#skF_4', X2_962, X1_963, V_964, W_967)) | ~event('#skF_4', X9_965) | ~cheap('#skF_4', '#skF_19'(X15_953, Z_954, X14_955, Y_956, X13_958, X_959, X12_960, '#skF_4', X2_962, X1_963, V_964, W_967)) | ~black('#skF_4', '#skF_19'(X15_953, Z_954, X14_955, Y_956, X13_958, X_959, X12_960, '#skF_4', X2_962, X1_963, V_964, W_967)) | ~coat('#skF_4', '#skF_19'(X15_953, Z_954, X14_955, Y_956, X13_958, X_959, X12_960, '#skF_4', X2_962, X1_963, V_964, W_967)) | ~behind('#skF_4', X15_953, X15_953) | ~be('#skF_4', X14_955, X12_960, X15_953) | ~state('#skF_4', X14_955) | ~wheel('#skF_4', X15_953) | ~group('#skF_4', X2_962) | ~group('#skF_4', X1_963) | ~two('#skF_4', X1_963) | ~in('#skF_4', Z_954, Y_956) | ~down('#skF_4', Z_954, Y_956) | ~barrel('#skF_4', Z_954) | ~present('#skF_4', Z_954) | ~agent('#skF_4', Z_954, W_967) | ~event('#skF_4', Z_954) | ~lonely('#skF_4', Y_956) | ~street('#skF_4', Y_956) | ~placename('#skF_4', X_959) | ~hollywood_placename('#skF_4', X_959) | ~city('#skF_4', Y_956) | ~of('#skF_4', X_959, Y_956) | ~old('#skF_4', W_967) | ~dirty('#skF_4', W_967) | ~white('#skF_4', W_967) | ~chevy('#skF_4', W_967) | ~frontseat('#skF_4', V_964) | ~forename('#skF_4', X13_958) | ~jules_forename('#skF_4', X13_958) | ~man('#skF_4', X12_960) | ~of('#skF_4', X13_958, X12_960) | ~member('#skF_4', '#skF_15'(X15_953, Z_954, X14_955, Y_956, X13_958, X_959, X12_960, '#skF_4', X2_962, X1_963, V_964, W_967), '#skF_10')))).
% 12.45/3.86 tff(c_1635, plain, (![X1_1329, W_1327, X15_1330, Z_1325, X14_1321, X2_1328, X12_1323, Y_1324, X13_1322, X_1326]: (~young('#skF_4', '#skF_16'(X15_1330, Z_1325, X14_1321, Y_1324, X13_1322, X_1326, X12_1323, '#skF_4', X2_1328, X1_1329, '#skF_5', W_1327)) | ~fellow('#skF_4', '#skF_16'(X15_1330, Z_1325, X14_1321, Y_1324, X13_1322, X_1326, X12_1323, '#skF_4', X2_1328, X1_1329, '#skF_5', W_1327)) | member('#skF_4', '#skF_18'(X15_1330, Z_1325, X14_1321, Y_1324, X13_1322, X_1326, X12_1323, '#skF_4', X2_1328, X1_1329, '#skF_5', W_1327), X1_1329) | ~cheap('#skF_4', '#skF_19'(X15_1330, Z_1325, X14_1321, Y_1324, X13_1322, X_1326, X12_1323, '#skF_4', X2_1328, X1_1329, '#skF_5', W_1327)) | ~black('#skF_4', '#skF_19'(X15_1330, Z_1325, X14_1321, Y_1324, X13_1322, X_1326, X12_1323, '#skF_4', X2_1328, X1_1329, '#skF_5', W_1327)) | ~coat('#skF_4', '#skF_19'(X15_1330, Z_1325, X14_1321, Y_1324, X13_1322, X_1326, X12_1323, '#skF_4', X2_1328, X1_1329, '#skF_5', W_1327)) | ~behind('#skF_4', X15_1330, X15_1330) | ~be('#skF_4', X14_1321, X12_1323, X15_1330) | ~state('#skF_4', X14_1321) | ~wheel('#skF_4', X15_1330) | ~group('#skF_4', X2_1328) | ~group('#skF_4', X1_1329) | ~two('#skF_4', X1_1329) | ~in('#skF_4', Z_1325, Y_1324) | ~down('#skF_4', Z_1325, Y_1324) | ~barrel('#skF_4', Z_1325) | ~present('#skF_4', Z_1325) | ~agent('#skF_4', Z_1325, W_1327) | ~event('#skF_4', Z_1325) | ~lonely('#skF_4', Y_1324) | ~street('#skF_4', Y_1324) | ~placename('#skF_4', X_1326) | ~hollywood_placename('#skF_4', X_1326) | ~city('#skF_4', Y_1324) | ~of('#skF_4', X_1326, Y_1324) | ~old('#skF_4', W_1327) | ~dirty('#skF_4', W_1327) | ~white('#skF_4', W_1327) | ~chevy('#skF_4', W_1327) | ~forename('#skF_4', X13_1322) | ~jules_forename('#skF_4', X13_1322) | ~man('#skF_4', X12_1323) | ~of('#skF_4', X13_1322, X12_1323) | ~member('#skF_4', '#skF_15'(X15_1330, Z_1325, X14_1321, Y_1324, X13_1322, X_1326, X12_1323, '#skF_4', X2_1328, X1_1329, '#skF_5', W_1327), '#skF_10')))).
% 12.45/3.86 tff(c_1379, plain, (![W_931, Y_921, X12_925, X13_923, Z_919, X14_920, X_924, X15_918, X1_928, X2_927, V_929]: (~in('#skF_4', '#skF_13'('#skF_15'(X15_918, Z_919, X14_920, Y_921, X13_923, X_924, X12_925, '#skF_4', X2_927, X1_928, V_929, W_931)), V_929) | ~state('#skF_4', '#skF_12'('#skF_15'(X15_918, Z_919, X14_920, Y_921, X13_923, X_924, X12_925, '#skF_4', X2_927, X1_928, V_929, W_931))) | ~young('#skF_4', '#skF_16'(X15_918, Z_919, X14_920, Y_921, X13_923, X_924, X12_925, '#skF_4', X2_927, X1_928, V_929, W_931)) | ~fellow('#skF_4', '#skF_16'(X15_918, Z_919, X14_920, Y_921, X13_923, X_924, X12_925, '#skF_4', X2_927, X1_928, V_929, W_931)) | member('#skF_4', '#skF_18'(X15_918, Z_919, X14_920, Y_921, X13_923, X_924, X12_925, '#skF_4', X2_927, X1_928, V_929, W_931), X1_928) | ~cheap('#skF_4', '#skF_19'(X15_918, Z_919, X14_920, Y_921, X13_923, X_924, X12_925, '#skF_4', X2_927, X1_928, V_929, W_931)) | ~black('#skF_4', '#skF_19'(X15_918, Z_919, X14_920, Y_921, X13_923, X_924, X12_925, '#skF_4', X2_927, X1_928, V_929, W_931)) | ~coat('#skF_4', '#skF_19'(X15_918, Z_919, X14_920, Y_921, X13_923, X_924, X12_925, '#skF_4', X2_927, X1_928, V_929, W_931)) | ~behind('#skF_4', X15_918, X15_918) | ~be('#skF_4', X14_920, X12_925, X15_918) | ~state('#skF_4', X14_920) | ~wheel('#skF_4', X15_918) | ~group('#skF_4', X2_927) | ~group('#skF_4', X1_928) | ~two('#skF_4', X1_928) | ~in('#skF_4', Z_919, Y_921) | ~down('#skF_4', Z_919, Y_921) | ~barrel('#skF_4', Z_919) | ~present('#skF_4', Z_919) | ~agent('#skF_4', Z_919, W_931) | ~event('#skF_4', Z_919) | ~lonely('#skF_4', Y_921) | ~street('#skF_4', Y_921) | ~placename('#skF_4', X_924) | ~hollywood_placename('#skF_4', X_924) | ~city('#skF_4', Y_921) | ~of('#skF_4', X_924, Y_921) | ~old('#skF_4', W_931) | ~dirty('#skF_4', W_931) | ~white('#skF_4', W_931) | ~chevy('#skF_4', W_931) | ~frontseat('#skF_4', V_929) | ~forename('#skF_4', X13_923) | ~jules_forename('#skF_4', X13_923) | ~man('#skF_4', X12_925) | ~of('#skF_4', X13_923, X12_925) | ~member('#skF_4', '#skF_15'(X15_918, Z_919, X14_920, Y_921, X13_923, X_924, X12_925, '#skF_4', X2_927, X1_928, V_929, W_931), '#skF_10')))).
% 12.45/3.86 tff(c_1568, plain, (![X8_235, Z_1176, X15_1174, X1_1179, X13_1175, X12_1178, W_1182, X14_1181, X_1173, X2_1172, Y_1177]: (member('#skF_4', '#skF_16'(X15_1174, Z_1176, X14_1181, Y_1177, X13_1175, X_1173, X12_1178, '#skF_4', X2_1172, X1_1179, '#skF_5', W_1182), X1_1179) | ~wear('#skF_4', '#skF_14'('#skF_17'(X15_1174, Z_1176, X14_1181, Y_1177, X13_1175, X_1173, X12_1178, '#skF_4', X2_1172, X1_1179, '#skF_5', W_1182), X8_235)) | ~nonreflexive('#skF_4', '#skF_14'('#skF_17'(X15_1174, Z_1176, X14_1181, Y_1177, X13_1175, X_1173, X12_1178, '#skF_4', X2_1172, X1_1179, '#skF_5', W_1182), X8_235)) | ~present('#skF_4', '#skF_14'('#skF_17'(X15_1174, Z_1176, X14_1181, Y_1177, X13_1175, X_1173, X12_1178, '#skF_4', X2_1172, X1_1179, '#skF_5', W_1182), X8_235)) | ~agent('#skF_4', '#skF_14'('#skF_17'(X15_1174, Z_1176, X14_1181, Y_1177, X13_1175, X_1173, X12_1178, '#skF_4', X2_1172, X1_1179, '#skF_5', W_1182), X8_235), '#skF_18'(X15_1174, Z_1176, X14_1181, Y_1177, X13_1175, X_1173, X12_1178, '#skF_4', X2_1172, X1_1179, '#skF_5', W_1182)) | ~event('#skF_4', '#skF_14'('#skF_17'(X15_1174, Z_1176, X14_1181, Y_1177, X13_1175, X_1173, X12_1178, '#skF_4', X2_1172, X1_1179, '#skF_5', W_1182), X8_235)) | member('#skF_4', '#skF_19'(X15_1174, Z_1176, X14_1181, Y_1177, X13_1175, X_1173, X12_1178, '#skF_4', X2_1172, X1_1179, '#skF_5', W_1182), X2_1172) | ~behind('#skF_4', X15_1174, X15_1174) | ~be('#skF_4', X14_1181, X12_1178, X15_1174) | ~state('#skF_4', X14_1181) | ~wheel('#skF_4', X15_1174) | ~group('#skF_4', X2_1172) | ~group('#skF_4', X1_1179) | ~two('#skF_4', X1_1179) | ~in('#skF_4', Z_1176, Y_1177) | ~down('#skF_4', Z_1176, Y_1177) | ~barrel('#skF_4', Z_1176) | ~present('#skF_4', Z_1176) | ~agent('#skF_4', Z_1176, W_1182) | ~event('#skF_4', Z_1176) | ~lonely('#skF_4', Y_1177) | ~street('#skF_4', Y_1177) | ~placename('#skF_4', X_1173) | ~hollywood_placename('#skF_4', X_1173) | ~city('#skF_4', Y_1177) | ~of('#skF_4', X_1173, Y_1177) | ~old('#skF_4', W_1182) | ~dirty('#skF_4', W_1182) | ~white('#skF_4', W_1182) | ~chevy('#skF_4', W_1182) | ~forename('#skF_4', X13_1175) | ~jules_forename('#skF_4', X13_1175) | ~man('#skF_4', X12_1178) | ~of('#skF_4', X13_1175, X12_1178) | ~member('#skF_4', '#skF_15'(X15_1174, Z_1176, X14_1181, Y_1177, X13_1175, X_1173, X12_1178, '#skF_4', X2_1172, X1_1179, '#skF_5', W_1182), '#skF_10') | ~member('#skF_4', X8_235, '#skF_10') | ~member('#skF_4', '#skF_17'(X15_1174, Z_1176, X14_1181, Y_1177, X13_1175, X_1173, X12_1178, '#skF_4', X2_1172, X1_1179, '#skF_5', W_1182), '#skF_11')))).
% 12.45/3.86 tff(c_1616, plain, (![X1_1283, W_1285, X15_1281, Z_1287, X2_1284, X13_1286, X_1282, Y_1280, X12_1288, X14_1279]: (~young('#skF_4', '#skF_16'(X15_1281, Z_1287, X14_1279, Y_1280, X13_1286, X_1282, X12_1288, '#skF_4', X2_1284, X1_1283, '#skF_5', W_1285)) | ~fellow('#skF_4', '#skF_16'(X15_1281, Z_1287, X14_1279, Y_1280, X13_1286, X_1282, X12_1288, '#skF_4', X2_1284, X1_1283, '#skF_5', W_1285)) | member('#skF_4', '#skF_17'(X15_1281, Z_1287, X14_1279, Y_1280, X13_1286, X_1282, X12_1288, '#skF_4', X2_1284, X1_1283, '#skF_5', W_1285), X2_1284) | ~cheap('#skF_4', '#skF_19'(X15_1281, Z_1287, X14_1279, Y_1280, X13_1286, X_1282, X12_1288, '#skF_4', X2_1284, X1_1283, '#skF_5', W_1285)) | ~black('#skF_4', '#skF_19'(X15_1281, Z_1287, X14_1279, Y_1280, X13_1286, X_1282, X12_1288, '#skF_4', X2_1284, X1_1283, '#skF_5', W_1285)) | ~coat('#skF_4', '#skF_19'(X15_1281, Z_1287, X14_1279, Y_1280, X13_1286, X_1282, X12_1288, '#skF_4', X2_1284, X1_1283, '#skF_5', W_1285)) | ~behind('#skF_4', X15_1281, X15_1281) | ~be('#skF_4', X14_1279, X12_1288, X15_1281) | ~state('#skF_4', X14_1279) | ~wheel('#skF_4', X15_1281) | ~group('#skF_4', X2_1284) | ~group('#skF_4', X1_1283) | ~two('#skF_4', X1_1283) | ~in('#skF_4', Z_1287, Y_1280) | ~down('#skF_4', Z_1287, Y_1280) | ~barrel('#skF_4', Z_1287) | ~present('#skF_4', Z_1287) | ~agent('#skF_4', Z_1287, W_1285) | ~event('#skF_4', Z_1287) | ~lonely('#skF_4', Y_1280) | ~street('#skF_4', Y_1280) | ~placename('#skF_4', X_1282) | ~hollywood_placename('#skF_4', X_1282) | ~city('#skF_4', Y_1280) | ~of('#skF_4', X_1282, Y_1280) | ~old('#skF_4', W_1285) | ~dirty('#skF_4', W_1285) | ~white('#skF_4', W_1285) | ~chevy('#skF_4', W_1285) | ~forename('#skF_4', X13_1286) | ~jules_forename('#skF_4', X13_1286) | ~man('#skF_4', X12_1288) | ~of('#skF_4', X13_1286, X12_1288) | ~member('#skF_4', '#skF_15'(X15_1281, Z_1287, X14_1279, Y_1280, X13_1286, X_1282, X12_1288, '#skF_4', X2_1284, X1_1283, '#skF_5', W_1285), '#skF_10')))).
% 12.45/3.86 tff(c_1599, plain, (![X9_1251, W_1255, X14_1247, Y_1246, X13_1254, Z_1249, X2_1256, X15_1252, X_1250, X1_1253, X12_1248]: (~young('#skF_4', '#skF_16'(X15_1252, Z_1249, X14_1247, Y_1246, X13_1254, X_1250, X12_1248, '#skF_4', X2_1256, X1_1253, '#skF_5', W_1255)) | ~fellow('#skF_4', '#skF_16'(X15_1252, Z_1249, X14_1247, Y_1246, X13_1254, X_1250, X12_1248, '#skF_4', X2_1256, X1_1253, '#skF_5', W_1255)) | ~wear('#skF_4', X9_1251) | ~nonreflexive('#skF_4', X9_1251) | ~present('#skF_4', X9_1251) | ~patient('#skF_4', X9_1251, '#skF_17'(X15_1252, Z_1249, X14_1247, Y_1246, X13_1254, X_1250, X12_1248, '#skF_4', X2_1256, X1_1253, '#skF_5', W_1255)) | ~agent('#skF_4', X9_1251, '#skF_18'(X15_1252, Z_1249, X14_1247, Y_1246, X13_1254, X_1250, X12_1248, '#skF_4', X2_1256, X1_1253, '#skF_5', W_1255)) | ~event('#skF_4', X9_1251) | member('#skF_4', '#skF_19'(X15_1252, Z_1249, X14_1247, Y_1246, X13_1254, X_1250, X12_1248, '#skF_4', X2_1256, X1_1253, '#skF_5', W_1255), X2_1256) | ~behind('#skF_4', X15_1252, X15_1252) | ~be('#skF_4', X14_1247, X12_1248, X15_1252) | ~state('#skF_4', X14_1247) | ~wheel('#skF_4', X15_1252) | ~group('#skF_4', X2_1256) | ~group('#skF_4', X1_1253) | ~two('#skF_4', X1_1253) | ~in('#skF_4', Z_1249, Y_1246) | ~down('#skF_4', Z_1249, Y_1246) | ~barrel('#skF_4', Z_1249) | ~present('#skF_4', Z_1249) | ~agent('#skF_4', Z_1249, W_1255) | ~event('#skF_4', Z_1249) | ~lonely('#skF_4', Y_1246) | ~street('#skF_4', Y_1246) | ~placename('#skF_4', X_1250) | ~hollywood_placename('#skF_4', X_1250) | ~city('#skF_4', Y_1246) | ~of('#skF_4', X_1250, Y_1246) | ~old('#skF_4', W_1255) | ~dirty('#skF_4', W_1255) | ~white('#skF_4', W_1255) | ~chevy('#skF_4', W_1255) | ~forename('#skF_4', X13_1254) | ~jules_forename('#skF_4', X13_1254) | ~man('#skF_4', X12_1248) | ~of('#skF_4', X13_1254, X12_1248) | ~member('#skF_4', '#skF_15'(X15_1252, Z_1249, X14_1247, Y_1246, X13_1254, X_1250, X12_1248, '#skF_4', X2_1256, X1_1253, '#skF_5', W_1255), '#skF_10')))).
% 12.45/3.86 tff(c_1348, plain, (![X2_911, Y_905, X1_912, X_908, V_913, X12_909, Z_903, X13_907, X14_904, W_915, X15_902]: (~in('#skF_4', '#skF_13'('#skF_15'(X15_902, Z_903, X14_904, Y_905, X13_907, X_908, X12_909, '#skF_4', X2_911, X1_912, V_913, W_915)), V_913) | ~state('#skF_4', '#skF_12'('#skF_15'(X15_902, Z_903, X14_904, Y_905, X13_907, X_908, X12_909, '#skF_4', X2_911, X1_912, V_913, W_915))) | ~young('#skF_4', '#skF_16'(X15_902, Z_903, X14_904, Y_905, X13_907, X_908, X12_909, '#skF_4', X2_911, X1_912, V_913, W_915)) | ~fellow('#skF_4', '#skF_16'(X15_902, Z_903, X14_904, Y_905, X13_907, X_908, X12_909, '#skF_4', X2_911, X1_912, V_913, W_915)) | member('#skF_4', '#skF_17'(X15_902, Z_903, X14_904, Y_905, X13_907, X_908, X12_909, '#skF_4', X2_911, X1_912, V_913, W_915), X2_911) | ~cheap('#skF_4', '#skF_19'(X15_902, Z_903, X14_904, Y_905, X13_907, X_908, X12_909, '#skF_4', X2_911, X1_912, V_913, W_915)) | ~black('#skF_4', '#skF_19'(X15_902, Z_903, X14_904, Y_905, X13_907, X_908, X12_909, '#skF_4', X2_911, X1_912, V_913, W_915)) | ~coat('#skF_4', '#skF_19'(X15_902, Z_903, X14_904, Y_905, X13_907, X_908, X12_909, '#skF_4', X2_911, X1_912, V_913, W_915)) | ~behind('#skF_4', X15_902, X15_902) | ~be('#skF_4', X14_904, X12_909, X15_902) | ~state('#skF_4', X14_904) | ~wheel('#skF_4', X15_902) | ~group('#skF_4', X2_911) | ~group('#skF_4', X1_912) | ~two('#skF_4', X1_912) | ~in('#skF_4', Z_903, Y_905) | ~down('#skF_4', Z_903, Y_905) | ~barrel('#skF_4', Z_903) | ~present('#skF_4', Z_903) | ~agent('#skF_4', Z_903, W_915) | ~event('#skF_4', Z_903) | ~lonely('#skF_4', Y_905) | ~street('#skF_4', Y_905) | ~placename('#skF_4', X_908) | ~hollywood_placename('#skF_4', X_908) | ~city('#skF_4', Y_905) | ~of('#skF_4', X_908, Y_905) | ~old('#skF_4', W_915) | ~dirty('#skF_4', W_915) | ~white('#skF_4', W_915) | ~chevy('#skF_4', W_915) | ~frontseat('#skF_4', V_913) | ~forename('#skF_4', X13_907) | ~jules_forename('#skF_4', X13_907) | ~man('#skF_4', X12_909) | ~of('#skF_4', X13_907, X12_909) | ~member('#skF_4', '#skF_15'(X15_902, Z_903, X14_904, Y_905, X13_907, X_908, X12_909, '#skF_4', X2_911, X1_912, V_913, W_915), '#skF_10')))).
% 12.45/3.86 tff(c_1275, plain, (![V_883, Z_873, X13_877, Y_875, X_878, X1_882, X15_872, W_886, X2_881, X9_884, X12_879, X14_874]: (~in('#skF_4', '#skF_13'('#skF_15'(X15_872, Z_873, X14_874, Y_875, X13_877, X_878, X12_879, '#skF_4', X2_881, X1_882, V_883, W_886)), V_883) | ~state('#skF_4', '#skF_12'('#skF_15'(X15_872, Z_873, X14_874, Y_875, X13_877, X_878, X12_879, '#skF_4', X2_881, X1_882, V_883, W_886))) | ~young('#skF_4', '#skF_16'(X15_872, Z_873, X14_874, Y_875, X13_877, X_878, X12_879, '#skF_4', X2_881, X1_882, V_883, W_886)) | ~fellow('#skF_4', '#skF_16'(X15_872, Z_873, X14_874, Y_875, X13_877, X_878, X12_879, '#skF_4', X2_881, X1_882, V_883, W_886)) | ~wear('#skF_4', X9_884) | ~nonreflexive('#skF_4', X9_884) | ~present('#skF_4', X9_884) | ~patient('#skF_4', X9_884, '#skF_17'(X15_872, Z_873, X14_874, Y_875, X13_877, X_878, X12_879, '#skF_4', X2_881, X1_882, V_883, W_886)) | ~agent('#skF_4', X9_884, '#skF_18'(X15_872, Z_873, X14_874, Y_875, X13_877, X_878, X12_879, '#skF_4', X2_881, X1_882, V_883, W_886)) | ~event('#skF_4', X9_884) | member('#skF_4', '#skF_19'(X15_872, Z_873, X14_874, Y_875, X13_877, X_878, X12_879, '#skF_4', X2_881, X1_882, V_883, W_886), X2_881) | ~behind('#skF_4', X15_872, X15_872) | ~be('#skF_4', X14_874, X12_879, X15_872) | ~state('#skF_4', X14_874) | ~wheel('#skF_4', X15_872) | ~group('#skF_4', X2_881) | ~group('#skF_4', X1_882) | ~two('#skF_4', X1_882) | ~in('#skF_4', Z_873, Y_875) | ~down('#skF_4', Z_873, Y_875) | ~barrel('#skF_4', Z_873) | ~present('#skF_4', Z_873) | ~agent('#skF_4', Z_873, W_886) | ~event('#skF_4', Z_873) | ~lonely('#skF_4', Y_875) | ~street('#skF_4', Y_875) | ~placename('#skF_4', X_878) | ~hollywood_placename('#skF_4', X_878) | ~city('#skF_4', Y_875) | ~of('#skF_4', X_878, Y_875) | ~old('#skF_4', W_886) | ~dirty('#skF_4', W_886) | ~white('#skF_4', W_886) | ~chevy('#skF_4', W_886) | ~frontseat('#skF_4', V_883) | ~forename('#skF_4', X13_877) | ~jules_forename('#skF_4', X13_877) | ~man('#skF_4', X12_879) | ~of('#skF_4', X13_877, X12_879) | ~member('#skF_4', '#skF_15'(X15_872, Z_873, X14_874, Y_875, X13_877, X_878, X12_879, '#skF_4', X2_881, X1_882, V_883, W_886), '#skF_10')))).
% 12.45/3.86 tff(c_1586, plain, (![W_1222, X1_1217, X14_1214, Y_1218, X15_1223, X_1221, X2_1216, Z_1215, X12_1220, X13_1219]: (member('#skF_4', '#skF_16'(X15_1223, Z_1215, X14_1214, Y_1218, X13_1219, X_1221, X12_1220, '#skF_4', X2_1216, X1_1217, '#skF_5', W_1222), X1_1217) | member('#skF_4', '#skF_17'(X15_1223, Z_1215, X14_1214, Y_1218, X13_1219, X_1221, X12_1220, '#skF_4', X2_1216, X1_1217, '#skF_5', W_1222), X2_1216) | ~cheap('#skF_4', '#skF_19'(X15_1223, Z_1215, X14_1214, Y_1218, X13_1219, X_1221, X12_1220, '#skF_4', X2_1216, X1_1217, '#skF_5', W_1222)) | ~black('#skF_4', '#skF_19'(X15_1223, Z_1215, X14_1214, Y_1218, X13_1219, X_1221, X12_1220, '#skF_4', X2_1216, X1_1217, '#skF_5', W_1222)) | ~coat('#skF_4', '#skF_19'(X15_1223, Z_1215, X14_1214, Y_1218, X13_1219, X_1221, X12_1220, '#skF_4', X2_1216, X1_1217, '#skF_5', W_1222)) | ~behind('#skF_4', X15_1223, X15_1223) | ~be('#skF_4', X14_1214, X12_1220, X15_1223) | ~state('#skF_4', X14_1214) | ~wheel('#skF_4', X15_1223) | ~group('#skF_4', X2_1216) | ~group('#skF_4', X1_1217) | ~two('#skF_4', X1_1217) | ~in('#skF_4', Z_1215, Y_1218) | ~down('#skF_4', Z_1215, Y_1218) | ~barrel('#skF_4', Z_1215) | ~present('#skF_4', Z_1215) | ~agent('#skF_4', Z_1215, W_1222) | ~event('#skF_4', Z_1215) | ~lonely('#skF_4', Y_1218) | ~street('#skF_4', Y_1218) | ~placename('#skF_4', X_1221) | ~hollywood_placename('#skF_4', X_1221) | ~city('#skF_4', Y_1218) | ~of('#skF_4', X_1221, Y_1218) | ~old('#skF_4', W_1222) | ~dirty('#skF_4', W_1222) | ~white('#skF_4', W_1222) | ~chevy('#skF_4', W_1222) | ~forename('#skF_4', X13_1219) | ~jules_forename('#skF_4', X13_1219) | ~man('#skF_4', X12_1220) | ~of('#skF_4', X13_1219, X12_1220) | ~member('#skF_4', '#skF_15'(X15_1223, Z_1215, X14_1214, Y_1218, X13_1219, X_1221, X12_1220, '#skF_4', X2_1216, X1_1217, '#skF_5', W_1222), '#skF_10')))).
% 12.45/3.86 tff(c_1224, plain, (![Y_819, X2_825, X13_821, X12_823, X_822, X1_826, V_827, X15_816, W_829, X14_818, Z_817]: (~in('#skF_4', '#skF_13'('#skF_15'(X15_816, Z_817, X14_818, Y_819, X13_821, X_822, X12_823, '#skF_4', X2_825, X1_826, V_827, W_829)), V_827) | ~state('#skF_4', '#skF_12'('#skF_15'(X15_816, Z_817, X14_818, Y_819, X13_821, X_822, X12_823, '#skF_4', X2_825, X1_826, V_827, W_829))) | member('#skF_4', '#skF_16'(X15_816, Z_817, X14_818, Y_819, X13_821, X_822, X12_823, '#skF_4', X2_825, X1_826, V_827, W_829), X1_826) | member('#skF_4', '#skF_17'(X15_816, Z_817, X14_818, Y_819, X13_821, X_822, X12_823, '#skF_4', X2_825, X1_826, V_827, W_829), X2_825) | ~cheap('#skF_4', '#skF_19'(X15_816, Z_817, X14_818, Y_819, X13_821, X_822, X12_823, '#skF_4', X2_825, X1_826, V_827, W_829)) | ~black('#skF_4', '#skF_19'(X15_816, Z_817, X14_818, Y_819, X13_821, X_822, X12_823, '#skF_4', X2_825, X1_826, V_827, W_829)) | ~coat('#skF_4', '#skF_19'(X15_816, Z_817, X14_818, Y_819, X13_821, X_822, X12_823, '#skF_4', X2_825, X1_826, V_827, W_829)) | ~behind('#skF_4', X15_816, X15_816) | ~be('#skF_4', X14_818, X12_823, X15_816) | ~state('#skF_4', X14_818) | ~wheel('#skF_4', X15_816) | ~group('#skF_4', X2_825) | ~group('#skF_4', X1_826) | ~two('#skF_4', X1_826) | ~in('#skF_4', Z_817, Y_819) | ~down('#skF_4', Z_817, Y_819) | ~barrel('#skF_4', Z_817) | ~present('#skF_4', Z_817) | ~agent('#skF_4', Z_817, W_829) | ~event('#skF_4', Z_817) | ~lonely('#skF_4', Y_819) | ~street('#skF_4', Y_819) | ~placename('#skF_4', X_822) | ~hollywood_placename('#skF_4', X_822) | ~city('#skF_4', Y_819) | ~of('#skF_4', X_822, Y_819) | ~old('#skF_4', W_829) | ~dirty('#skF_4', W_829) | ~white('#skF_4', W_829) | ~chevy('#skF_4', W_829) | ~frontseat('#skF_4', V_827) | ~forename('#skF_4', X13_821) | ~jules_forename('#skF_4', X13_821) | ~man('#skF_4', X12_823) | ~of('#skF_4', X13_821, X12_823) | ~member('#skF_4', '#skF_15'(X15_816, Z_817, X14_818, Y_819, X13_821, X_822, X12_823, '#skF_4', X2_825, X1_826, V_827, W_829), '#skF_10')))).
% 12.45/3.86 tff(c_1573, plain, (![X1_1189, Z_1192, X15_1187, X14_1186, X13_1183, X_1185, X12_1188, X2_1184, Y_1190, W_1191]: (member('#skF_4', '#skF_16'(X15_1187, Z_1192, X14_1186, Y_1190, X13_1183, X_1185, X12_1188, '#skF_4', X2_1184, X1_1189, '#skF_5', W_1191), X1_1189) | member('#skF_4', '#skF_18'(X15_1187, Z_1192, X14_1186, Y_1190, X13_1183, X_1185, X12_1188, '#skF_4', X2_1184, X1_1189, '#skF_5', W_1191), X1_1189) | ~cheap('#skF_4', '#skF_19'(X15_1187, Z_1192, X14_1186, Y_1190, X13_1183, X_1185, X12_1188, '#skF_4', X2_1184, X1_1189, '#skF_5', W_1191)) | ~black('#skF_4', '#skF_19'(X15_1187, Z_1192, X14_1186, Y_1190, X13_1183, X_1185, X12_1188, '#skF_4', X2_1184, X1_1189, '#skF_5', W_1191)) | ~coat('#skF_4', '#skF_19'(X15_1187, Z_1192, X14_1186, Y_1190, X13_1183, X_1185, X12_1188, '#skF_4', X2_1184, X1_1189, '#skF_5', W_1191)) | ~behind('#skF_4', X15_1187, X15_1187) | ~be('#skF_4', X14_1186, X12_1188, X15_1187) | ~state('#skF_4', X14_1186) | ~wheel('#skF_4', X15_1187) | ~group('#skF_4', X2_1184) | ~group('#skF_4', X1_1189) | ~two('#skF_4', X1_1189) | ~in('#skF_4', Z_1192, Y_1190) | ~down('#skF_4', Z_1192, Y_1190) | ~barrel('#skF_4', Z_1192) | ~present('#skF_4', Z_1192) | ~agent('#skF_4', Z_1192, W_1191) | ~event('#skF_4', Z_1192) | ~lonely('#skF_4', Y_1190) | ~street('#skF_4', Y_1190) | ~placename('#skF_4', X_1185) | ~hollywood_placename('#skF_4', X_1185) | ~city('#skF_4', Y_1190) | ~of('#skF_4', X_1185, Y_1190) | ~old('#skF_4', W_1191) | ~dirty('#skF_4', W_1191) | ~white('#skF_4', W_1191) | ~chevy('#skF_4', W_1191) | ~forename('#skF_4', X13_1183) | ~jules_forename('#skF_4', X13_1183) | ~man('#skF_4', X12_1188) | ~of('#skF_4', X13_1183, X12_1188) | ~member('#skF_4', '#skF_15'(X15_1187, Z_1192, X14_1186, Y_1190, X13_1183, X_1185, X12_1188, '#skF_4', X2_1184, X1_1189, '#skF_5', W_1191), '#skF_10')))).
% 12.45/3.86 tff(c_1563, plain, (![X14_1164, X13_1165, X15_1166, X_1169, X9_1168, Z_1170, Y_1163, W_1167, X2_1162, X12_1161, X1_1171]: (member('#skF_4', '#skF_16'(X15_1166, Z_1170, X14_1164, Y_1163, X13_1165, X_1169, X12_1161, '#skF_4', X2_1162, X1_1171, '#skF_5', W_1167), X1_1171) | ~wear('#skF_4', X9_1168) | ~nonreflexive('#skF_4', X9_1168) | ~present('#skF_4', X9_1168) | ~patient('#skF_4', X9_1168, '#skF_17'(X15_1166, Z_1170, X14_1164, Y_1163, X13_1165, X_1169, X12_1161, '#skF_4', X2_1162, X1_1171, '#skF_5', W_1167)) | ~agent('#skF_4', X9_1168, '#skF_18'(X15_1166, Z_1170, X14_1164, Y_1163, X13_1165, X_1169, X12_1161, '#skF_4', X2_1162, X1_1171, '#skF_5', W_1167)) | ~event('#skF_4', X9_1168) | member('#skF_4', '#skF_19'(X15_1166, Z_1170, X14_1164, Y_1163, X13_1165, X_1169, X12_1161, '#skF_4', X2_1162, X1_1171, '#skF_5', W_1167), X2_1162) | ~behind('#skF_4', X15_1166, X15_1166) | ~be('#skF_4', X14_1164, X12_1161, X15_1166) | ~state('#skF_4', X14_1164) | ~wheel('#skF_4', X15_1166) | ~group('#skF_4', X2_1162) | ~group('#skF_4', X1_1171) | ~two('#skF_4', X1_1171) | ~in('#skF_4', Z_1170, Y_1163) | ~down('#skF_4', Z_1170, Y_1163) | ~barrel('#skF_4', Z_1170) | ~present('#skF_4', Z_1170) | ~agent('#skF_4', Z_1170, W_1167) | ~event('#skF_4', Z_1170) | ~lonely('#skF_4', Y_1163) | ~street('#skF_4', Y_1163) | ~placename('#skF_4', X_1169) | ~hollywood_placename('#skF_4', X_1169) | ~city('#skF_4', Y_1163) | ~of('#skF_4', X_1169, Y_1163) | ~old('#skF_4', W_1167) | ~dirty('#skF_4', W_1167) | ~white('#skF_4', W_1167) | ~chevy('#skF_4', W_1167) | ~forename('#skF_4', X13_1165) | ~jules_forename('#skF_4', X13_1165) | ~man('#skF_4', X12_1161) | ~of('#skF_4', X13_1165, X12_1161) | ~member('#skF_4', '#skF_15'(X15_1166, Z_1170, X14_1164, Y_1163, X13_1165, X_1169, X12_1161, '#skF_4', X2_1162, X1_1171, '#skF_5', W_1167), '#skF_10')))).
% 12.45/3.86 tff(c_1167, plain, (![X1_810, Y_803, X2_809, X12_807, V_811, X_806, W_813, X15_800, X13_805, Z_801, X14_802]: (~in('#skF_4', '#skF_13'('#skF_15'(X15_800, Z_801, X14_802, Y_803, X13_805, X_806, X12_807, '#skF_4', X2_809, X1_810, V_811, W_813)), V_811) | ~state('#skF_4', '#skF_12'('#skF_15'(X15_800, Z_801, X14_802, Y_803, X13_805, X_806, X12_807, '#skF_4', X2_809, X1_810, V_811, W_813))) | member('#skF_4', '#skF_16'(X15_800, Z_801, X14_802, Y_803, X13_805, X_806, X12_807, '#skF_4', X2_809, X1_810, V_811, W_813), X1_810) | member('#skF_4', '#skF_18'(X15_800, Z_801, X14_802, Y_803, X13_805, X_806, X12_807, '#skF_4', X2_809, X1_810, V_811, W_813), X1_810) | ~cheap('#skF_4', '#skF_19'(X15_800, Z_801, X14_802, Y_803, X13_805, X_806, X12_807, '#skF_4', X2_809, X1_810, V_811, W_813)) | ~black('#skF_4', '#skF_19'(X15_800, Z_801, X14_802, Y_803, X13_805, X_806, X12_807, '#skF_4', X2_809, X1_810, V_811, W_813)) | ~coat('#skF_4', '#skF_19'(X15_800, Z_801, X14_802, Y_803, X13_805, X_806, X12_807, '#skF_4', X2_809, X1_810, V_811, W_813)) | ~behind('#skF_4', X15_800, X15_800) | ~be('#skF_4', X14_802, X12_807, X15_800) | ~state('#skF_4', X14_802) | ~wheel('#skF_4', X15_800) | ~group('#skF_4', X2_809) | ~group('#skF_4', X1_810) | ~two('#skF_4', X1_810) | ~in('#skF_4', Z_801, Y_803) | ~down('#skF_4', Z_801, Y_803) | ~barrel('#skF_4', Z_801) | ~present('#skF_4', Z_801) | ~agent('#skF_4', Z_801, W_813) | ~event('#skF_4', Z_801) | ~lonely('#skF_4', Y_803) | ~street('#skF_4', Y_803) | ~placename('#skF_4', X_806) | ~hollywood_placename('#skF_4', X_806) | ~city('#skF_4', Y_803) | ~of('#skF_4', X_806, Y_803) | ~old('#skF_4', W_813) | ~dirty('#skF_4', W_813) | ~white('#skF_4', W_813) | ~chevy('#skF_4', W_813) | ~frontseat('#skF_4', V_811) | ~forename('#skF_4', X13_805) | ~jules_forename('#skF_4', X13_805) | ~man('#skF_4', X12_807) | ~of('#skF_4', X13_805, X12_807) | ~member('#skF_4', '#skF_15'(X15_800, Z_801, X14_802, Y_803, X13_805, X_806, X12_807, '#skF_4', X2_809, X1_810, V_811, W_813), '#skF_10')))).
% 12.45/3.86 tff(c_1145, plain, (![V_790, W_793, X12_786, Y_782, X9_791, X15_779, X_785, X13_784, X2_788, X14_781, X1_789, Z_780]: (~in('#skF_4', '#skF_13'('#skF_15'(X15_779, Z_780, X14_781, Y_782, X13_784, X_785, X12_786, '#skF_4', X2_788, X1_789, V_790, W_793)), V_790) | ~state('#skF_4', '#skF_12'('#skF_15'(X15_779, Z_780, X14_781, Y_782, X13_784, X_785, X12_786, '#skF_4', X2_788, X1_789, V_790, W_793))) | member('#skF_4', '#skF_16'(X15_779, Z_780, X14_781, Y_782, X13_784, X_785, X12_786, '#skF_4', X2_788, X1_789, V_790, W_793), X1_789) | ~wear('#skF_4', X9_791) | ~nonreflexive('#skF_4', X9_791) | ~present('#skF_4', X9_791) | ~patient('#skF_4', X9_791, '#skF_17'(X15_779, Z_780, X14_781, Y_782, X13_784, X_785, X12_786, '#skF_4', X2_788, X1_789, V_790, W_793)) | ~agent('#skF_4', X9_791, '#skF_18'(X15_779, Z_780, X14_781, Y_782, X13_784, X_785, X12_786, '#skF_4', X2_788, X1_789, V_790, W_793)) | ~event('#skF_4', X9_791) | member('#skF_4', '#skF_19'(X15_779, Z_780, X14_781, Y_782, X13_784, X_785, X12_786, '#skF_4', X2_788, X1_789, V_790, W_793), X2_788) | ~behind('#skF_4', X15_779, X15_779) | ~be('#skF_4', X14_781, X12_786, X15_779) | ~state('#skF_4', X14_781) | ~wheel('#skF_4', X15_779) | ~group('#skF_4', X2_788) | ~group('#skF_4', X1_789) | ~two('#skF_4', X1_789) | ~in('#skF_4', Z_780, Y_782) | ~down('#skF_4', Z_780, Y_782) | ~barrel('#skF_4', Z_780) | ~present('#skF_4', Z_780) | ~agent('#skF_4', Z_780, W_793) | ~event('#skF_4', Z_780) | ~lonely('#skF_4', Y_782) | ~street('#skF_4', Y_782) | ~placename('#skF_4', X_785) | ~hollywood_placename('#skF_4', X_785) | ~city('#skF_4', Y_782) | ~of('#skF_4', X_785, Y_782) | ~old('#skF_4', W_793) | ~dirty('#skF_4', W_793) | ~white('#skF_4', W_793) | ~chevy('#skF_4', W_793) | ~frontseat('#skF_4', V_790) | ~forename('#skF_4', X13_784) | ~jules_forename('#skF_4', X13_784) | ~man('#skF_4', X12_786) | ~of('#skF_4', X13_784, X12_786) | ~member('#skF_4', '#skF_15'(X15_779, Z_780, X14_781, Y_782, X13_784, X_785, X12_786, '#skF_4', X2_788, X1_789, V_790, W_793), '#skF_10')))).
% 12.45/3.86 tff(c_1543, plain, (![Z_1118, X14_1127, X1_1121, W_1124, X15_1119, X13_1120, X_1126, X12_1123, Y_1122, X2_1125]: (~young('#skF_4', '#skF_16'(X15_1119, Z_1118, X14_1127, Y_1122, X13_1120, X_1126, X12_1123, '#skF_4', X2_1125, X1_1121, '#skF_5', W_1124)) | ~fellow('#skF_4', '#skF_16'(X15_1119, Z_1118, X14_1127, Y_1122, X13_1120, X_1126, X12_1123, '#skF_4', X2_1125, X1_1121, '#skF_5', W_1124)) | member('#skF_4', '#skF_17'(X15_1119, Z_1118, X14_1127, Y_1122, X13_1120, X_1126, X12_1123, '#skF_4', X2_1125, X1_1121, '#skF_5', W_1124), X2_1125) | member('#skF_4', '#skF_19'(X15_1119, Z_1118, X14_1127, Y_1122, X13_1120, X_1126, X12_1123, '#skF_4', X2_1125, X1_1121, '#skF_5', W_1124), X2_1125) | ~behind('#skF_4', X15_1119, X15_1119) | ~be('#skF_4', X14_1127, X12_1123, X15_1119) | ~state('#skF_4', X14_1127) | ~wheel('#skF_4', X15_1119) | ~group('#skF_4', X2_1125) | ~group('#skF_4', X1_1121) | ~two('#skF_4', X1_1121) | ~in('#skF_4', Z_1118, Y_1122) | ~down('#skF_4', Z_1118, Y_1122) | ~barrel('#skF_4', Z_1118) | ~present('#skF_4', Z_1118) | ~agent('#skF_4', Z_1118, W_1124) | ~event('#skF_4', Z_1118) | ~lonely('#skF_4', Y_1122) | ~street('#skF_4', Y_1122) | ~placename('#skF_4', X_1126) | ~hollywood_placename('#skF_4', X_1126) | ~city('#skF_4', Y_1122) | ~of('#skF_4', X_1126, Y_1122) | ~old('#skF_4', W_1124) | ~dirty('#skF_4', W_1124) | ~white('#skF_4', W_1124) | ~chevy('#skF_4', W_1124) | ~forename('#skF_4', X13_1120) | ~jules_forename('#skF_4', X13_1120) | ~man('#skF_4', X12_1123) | ~of('#skF_4', X13_1120, X12_1123) | ~member('#skF_4', '#skF_15'(X15_1119, Z_1118, X14_1127, Y_1122, X13_1120, X_1126, X12_1123, '#skF_4', X2_1125, X1_1121, '#skF_5', W_1124), '#skF_10')))).
% 12.45/3.87 tff(c_1055, plain, (![X2_719, X14_712, X13_715, Y_713, W_723, Z_711, X_716, X12_717, X15_710, V_721, X1_720]: (~in('#skF_4', '#skF_13'('#skF_15'(X15_710, Z_711, X14_712, Y_713, X13_715, X_716, X12_717, '#skF_4', X2_719, X1_720, V_721, W_723)), V_721) | ~state('#skF_4', '#skF_12'('#skF_15'(X15_710, Z_711, X14_712, Y_713, X13_715, X_716, X12_717, '#skF_4', X2_719, X1_720, V_721, W_723))) | ~young('#skF_4', '#skF_16'(X15_710, Z_711, X14_712, Y_713, X13_715, X_716, X12_717, '#skF_4', X2_719, X1_720, V_721, W_723)) | ~fellow('#skF_4', '#skF_16'(X15_710, Z_711, X14_712, Y_713, X13_715, X_716, X12_717, '#skF_4', X2_719, X1_720, V_721, W_723)) | member('#skF_4', '#skF_17'(X15_710, Z_711, X14_712, Y_713, X13_715, X_716, X12_717, '#skF_4', X2_719, X1_720, V_721, W_723), X2_719) | member('#skF_4', '#skF_19'(X15_710, Z_711, X14_712, Y_713, X13_715, X_716, X12_717, '#skF_4', X2_719, X1_720, V_721, W_723), X2_719) | ~behind('#skF_4', X15_710, X15_710) | ~be('#skF_4', X14_712, X12_717, X15_710) | ~state('#skF_4', X14_712) | ~wheel('#skF_4', X15_710) | ~group('#skF_4', X2_719) | ~group('#skF_4', X1_720) | ~two('#skF_4', X1_720) | ~in('#skF_4', Z_711, Y_713) | ~down('#skF_4', Z_711, Y_713) | ~barrel('#skF_4', Z_711) | ~present('#skF_4', Z_711) | ~agent('#skF_4', Z_711, W_723) | ~event('#skF_4', Z_711) | ~lonely('#skF_4', Y_713) | ~street('#skF_4', Y_713) | ~placename('#skF_4', X_716) | ~hollywood_placename('#skF_4', X_716) | ~city('#skF_4', Y_713) | ~of('#skF_4', X_716, Y_713) | ~old('#skF_4', W_723) | ~dirty('#skF_4', W_723) | ~white('#skF_4', W_723) | ~chevy('#skF_4', W_723) | ~frontseat('#skF_4', V_721) | ~forename('#skF_4', X13_715) | ~jules_forename('#skF_4', X13_715) | ~man('#skF_4', X12_717) | ~of('#skF_4', X13_715, X12_717) | ~member('#skF_4', '#skF_15'(X15_710, Z_711, X14_712, Y_713, X13_715, X_716, X12_717, '#skF_4', X2_719, X1_720, V_721, W_723), '#skF_10')))).
% 12.45/3.87 tff(c_1530, plain, (![X1_1090, Z_1094, X15_1096, X13_1095, X12_1087, X2_1092, W_1089, X_1091, Y_1088, X14_1093]: (~young('#skF_4', '#skF_16'(X15_1096, Z_1094, X14_1093, Y_1088, X13_1095, X_1091, X12_1087, '#skF_4', X2_1092, X1_1090, '#skF_5', W_1089)) | ~fellow('#skF_4', '#skF_16'(X15_1096, Z_1094, X14_1093, Y_1088, X13_1095, X_1091, X12_1087, '#skF_4', X2_1092, X1_1090, '#skF_5', W_1089)) | member('#skF_4', '#skF_18'(X15_1096, Z_1094, X14_1093, Y_1088, X13_1095, X_1091, X12_1087, '#skF_4', X2_1092, X1_1090, '#skF_5', W_1089), X1_1090) | member('#skF_4', '#skF_19'(X15_1096, Z_1094, X14_1093, Y_1088, X13_1095, X_1091, X12_1087, '#skF_4', X2_1092, X1_1090, '#skF_5', W_1089), X2_1092) | ~behind('#skF_4', X15_1096, X15_1096) | ~be('#skF_4', X14_1093, X12_1087, X15_1096) | ~state('#skF_4', X14_1093) | ~wheel('#skF_4', X15_1096) | ~group('#skF_4', X2_1092) | ~group('#skF_4', X1_1090) | ~two('#skF_4', X1_1090) | ~in('#skF_4', Z_1094, Y_1088) | ~down('#skF_4', Z_1094, Y_1088) | ~barrel('#skF_4', Z_1094) | ~present('#skF_4', Z_1094) | ~agent('#skF_4', Z_1094, W_1089) | ~event('#skF_4', Z_1094) | ~lonely('#skF_4', Y_1088) | ~street('#skF_4', Y_1088) | ~placename('#skF_4', X_1091) | ~hollywood_placename('#skF_4', X_1091) | ~city('#skF_4', Y_1088) | ~of('#skF_4', X_1091, Y_1088) | ~old('#skF_4', W_1089) | ~dirty('#skF_4', W_1089) | ~white('#skF_4', W_1089) | ~chevy('#skF_4', W_1089) | ~forename('#skF_4', X13_1095) | ~jules_forename('#skF_4', X13_1095) | ~man('#skF_4', X12_1087) | ~of('#skF_4', X13_1095, X12_1087) | ~member('#skF_4', '#skF_15'(X15_1096, Z_1094, X14_1093, Y_1088, X13_1095, X_1091, X12_1087, '#skF_4', X2_1092, X1_1090, '#skF_5', W_1089), '#skF_10')))).
% 12.45/3.87 tff(c_1035, plain, (![W_707, X_700, X2_703, Y_697, X15_694, X12_701, X1_704, V_705, X14_696, X13_699, Z_695]: (~in('#skF_4', '#skF_13'('#skF_15'(X15_694, Z_695, X14_696, Y_697, X13_699, X_700, X12_701, '#skF_4', X2_703, X1_704, V_705, W_707)), V_705) | ~state('#skF_4', '#skF_12'('#skF_15'(X15_694, Z_695, X14_696, Y_697, X13_699, X_700, X12_701, '#skF_4', X2_703, X1_704, V_705, W_707))) | ~young('#skF_4', '#skF_16'(X15_694, Z_695, X14_696, Y_697, X13_699, X_700, X12_701, '#skF_4', X2_703, X1_704, V_705, W_707)) | ~fellow('#skF_4', '#skF_16'(X15_694, Z_695, X14_696, Y_697, X13_699, X_700, X12_701, '#skF_4', X2_703, X1_704, V_705, W_707)) | member('#skF_4', '#skF_18'(X15_694, Z_695, X14_696, Y_697, X13_699, X_700, X12_701, '#skF_4', X2_703, X1_704, V_705, W_707), X1_704) | member('#skF_4', '#skF_19'(X15_694, Z_695, X14_696, Y_697, X13_699, X_700, X12_701, '#skF_4', X2_703, X1_704, V_705, W_707), X2_703) | ~behind('#skF_4', X15_694, X15_694) | ~be('#skF_4', X14_696, X12_701, X15_694) | ~state('#skF_4', X14_696) | ~wheel('#skF_4', X15_694) | ~group('#skF_4', X2_703) | ~group('#skF_4', X1_704) | ~two('#skF_4', X1_704) | ~in('#skF_4', Z_695, Y_697) | ~down('#skF_4', Z_695, Y_697) | ~barrel('#skF_4', Z_695) | ~present('#skF_4', Z_695) | ~agent('#skF_4', Z_695, W_707) | ~event('#skF_4', Z_695) | ~lonely('#skF_4', Y_697) | ~street('#skF_4', Y_697) | ~placename('#skF_4', X_700) | ~hollywood_placename('#skF_4', X_700) | ~city('#skF_4', Y_697) | ~of('#skF_4', X_700, Y_697) | ~old('#skF_4', W_707) | ~dirty('#skF_4', W_707) | ~white('#skF_4', W_707) | ~chevy('#skF_4', W_707) | ~frontseat('#skF_4', V_705) | ~forename('#skF_4', X13_699) | ~jules_forename('#skF_4', X13_699) | ~man('#skF_4', X12_701) | ~of('#skF_4', X13_699, X12_701) | ~member('#skF_4', '#skF_15'(X15_694, Z_695, X14_696, Y_697, X13_699, X_700, X12_701, '#skF_4', X2_703, X1_704, V_705, W_707), '#skF_10')))).
% 12.45/3.87 tff(c_1517, plain, (![X_1064, X2_1063, Z_1061, X15_1060, Y_1059, W_1062, X14_1058, X13_1057, X12_1056, X1_1065]: (member('#skF_4', '#skF_16'(X15_1060, Z_1061, X14_1058, Y_1059, X13_1057, X_1064, X12_1056, '#skF_4', X2_1063, X1_1065, '#skF_5', W_1062), X1_1065) | member('#skF_4', '#skF_18'(X15_1060, Z_1061, X14_1058, Y_1059, X13_1057, X_1064, X12_1056, '#skF_4', X2_1063, X1_1065, '#skF_5', W_1062), X1_1065) | member('#skF_4', '#skF_19'(X15_1060, Z_1061, X14_1058, Y_1059, X13_1057, X_1064, X12_1056, '#skF_4', X2_1063, X1_1065, '#skF_5', W_1062), X2_1063) | ~behind('#skF_4', X15_1060, X15_1060) | ~be('#skF_4', X14_1058, X12_1056, X15_1060) | ~state('#skF_4', X14_1058) | ~wheel('#skF_4', X15_1060) | ~group('#skF_4', X2_1063) | ~group('#skF_4', X1_1065) | ~two('#skF_4', X1_1065) | ~in('#skF_4', Z_1061, Y_1059) | ~down('#skF_4', Z_1061, Y_1059) | ~barrel('#skF_4', Z_1061) | ~present('#skF_4', Z_1061) | ~agent('#skF_4', Z_1061, W_1062) | ~event('#skF_4', Z_1061) | ~lonely('#skF_4', Y_1059) | ~street('#skF_4', Y_1059) | ~placename('#skF_4', X_1064) | ~hollywood_placename('#skF_4', X_1064) | ~city('#skF_4', Y_1059) | ~of('#skF_4', X_1064, Y_1059) | ~old('#skF_4', W_1062) | ~dirty('#skF_4', W_1062) | ~white('#skF_4', W_1062) | ~chevy('#skF_4', W_1062) | ~forename('#skF_4', X13_1057) | ~jules_forename('#skF_4', X13_1057) | ~man('#skF_4', X12_1056) | ~of('#skF_4', X13_1057, X12_1056) | ~member('#skF_4', '#skF_15'(X15_1060, Z_1061, X14_1058, Y_1059, X13_1057, X_1064, X12_1056, '#skF_4', X2_1063, X1_1065, '#skF_5', W_1062), '#skF_10')))).
% 12.45/3.87 tff(c_836, plain, (![Z_603, X1_612, X15_602, X12_609, X_608, Y_605, X14_604, W_615, V_613, X2_611, X13_607]: (~in('#skF_4', '#skF_13'('#skF_15'(X15_602, Z_603, X14_604, Y_605, X13_607, X_608, X12_609, '#skF_4', X2_611, X1_612, V_613, W_615)), V_613) | ~state('#skF_4', '#skF_12'('#skF_15'(X15_602, Z_603, X14_604, Y_605, X13_607, X_608, X12_609, '#skF_4', X2_611, X1_612, V_613, W_615))) | member('#skF_4', '#skF_16'(X15_602, Z_603, X14_604, Y_605, X13_607, X_608, X12_609, '#skF_4', X2_611, X1_612, V_613, W_615), X1_612) | member('#skF_4', '#skF_18'(X15_602, Z_603, X14_604, Y_605, X13_607, X_608, X12_609, '#skF_4', X2_611, X1_612, V_613, W_615), X1_612) | member('#skF_4', '#skF_19'(X15_602, Z_603, X14_604, Y_605, X13_607, X_608, X12_609, '#skF_4', X2_611, X1_612, V_613, W_615), X2_611) | ~behind('#skF_4', X15_602, X15_602) | ~be('#skF_4', X14_604, X12_609, X15_602) | ~state('#skF_4', X14_604) | ~wheel('#skF_4', X15_602) | ~group('#skF_4', X2_611) | ~group('#skF_4', X1_612) | ~two('#skF_4', X1_612) | ~in('#skF_4', Z_603, Y_605) | ~down('#skF_4', Z_603, Y_605) | ~barrel('#skF_4', Z_603) | ~present('#skF_4', Z_603) | ~agent('#skF_4', Z_603, W_615) | ~event('#skF_4', Z_603) | ~lonely('#skF_4', Y_605) | ~street('#skF_4', Y_605) | ~placename('#skF_4', X_608) | ~hollywood_placename('#skF_4', X_608) | ~city('#skF_4', Y_605) | ~of('#skF_4', X_608, Y_605) | ~old('#skF_4', W_615) | ~dirty('#skF_4', W_615) | ~white('#skF_4', W_615) | ~chevy('#skF_4', W_615) | ~frontseat('#skF_4', V_613) | ~forename('#skF_4', X13_607) | ~jules_forename('#skF_4', X13_607) | ~man('#skF_4', X12_609) | ~of('#skF_4', X13_607, X12_609) | ~member('#skF_4', '#skF_15'(X15_602, Z_603, X14_604, Y_605, X13_607, X_608, X12_609, '#skF_4', X2_611, X1_612, V_613, W_615), '#skF_10')))).
% 12.45/3.87 tff(c_1504, plain, (![W_1028, X2_1030, X12_1031, X_1034, X15_1032, Y_1026, X1_1027, Z_1029, X13_1025, X14_1033]: (member('#skF_4', '#skF_16'(X15_1032, Z_1029, X14_1033, Y_1026, X13_1025, X_1034, X12_1031, '#skF_4', X2_1030, X1_1027, '#skF_5', W_1028), X1_1027) | member('#skF_4', '#skF_17'(X15_1032, Z_1029, X14_1033, Y_1026, X13_1025, X_1034, X12_1031, '#skF_4', X2_1030, X1_1027, '#skF_5', W_1028), X2_1030) | member('#skF_4', '#skF_19'(X15_1032, Z_1029, X14_1033, Y_1026, X13_1025, X_1034, X12_1031, '#skF_4', X2_1030, X1_1027, '#skF_5', W_1028), X2_1030) | ~behind('#skF_4', X15_1032, X15_1032) | ~be('#skF_4', X14_1033, X12_1031, X15_1032) | ~state('#skF_4', X14_1033) | ~wheel('#skF_4', X15_1032) | ~group('#skF_4', X2_1030) | ~group('#skF_4', X1_1027) | ~two('#skF_4', X1_1027) | ~in('#skF_4', Z_1029, Y_1026) | ~down('#skF_4', Z_1029, Y_1026) | ~barrel('#skF_4', Z_1029) | ~present('#skF_4', Z_1029) | ~agent('#skF_4', Z_1029, W_1028) | ~event('#skF_4', Z_1029) | ~lonely('#skF_4', Y_1026) | ~street('#skF_4', Y_1026) | ~placename('#skF_4', X_1034) | ~hollywood_placename('#skF_4', X_1034) | ~city('#skF_4', Y_1026) | ~of('#skF_4', X_1034, Y_1026) | ~old('#skF_4', W_1028) | ~dirty('#skF_4', W_1028) | ~white('#skF_4', W_1028) | ~chevy('#skF_4', W_1028) | ~forename('#skF_4', X13_1025) | ~jules_forename('#skF_4', X13_1025) | ~man('#skF_4', X12_1031) | ~of('#skF_4', X13_1025, X12_1031) | ~member('#skF_4', '#skF_15'(X15_1032, Z_1029, X14_1033, Y_1026, X13_1025, X_1034, X12_1031, '#skF_4', X2_1030, X1_1027, '#skF_5', W_1028), '#skF_10')))).
% 12.45/3.87 tff(c_885, plain, (![X12_635, W_641, X_634, V_639, Z_629, X15_628, X13_633, Y_631, X14_630, X2_637, X1_638]: (~in('#skF_4', '#skF_13'('#skF_15'(X15_628, Z_629, X14_630, Y_631, X13_633, X_634, X12_635, '#skF_4', X2_637, X1_638, V_639, W_641)), V_639) | ~state('#skF_4', '#skF_12'('#skF_15'(X15_628, Z_629, X14_630, Y_631, X13_633, X_634, X12_635, '#skF_4', X2_637, X1_638, V_639, W_641))) | member('#skF_4', '#skF_16'(X15_628, Z_629, X14_630, Y_631, X13_633, X_634, X12_635, '#skF_4', X2_637, X1_638, V_639, W_641), X1_638) | member('#skF_4', '#skF_17'(X15_628, Z_629, X14_630, Y_631, X13_633, X_634, X12_635, '#skF_4', X2_637, X1_638, V_639, W_641), X2_637) | member('#skF_4', '#skF_19'(X15_628, Z_629, X14_630, Y_631, X13_633, X_634, X12_635, '#skF_4', X2_637, X1_638, V_639, W_641), X2_637) | ~behind('#skF_4', X15_628, X15_628) | ~be('#skF_4', X14_630, X12_635, X15_628) | ~state('#skF_4', X14_630) | ~wheel('#skF_4', X15_628) | ~group('#skF_4', X2_637) | ~group('#skF_4', X1_638) | ~two('#skF_4', X1_638) | ~in('#skF_4', Z_629, Y_631) | ~down('#skF_4', Z_629, Y_631) | ~barrel('#skF_4', Z_629) | ~present('#skF_4', Z_629) | ~agent('#skF_4', Z_629, W_641) | ~event('#skF_4', Z_629) | ~lonely('#skF_4', Y_631) | ~street('#skF_4', Y_631) | ~placename('#skF_4', X_634) | ~hollywood_placename('#skF_4', X_634) | ~city('#skF_4', Y_631) | ~of('#skF_4', X_634, Y_631) | ~old('#skF_4', W_641) | ~dirty('#skF_4', W_641) | ~white('#skF_4', W_641) | ~chevy('#skF_4', W_641) | ~frontseat('#skF_4', V_639) | ~forename('#skF_4', X13_633) | ~jules_forename('#skF_4', X13_633) | ~man('#skF_4', X12_635) | ~of('#skF_4', X13_633, X12_635) | ~member('#skF_4', '#skF_15'(X15_628, Z_629, X14_630, Y_631, X13_633, X_634, X12_635, '#skF_4', X2_637, X1_638, V_639, W_641), '#skF_10')))).
% 12.45/3.87 tff(c_1483, plain, (![W_993, X_994]: (~animate('#skF_4', '#skF_1'('#skF_4', '#skF_11', W_993, X_994)) | X_994=W_993 | ~member('#skF_4', X_994, '#skF_11') | ~member('#skF_4', W_993, '#skF_11')))).
% 12.45/3.87 tff(c_1482, plain, (![W_993, X_994]: (~abstraction('#skF_4', '#skF_1'('#skF_4', '#skF_11', W_993, X_994)) | X_994=W_993 | ~member('#skF_4', X_994, '#skF_11') | ~member('#skF_4', W_993, '#skF_11')))).
% 12.45/3.87 tff(c_198, plain, (![X2_286, X1_285, W_281, X9_311, Y_283, X_282, Z_284, X12_278, X13_279, X4_305, X14_287, V_280, X15_288, X5_306, X11_238]: (~in(X11_238, X5_306, V_280) | ~be(X11_238, X4_305, '#skF_15'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X5_306) | ~state(X11_238, X4_305) | ~young(X11_238, '#skF_16'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~fellow(X11_238, '#skF_16'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~wear(X11_238, X9_311) | ~nonreflexive(X11_238, X9_311) | ~present(X11_238, X9_311) | ~patient(X11_238, X9_311, '#skF_17'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~agent(X11_238, X9_311, '#skF_18'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~event(X11_238, X9_311) | ~cheap(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~black(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~coat(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~behind(X11_238, X15_288, X15_288) | ~be(X11_238, X14_287, X12_278, X15_288) | ~state(X11_238, X14_287) | ~wheel(X11_238, X15_288) | ~group(X11_238, X2_286) | ~group(X11_238, X1_285) | ~two(X11_238, X1_285) | ~in(X11_238, Z_284, Y_283) | ~down(X11_238, Z_284, Y_283) | ~barrel(X11_238, Z_284) | ~present(X11_238, Z_284) | ~agent(X11_238, Z_284, W_281) | ~event(X11_238, Z_284) | ~lonely(X11_238, Y_283) | ~street(X11_238, Y_283) | ~placename(X11_238, X_282) | ~hollywood_placename(X11_238, X_282) | ~city(X11_238, Y_283) | ~of(X11_238, X_282, Y_283) | ~old(X11_238, W_281) | ~dirty(X11_238, W_281) | ~white(X11_238, W_281) | ~chevy(X11_238, W_281) | ~frontseat(X11_238, V_280) | ~forename(X11_238, X13_279) | ~jules_forename(X11_238, X13_279) | ~man(X11_238, X12_278) | ~of(X11_238, X13_279, X12_278) | ~actual_world(X11_238)))).
% 12.45/3.87 tff(c_1474, plain, (![W_991, X_992]: (artifact('#skF_4', '#skF_1'('#skF_4', '#skF_11', W_991, X_992)) | X_992=W_991 | ~member('#skF_4', X_992, '#skF_11') | ~member('#skF_4', W_991, '#skF_11')))).
% 12.45/3.87 tff(c_1469, plain, (![W_989, X_990]: (clothes('#skF_4', '#skF_1'('#skF_4', '#skF_11', W_989, X_990)) | X_990=W_989 | ~member('#skF_4', X_990, '#skF_11') | ~member('#skF_4', W_989, '#skF_11')))).
% 12.45/3.87 tff(c_1464, plain, (![W_690, X_691]: (coat('#skF_4', '#skF_1'('#skF_4', '#skF_11', W_690, X_691)) | X_691=W_690 | ~member('#skF_4', X_691, '#skF_11') | ~member('#skF_4', W_690, '#skF_11')))).
% 12.45/3.87 tff(c_200, plain, (![X2_286, X1_285, W_281, X9_311, Y_283, X_282, Z_284, X12_278, X13_279, X14_287, V_280, X15_288, X11_238]: (member(X11_238, '#skF_15'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X1_285) | ~young(X11_238, '#skF_16'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~fellow(X11_238, '#skF_16'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~wear(X11_238, X9_311) | ~nonreflexive(X11_238, X9_311) | ~present(X11_238, X9_311) | ~patient(X11_238, X9_311, '#skF_17'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~agent(X11_238, X9_311, '#skF_18'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~event(X11_238, X9_311) | ~cheap(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~black(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~coat(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~behind(X11_238, X15_288, X15_288) | ~be(X11_238, X14_287, X12_278, X15_288) | ~state(X11_238, X14_287) | ~wheel(X11_238, X15_288) | ~group(X11_238, X2_286) | ~group(X11_238, X1_285) | ~two(X11_238, X1_285) | ~in(X11_238, Z_284, Y_283) | ~down(X11_238, Z_284, Y_283) | ~barrel(X11_238, Z_284) | ~present(X11_238, Z_284) | ~agent(X11_238, Z_284, W_281) | ~event(X11_238, Z_284) | ~lonely(X11_238, Y_283) | ~street(X11_238, Y_283) | ~placename(X11_238, X_282) | ~hollywood_placename(X11_238, X_282) | ~city(X11_238, Y_283) | ~of(X11_238, X_282, Y_283) | ~old(X11_238, W_281) | ~dirty(X11_238, W_281) | ~white(X11_238, W_281) | ~chevy(X11_238, W_281) | ~frontseat(X11_238, V_280) | ~forename(X11_238, X13_279) | ~jules_forename(X11_238, X13_279) | ~man(X11_238, X12_278) | ~of(X11_238, X13_279, X12_278) | ~actual_world(X11_238)))).
% 12.45/3.87 tff(c_1455, plain, (![W_690, X_691]: (black('#skF_4', '#skF_1'('#skF_4', '#skF_11', W_690, X_691)) | X_691=W_690 | ~member('#skF_4', X_691, '#skF_11') | ~member('#skF_4', W_690, '#skF_11')))).
% 12.45/3.87 tff(c_1453, plain, (![W_690, X_691]: (cheap('#skF_4', '#skF_1'('#skF_4', '#skF_11', W_690, X_691)) | X_691=W_690 | ~member('#skF_4', X_691, '#skF_11') | ~member('#skF_4', W_690, '#skF_11')))).
% 12.45/3.87 tff(c_1449, plain, (![W_157, X_161]: (~member('#skF_4', '#skF_1'('#skF_4', '#skF_11', W_157, X_161), '#skF_10') | X_161=W_157 | ~member('#skF_4', X_161, '#skF_11') | ~member('#skF_4', W_157, '#skF_11')))).
% 12.45/3.87 tff(c_1433, plain, (![X8_235]: (~member('#skF_4', X8_235, '#skF_10') | ~member('#skF_4', X8_235, '#skF_11')))).
% 12.45/3.87 tff(c_202, plain, (![X2_286, X1_285, W_281, X9_311, Y_283, X_282, Z_284, X12_278, X13_279, X4_305, X14_287, V_280, X15_288, X5_306, X11_238]: (~in(X11_238, X5_306, V_280) | ~be(X11_238, X4_305, '#skF_15'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X5_306) | ~state(X11_238, X4_305) | member(X11_238, '#skF_16'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X1_285) | ~wear(X11_238, X9_311) | ~nonreflexive(X11_238, X9_311) | ~present(X11_238, X9_311) | ~patient(X11_238, X9_311, '#skF_17'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~agent(X11_238, X9_311, '#skF_18'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~event(X11_238, X9_311) | ~cheap(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~black(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~coat(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~behind(X11_238, X15_288, X15_288) | ~be(X11_238, X14_287, X12_278, X15_288) | ~state(X11_238, X14_287) | ~wheel(X11_238, X15_288) | ~group(X11_238, X2_286) | ~group(X11_238, X1_285) | ~two(X11_238, X1_285) | ~in(X11_238, Z_284, Y_283) | ~down(X11_238, Z_284, Y_283) | ~barrel(X11_238, Z_284) | ~present(X11_238, Z_284) | ~agent(X11_238, Z_284, W_281) | ~event(X11_238, Z_284) | ~lonely(X11_238, Y_283) | ~street(X11_238, Y_283) | ~placename(X11_238, X_282) | ~hollywood_placename(X11_238, X_282) | ~city(X11_238, Y_283) | ~of(X11_238, X_282, Y_283) | ~old(X11_238, W_281) | ~dirty(X11_238, W_281) | ~white(X11_238, W_281) | ~chevy(X11_238, W_281) | ~frontseat(X11_238, V_280) | ~forename(X11_238, X13_279) | ~jules_forename(X11_238, X13_279) | ~man(X11_238, X12_278) | ~of(X11_238, X13_279, X12_278) | ~actual_world(X11_238)))).
% 12.45/3.87 tff(c_740, plain, (![X7_539, X8_540]: (~agent('#skF_4', '#skF_14'(X7_539, X8_540), X7_539) | ~nonreflexive('#skF_4', '#skF_14'(X7_539, X8_540)) | ~member('#skF_4', X8_540, '#skF_10') | ~member('#skF_4', X7_539, '#skF_11')))).
% 12.45/3.87 tff(c_1409, plain, (be('#skF_4', '#skF_12'('#skF_3'('#skF_4', '#skF_10')), '#skF_3'('#skF_4', '#skF_10'), '#skF_3'('#skF_4', '#skF_10')))).
% 12.45/3.87 tff(c_1402, plain, (be('#skF_4', '#skF_12'('#skF_2'('#skF_4', '#skF_10')), '#skF_2'('#skF_4', '#skF_10'), '#skF_2'('#skF_4', '#skF_10')))).
% 12.45/3.87 tff(c_204, plain, (![X2_286, X1_285, W_281, X9_311, Y_283, X_282, Z_284, X12_278, X13_279, X14_287, V_280, X15_288, X11_238]: (member(X11_238, '#skF_15'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X1_285) | member(X11_238, '#skF_16'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X1_285) | ~wear(X11_238, X9_311) | ~nonreflexive(X11_238, X9_311) | ~present(X11_238, X9_311) | ~patient(X11_238, X9_311, '#skF_17'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~agent(X11_238, X9_311, '#skF_18'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~event(X11_238, X9_311) | ~cheap(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~black(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~coat(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~behind(X11_238, X15_288, X15_288) | ~be(X11_238, X14_287, X12_278, X15_288) | ~state(X11_238, X14_287) | ~wheel(X11_238, X15_288) | ~group(X11_238, X2_286) | ~group(X11_238, X1_285) | ~two(X11_238, X1_285) | ~in(X11_238, Z_284, Y_283) | ~down(X11_238, Z_284, Y_283) | ~barrel(X11_238, Z_284) | ~present(X11_238, Z_284) | ~agent(X11_238, Z_284, W_281) | ~event(X11_238, Z_284) | ~lonely(X11_238, Y_283) | ~street(X11_238, Y_283) | ~placename(X11_238, X_282) | ~hollywood_placename(X11_238, X_282) | ~city(X11_238, Y_283) | ~of(X11_238, X_282, Y_283) | ~old(X11_238, W_281) | ~dirty(X11_238, W_281) | ~white(X11_238, W_281) | ~chevy(X11_238, W_281) | ~frontseat(X11_238, V_280) | ~forename(X11_238, X13_279) | ~jules_forename(X11_238, X13_279) | ~man(X11_238, X12_278) | ~of(X11_238, X13_279, X12_278) | ~actual_world(X11_238)))).
% 12.45/3.87 tff(c_1393, plain, (~forename('#skF_4', '#skF_7'))).
% 12.45/3.87 tff(c_1388, plain, (![X8_933, X7_932]: (~member('#skF_4', X8_933, '#skF_10') | ~member('#skF_4', X7_932, '#skF_11') | ~artifact('#skF_4', '#skF_14'(X7_932, X8_933))))).
% 12.45/3.87 tff(c_1387, plain, (![X8_933, X7_932]: (~member('#skF_4', X8_933, '#skF_10') | ~member('#skF_4', X7_932, '#skF_11') | ~city('#skF_4', '#skF_14'(X7_932, X8_933))))).
% 12.45/3.87 tff(c_920, plain, (![X7_231, X8_235]: (~entity('#skF_4', '#skF_14'(X7_231, X8_235)) | ~member('#skF_4', X8_235, '#skF_10') | ~member('#skF_4', X7_231, '#skF_11')))).
% 12.45/3.87 tff(c_206, plain, (![X2_286, X1_285, W_281, Y_283, X_282, Z_284, X12_278, X13_279, X4_305, X14_287, V_280, X15_288, X5_306, X11_238]: (~in(X11_238, X5_306, V_280) | ~be(X11_238, X4_305, '#skF_15'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X5_306) | ~state(X11_238, X4_305) | ~young(X11_238, '#skF_16'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~fellow(X11_238, '#skF_16'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | member(X11_238, '#skF_18'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X1_285) | ~cheap(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~black(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~coat(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~behind(X11_238, X15_288, X15_288) | ~be(X11_238, X14_287, X12_278, X15_288) | ~state(X11_238, X14_287) | ~wheel(X11_238, X15_288) | ~group(X11_238, X2_286) | ~group(X11_238, X1_285) | ~two(X11_238, X1_285) | ~in(X11_238, Z_284, Y_283) | ~down(X11_238, Z_284, Y_283) | ~barrel(X11_238, Z_284) | ~present(X11_238, Z_284) | ~agent(X11_238, Z_284, W_281) | ~event(X11_238, Z_284) | ~lonely(X11_238, Y_283) | ~street(X11_238, Y_283) | ~placename(X11_238, X_282) | ~hollywood_placename(X11_238, X_282) | ~city(X11_238, Y_283) | ~of(X11_238, X_282, Y_283) | ~old(X11_238, W_281) | ~dirty(X11_238, W_281) | ~white(X11_238, W_281) | ~chevy(X11_238, W_281) | ~frontseat(X11_238, V_280) | ~forename(X11_238, X13_279) | ~jules_forename(X11_238, X13_279) | ~man(X11_238, X12_278) | ~of(X11_238, X13_279, X12_278) | ~actual_world(X11_238)))).
% 12.45/3.87 tff(c_942, plain, (![X7_231, X8_235]: (~abstraction('#skF_4', '#skF_14'(X7_231, X8_235)) | ~member('#skF_4', X8_235, '#skF_10') | ~member('#skF_4', X7_231, '#skF_11')))).
% 12.45/3.87 tff(c_1341, plain, (member('#skF_4', '#skF_2'('#skF_4', '#skF_10'), '#skF_10'))).
% 12.45/3.87 tff(c_1340, plain, (in('#skF_4', '#skF_2'('#skF_4', '#skF_10'), '#skF_5'))).
% 12.45/3.87 tff(c_214, plain, (![X2_286, X1_285, W_281, Y_283, X_282, Z_284, X12_278, X13_279, X4_305, X14_287, V_280, X15_288, X5_306, X11_238]: (~in(X11_238, X5_306, V_280) | ~be(X11_238, X4_305, '#skF_15'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X5_306) | ~state(X11_238, X4_305) | ~young(X11_238, '#skF_16'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~fellow(X11_238, '#skF_16'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | member(X11_238, '#skF_17'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X2_286) | ~cheap(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~black(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~coat(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~behind(X11_238, X15_288, X15_288) | ~be(X11_238, X14_287, X12_278, X15_288) | ~state(X11_238, X14_287) | ~wheel(X11_238, X15_288) | ~group(X11_238, X2_286) | ~group(X11_238, X1_285) | ~two(X11_238, X1_285) | ~in(X11_238, Z_284, Y_283) | ~down(X11_238, Z_284, Y_283) | ~barrel(X11_238, Z_284) | ~present(X11_238, Z_284) | ~agent(X11_238, Z_284, W_281) | ~event(X11_238, Z_284) | ~lonely(X11_238, Y_283) | ~street(X11_238, Y_283) | ~placename(X11_238, X_282) | ~hollywood_placename(X11_238, X_282) | ~city(X11_238, Y_283) | ~of(X11_238, X_282, Y_283) | ~old(X11_238, W_281) | ~dirty(X11_238, W_281) | ~white(X11_238, W_281) | ~chevy(X11_238, W_281) | ~frontseat(X11_238, V_280) | ~forename(X11_238, X13_279) | ~jules_forename(X11_238, X13_279) | ~man(X11_238, X12_278) | ~of(X11_238, X13_279, X12_278) | ~actual_world(X11_238)))).
% 12.45/3.87 tff(c_1308, plain, (member('#skF_4', '#skF_3'('#skF_4', '#skF_10'), '#skF_10'))).
% 12.45/3.87 tff(c_1307, plain, (in('#skF_4', '#skF_3'('#skF_4', '#skF_10'), '#skF_5'))).
% 12.45/3.87 tff(c_1267, plain, (![W_625]: (W_625='#skF_7' | ~of('#skF_4', W_625, '#skF_8') | ~placename('#skF_4', W_625)))).
% 12.51/3.87 tff(c_1268, plain, (entity('#skF_4', '#skF_8'))).
% 12.51/3.87 tff(c_222, plain, (![X2_286, X1_285, W_281, X9_311, Y_283, X_282, Z_284, X12_278, X13_279, X4_305, X14_287, V_280, X15_288, X5_306, X11_238]: (~in(X11_238, X5_306, V_280) | ~be(X11_238, X4_305, '#skF_15'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X5_306) | ~state(X11_238, X4_305) | ~young(X11_238, '#skF_16'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~fellow(X11_238, '#skF_16'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~wear(X11_238, X9_311) | ~nonreflexive(X11_238, X9_311) | ~present(X11_238, X9_311) | ~patient(X11_238, X9_311, '#skF_17'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~agent(X11_238, X9_311, '#skF_18'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~event(X11_238, X9_311) | member(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X2_286) | ~behind(X11_238, X15_288, X15_288) | ~be(X11_238, X14_287, X12_278, X15_288) | ~state(X11_238, X14_287) | ~wheel(X11_238, X15_288) | ~group(X11_238, X2_286) | ~group(X11_238, X1_285) | ~two(X11_238, X1_285) | ~in(X11_238, Z_284, Y_283) | ~down(X11_238, Z_284, Y_283) | ~barrel(X11_238, Z_284) | ~present(X11_238, Z_284) | ~agent(X11_238, Z_284, W_281) | ~event(X11_238, Z_284) | ~lonely(X11_238, Y_283) | ~street(X11_238, Y_283) | ~placename(X11_238, X_282) | ~hollywood_placename(X11_238, X_282) | ~city(X11_238, Y_283) | ~of(X11_238, X_282, Y_283) | ~old(X11_238, W_281) | ~dirty(X11_238, W_281) | ~white(X11_238, W_281) | ~chevy(X11_238, W_281) | ~frontseat(X11_238, V_280) | ~forename(X11_238, X13_279) | ~jules_forename(X11_238, X13_279) | ~man(X11_238, X12_278) | ~of(X11_238, X13_279, X12_278) | ~actual_world(X11_238)))).
% 12.51/3.87 tff(c_1251, plain, (![X3_856]: (~member('#skF_4', X3_856, '#skF_10') | ~artifact('#skF_4', '#skF_12'(X3_856))))).
% 12.51/3.87 tff(c_1250, plain, (![X3_856]: (~member('#skF_4', X3_856, '#skF_10') | ~city('#skF_4', '#skF_12'(X3_856))))).
% 12.51/3.87 tff(c_208, plain, (![X2_286, X1_285, W_281, Y_283, X_282, Z_284, X12_278, X13_279, X14_287, V_280, X15_288, X11_238]: (member(X11_238, '#skF_15'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X1_285) | ~young(X11_238, '#skF_16'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~fellow(X11_238, '#skF_16'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | member(X11_238, '#skF_18'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X1_285) | ~cheap(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~black(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~coat(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~behind(X11_238, X15_288, X15_288) | ~be(X11_238, X14_287, X12_278, X15_288) | ~state(X11_238, X14_287) | ~wheel(X11_238, X15_288) | ~group(X11_238, X2_286) | ~group(X11_238, X1_285) | ~two(X11_238, X1_285) | ~in(X11_238, Z_284, Y_283) | ~down(X11_238, Z_284, Y_283) | ~barrel(X11_238, Z_284) | ~present(X11_238, Z_284) | ~agent(X11_238, Z_284, W_281) | ~event(X11_238, Z_284) | ~lonely(X11_238, Y_283) | ~street(X11_238, Y_283) | ~placename(X11_238, X_282) | ~hollywood_placename(X11_238, X_282) | ~city(X11_238, Y_283) | ~of(X11_238, X_282, Y_283) | ~old(X11_238, W_281) | ~dirty(X11_238, W_281) | ~white(X11_238, W_281) | ~chevy(X11_238, W_281) | ~frontseat(X11_238, V_280) | ~forename(X11_238, X13_279) | ~jules_forename(X11_238, X13_279) | ~man(X11_238, X12_278) | ~of(X11_238, X13_279, X12_278) | ~actual_world(X11_238)))).
% 12.51/3.87 tff(c_1233, plain, (![X3_830]: (~abstraction('#skF_4', '#skF_12'(X3_830)) | ~member('#skF_4', X3_830, '#skF_10')))).
% 12.51/3.87 tff(c_1232, plain, (![X3_830]: (~entity('#skF_4', '#skF_12'(X3_830)) | ~member('#skF_4', X3_830, '#skF_10')))).
% 12.51/3.87 tff(c_216, plain, (![X2_286, X1_285, W_281, Y_283, X_282, Z_284, X12_278, X13_279, X14_287, V_280, X15_288, X11_238]: (member(X11_238, '#skF_15'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X1_285) | ~young(X11_238, '#skF_16'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~fellow(X11_238, '#skF_16'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | member(X11_238, '#skF_17'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X2_286) | ~cheap(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~black(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~coat(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~behind(X11_238, X15_288, X15_288) | ~be(X11_238, X14_287, X12_278, X15_288) | ~state(X11_238, X14_287) | ~wheel(X11_238, X15_288) | ~group(X11_238, X2_286) | ~group(X11_238, X1_285) | ~two(X11_238, X1_285) | ~in(X11_238, Z_284, Y_283) | ~down(X11_238, Z_284, Y_283) | ~barrel(X11_238, Z_284) | ~present(X11_238, Z_284) | ~agent(X11_238, Z_284, W_281) | ~event(X11_238, Z_284) | ~lonely(X11_238, Y_283) | ~street(X11_238, Y_283) | ~placename(X11_238, X_282) | ~hollywood_placename(X11_238, X_282) | ~city(X11_238, Y_283) | ~of(X11_238, X_282, Y_283) | ~old(X11_238, W_281) | ~dirty(X11_238, W_281) | ~white(X11_238, W_281) | ~chevy(X11_238, W_281) | ~frontseat(X11_238, V_280) | ~forename(X11_238, X13_279) | ~jules_forename(X11_238, X13_279) | ~man(X11_238, X12_278) | ~of(X11_238, X13_279, X12_278) | ~actual_world(X11_238)))).
% 12.51/3.87 tff(c_224, plain, (![X2_286, X1_285, W_281, X9_311, Y_283, X_282, Z_284, X12_278, X13_279, X14_287, V_280, X15_288, X11_238]: (member(X11_238, '#skF_15'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X1_285) | ~young(X11_238, '#skF_16'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~fellow(X11_238, '#skF_16'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~wear(X11_238, X9_311) | ~nonreflexive(X11_238, X9_311) | ~present(X11_238, X9_311) | ~patient(X11_238, X9_311, '#skF_17'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~agent(X11_238, X9_311, '#skF_18'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~event(X11_238, X9_311) | member(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X2_286) | ~behind(X11_238, X15_288, X15_288) | ~be(X11_238, X14_287, X12_278, X15_288) | ~state(X11_238, X14_287) | ~wheel(X11_238, X15_288) | ~group(X11_238, X2_286) | ~group(X11_238, X1_285) | ~two(X11_238, X1_285) | ~in(X11_238, Z_284, Y_283) | ~down(X11_238, Z_284, Y_283) | ~barrel(X11_238, Z_284) | ~present(X11_238, Z_284) | ~agent(X11_238, Z_284, W_281) | ~event(X11_238, Z_284) | ~lonely(X11_238, Y_283) | ~street(X11_238, Y_283) | ~placename(X11_238, X_282) | ~hollywood_placename(X11_238, X_282) | ~city(X11_238, Y_283) | ~of(X11_238, X_282, Y_283) | ~old(X11_238, W_281) | ~dirty(X11_238, W_281) | ~white(X11_238, W_281) | ~chevy(X11_238, W_281) | ~frontseat(X11_238, V_280) | ~forename(X11_238, X13_279) | ~jules_forename(X11_238, X13_279) | ~man(X11_238, X12_278) | ~of(X11_238, X13_279, X12_278) | ~actual_world(X11_238)))).
% 12.51/3.87 tff(c_1234, plain, (~two('#skF_4', '#skF_11'))).
% 12.51/3.87 tff(c_466, plain, (![X3_227]: (eventuality('#skF_4', '#skF_12'(X3_227)) | ~member('#skF_4', X3_227, '#skF_10')))).
% 12.51/3.87 tff(c_218, plain, (![X2_286, X1_285, W_281, Y_283, X_282, Z_284, X12_278, X13_279, X4_305, X14_287, V_280, X15_288, X5_306, X11_238]: (~in(X11_238, X5_306, V_280) | ~be(X11_238, X4_305, '#skF_15'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X5_306) | ~state(X11_238, X4_305) | member(X11_238, '#skF_16'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X1_285) | member(X11_238, '#skF_17'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X2_286) | ~cheap(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~black(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~coat(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~behind(X11_238, X15_288, X15_288) | ~be(X11_238, X14_287, X12_278, X15_288) | ~state(X11_238, X14_287) | ~wheel(X11_238, X15_288) | ~group(X11_238, X2_286) | ~group(X11_238, X1_285) | ~two(X11_238, X1_285) | ~in(X11_238, Z_284, Y_283) | ~down(X11_238, Z_284, Y_283) | ~barrel(X11_238, Z_284) | ~present(X11_238, Z_284) | ~agent(X11_238, Z_284, W_281) | ~event(X11_238, Z_284) | ~lonely(X11_238, Y_283) | ~street(X11_238, Y_283) | ~placename(X11_238, X_282) | ~hollywood_placename(X11_238, X_282) | ~city(X11_238, Y_283) | ~of(X11_238, X_282, Y_283) | ~old(X11_238, W_281) | ~dirty(X11_238, W_281) | ~white(X11_238, W_281) | ~chevy(X11_238, W_281) | ~frontseat(X11_238, V_280) | ~forename(X11_238, X13_279) | ~jules_forename(X11_238, X13_279) | ~man(X11_238, X12_278) | ~of(X11_238, X13_279, X12_278) | ~actual_world(X11_238)))).
% 12.51/3.88 tff(c_418, plain, (![X3_419]: (event('#skF_4', '#skF_12'(X3_419)) | ~member('#skF_4', X3_419, '#skF_10')))).
% 12.51/3.88 tff(c_1188, plain, ('#skF_13'('#skF_2'('#skF_4', '#skF_10'))='#skF_2'('#skF_4', '#skF_10'))).
% 12.51/3.88 tff(c_1185, plain, ('#skF_13'('#skF_3'('#skF_4', '#skF_10'))='#skF_3'('#skF_4', '#skF_10'))).
% 12.51/3.88 tff(c_524, plain, (![X3_227]: ('#skF_13'(X3_227)=X3_227 | ~member('#skF_4', X3_227, '#skF_10')))).
% 12.51/3.88 tff(c_1160, plain, (~barrel('#skF_4', '#skF_8'))).
% 12.51/3.88 tff(c_210, plain, (![X2_286, X1_285, W_281, Y_283, X_282, Z_284, X12_278, X13_279, X4_305, X14_287, V_280, X15_288, X5_306, X11_238]: (~in(X11_238, X5_306, V_280) | ~be(X11_238, X4_305, '#skF_15'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X5_306) | ~state(X11_238, X4_305) | member(X11_238, '#skF_16'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X1_285) | member(X11_238, '#skF_18'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X1_285) | ~cheap(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~black(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~coat(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~behind(X11_238, X15_288, X15_288) | ~be(X11_238, X14_287, X12_278, X15_288) | ~state(X11_238, X14_287) | ~wheel(X11_238, X15_288) | ~group(X11_238, X2_286) | ~group(X11_238, X1_285) | ~two(X11_238, X1_285) | ~in(X11_238, Z_284, Y_283) | ~down(X11_238, Z_284, Y_283) | ~barrel(X11_238, Z_284) | ~present(X11_238, Z_284) | ~agent(X11_238, Z_284, W_281) | ~event(X11_238, Z_284) | ~lonely(X11_238, Y_283) | ~street(X11_238, Y_283) | ~placename(X11_238, X_282) | ~hollywood_placename(X11_238, X_282) | ~city(X11_238, Y_283) | ~of(X11_238, X_282, Y_283) | ~old(X11_238, W_281) | ~dirty(X11_238, W_281) | ~white(X11_238, W_281) | ~chevy(X11_238, W_281) | ~frontseat(X11_238, V_280) | ~forename(X11_238, X13_279) | ~jules_forename(X11_238, X13_279) | ~man(X11_238, X12_278) | ~of(X11_238, X13_279, X12_278) | ~actual_world(X11_238)))).
% 12.51/3.88 tff(c_1121, plain, (![U_13, V_14]: (~barrel(U_13, V_14) | ~city(U_13, V_14)))).
% 12.51/3.88 tff(c_1124, plain, (![U_417, V_418]: (~barrel(U_417, V_418) | ~artifact(U_417, V_418)))).
% 12.51/3.88 tff(c_1083, plain, (![U_59, V_60]: (~city(U_59, V_60) | ~human_person(U_59, V_60)))).
% 12.51/3.88 tff(c_226, plain, (![X2_286, X1_285, W_281, X9_311, Y_283, X_282, Z_284, X12_278, X13_279, X4_305, X14_287, V_280, X15_288, X5_306, X11_238]: (~in(X11_238, X5_306, V_280) | ~be(X11_238, X4_305, '#skF_15'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X5_306) | ~state(X11_238, X4_305) | member(X11_238, '#skF_16'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X1_285) | ~wear(X11_238, X9_311) | ~nonreflexive(X11_238, X9_311) | ~present(X11_238, X9_311) | ~patient(X11_238, X9_311, '#skF_17'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~agent(X11_238, X9_311, '#skF_18'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~event(X11_238, X9_311) | member(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X2_286) | ~behind(X11_238, X15_288, X15_288) | ~be(X11_238, X14_287, X12_278, X15_288) | ~state(X11_238, X14_287) | ~wheel(X11_238, X15_288) | ~group(X11_238, X2_286) | ~group(X11_238, X1_285) | ~two(X11_238, X1_285) | ~in(X11_238, Z_284, Y_283) | ~down(X11_238, Z_284, Y_283) | ~barrel(X11_238, Z_284) | ~present(X11_238, Z_284) | ~agent(X11_238, Z_284, W_281) | ~event(X11_238, Z_284) | ~lonely(X11_238, Y_283) | ~street(X11_238, Y_283) | ~placename(X11_238, X_282) | ~hollywood_placename(X11_238, X_282) | ~city(X11_238, Y_283) | ~of(X11_238, X_282, Y_283) | ~old(X11_238, W_281) | ~dirty(X11_238, W_281) | ~white(X11_238, W_281) | ~chevy(X11_238, W_281) | ~frontseat(X11_238, V_280) | ~forename(X11_238, X13_279) | ~jules_forename(X11_238, X13_279) | ~man(X11_238, X12_278) | ~of(X11_238, X13_279, X12_278) | ~actual_world(X11_238)))).
% 12.51/3.88 tff(c_1138, plain, (~city('#skF_4', '#skF_2'('#skF_4', '#skF_10')))).
% 12.51/3.88 tff(c_1137, plain, (~city('#skF_4', '#skF_3'('#skF_4', '#skF_10')))).
% 12.51/3.88 tff(c_953, plain, (![U_13, V_14]: (~fellow(U_13, V_14) | ~city(U_13, V_14)))).
% 12.51/3.88 tff(c_943, plain, (![U_43, V_44]: (~abstraction(U_43, V_44) | ~barrel(U_43, V_44)))).
% 12.51/3.88 tff(c_921, plain, (![U_43, V_44]: (~entity(U_43, V_44) | ~barrel(U_43, V_44)))).
% 12.51/3.88 tff(c_220, plain, (![X2_286, X1_285, W_281, Y_283, X_282, Z_284, X12_278, X13_279, X14_287, V_280, X15_288, X11_238]: (member(X11_238, '#skF_15'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X1_285) | member(X11_238, '#skF_16'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X1_285) | member(X11_238, '#skF_17'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X2_286) | ~cheap(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~black(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~coat(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~behind(X11_238, X15_288, X15_288) | ~be(X11_238, X14_287, X12_278, X15_288) | ~state(X11_238, X14_287) | ~wheel(X11_238, X15_288) | ~group(X11_238, X2_286) | ~group(X11_238, X1_285) | ~two(X11_238, X1_285) | ~in(X11_238, Z_284, Y_283) | ~down(X11_238, Z_284, Y_283) | ~barrel(X11_238, Z_284) | ~present(X11_238, Z_284) | ~agent(X11_238, Z_284, W_281) | ~event(X11_238, Z_284) | ~lonely(X11_238, Y_283) | ~street(X11_238, Y_283) | ~placename(X11_238, X_282) | ~hollywood_placename(X11_238, X_282) | ~city(X11_238, Y_283) | ~of(X11_238, X_282, Y_283) | ~old(X11_238, W_281) | ~dirty(X11_238, W_281) | ~white(X11_238, W_281) | ~chevy(X11_238, W_281) | ~frontseat(X11_238, V_280) | ~forename(X11_238, X13_279) | ~jules_forename(X11_238, X13_279) | ~man(X11_238, X12_278) | ~of(X11_238, X13_279, X12_278) | ~actual_world(X11_238)))).
% 12.51/3.88 tff(c_1106, plain, (~abstraction('#skF_4', '#skF_11'))).
% 12.51/3.88 tff(c_1105, plain, (~abstraction('#skF_4', '#skF_10'))).
% 12.51/3.88 tff(c_824, plain, (![U_337, V_338]: (~abstraction(U_337, V_338) | ~group(U_337, V_338)))).
% 12.51/3.88 tff(c_212, plain, (![X2_286, X1_285, W_281, Y_283, X_282, Z_284, X12_278, X13_279, X14_287, V_280, X15_288, X11_238]: (member(X11_238, '#skF_15'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X1_285) | member(X11_238, '#skF_16'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X1_285) | member(X11_238, '#skF_18'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X1_285) | ~cheap(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~black(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~coat(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~behind(X11_238, X15_288, X15_288) | ~be(X11_238, X14_287, X12_278, X15_288) | ~state(X11_238, X14_287) | ~wheel(X11_238, X15_288) | ~group(X11_238, X2_286) | ~group(X11_238, X1_285) | ~two(X11_238, X1_285) | ~in(X11_238, Z_284, Y_283) | ~down(X11_238, Z_284, Y_283) | ~barrel(X11_238, Z_284) | ~present(X11_238, Z_284) | ~agent(X11_238, Z_284, W_281) | ~event(X11_238, Z_284) | ~lonely(X11_238, Y_283) | ~street(X11_238, Y_283) | ~placename(X11_238, X_282) | ~hollywood_placename(X11_238, X_282) | ~city(X11_238, Y_283) | ~of(X11_238, X_282, Y_283) | ~old(X11_238, W_281) | ~dirty(X11_238, W_281) | ~white(X11_238, W_281) | ~chevy(X11_238, W_281) | ~frontseat(X11_238, V_280) | ~forename(X11_238, X13_279) | ~jules_forename(X11_238, X13_279) | ~man(X11_238, X12_278) | ~of(X11_238, X13_279, X12_278) | ~actual_world(X11_238)))).
% 12.51/3.88 tff(c_1096, plain, (~animate('#skF_4', '#skF_6'))).
% 12.51/3.88 tff(c_1095, plain, (~abstraction('#skF_4', '#skF_6'))).
% 12.51/3.88 tff(c_1088, plain, (artifact('#skF_4', '#skF_6'))).
% 12.51/3.88 tff(c_787, plain, (![U_568, V_569]: (artifact(U_568, V_569) | ~car(U_568, V_569)))).
% 12.51/3.88 tff(c_755, plain, (![U_13, V_14]: (~living(U_13, V_14) | ~city(U_13, V_14)))).
% 12.51/3.88 tff(c_228, plain, (![X2_286, X1_285, W_281, X9_311, Y_283, X_282, Z_284, X12_278, X13_279, X14_287, V_280, X15_288, X11_238]: (member(X11_238, '#skF_15'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X1_285) | member(X11_238, '#skF_16'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X1_285) | ~wear(X11_238, X9_311) | ~nonreflexive(X11_238, X9_311) | ~present(X11_238, X9_311) | ~patient(X11_238, X9_311, '#skF_17'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~agent(X11_238, X9_311, '#skF_18'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~event(X11_238, X9_311) | member(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X2_286) | ~behind(X11_238, X15_288, X15_288) | ~be(X11_238, X14_287, X12_278, X15_288) | ~state(X11_238, X14_287) | ~wheel(X11_238, X15_288) | ~group(X11_238, X2_286) | ~group(X11_238, X1_285) | ~two(X11_238, X1_285) | ~in(X11_238, Z_284, Y_283) | ~down(X11_238, Z_284, Y_283) | ~barrel(X11_238, Z_284) | ~present(X11_238, Z_284) | ~agent(X11_238, Z_284, W_281) | ~event(X11_238, Z_284) | ~lonely(X11_238, Y_283) | ~street(X11_238, Y_283) | ~placename(X11_238, X_282) | ~hollywood_placename(X11_238, X_282) | ~city(X11_238, Y_283) | ~of(X11_238, X_282, Y_283) | ~old(X11_238, W_281) | ~dirty(X11_238, W_281) | ~white(X11_238, W_281) | ~chevy(X11_238, W_281) | ~frontseat(X11_238, V_280) | ~forename(X11_238, X13_279) | ~jules_forename(X11_238, X13_279) | ~man(X11_238, X12_278) | ~of(X11_238, X13_279, X12_278) | ~actual_world(X11_238)))).
% 12.51/3.88 tff(c_844, plain, (![U_15, V_16]: (abstraction(U_15, V_16) | ~hollywood_placename(U_15, V_16)))).
% 12.51/3.88 tff(c_829, plain, (![U_59, V_60]: (~artifact(U_59, V_60) | ~human_person(U_59, V_60)))).
% 12.51/3.88 tff(c_890, plain, (![U_642, V_643]: (~abstraction(U_642, V_643) | ~city(U_642, V_643)))).
% 12.51/3.88 tff(c_238, plain, (![X2_286, X1_285, W_281, Y_283, X_282, Z_284, X12_278, X13_279, X4_305, X14_287, V_280, X15_288, X5_306, X11_238]: (~in(X11_238, X5_306, V_280) | ~be(X11_238, X4_305, '#skF_15'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X5_306) | ~state(X11_238, X4_305) | ~young(X11_238, '#skF_16'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~fellow(X11_238, '#skF_16'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | member(X11_238, '#skF_17'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X2_286) | member(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X2_286) | ~behind(X11_238, X15_288, X15_288) | ~be(X11_238, X14_287, X12_278, X15_288) | ~state(X11_238, X14_287) | ~wheel(X11_238, X15_288) | ~group(X11_238, X2_286) | ~group(X11_238, X1_285) | ~two(X11_238, X1_285) | ~in(X11_238, Z_284, Y_283) | ~down(X11_238, Z_284, Y_283) | ~barrel(X11_238, Z_284) | ~present(X11_238, Z_284) | ~agent(X11_238, Z_284, W_281) | ~event(X11_238, Z_284) | ~lonely(X11_238, Y_283) | ~street(X11_238, Y_283) | ~placename(X11_238, X_282) | ~hollywood_placename(X11_238, X_282) | ~city(X11_238, Y_283) | ~of(X11_238, X_282, Y_283) | ~old(X11_238, W_281) | ~dirty(X11_238, W_281) | ~white(X11_238, W_281) | ~chevy(X11_238, W_281) | ~frontseat(X11_238, V_280) | ~forename(X11_238, X13_279) | ~jules_forename(X11_238, X13_279) | ~man(X11_238, X12_278) | ~of(X11_238, X13_279, X12_278) | ~actual_world(X11_238)))).
% 12.51/3.88 tff(c_699, plain, (![U_13, V_14]: (~animate(U_13, V_14) | ~city(U_13, V_14)))).
% 12.51/3.88 tff(c_1043, plain, (~barrel('#skF_4', '#skF_11'))).
% 12.51/3.88 tff(c_1039, plain, (~barrel('#skF_4', '#skF_10'))).
% 12.51/3.88 tff(c_1028, plain, (~event('#skF_4', '#skF_11'))).
% 12.51/3.88 tff(c_1024, plain, (~event('#skF_4', '#skF_10'))).
% 12.51/3.88 tff(c_230, plain, (![X2_286, X1_285, W_281, Y_283, X_282, Z_284, X12_278, X13_279, X4_305, X14_287, V_280, X15_288, X5_306, X11_238]: (~in(X11_238, X5_306, V_280) | ~be(X11_238, X4_305, '#skF_15'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X5_306) | ~state(X11_238, X4_305) | ~young(X11_238, '#skF_16'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~fellow(X11_238, '#skF_16'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | member(X11_238, '#skF_18'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X1_285) | member(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X2_286) | ~behind(X11_238, X15_288, X15_288) | ~be(X11_238, X14_287, X12_278, X15_288) | ~state(X11_238, X14_287) | ~wheel(X11_238, X15_288) | ~group(X11_238, X2_286) | ~group(X11_238, X1_285) | ~two(X11_238, X1_285) | ~in(X11_238, Z_284, Y_283) | ~down(X11_238, Z_284, Y_283) | ~barrel(X11_238, Z_284) | ~present(X11_238, Z_284) | ~agent(X11_238, Z_284, W_281) | ~event(X11_238, Z_284) | ~lonely(X11_238, Y_283) | ~street(X11_238, Y_283) | ~placename(X11_238, X_282) | ~hollywood_placename(X11_238, X_282) | ~city(X11_238, Y_283) | ~of(X11_238, X_282, Y_283) | ~old(X11_238, W_281) | ~dirty(X11_238, W_281) | ~white(X11_238, W_281) | ~chevy(X11_238, W_281) | ~frontseat(X11_238, V_280) | ~forename(X11_238, X13_279) | ~jules_forename(X11_238, X13_279) | ~man(X11_238, X12_278) | ~of(X11_238, X13_279, X12_278) | ~actual_world(X11_238)))).
% 12.51/3.88 tff(c_1020, plain, (~eventuality('#skF_4', '#skF_11'))).
% 12.51/3.88 tff(c_1019, plain, (~eventuality('#skF_4', '#skF_10'))).
% 12.51/3.88 tff(c_798, plain, (![U_337, V_338]: (~eventuality(U_337, V_338) | ~group(U_337, V_338)))).
% 12.51/3.88 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)))).
% 12.51/3.88 tff(c_979, plain, (~artifact('#skF_4', '#skF_11'))).
% 12.51/3.88 tff(c_978, plain, (~city('#skF_4', '#skF_11'))).
% 12.51/3.88 tff(c_969, plain, (~city('#skF_4', '#skF_10'))).
% 12.51/3.88 tff(c_970, plain, (~artifact('#skF_4', '#skF_10'))).
% 12.51/3.88 tff(c_962, plain, (~entity('#skF_4', '#skF_11'))).
% 12.51/3.88 tff(c_232, plain, (![X2_286, X1_285, W_281, Y_283, X_282, Z_284, X12_278, X13_279, X14_287, V_280, X15_288, X11_238]: (member(X11_238, '#skF_15'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X1_285) | ~young(X11_238, '#skF_16'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~fellow(X11_238, '#skF_16'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | member(X11_238, '#skF_18'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X1_285) | member(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X2_286) | ~behind(X11_238, X15_288, X15_288) | ~be(X11_238, X14_287, X12_278, X15_288) | ~state(X11_238, X14_287) | ~wheel(X11_238, X15_288) | ~group(X11_238, X2_286) | ~group(X11_238, X1_285) | ~two(X11_238, X1_285) | ~in(X11_238, Z_284, Y_283) | ~down(X11_238, Z_284, Y_283) | ~barrel(X11_238, Z_284) | ~present(X11_238, Z_284) | ~agent(X11_238, Z_284, W_281) | ~event(X11_238, Z_284) | ~lonely(X11_238, Y_283) | ~street(X11_238, Y_283) | ~placename(X11_238, X_282) | ~hollywood_placename(X11_238, X_282) | ~city(X11_238, Y_283) | ~of(X11_238, X_282, Y_283) | ~old(X11_238, W_281) | ~dirty(X11_238, W_281) | ~white(X11_238, W_281) | ~chevy(X11_238, W_281) | ~frontseat(X11_238, V_280) | ~forename(X11_238, X13_279) | ~jules_forename(X11_238, X13_279) | ~man(X11_238, X12_278) | ~of(X11_238, X13_279, X12_278) | ~actual_world(X11_238)))).
% 12.51/3.88 tff(c_961, plain, (~entity('#skF_4', '#skF_10'))).
% 12.51/3.88 tff(c_819, plain, (![U_337, V_338]: (~entity(U_337, V_338) | ~group(U_337, V_338)))).
% 12.51/3.88 tff(c_803, plain, (![U_375, V_376]: (~location(U_375, V_376) | ~fellow(U_375, V_376)))).
% 12.51/3.88 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)))).
% 12.51/3.88 tff(c_944, plain, (~abstraction('#skF_4', '#skF_9'))).
% 12.51/3.88 tff(c_760, plain, (![U_97, V_98]: (~abstraction(U_97, V_98) | ~event(U_97, V_98)))).
% 12.51/3.88 tff(c_931, plain, (~artifact('#skF_4', '#skF_9'))).
% 12.51/3.88 tff(c_930, plain, (~city('#skF_4', '#skF_9'))).
% 12.51/3.88 tff(c_922, plain, (~entity('#skF_4', '#skF_9'))).
% 12.51/3.88 tff(c_240, plain, (![X2_286, X1_285, W_281, Y_283, X_282, Z_284, X12_278, X13_279, X14_287, V_280, X15_288, X11_238]: (member(X11_238, '#skF_15'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X1_285) | ~young(X11_238, '#skF_16'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | ~fellow(X11_238, '#skF_16'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281)) | member(X11_238, '#skF_17'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X2_286) | member(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X2_286) | ~behind(X11_238, X15_288, X15_288) | ~be(X11_238, X14_287, X12_278, X15_288) | ~state(X11_238, X14_287) | ~wheel(X11_238, X15_288) | ~group(X11_238, X2_286) | ~group(X11_238, X1_285) | ~two(X11_238, X1_285) | ~in(X11_238, Z_284, Y_283) | ~down(X11_238, Z_284, Y_283) | ~barrel(X11_238, Z_284) | ~present(X11_238, Z_284) | ~agent(X11_238, Z_284, W_281) | ~event(X11_238, Z_284) | ~lonely(X11_238, Y_283) | ~street(X11_238, Y_283) | ~placename(X11_238, X_282) | ~hollywood_placename(X11_238, X_282) | ~city(X11_238, Y_283) | ~of(X11_238, X_282, Y_283) | ~old(X11_238, W_281) | ~dirty(X11_238, W_281) | ~white(X11_238, W_281) | ~chevy(X11_238, W_281) | ~frontseat(X11_238, V_280) | ~forename(X11_238, X13_279) | ~jules_forename(X11_238, X13_279) | ~man(X11_238, X12_278) | ~of(X11_238, X13_279, X12_278) | ~actual_world(X11_238)))).
% 12.51/3.88 tff(c_808, plain, (![U_97, V_98]: (~entity(U_97, V_98) | ~event(U_97, V_98)))).
% 12.51/3.88 tff(c_908, plain, (~artifact('#skF_4', '#skF_2'('#skF_4', '#skF_10')))).
% 12.51/3.88 tff(c_907, plain, (~artifact('#skF_4', '#skF_3'('#skF_4', '#skF_10')))).
% 12.51/3.88 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)))).
% 12.51/3.88 tff(c_793, plain, (![U_375, V_376]: (~artifact(U_375, V_376) | ~fellow(U_375, V_376)))).
% 12.51/3.88 tff(c_899, plain, (~abstraction('#skF_4', '#skF_8'))).
% 12.51/3.88 tff(c_898, plain, (~abstraction('#skF_4', '#skF_5'))).
% 12.51/3.88 tff(c_878, plain, (![U_417, V_418]: (~abstraction(U_417, V_418) | ~artifact(U_417, V_418)))).
% 12.51/3.88 tff(c_531, plain, (![U_13, V_14]: (entity(U_13, V_14) | ~city(U_13, V_14)))).
% 12.51/3.88 tff(c_242, plain, (![X2_286, X1_285, W_281, Y_283, X_282, Z_284, X12_278, X13_279, X4_305, X14_287, V_280, X15_288, X5_306, X11_238]: (~in(X11_238, X5_306, V_280) | ~be(X11_238, X4_305, '#skF_15'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X5_306) | ~state(X11_238, X4_305) | member(X11_238, '#skF_16'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X1_285) | member(X11_238, '#skF_17'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X2_286) | member(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X2_286) | ~behind(X11_238, X15_288, X15_288) | ~be(X11_238, X14_287, X12_278, X15_288) | ~state(X11_238, X14_287) | ~wheel(X11_238, X15_288) | ~group(X11_238, X2_286) | ~group(X11_238, X1_285) | ~two(X11_238, X1_285) | ~in(X11_238, Z_284, Y_283) | ~down(X11_238, Z_284, Y_283) | ~barrel(X11_238, Z_284) | ~present(X11_238, Z_284) | ~agent(X11_238, Z_284, W_281) | ~event(X11_238, Z_284) | ~lonely(X11_238, Y_283) | ~street(X11_238, Y_283) | ~placename(X11_238, X_282) | ~hollywood_placename(X11_238, X_282) | ~city(X11_238, Y_283) | ~of(X11_238, X_282, Y_283) | ~old(X11_238, W_281) | ~dirty(X11_238, W_281) | ~white(X11_238, W_281) | ~chevy(X11_238, W_281) | ~frontseat(X11_238, V_280) | ~forename(X11_238, X13_279) | ~jules_forename(X11_238, X13_279) | ~man(X11_238, X12_278) | ~of(X11_238, X13_279, X12_278) | ~actual_world(X11_238)))).
% 12.51/3.88 tff(c_488, plain, (![U_19, V_20]: (~entity(U_19, V_20) | ~abstraction(U_19, V_20)))).
% 12.51/3.88 tff(c_865, plain, (~animate('#skF_4', '#skF_5'))).
% 12.51/3.88 tff(c_855, plain, (artifact('#skF_4', '#skF_5'))).
% 12.51/3.88 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)))).
% 12.51/3.88 tff(c_544, plain, (![U_486, V_487]: (artifact(U_486, V_487) | ~frontseat(U_486, V_487)))).
% 12.51/3.88 tff(c_850, plain, (~animate('#skF_4', '#skF_8'))).
% 12.51/3.88 tff(c_502, plain, (![U_458, V_459]: (~animate(U_458, V_459) | ~artifact(U_458, V_459)))).
% 12.51/3.88 tff(c_845, plain, (abstraction('#skF_4', '#skF_7'))).
% 12.51/3.88 tff(c_519, plain, (![U_466, V_467]: (abstraction(U_466, V_467) | ~placename(U_466, V_467)))).
% 12.51/3.88 tff(c_234, plain, (![X2_286, X1_285, W_281, Y_283, X_282, Z_284, X12_278, X13_279, X4_305, X14_287, V_280, X15_288, X5_306, X11_238]: (~in(X11_238, X5_306, V_280) | ~be(X11_238, X4_305, '#skF_15'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X5_306) | ~state(X11_238, X4_305) | member(X11_238, '#skF_16'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X1_285) | member(X11_238, '#skF_18'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X1_285) | member(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X2_286) | ~behind(X11_238, X15_288, X15_288) | ~be(X11_238, X14_287, X12_278, X15_288) | ~state(X11_238, X14_287) | ~wheel(X11_238, X15_288) | ~group(X11_238, X2_286) | ~group(X11_238, X1_285) | ~two(X11_238, X1_285) | ~in(X11_238, Z_284, Y_283) | ~down(X11_238, Z_284, Y_283) | ~barrel(X11_238, Z_284) | ~present(X11_238, Z_284) | ~agent(X11_238, Z_284, W_281) | ~event(X11_238, Z_284) | ~lonely(X11_238, Y_283) | ~street(X11_238, Y_283) | ~placename(X11_238, X_282) | ~hollywood_placename(X11_238, X_282) | ~city(X11_238, Y_283) | ~of(X11_238, X_282, Y_283) | ~old(X11_238, W_281) | ~dirty(X11_238, W_281) | ~white(X11_238, W_281) | ~chevy(X11_238, W_281) | ~frontseat(X11_238, V_280) | ~forename(X11_238, X13_279) | ~jules_forename(X11_238, X13_279) | ~man(X11_238, X12_278) | ~of(X11_238, X13_279, X12_278) | ~actual_world(X11_238)))).
% 12.51/3.88 tff(c_503, plain, (![U_458, V_459]: (~living(U_458, V_459) | ~artifact(U_458, V_459)))).
% 12.51/3.88 tff(c_612, plain, (![U_500, V_501]: (~multiple(U_500, V_501) | ~abstraction(U_500, V_501)))).
% 12.51/3.88 tff(c_537, plain, (![U_480, V_481]: (~multiple(U_480, V_481) | ~entity(U_480, V_481)))).
% 12.51/3.89 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)))).
% 12.51/3.89 tff(c_553, plain, (![U_488, V_489]: (human(U_488, V_489) | ~fellow(U_488, V_489)))).
% 12.51/3.89 tff(c_514, plain, (![U_81, V_82]: (~eventuality(U_81, V_82) | ~entity(U_81, V_82)))).
% 12.51/3.89 tff(c_606, plain, (![U_11, V_12]: (~male(U_11, V_12) | ~location(U_11, V_12)))).
% 12.51/3.89 tff(c_688, plain, (![U_522, V_523]: (~multiple(U_522, V_523) | ~eventuality(U_522, V_523)))).
% 12.51/3.89 tff(c_605, plain, (![U_89, V_90]: (~male(U_89, V_90) | ~artifact(U_89, V_90)))).
% 12.51/3.89 tff(c_236, plain, (![X2_286, X1_285, W_281, Y_283, X_282, Z_284, X12_278, X13_279, X14_287, V_280, X15_288, X11_238]: (member(X11_238, '#skF_15'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X1_285) | member(X11_238, '#skF_16'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X1_285) | member(X11_238, '#skF_18'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X1_285) | member(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X2_286) | ~behind(X11_238, X15_288, X15_288) | ~be(X11_238, X14_287, X12_278, X15_288) | ~state(X11_238, X14_287) | ~wheel(X11_238, X15_288) | ~group(X11_238, X2_286) | ~group(X11_238, X1_285) | ~two(X11_238, X1_285) | ~in(X11_238, Z_284, Y_283) | ~down(X11_238, Z_284, Y_283) | ~barrel(X11_238, Z_284) | ~present(X11_238, Z_284) | ~agent(X11_238, Z_284, W_281) | ~event(X11_238, Z_284) | ~lonely(X11_238, Y_283) | ~street(X11_238, Y_283) | ~placename(X11_238, X_282) | ~hollywood_placename(X11_238, X_282) | ~city(X11_238, Y_283) | ~of(X11_238, X_282, Y_283) | ~old(X11_238, W_281) | ~dirty(X11_238, W_281) | ~white(X11_238, W_281) | ~chevy(X11_238, W_281) | ~frontseat(X11_238, V_280) | ~forename(X11_238, X13_279) | ~jules_forename(X11_238, X13_279) | ~man(X11_238, X12_278) | ~of(X11_238, X13_279, X12_278) | ~actual_world(X11_238)))).
% 12.51/3.89 tff(c_508, plain, (![U_460, V_461]: (instrumentality(U_460, V_461) | ~car(U_460, V_461)))).
% 12.51/3.89 tff(c_771, plain, (animate('#skF_4', '#skF_2'('#skF_4', '#skF_10')))).
% 12.51/3.89 tff(c_770, plain, (animate('#skF_4', '#skF_3'('#skF_4', '#skF_10')))).
% 12.51/3.89 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)))).
% 12.51/3.89 tff(c_552, plain, (![U_488, V_489]: (animate(U_488, V_489) | ~fellow(U_488, V_489)))).
% 12.51/3.89 tff(c_597, plain, (![U_494, V_495]: (abstraction(U_494, V_495) | ~forename(U_494, V_495)))).
% 12.51/3.89 tff(c_617, plain, (![U_13, V_14]: (impartial(U_13, V_14) | ~city(U_13, V_14)))).
% 12.51/3.89 tff(c_493, plain, (![U_19, V_20]: (~eventuality(U_19, V_20) | ~abstraction(U_19, V_20)))).
% 12.51/3.89 tff(c_667, plain, (![U_512, V_513]: (~living(U_512, V_513) | ~location(U_512, V_513)))).
% 12.51/3.89 tff(c_244, plain, (![X2_286, X1_285, W_281, Y_283, X_282, Z_284, X12_278, X13_279, X14_287, V_280, X15_288, X11_238]: (member(X11_238, '#skF_15'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X1_285) | member(X11_238, '#skF_16'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X1_285) | member(X11_238, '#skF_17'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X2_286) | member(X11_238, '#skF_19'(X15_288, Z_284, X14_287, Y_283, X13_279, X_282, X12_278, X11_238, X2_286, X1_285, V_280, W_281), X2_286) | ~behind(X11_238, X15_288, X15_288) | ~be(X11_238, X14_287, X12_278, X15_288) | ~state(X11_238, X14_287) | ~wheel(X11_238, X15_288) | ~group(X11_238, X2_286) | ~group(X11_238, X1_285) | ~two(X11_238, X1_285) | ~in(X11_238, Z_284, Y_283) | ~down(X11_238, Z_284, Y_283) | ~barrel(X11_238, Z_284) | ~present(X11_238, Z_284) | ~agent(X11_238, Z_284, W_281) | ~event(X11_238, Z_284) | ~lonely(X11_238, Y_283) | ~street(X11_238, Y_283) | ~placename(X11_238, X_282) | ~hollywood_placename(X11_238, X_282) | ~city(X11_238, Y_283) | ~of(X11_238, X_282, Y_283) | ~old(X11_238, W_281) | ~dirty(X11_238, W_281) | ~white(X11_238, W_281) | ~chevy(X11_238, W_281) | ~frontseat(X11_238, V_280) | ~forename(X11_238, X13_279) | ~jules_forename(X11_238, X13_279) | ~man(X11_238, X12_278) | ~of(X11_238, X13_279, X12_278) | ~actual_world(X11_238)))).
% 12.51/3.89 tff(c_749, plain, (~abstraction('#skF_4', '#skF_2'('#skF_4', '#skF_10')))).
% 12.51/3.89 tff(c_748, plain, (~abstraction('#skF_4', '#skF_3'('#skF_4', '#skF_10')))).
% 12.51/3.89 tff(c_676, plain, (![U_516, V_517]: (~abstraction(U_516, V_517) | ~fellow(U_516, V_517)))).
% 12.51/3.89 tff(c_258, plain, (![X7_231, X8_235]: (patient('#skF_4', '#skF_14'(X7_231, X8_235), X7_231) | ~member('#skF_4', X8_235, '#skF_10') | ~member('#skF_4', X7_231, '#skF_11')))).
% 12.51/3.89 tff(c_735, plain, (entity('#skF_4', '#skF_2'('#skF_4', '#skF_10')))).
% 12.51/3.89 tff(c_734, plain, (entity('#skF_4', '#skF_3'('#skF_4', '#skF_10')))).
% 12.51/3.89 tff(c_657, plain, (![U_63, V_64]: (entity(U_63, V_64) | ~fellow(U_63, V_64)))).
% 12.51/3.89 tff(c_721, plain, (~barrel('#skF_4', '#skF_3'('#skF_4', '#skF_10')))).
% 12.51/3.89 tff(c_725, plain, (~barrel('#skF_4', '#skF_2'('#skF_4', '#skF_10')))).
% 12.51/3.89 tff(c_260, plain, (![X7_231, X8_235]: (agent('#skF_4', '#skF_14'(X7_231, X8_235), X8_235) | ~member('#skF_4', X8_235, '#skF_10') | ~member('#skF_4', X7_231, '#skF_11')))).
% 12.51/3.89 tff(c_717, plain, (~event('#skF_4', '#skF_2'('#skF_4', '#skF_10')))).
% 12.51/3.89 tff(c_712, plain, (~event('#skF_4', '#skF_3'('#skF_4', '#skF_10')))).
% 12.51/3.89 tff(c_708, plain, (~eventuality('#skF_4', '#skF_2'('#skF_4', '#skF_10')))).
% 12.51/3.89 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)))).
% 12.51/3.89 tff(c_707, plain, (~eventuality('#skF_4', '#skF_3'('#skF_4', '#skF_10')))).
% 12.51/3.89 tff(c_677, plain, (![U_516, V_517]: (~eventuality(U_516, V_517) | ~fellow(U_516, V_517)))).
% 12.51/3.89 tff(c_666, plain, (![U_512, V_513]: (~animate(U_512, V_513) | ~location(U_512, V_513)))).
% 12.51/3.89 tff(c_682, plain, ('#skF_3'('#skF_4', '#skF_10')!='#skF_2'('#skF_4', '#skF_10'))).
% 12.51/3.89 tff(c_693, plain, (artifact('#skF_4', '#skF_8'))).
% 12.51/3.89 tff(c_254, plain, (![X7_231, X8_235]: (nonreflexive('#skF_4', '#skF_14'(X7_231, X8_235)) | ~member('#skF_4', X8_235, '#skF_10') | ~member('#skF_4', X7_231, '#skF_11')))).
% 12.51/3.89 tff(c_309, plain, (![U_41, V_42]: (artifact(U_41, V_42) | ~street(U_41, V_42)))).
% 12.51/3.89 tff(c_391, plain, (![U_109, V_110]: (singleton(U_109, V_110) | ~eventuality(U_109, V_110)))).
% 12.51/3.89 tff(c_303, plain, (![U_337, V_338]: (multiple(U_337, V_338) | ~group(U_337, V_338)))).
% 12.51/3.89 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)))).
% 12.51/3.89 tff(c_339, plain, (![U_375, V_376]: (male(U_375, V_376) | ~fellow(U_375, V_376)))).
% 12.51/3.89 tff(c_365, plain, (![U_59, V_60]: (living(U_59, V_60) | ~human_person(U_59, V_60)))).
% 12.51/3.89 tff(c_331, plain, (![U_11, V_12]: (nonliving(U_11, V_12) | ~location(U_11, V_12)))).
% 12.51/3.89 tff(c_412, plain, (![U_417, V_418]: (impartial(U_417, V_418) | ~artifact(U_417, V_418)))).
% 12.51/3.89 tff(c_286, plain, (![U_322, V_323]: (entity(U_322, V_323) | ~human_person(U_322, V_323)))).
% 12.51/3.89 tff(c_256, plain, (![X7_231, X8_235]: (present('#skF_4', '#skF_14'(X7_231, X8_235)) | ~member('#skF_4', X8_235, '#skF_10') | ~member('#skF_4', X7_231, '#skF_11')))).
% 12.51/3.89 tff(c_651, plain, (~old('#skF_4', '#skF_3'('#skF_4', '#skF_10')))).
% 12.51/3.89 tff(c_645, plain, (young('#skF_4', '#skF_3'('#skF_4', '#skF_10')))).
% 12.51/3.89 tff(c_641, plain, (fellow('#skF_4', '#skF_3'('#skF_4', '#skF_10')))).
% 12.51/3.89 tff(c_140, plain, (![U_141, V_142]: (member(U_141, '#skF_3'(U_141, V_142), V_142) | ~two(U_141, V_142)))).
% 12.51/3.89 tff(c_351, plain, (![U_11, V_12]: (impartial(U_11, V_12) | ~location(U_11, V_12)))).
% 12.51/3.89 tff(c_400, plain, (![U_415, V_416]: (singleton(U_415, V_416) | ~abstraction(U_415, V_416)))).
% 12.51/3.89 tff(c_411, plain, (![U_417, V_418]: (entity(U_417, V_418) | ~artifact(U_417, V_418)))).
% 12.51/3.89 tff(c_356, plain, (![U_75, V_76]: (~male(U_75, V_76) | ~object(U_75, V_76)))).
% 12.51/3.89 tff(c_344, plain, (![U_377, V_378]: (relation(U_377, V_378) | ~forename(U_377, V_378)))).
% 12.51/3.89 tff(c_252, plain, (![X7_231, X8_235]: (wear('#skF_4', '#skF_14'(X7_231, X8_235)) | ~member('#skF_4', X8_235, '#skF_10') | ~member('#skF_4', X7_231, '#skF_11')))).
% 12.51/3.89 tff(c_587, plain, (~old('#skF_4', '#skF_2'('#skF_4', '#skF_10')))).
% 12.51/3.89 tff(c_581, plain, (young('#skF_4', '#skF_2'('#skF_4', '#skF_10')))).
% 12.51/3.89 tff(c_577, plain, (fellow('#skF_4', '#skF_2'('#skF_4', '#skF_10')))).
% 12.51/3.89 tff(c_142, plain, (![U_141, V_142]: (member(U_141, '#skF_2'(U_141, V_142), V_142) | ~two(U_141, V_142)))).
% 12.51/3.89 tff(c_428, plain, (![U_63, V_64]: (human_person(U_63, V_64) | ~fellow(U_63, V_64)))).
% 12.51/3.89 tff(c_445, plain, (![U_9, V_10]: (furniture(U_9, V_10) | ~frontseat(U_9, V_10)))).
% 12.51/3.89 tff(c_453, plain, (![U_93, V_94]: (artifact(U_93, V_94) | ~device(U_93, V_94)))).
% 12.51/3.89 tff(c_454, plain, (![U_5, V_6]: (artifact(U_5, V_6) | ~furniture(U_5, V_6)))).
% 12.51/3.89 tff(c_392, plain, (![U_85, V_86]: (singleton(U_85, V_86) | ~entity(U_85, V_86)))).
% 12.51/3.89 tff(c_262, plain, (![X7_231, X8_235]: (event('#skF_4', '#skF_14'(X7_231, X8_235)) | ~member('#skF_4', X8_235, '#skF_10') | ~member('#skF_4', X7_231, '#skF_11')))).
% 12.51/3.89 tff(c_383, plain, (![U_11, V_12]: (entity(U_11, V_12) | ~location(U_11, V_12)))).
% 12.51/3.89 tff(c_378, plain, (![U_403, V_404]: (~male(U_403, V_404) | ~abstraction(U_403, V_404)))).
% 12.51/3.89 tff(c_370, plain, (![U_21, V_22]: (~human(U_21, V_22) | ~abstraction(U_21, V_22)))).
% 12.51/3.89 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)))).
% 12.51/3.89 tff(c_459, plain, (![U_436, V_437]: (relation(U_436, V_437) | ~placename(U_436, V_437)))).
% 12.51/3.89 tff(c_482, plain, (![U_103, V_104]: (~existent(U_103, V_104) | ~eventuality(U_103, V_104)))).
% 12.51/3.89 tff(c_423, plain, (![U_59, V_60]: (impartial(U_59, V_60) | ~human_person(U_59, V_60)))).
% 12.51/3.89 tff(c_434, plain, (![U_35, V_36]: (transport(U_35, V_36) | ~car(U_35, V_36)))).
% 12.51/3.89 tff(c_413, plain, (![U_417, V_418]: (nonliving(U_417, V_418) | ~artifact(U_417, V_418)))).
% 12.51/3.89 tff(c_270, plain, (![X3_227]: (be('#skF_4', '#skF_12'(X3_227), X3_227, '#skF_13'(X3_227)) | ~member('#skF_4', X3_227, '#skF_10')))).
% 12.51/3.89 tff(c_439, plain, (![U_428, V_429]: (~general(U_428, V_429) | ~eventuality(U_428, V_429)))).
% 12.51/3.89 tff(c_471, plain, (![U_443, V_444]: (~general(U_443, V_444) | ~entity(U_443, V_444)))).
% 12.51/3.89 tff(c_477, plain, (![U_447, V_448]: (~male(U_447, V_448) | ~eventuality(U_447, V_448)))).
% 12.51/3.89 tff(c_116, plain, (![U_115, V_116]: (~nonexistent(U_115, V_116) | ~existent(U_115, V_116)))).
% 12.51/3.89 tff(c_102, plain, (![U_101, V_102]: (unisex(U_101, V_102) | ~eventuality(U_101, V_102)))).
% 12.51/3.89 tff(c_114, plain, (![U_113, V_114]: (~nonliving(U_113, V_114) | ~animate(U_113, V_114)))).
% 12.51/3.89 tff(c_84, plain, (![U_83, V_84]: (specific(U_83, V_84) | ~entity(U_83, V_84)))).
% 12.51/3.89 tff(c_112, plain, (![U_111, V_112]: (eventuality(U_111, V_112) | ~state(U_111, V_112)))).
% 12.51/3.89 tff(c_98, plain, (![U_97, V_98]: (eventuality(U_97, V_98) | ~event(U_97, V_98)))).
% 12.51/3.89 tff(c_268, plain, (![X3_227]: (in('#skF_4', '#skF_13'(X3_227), '#skF_5') | ~member('#skF_4', X3_227, '#skF_10')))).
% 12.51/3.89 tff(c_30, plain, (![U_29, V_30]: (relname(U_29, V_30) | ~placename(U_29, V_30)))).
% 12.51/3.89 tff(c_92, plain, (![U_91, V_92]: (artifact(U_91, V_92) | ~instrumentality(U_91, V_92)))).
% 12.51/3.89 tff(c_8, plain, (![U_7, V_8]: (furniture(U_7, V_8) | ~seat(U_7, V_8)))).
% 12.51/3.89 tff(c_104, plain, (![U_103, V_104]: (nonexistent(U_103, V_104) | ~eventuality(U_103, V_104)))).
% 12.51/3.89 tff(c_106, plain, (![U_105, V_106]: (specific(U_105, V_106) | ~eventuality(U_105, V_106)))).
% 12.51/3.89 tff(c_34, plain, (![U_33, V_34]: (transport(U_33, V_34) | ~vehicle(U_33, V_34)))).
% 12.51/3.89 tff(c_32, plain, (![U_31, V_32]: (instrumentality(U_31, V_32) | ~transport(U_31, V_32)))).
% 12.51/3.89 tff(c_62, plain, (![U_61, V_62]: (human_person(U_61, V_62) | ~man(U_61, V_62)))).
% 12.51/3.89 tff(c_56, plain, (![U_55, V_56]: (impartial(U_55, V_56) | ~organism(U_55, V_56)))).
% 12.51/3.89 tff(c_272, plain, (![X3_227]: (state('#skF_4', '#skF_12'(X3_227)) | ~member('#skF_4', X3_227, '#skF_10')))).
% 12.51/3.89 tff(c_90, plain, (![U_89, V_90]: (object(U_89, V_90) | ~artifact(U_89, V_90)))).
% 12.51/3.89 tff(c_24, plain, (![U_23, V_24]: (thing(U_23, V_24) | ~abstraction(U_23, V_24)))).
% 12.51/3.89 tff(c_66, plain, (![U_65, V_66]: (event(U_65, V_66) | ~wear(U_65, V_66)))).
% 12.51/3.89 tff(c_96, plain, (![U_95, V_96]: (device(U_95, V_96) | ~wheel(U_95, V_96)))).
% 12.51/3.89 tff(c_100, plain, (![U_99, V_100]: (event(U_99, V_100) | ~state(U_99, V_100)))).
% 12.51/3.89 tff(c_108, plain, (![U_107, V_108]: (singleton(U_107, V_108) | ~thing(U_107, V_108)))).
% 12.51/3.89 tff(c_88, plain, (![U_87, V_88]: (entity(U_87, V_88) | ~object(U_87, V_88)))).
% 12.51/3.89 tff(c_18, plain, (![U_17, V_18]: (unisex(U_17, V_18) | ~abstraction(U_17, V_18)))).
% 12.51/3.89 tff(c_10, plain, (![U_9, V_10]: (seat(U_9, V_10) | ~frontseat(U_9, V_10)))).
% 12.51/3.89 tff(c_266, plain, (![X6_230]: (fellow('#skF_4', X6_230) | ~member('#skF_4', X6_230, '#skF_10')))).
% 12.51/3.89 tff(c_110, plain, (![U_109, V_110]: (thing(U_109, V_110) | ~eventuality(U_109, V_110)))).
% 12.51/3.89 tff(c_118, plain, (![U_117, V_118]: (~human(U_117, V_118) | ~nonhuman(U_117, V_118)))).
% 12.51/3.90 tff(c_54, plain, (![U_53, V_54]: (living(U_53, V_54) | ~organism(U_53, V_54)))).
% 12.51/3.90 tff(c_94, plain, (![U_93, V_94]: (instrumentality(U_93, V_94) | ~device(U_93, V_94)))).
% 12.51/3.90 tff(c_36, plain, (![U_35, V_36]: (vehicle(U_35, V_36) | ~car(U_35, V_36)))).
% 12.51/3.90 tff(c_82, plain, (![U_81, V_82]: (existent(U_81, V_82) | ~entity(U_81, V_82)))).
% 12.51/3.90 tff(c_74, plain, (![U_73, V_74]: (clothes(U_73, V_74) | ~coat(U_73, V_74)))).
% 12.51/3.90 tff(c_126, plain, (![U_125, V_126]: (~male(U_125, V_126) | ~unisex(U_125, V_126)))).
% 12.51/3.90 tff(c_78, plain, (![U_77, V_78]: (impartial(U_77, V_78) | ~object(U_77, V_78)))).
% 12.51/3.90 tff(c_246, plain, (![X10_237]: (cheap('#skF_4', X10_237) | ~member('#skF_4', X10_237, '#skF_11')))).
% 12.51/3.90 tff(c_50, plain, (![U_49, V_50]: (animate(U_49, V_50) | ~human_person(U_49, V_50)))).
% 12.51/3.90 tff(c_4, plain, (![U_3, V_4]: (relname(U_3, V_4) | ~forename(U_3, V_4)))).
% 12.51/3.90 tff(c_64, plain, (![U_63, V_64]: (man(U_63, V_64) | ~fellow(U_63, V_64)))).
% 12.51/3.90 tff(c_86, plain, (![U_85, V_86]: (thing(U_85, V_86) | ~entity(U_85, V_86)))).
% 12.51/3.90 tff(c_14, plain, (![U_13, V_14]: (location(U_13, V_14) | ~city(U_13, V_14)))).
% 12.51/3.90 tff(c_76, plain, (![U_75, V_76]: (unisex(U_75, V_76) | ~object(U_75, V_76)))).
% 12.51/3.90 tff(c_80, plain, (![U_79, V_80]: (nonliving(U_79, V_80) | ~object(U_79, V_80)))).
% 12.51/3.90 tff(c_22, plain, (![U_21, V_22]: (nonhuman(U_21, V_22) | ~abstraction(U_21, V_22)))).
% 12.51/3.90 tff(c_72, plain, (![U_71, V_72]: (artifact(U_71, V_72) | ~clothes(U_71, V_72)))).
% 12.51/3.90 tff(c_264, plain, (![X6_230]: (young('#skF_4', X6_230) | ~member('#skF_4', X6_230, '#skF_10')))).
% 12.51/3.90 tff(c_44, plain, (![U_43, V_44]: (event(U_43, V_44) | ~barrel(U_43, V_44)))).
% 12.51/3.90 tff(c_120, plain, (![U_119, V_120]: (~living(U_119, V_120) | ~nonliving(U_119, V_120)))).
% 12.51/3.90 tff(c_6, plain, (![U_5, V_6]: (instrumentality(U_5, V_6) | ~furniture(U_5, V_6)))).
% 12.51/3.90 tff(c_122, plain, (![U_121, V_122]: (~multiple(U_121, V_122) | ~singleton(U_121, V_122)))).
% 12.51/3.90 tff(c_124, plain, (![U_123, V_124]: (~general(U_123, V_124) | ~specific(U_123, V_124)))).
% 12.51/3.90 tff(c_26, plain, (![U_25, V_26]: (abstraction(U_25, V_26) | ~relation(U_25, V_26)))).
% 12.51/3.90 tff(c_317, plain, (car('#skF_4', '#skF_6'))).
% 12.51/3.90 tff(c_38, plain, (![U_37, V_38]: (car(U_37, V_38) | ~chevy(U_37, V_38)))).
% 12.51/3.90 tff(c_130, plain, (![U_129, V_130]: (~old(U_129, V_130) | ~young(U_129, V_130)))).
% 12.51/3.90 tff(c_248, plain, (![X10_237]: (black('#skF_4', X10_237) | ~member('#skF_4', X10_237, '#skF_11')))).
% 12.51/3.90 tff(c_28, plain, (![U_27, V_28]: (relation(U_27, V_28) | ~relname(U_27, V_28)))).
% 12.51/3.90 tff(c_40, plain, (![U_39, V_40]: (artifact(U_39, V_40) | ~way(U_39, V_40)))).
% 12.51/3.90 tff(c_16, plain, (![U_15, V_16]: (placename(U_15, V_16) | ~hollywood_placename(U_15, V_16)))).
% 12.51/3.90 tff(c_70, plain, (![U_69, V_70]: (set(U_69, V_70) | ~group(U_69, V_70)))).
% 12.51/3.90 tff(c_42, plain, (![U_41, V_42]: (way(U_41, V_42) | ~street(U_41, V_42)))).
% 12.51/3.90 tff(c_68, plain, (![U_67, V_68]: (multiple(U_67, V_68) | ~set(U_67, V_68)))).
% 12.51/3.90 tff(c_2, plain, (![U_1, V_2]: (forename(U_1, V_2) | ~jules_forename(U_1, V_2)))).
% 12.51/3.90 tff(c_52, plain, (![U_51, V_52]: (human(U_51, V_52) | ~human_person(U_51, V_52)))).
% 12.51/3.90 tff(c_46, plain, (![U_45, V_46]: (group(U_45, V_46) | ~two(U_45, V_46)))).
% 12.51/3.90 tff(c_250, plain, (![X10_237]: (coat('#skF_4', X10_237) | ~member('#skF_4', X10_237, '#skF_11')))).
% 12.51/3.90 tff(c_48, plain, (![U_47, V_48]: (male(U_47, V_48) | ~man(U_47, V_48)))).
% 12.51/3.90 tff(c_60, plain, (![U_59, V_60]: (organism(U_59, V_60) | ~human_person(U_59, V_60)))).
% 12.51/3.90 tff(c_280, plain, (~black('#skF_4', '#skF_6'))).
% 12.51/3.90 tff(c_20, plain, (![U_19, V_20]: (general(U_19, V_20) | ~abstraction(U_19, V_20)))).
% 12.51/3.90 tff(c_128, plain, (![U_127, V_128]: (~black(U_127, V_128) | ~white(U_127, V_128)))).
% 12.51/3.90 tff(c_12, plain, (![U_11, V_12]: (object(U_11, V_12) | ~location(U_11, V_12)))).
% 12.51/3.90 tff(c_58, plain, (![U_57, V_58]: (entity(U_57, V_58) | ~organism(U_57, V_58)))).
% 12.51/3.90 tff(c_170, plain, (agent('#skF_4', '#skF_9', '#skF_6'))).
% 12.51/3.90 tff(c_184, plain, (of('#skF_4', '#skF_7', '#skF_8'))).
% 12.51/3.90 tff(c_164, plain, (down('#skF_4', '#skF_9', '#skF_8'))).
% 12.51/3.90 tff(c_162, plain, (in('#skF_4', '#skF_9', '#skF_8'))).
% 12.51/3.90 tff(c_152, plain, (![U_172, V_173]: (~member(U_172, V_173, V_173)))).
% 12.51/3.90 tff(c_176, plain, (street('#skF_4', '#skF_8'))).
% 12.51/3.90 tff(c_158, plain, (group('#skF_4', '#skF_10'))).
% 12.51/3.90 tff(c_160, plain, (two('#skF_4', '#skF_10'))).
% 12.51/3.90 tff(c_166, plain, (barrel('#skF_4', '#skF_9'))).
% 12.51/3.90 tff(c_168, plain, (present('#skF_4', '#skF_9'))).
% 12.51/3.90 tff(c_172, plain, (event('#skF_4', '#skF_9'))).
% 12.51/3.90 tff(c_174, plain, (lonely('#skF_4', '#skF_8'))).
% 12.51/3.90 tff(c_156, plain, (group('#skF_4', '#skF_11'))).
% 12.51/3.90 tff(c_182, plain, (city('#skF_4', '#skF_8'))).
% 12.51/3.90 tff(c_180, plain, (hollywood_placename('#skF_4', '#skF_7'))).
% 12.51/3.90 tff(c_178, plain, (placename('#skF_4', '#skF_7'))).
% 12.51/3.90 tff(c_186, plain, (old('#skF_4', '#skF_6'))).
% 12.51/3.90 tff(c_188, plain, (dirty('#skF_4', '#skF_6'))).
% 12.51/3.90 tff(c_190, plain, (white('#skF_4', '#skF_6'))).
% 12.51/3.90 tff(c_192, plain, (chevy('#skF_4', '#skF_6'))).
% 12.51/3.90 tff(c_194, plain, (frontseat('#skF_4', '#skF_5'))).
% 12.51/3.90 tff(c_196, plain, (actual_world('#skF_4'))).
% 12.51/3.90 % SZS output end Saturation for /export/starexec/sandbox/benchmark/theBenchmark.p
% 12.51/3.90
%------------------------------------------------------------------------------