%------------------------------------------------------------------------------ % File : FDP---0.9.16 % Problem : NLP240-1 : TPTP v5.0.0. Released v2.4.0. % Transfm : add_equality % Format : protein % Command : fdp-casc %s %d % Computer : art11.cs.miami.edu % Model : i686 i686 % CPU : Intel(R) Pentium(R) 4 CPU 3.00GHz @ 3000MHz % Memory : 2006MB % OS : Linux 2.6.31.5-127.fc12.i686.PAE % CPULimit : 300s % DateTime : Sun Jan 9 23:11:30 EST 2011 % Result : Satisfiable 137.48s % Output : Assurance 137.48s % Verified : % SZS Type : None (Parsing solution fails) % Syntax : Number of formulae : 0 % Comments : %------------------------------------------------------------------------------ %----NO SOLUTION OUTPUT BY SYSTEM %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % o===================================o % | EQuality TRAnsFOrmation | % | bthomas@informatik.uni-koblenz.de | % o===================================o % $Revision: 1.14 $ % reading /tmp/NLP240-1+eq_rstfp.tme % result written to : /tmp/NLP240-1+eq_rstfp-eqt.tme % FDPLL - A First-Order Davis-Putnam Theorem Prover % Version 0.9.16 (26/06/2002) % Proving /tmp/NLP240-1+eq_rstfp-eqt ... % Done. % Input File...............: /tmp/NLP240-1+eq_rstfp-eqt.tme % System...................: Linux art11.cs.miami.edu 2.6.31.5-127.fc12.i686.PAE #1 SMP Sat Nov 7 21:25:57 EST 2009 i686 i686 i386 GNU/Linux % Automatic mode...........: on % Time limit...............: 300 seconds % Current restart interval.: 157 seconds % Restart with =-axioms....: 225 seconds % Initial interpretation...: [+(_1041)] % Clause set type..........: Horn, with equality % Equality transformation..: on % Non-constant functions...: yes % Term depth settings......: 3/2 (Init/Increment) % unit_extend..............: on % splitting type...........: exact % Final tree statistics: % Tree for clause set......: with equality transformation applied % # Restarts...............: 0 % Term depth limit.........: 5 % # Splits.................: 0 % # Commits................: 0 % # Unit extension steps...: 1340 % # Unit back subsumptions.: 0 % # Branches closed........: 0 % # Level cuts.............: 0 % Time.....................: 136.96 seconds. % Result...................: SATISFIABLE with model: % -(tpos(skc19, skf1(V_2447_1115))) % -(tpos(skc17, skf1(V_2447_1125))) % -(tpos(skc23, skf1(V_2447_1135))) % -(tpos(skc26, skf1(V_2447_1145))) % -(skc17(skf1(V_2447_1154))) % -(skc19(skf1(V_2447_1163))) % -(skc23(skf1(V_2447_1172))) % -(skc26(skf1(V_2447_1181))) % -(jules_forename(skc14, skf1(V_2447_1191))) % -(vincent_forename(skc14, skf1(V_2447_1201))) % -(tpos(skc24, skf1(V_2447_1211))) % -(tpos(skc15, skf1(V_2447_1221))) % -(be(U_2501_1231, V_2502_1232, skf1(V_2447_1235), skc17)) % -(be(U_2479_1245, V_2480_1246, skc17, skf1(V_2447_1249))) % -(be(U_2501_1259, V_2502_1260, skf1(V_2447_1263), skc19)) % -(be(U_2479_1273, V_2480_1274, skc19, skf1(V_2447_1277))) % -(be(U_2501_1287, V_2502_1288, skc19, skc20)) % -(be(U_2479_1298, V_2480_1299, skc20, skc19)) % -(be(U_2501_1309, V_2502_1310, skc17, skc20)) % -(be(U_2479_1320, V_2480_1321, skc20, skc17)) % -(be(U_2501_1331, V_2502_1332, skc20, skc23)) % -(be(U_2479_1342, V_2480_1343, skc23, skc20)) % -(be(U_2501_1353, V_2502_1354, skf1(V_2447_1357), skc23)) % -(be(U_2479_1367, V_2480_1368, skc23, skf1(V_2447_1371))) % -(be(U_2501_1381, V_2502_1382, skc20, skc26)) % -(be(U_2479_1392, V_2480_1393, skc26, skc20)) % -(be(U_2501_1403, V_2502_1404, skf1(V_2447_1407), skc26)) % -(be(U_2479_1417, V_2480_1418, skc26, skf1(V_2447_1421))) % -(forename(skc14, skf1(V_2447_1431))) % -(jules_forename(skc24, skf1(V_2447_1441))) % -(vincent_forename(skc24, skf1(V_2447_1451))) % -(skc24(skf1(V_2447_1460))) % -(skc15(skf1(V_2447_1469))) % -(be(U_2501_1479, V_2502_1480, skf1(V_2447_1483), skc24)) % -(be(U_2479_1493, V_2480_1494, skc24, skf1(V_2447_1497))) % -(tpos(skc20, skc17)) % -(tpos(skf1(V_2447_1514), skc17)) % -(be(U_2501_1524, V_2502_1525, skc21, skc17)) % -(be(U_2479_1535, V_2480_1536, skc17, skc21)) % -(be(U_2501_1546, V_2502_1547, skc17, skc16)) % -(be(U_2479_1557, V_2480_1558, skc16, skc17)) % -(tpos(skc20, skc19)) % -(tpos(skf1(V_2447_1575), skc19)) % -(be(U_2501_1585, V_2502_1586, skc21, skc19)) % -(be(U_2479_1596, V_2480_1597, skc19, skc21)) % -(be(U_2501_1607, V_2502_1608, skc16, skc19)) % -(be(U_2479_1618, V_2480_1619, skc19, skc16)) % -(tpos(skc19, skc20)) % -(tpos(skc17, skc20)) % -(tpos(skc23, skc20)) % -(tpos(skc26, skc20)) % -(be(U_2501_1657, V_2502_1658, skc24, skc20)) % -(be(U_2479_1668, V_2480_1669, skc20, skc24)) % -(be(U_2501_1679, V_2502_1680, skc20, skc15)) % -(be(U_2479_1690, V_2480_1691, skc15, skc20)) % -(be(U_2501_1701, V_2502_1702, skf1(V_2447_1705), skc15)) % -(be(U_2479_1715, V_2480_1716, skc15, skf1(V_2447_1719))) % -(tpos(skc20, skc23)) % -(tpos(skf1(V_2447_1736), skc23)) % -(be(U_2501_1746, V_2502_1747, skc21, skc23)) % -(be(U_2479_1757, V_2480_1758, skc23, skc21)) % -(be(U_2501_1768, V_2502_1769, skc16, skc23)) % -(be(U_2479_1779, V_2480_1780, skc23, skc16)) % -(be(U_2501_1790, V_2502_1791, skc19, skc25)) % -(be(U_2479_1801, V_2480_1802, skc25, skc19)) % -(be(U_2501_1812, V_2502_1813, skc17, skc25)) % -(be(U_2479_1823, V_2480_1824, skc25, skc17)) % -(be(U_2501_1834, V_2502_1835, skc23, skc25)) % -(be(U_2479_1845, V_2480_1846, skc25, skc23)) % -(tpos(skc20, skc26)) % -(tpos(skf1(V_2447_1863), skc26)) % -(be(U_2501_1873, V_2502_1874, skc21, skc26)) % -(be(U_2479_1884, V_2480_1885, skc26, skc21)) % -(be(U_2501_1895, V_2502_1896, skc16, skc26)) % -(be(U_2479_1906, V_2480_1907, skc26, skc16)) % -(be(U_2501_1917, V_2502_1918, skc25, skc26)) % -(be(U_2479_1928, V_2480_1929, skc26, skc25)) % -(tpos(skc18, skf1(V_2447_1939))) % -(tpos(skc22, skf1(V_2447_1949))) % -(tpos(skc27, skf1(V_2447_1959))) % -(human_person(skc14, skf1(V_2447_1969))) % -(relname(skc14, skf1(V_2447_1979))) % -(forename(skc24, skf1(V_2447_1989))) % -(proposition(skc14, skf1(V_2447_1999))) % -(tpos(skc20, skc24)) % -(tpos(skf1(V_2447_2016), skc24)) % -(jules_forename(skc15, skc21)) % -(vincent_forename(skc15, skc21)) % -(jules_forename(skc24, skc21)) % -(vincent_forename(skc24, skc21)) % -(tpos(skc19, skc21)) % -(tpos(skc17, skc21)) % -(tpos(skc23, skc21)) % -(tpos(skc26, skc21)) % -(be(U_2501_2082, V_2502_2083, skc24, skc21)) % -(be(U_2479_2093, V_2480_2094, skc21, skc24)) % -(skc20(skc17)) % -(smoke(skc15, skc17)) % -(skf1(V_2447_2115, skc17)) % -(smoke(skc24, skc17)) % -(tpos(skc21, skc17)) % -(tpos(skc16, skc17)) % -(tpos(skc25, skc17)) % -(jules_forename(skc15, skc16)) % -(vincent_forename(skc15, skc16)) % -(jules_forename(skc24, skc16)) % -(vincent_forename(skc24, skc16)) % -(tpos(skc19, skc16)) % -(tpos(skc17, skc16)) % -(tpos(skc23, skc16)) % -(tpos(skc26, skc16)) % -(be(U_2501_2209, V_2502_2210, skc24, skc16)) % -(be(U_2479_2220, V_2480_2221, skc16, skc24)) % -(be(U_2501_2231, V_2502_2232, skc17, skc18)) % -(be(U_2479_2242, V_2480_2243, skc18, skc17)) % -(be(U_2501_2253, V_2502_2254, skc18, skc19)) % -(be(U_2479_2264, V_2480_2265, skc19, skc18)) % -(skc20(skc19)) % -(smoke(skc15, skc19)) % -(skf1(V_2447_2286, skc19)) % -(smoke(skc24, skc19)) % -(tpos(skc21, skc19)) % -(tpos(skc16, skc19)) % -(tpos(skc25, skc19)) % -(skc17(skc20)) % -(skc19(skc20)) % -(skc23(skc20)) % -(skc26(skc20)) % -(jules_forename(skc14, skc20)) % -(vincent_forename(skc14, skc20)) % -(tpos(skc24, skc20)) % -(tpos(skc15, skc20)) % -(tpos(skc20, skc15)) % -(tpos(skf1(V_2447_2383), skc15)) % -(be(U_2501_2393, V_2502_2394, skc21, skc15)) % -(be(U_2479_2404, V_2480_2405, skc15, skc21)) % -(be(U_2501_2415, V_2502_2416, skc16, skc15)) % -(be(U_2479_2426, V_2480_2427, skc15, skc16)) % -(be(U_2501_2437, V_2502_2438, skc19, skc22)) % -(be(U_2479_2448, V_2480_2449, skc22, skc19)) % -(be(U_2501_2459, V_2502_2460, skc17, skc22)) % -(be(U_2479_2470, V_2480_2471, skc22, skc17)) % -(be(U_2501_2481, V_2502_2482, skc18, skc23)) % -(be(U_2479_2492, V_2480_2493, skc23, skc18)) % -(be(U_2501_2503, V_2502_2504, skc22, skc23)) % -(be(U_2479_2514, V_2480_2515, skc23, skc22)) % -(skc20(skc23)) % -(smoke(skc15, skc23)) % -(skf1(V_2447_2536, skc23)) % -(smoke(skc24, skc23)) % -(tpos(skc21, skc23)) % -(tpos(skc16, skc23)) % -(tpos(skc25, skc23)) % -(jules_forename(skc15, skc25)) % -(vincent_forename(skc15, skc25)) % -(jules_forename(skc24, skc25)) % -(vincent_forename(skc24, skc25)) % -(tpos(skc19, skc25)) % -(tpos(skc17, skc25)) % -(tpos(skc23, skc25)) % -(tpos(skc26, skc25)) % -(be(U_2501_2630, V_2502_2631, skc24, skc25)) % -(be(U_2479_2641, V_2480_2642, skc25, skc24)) % -(be(U_2501_2652, V_2502_2653, skc15, skc25)) % -(be(U_2479_2663, V_2480_2664, skc25, skc15)) % -(be(U_2501_2674, V_2502_2675, skc18, skc26)) % -(be(U_2479_2685, V_2480_2686, skc26, skc18)) % -(be(U_2501_2696, V_2502_2697, skc22, skc26)) % -(be(U_2479_2707, V_2480_2708, skc26, skc22)) % -(skc20(skc26)) % -(smoke(skc15, skc26)) % -(skf1(V_2447_2729, skc26)) % -(smoke(skc24, skc26)) % -(tpos(skc21, skc26)) % -(tpos(skc16, skc26)) % -(tpos(skc25, skc26)) % -(be(U_2501_2767, V_2502_2768, skc19, skc27)) % -(be(U_2479_2778, V_2480_2779, skc27, skc19)) % -(be(U_2501_2789, V_2502_2790, skc17, skc27)) % -(be(U_2479_2800, V_2480_2801, skc27, skc17)) % -(be(U_2501_2811, V_2502_2812, skc23, skc27)) % -(be(U_2479_2822, V_2480_2823, skc27, skc23)) % -(be(U_2501_2833, V_2502_2834, skc26, skc27)) % -(be(U_2479_2844, V_2480_2845, skc27, skc26)) % -(skc18(skf1(V_2447_2854))) % -(skc22(skf1(V_2447_2863))) % -(skc27(skf1(V_2447_2872))) % -(organism(skc14, skf1(V_2447_2882))) % -(human_person(skc24, skf1(V_2447_2892))) % -(relation(skc14, skf1(V_2447_2902))) % -(relname(skc24, skf1(V_2447_2912))) % -(proposition(skc24, skf1(V_2447_2922))) % -(skc20(skc24)) % -(smoke(skc15, skc24)) % -(skf1(V_2447_2943, skc24)) % -(smoke(skc24, skc24)) % -(tpos(skc21, skc24)) % -(tpos(skc16, skc24)) % -(tpos(skc25, skc24)) % -(forename(skc15, skc21)) % -(forename(skc24, skc21)) % -(skc17(skc21)) % -(skc19(skc21)) % -(skc23(skc21)) % -(skc26(skc21)) % -(jules_forename(skc14, skc21)) % -(vincent_forename(skc14, skc21)) % -(tpos(skc24, skc21)) % -(tpos(skc15, skc21)) % -(tpos(skc18, skc17)) % -(tpos(skc22, skc17)) % -(tpos(skc27, skc17)) % -(organism(skc15, skc17)) % -(state(skc15, skc17)) % -(event(skc15, skc17)) % -(organism(skc24, skc17)) % -(state(skc24, skc17)) % -(event(skc24, skc17)) % -(skc21(skc17)) % -(skc16(skc17)) % -(skc25(skc17)) % -(smoke(skc14, skc17)) % -(forename(skc15, skc16)) % -(forename(skc24, skc16)) % -(skc17(skc16)) % -(skc19(skc16)) % -(skc23(skc16)) % -(skc26(skc16)) % -(jules_forename(skc14, skc16)) % -(vincent_forename(skc14, skc16)) % -(tpos(skc24, skc16)) % -(tpos(skc15, skc16)) % -(jules_forename(skc15, skc18)) % -(vincent_forename(skc15, skc18)) % -(jules_forename(skc24, skc18)) % -(vincent_forename(skc24, skc18)) % -(be(U_2501_3229, V_2502_3230, skf1(V_2447_3233), skc18)) % -(be(U_2479_3243, V_2480_3244, skc18, skf1(V_2447_3247))) % -(tpos(skc19, skc18)) % -(tpos(skc17, skc18)) % -(tpos(skc23, skc18)) % -(tpos(skc26, skc18)) % -(be(U_2501_3285, V_2502_3286, skc24, skc18)) % -(be(U_2479_3296, V_2480_3297, skc18, skc24)) % -(tpos(skc18, skc19)) % -(tpos(skc22, skc19)) % -(tpos(skc27, skc19)) % -(organism(skc15, skc19)) % -(state(skc15, skc19)) % -(event(skc15, skc19)) % -(organism(skc24, skc19)) % -(state(skc24, skc19)) % -(event(skc24, skc19)) % -(skc21(skc19)) % -(skc16(skc19)) % -(skc25(skc19)) % -(smoke(skc14, skc19)) % -(be(U_2501_3395, V_2502_3396, skc18, skc20)) % -(be(U_2479_3406, V_2480_3407, skc20, skc18)) % -(forename(skc14, skc20)) % -(jules_forename(skc15, skc20)) % -(vincent_forename(skc15, skc20)) % -(skc24(skc20)) % -(skc15(skc20)) % -(be(U_2501_3450, V_2502_3451, skc18, skc15)) % -(be(U_2479_3461, V_2480_3462, skc15, skc18)) % -(skc20(skc15)) % -(smoke(skc15, skc15)) % -(skf1(V_2447_3483, skc15)) % -(smoke(skc24, skc15)) % -(tpos(skc21, skc15)) % -(tpos(skc16, skc15)) % -(tpos(skc25, skc15)) % -(jules_forename(skc15, skc22)) % -(vincent_forename(skc15, skc22)) % -(be(U_2501_3535, V_2502_3536, skc20, skc22)) % -(be(U_2479_3546, V_2480_3547, skc22, skc20)) % -(jules_forename(skc24, skc22)) % -(vincent_forename(skc24, skc22)) % -(be(U_2501_3571, V_2502_3572, skf1(V_2447_3575), skc22)) % -(be(U_2479_3585, V_2480_3586, skc22, skf1(V_2447_3589))) % -(tpos(skc19, skc22)) % -(tpos(skc17, skc22)) % -(tpos(skc23, skc22)) % -(tpos(skc26, skc22)) % -(be(U_2501_3627, V_2502_3628, skc24, skc22)) % -(be(U_2479_3638, V_2480_3639, skc22, skc24)) % -(be(U_2501_3649, V_2502_3650, skc15, skc22)) % -(be(U_2479_3660, V_2480_3661, skc22, skc15)) % -(tpos(skc18, skc23)) % -(tpos(skc22, skc23)) % -(tpos(skc27, skc23)) % -(organism(skc15, skc23)) % -(state(skc15, skc23)) % -(event(skc15, skc23)) % -(organism(skc24, skc23)) % -(state(skc24, skc23)) % -(event(skc24, skc23)) % -(skc21(skc23)) % -(skc16(skc23)) % -(skc25(skc23)) % -(smoke(skc14, skc23)) % -(forename(skc15, skc25)) % -(forename(skc24, skc25)) % -(skc17(skc25)) % -(skc19(skc25)) % -(skc23(skc25)) % -(skc26(skc25)) % -(jules_forename(skc14, skc25)) % -(vincent_forename(skc14, skc25)) % -(tpos(skc24, skc25)) % -(tpos(skc15, skc25)) % -(tpos(skc18, skc26)) % -(tpos(skc22, skc26)) % -(tpos(skc27, skc26)) % -(organism(skc15, skc26)) % -(state(skc15, skc26)) % -(event(skc15, skc26)) % -(organism(skc24, skc26)) % -(state(skc24, skc26)) % -(event(skc24, skc26)) % -(skc21(skc26)) % -(skc16(skc26)) % -(skc25(skc26)) % -(smoke(skc14, skc26)) % -(jules_forename(skc15, skc27)) % -(vincent_forename(skc15, skc27)) % -(be(U_2501_3927, V_2502_3928, skc20, skc27)) % -(be(U_2479_3938, V_2480_3939, skc27, skc20)) % -(jules_forename(skc24, skc27)) % -(vincent_forename(skc24, skc27)) % -(be(U_2501_3963, V_2502_3964, skf1(V_2447_3967), skc27)) % -(be(U_2479_3977, V_2480_3978, skc27, skf1(V_2447_3981))) % -(tpos(skc19, skc27)) % -(tpos(skc17, skc27)) % -(tpos(skc23, skc27)) % -(tpos(skc26, skc27)) % -(be(U_2501_4019, V_2502_4020, skc24, skc27)) % -(be(U_2479_4030, V_2480_4031, skc27, skc24)) % -(be(U_2501_4041, V_2502_4042, skc15, skc27)) % -(be(U_2479_4052, V_2480_4053, skc27, skc15)) % -(man(skc14, skf1(V_2447_4063))) % -(entity(skc14, skf1(V_2447_4073))) % -(organism(skc24, skf1(V_2447_4083))) % -(abstraction(skc14, skf1(V_2447_4093))) % -(relation(skc24, skf1(V_2447_4103))) % -(tpos(skc18, skc24)) % -(tpos(skc22, skc24)) % -(tpos(skc27, skc24)) % -(organism(skc15, skc24)) % -(state(skc15, skc24)) % -(event(skc15, skc24)) % -(organism(skc24, skc24)) % -(state(skc24, skc24)) % -(event(skc24, skc24)) % -(skc21(skc24)) % -(skc16(skc24)) % -(skc25(skc24)) % -(smoke(skc14, skc24)) % -(human_person(skc15, skc21)) % -(human_person(skc24, skc21)) % -(relname(skc15, skc21)) % -(proposition(skc15, skc21)) % -(relname(skc24, skc21)) % -(proposition(skc24, skc21)) % -(forename(skc14, skc21)) % -(skc24(skc21)) % -(skc15(skc21)) % -(man(skc15, skc17)) % -(man(skc24, skc17)) % -(skc18(skc17)) % -(skc22(skc17)) % -(skc27(skc17)) % -(entity(skc15, skc17)) % -(eventuality(skc15, skc17)) % -(entity(skc24, skc17)) % -(eventuality(skc24, skc17)) % -(organism(skc14, skc17)) % -(state(skc14, skc17)) % -(event(skc14, skc17)) % -(human_person(skc15, skc17)) % -(human_person(skc24, skc17)) % -(human_person(skc15, skc16)) % -(human_person(skc24, skc16)) % -(relname(skc15, skc16)) % -(proposition(skc15, skc16)) % -(relname(skc24, skc16)) % -(proposition(skc24, skc16)) % -(forename(skc14, skc16)) % -(skc24(skc16)) % -(skc15(skc16)) % -(forename(skc15, skc18)) % -(tpos(skc20, skc18)) % -(forename(skc24, skc18)) % -(tpos(skf1(V_2447_4439), skc18)) % -(skc17(skc18)) % -(skc19(skc18)) % -(skc23(skc18)) % -(skc26(skc18)) % -(jules_forename(skc14, skc18)) % -(vincent_forename(skc14, skc18)) % -(tpos(skc24, skc18)) % -(tpos(skc15, skc18)) % -(be(U_2501_4501, V_2502_4502, skc21, skc18)) % -(be(U_2479_4512, V_2480_4513, skc18, skc21)) % -(be(U_2501_4523, V_2502_4524, skc16, skc18)) % -(be(U_2479_4534, V_2480_4535, skc18, skc16)) % +(jules_forename(skc15, skc17)) % +(jules_forename(skc24, skc17)) % +(vincent_forename(skc15, skc19)) % +(vincent_forename(skc24, skc19)) % -(man(skc15, skc19)) % -(man(skc24, skc19)) % -(skc18(skc19)) % -(skc22(skc19)) % -(skc27(skc19)) % -(entity(skc15, skc19)) % -(eventuality(skc15, skc19)) % -(entity(skc24, skc19)) % -(eventuality(skc24, skc19)) % -(organism(skc14, skc19)) % -(state(skc14, skc19)) % -(event(skc14, skc19)) % -(human_person(skc15, skc19)) % -(human_person(skc24, skc19)) % -(tpos(skc18, skc20)) % -(tpos(skc22, skc20)) % -(tpos(skc27, skc20)) % -(human_person(skc14, skc20)) % -(relname(skc14, skc20)) % -(forename(skc15, skc20)) % -(proposition(skc14, skc20)) % -(tpos(skc18, skc15)) % -(tpos(skc22, skc15)) % -(tpos(skc27, skc15)) % -(organism(skc15, skc15)) % -(state(skc15, skc15)) % -(event(skc15, skc15)) % -(organism(skc24, skc15)) % -(state(skc24, skc15)) % -(event(skc24, skc15)) % -(skc21(skc15)) % -(skc16(skc15)) % -(skc25(skc15)) % -(smoke(skc14, skc15)) % -(forename(skc15, skc22)) % -(tpos(skc20, skc22)) % -(forename(skc24, skc22)) % -(tpos(skf1(V_2447_4826), skc22)) % -(skc17(skc22)) % -(skc19(skc22)) % -(skc23(skc22)) % -(skc26(skc22)) % -(jules_forename(skc14, skc22)) % -(vincent_forename(skc14, skc22)) % -(tpos(skc24, skc22)) % -(tpos(skc15, skc22)) % -(be(U_2501_4888, V_2502_4889, skc21, skc22)) % -(be(U_2479_4899, V_2480_4900, skc22, skc21)) % -(be(U_2501_4910, V_2502_4911, skc16, skc22)) % -(be(U_2479_4921, V_2480_4922, skc22, skc16)) % -(man(skc15, skc23)) % -(man(skc24, skc23)) % -(skc18(skc23)) % -(skc22(skc23)) % -(skc27(skc23)) % -(entity(skc15, skc23)) % -(eventuality(skc15, skc23)) % -(entity(skc24, skc23)) % -(eventuality(skc24, skc23)) % -(organism(skc14, skc23)) % -(state(skc14, skc23)) % -(event(skc14, skc23)) % -(human_person(skc15, skc23)) % -(human_person(skc24, skc23)) % -(be(U_2501_5027, V_2502_5028, skc18, skc25)) % -(be(U_2479_5038, V_2480_5039, skc25, skc18)) % -(be(U_2501_5049, V_2502_5050, skc22, skc25)) % -(be(U_2479_5060, V_2480_5061, skc25, skc22)) % -(human_person(skc15, skc25)) % -(human_person(skc24, skc25)) % -(relname(skc15, skc25)) % -(proposition(skc15, skc25)) % -(relname(skc24, skc25)) % -(proposition(skc24, skc25)) % -(forename(skc14, skc25)) % -(skc24(skc25)) % -(skc15(skc25)) % -(man(skc15, skc26)) % -(man(skc24, skc26)) % -(skc18(skc26)) % -(skc22(skc26)) % -(skc27(skc26)) % -(entity(skc15, skc26)) % -(eventuality(skc15, skc26)) % -(entity(skc24, skc26)) % -(eventuality(skc24, skc26)) % -(organism(skc14, skc26)) % -(state(skc14, skc26)) % -(event(skc14, skc26)) % -(human_person(skc15, skc26)) % -(human_person(skc24, skc26)) % -(forename(skc15, skc27)) % -(tpos(skc20, skc27)) % -(forename(skc24, skc27)) % -(tpos(skf1(V_2447_5248), skc27)) % -(skc17(skc27)) % -(skc19(skc27)) % -(skc23(skc27)) % -(skc26(skc27)) % -(jules_forename(skc14, skc27)) % -(vincent_forename(skc14, skc27)) % -(tpos(skc24, skc27)) % -(tpos(skc15, skc27)) % -(be(U_2501_5310, V_2502_5311, skc21, skc27)) % -(be(U_2479_5321, V_2480_5322, skc27, skc21)) % -(be(U_2501_5332, V_2502_5333, skc16, skc27)) % -(be(U_2479_5343, V_2480_5344, skc27, skc16)) % -(be(U_2501_5354, V_2502_5355, skc25, skc27)) % -(be(U_2479_5365, V_2480_5366, skc27, skc25)) % -(male(skc14, skf1(V_2447_5376))) % -(man(skc24, skf1(V_2447_5386))) % -(existent(skc14, skf1(V_2447_5396))) % -(entity(skc24, skf1(V_2447_5406))) % -(general(skc14, skf1(V_2447_5416))) % -(abstraction(skc24, skf1(V_2447_5426))) % -(man(skc15, skc24)) % -(man(skc24, skc24)) % -(skc18(skc24)) % -(skc22(skc24)) % -(skc27(skc24)) % -(entity(skc15, skc24)) % -(eventuality(skc15, skc24)) % -(entity(skc24, skc24)) % -(eventuality(skc24, skc24)) % -(organism(skc14, skc24)) % -(state(skc14, skc24)) % -(event(skc14, skc24)) % -(human_person(skc15, skc24)) % -(human_person(skc24, skc24)) % -(tpos(skc18, skc21)) % -(tpos(skc22, skc21)) % -(tpos(skc27, skc21)) % -(organism(skc15, skc21)) % -(organism(skc24, skc21)) % -(human_person(skc14, skc21)) % -(relation(skc15, skc21)) % -(relation(skc24, skc21)) % -(relname(skc14, skc21)) % -(proposition(skc14, skc21)) % -(male(skc15, skc17)) % -(male(skc24, skc17)) % -(man(skc14, skc17)) % -(specific(skc15, skc17)) % -(specific(skc24, skc17)) % -(entity(skc14, skc17)) % -(eventuality(skc14, skc17)) % -(human(skc15, skc17)) % -(human(skc24, skc17)) % -(human_person(skc14, skc17)) % +(singleton(skc15, skc17)) % +(singleton(skc24, skc17)) % -(tpos(skc18, skc16)) % -(tpos(skc22, skc16)) % -(tpos(skc27, skc16)) % -(organism(skc15, skc16)) % -(organism(skc24, skc16)) % -(human_person(skc14, skc16)) % -(relation(skc15, skc16)) % -(relation(skc24, skc16)) % -(relname(skc14, skc16)) % -(proposition(skc14, skc16)) % -(relname(skc15, skc18)) % -(proposition(skc15, skc18)) % -(skc20(skc18)) % -(smoke(skc15, skc18)) % -(relname(skc24, skc18)) % -(proposition(skc24, skc18)) % -(skf1(V_2447_5794, skc18)) % -(smoke(skc24, skc18)) % -(forename(skc14, skc18)) % -(skc24(skc18)) % -(skc15(skc18)) % -(tpos(skc21, skc18)) % -(tpos(skc16, skc18)) % -(tpos(skc25, skc18)) % +(jules_forename(skc14, skc17)) % +(vincent_forename(skc14, skc19)) % -(nonexistent(skc15, skc18)) % -(nonexistent(skc24, skc18)) % -(general(skc15, skc18)) % -(general(skc24, skc18)) % +(singleton(skc15, skc18)) % +(singleton(skc24, skc18)) % -(male(skc15, skc19)) % -(male(skc24, skc19)) % -(man(skc14, skc19)) % -(specific(skc15, skc19)) % -(specific(skc24, skc19)) % -(entity(skc14, skc19)) % -(eventuality(skc14, skc19)) % -(human(skc15, skc19)) % -(human(skc24, skc19)) % -(human_person(skc14, skc19)) % +(singleton(skc15, skc19)) % +(singleton(skc24, skc19)) % -(skc18(skc20)) % -(skc22(skc20)) % -(skc27(skc20)) % -(organism(skc14, skc20)) % -(human_person(skc15, skc20)) % -(relation(skc14, skc20)) % -(relname(skc15, skc20)) % -(proposition(skc15, skc20)) % -(man(skc15, skc15)) % -(man(skc24, skc15)) % -(skc18(skc15)) % -(skc22(skc15)) % -(skc27(skc15)) % -(entity(skc15, skc15)) % -(eventuality(skc15, skc15)) % -(entity(skc24, skc15)) % -(eventuality(skc24, skc15)) % -(organism(skc14, skc15)) % -(state(skc14, skc15)) % -(event(skc14, skc15)) % -(human_person(skc15, skc15)) % -(human_person(skc24, skc15)) % -(relname(skc15, skc22)) % -(proposition(skc15, skc22)) % -(skc20(skc22)) % -(smoke(skc15, skc22)) % -(relname(skc24, skc22)) % -(proposition(skc24, skc22)) % -(skf1(V_2447_6178, skc22)) % -(smoke(skc24, skc22)) % -(forename(skc14, skc22)) % -(skc24(skc22)) % -(skc15(skc22)) % -(tpos(skc21, skc22)) % -(tpos(skc16, skc22)) % -(tpos(skc25, skc22)) % -(nonexistent(skc15, skc22)) % -(nonexistent(skc24, skc22)) % -(general(skc15, skc22)) % -(general(skc24, skc22)) % +(singleton(skc15, skc22)) % +(singleton(skc24, skc22)) % -(male(skc15, skc23)) % -(male(skc24, skc23)) % -(man(skc14, skc23)) % -(specific(skc15, skc23)) % -(specific(skc24, skc23)) % -(entity(skc14, skc23)) % -(eventuality(skc14, skc23)) % -(human(skc15, skc23)) % -(human(skc24, skc23)) % -(human_person(skc14, skc23)) % +(singleton(skc15, skc23)) % +(singleton(skc24, skc23)) % -(tpos(skc18, skc25)) % -(tpos(skc22, skc25)) % -(tpos(skc27, skc25)) % -(organism(skc15, skc25)) % -(organism(skc24, skc25)) % -(human_person(skc14, skc25)) % -(relation(skc15, skc25)) % -(relation(skc24, skc25)) % -(relname(skc14, skc25)) % -(proposition(skc14, skc25)) % -(male(skc15, skc26)) % -(male(skc24, skc26)) % -(man(skc14, skc26)) % -(specific(skc15, skc26)) % -(specific(skc24, skc26)) % -(entity(skc14, skc26)) % -(eventuality(skc14, skc26)) % -(human(skc15, skc26)) % -(human(skc24, skc26)) % -(human_person(skc14, skc26)) % +(singleton(skc15, skc26)) % +(singleton(skc24, skc26)) % -(relname(skc15, skc27)) % -(proposition(skc15, skc27)) % -(skc20(skc27)) % -(smoke(skc15, skc27)) % -(relname(skc24, skc27)) % -(proposition(skc24, skc27)) % -(skf1(V_2447_6554, skc27)) % -(smoke(skc24, skc27)) % -(forename(skc14, skc27)) % -(skc24(skc27)) % -(skc15(skc27)) % -(tpos(skc21, skc27)) % -(tpos(skc16, skc27)) % -(tpos(skc25, skc27)) % -(nonexistent(skc15, skc27)) % -(nonexistent(skc24, skc27)) % -(general(skc15, skc27)) % -(general(skc24, skc27)) % +(singleton(skc15, skc27)) % +(singleton(skc24, skc27)) % -(male(skc24, skf1(V_2447_6653))) % -(existent(skc24, skf1(V_2447_6663))) % -(general(skc24, skf1(V_2447_6673))) % +(singleton(skc24, skf1(V_2447_6683))) % -(male(skc15, skc24)) % -(male(skc24, skc24)) % -(man(skc14, skc24)) % -(specific(skc15, skc24)) % -(specific(skc24, skc24)) % -(entity(skc14, skc24)) % -(eventuality(skc14, skc24)) % -(human(skc15, skc24)) % -(human(skc24, skc24)) % -(human_person(skc14, skc24)) % +(singleton(skc15, skc24)) % +(singleton(skc24, skc24)) % -(man(skc15, skc21)) % -(man(skc24, skc21)) % -(skc18(skc21)) % -(skc22(skc21)) % -(skc27(skc21)) % -(entity(skc15, skc21)) % -(entity(skc24, skc21)) % -(organism(skc14, skc21)) % -(abstraction(skc15, skc21)) % -(abstraction(skc24, skc21)) % -(relation(skc14, skc21)) % +(unisex(skc15, skc17)) % +(unisex(skc24, skc17)) % -(male(skc14, skc17)) % +(general(skc15, skc17)) % +(general(skc24, skc17)) % -(specific(skc14, skc17)) % +(nonhuman(skc15, skc17)) % +(nonhuman(skc24, skc17)) % -(human(skc14, skc17)) % +(thing(skc15, skc17)) % +(thing(skc24, skc17)) % +(singleton(skc14, skc17)) % -(man(skc15, skc16)) % -(man(skc24, skc16)) % -(skc18(skc16)) % -(skc22(skc16)) % -(skc27(skc16)) % -(entity(skc15, skc16)) % -(entity(skc24, skc16)) % -(organism(skc14, skc16)) % -(abstraction(skc15, skc16)) % -(abstraction(skc24, skc16)) % -(relation(skc14, skc16)) % -(relation(skc15, skc18)) % -(state(skc15, skc18)) % -(event(skc15, skc18)) % -(relation(skc24, skc18)) % -(state(skc24, skc18)) % -(event(skc24, skc18)) % -(relname(skc14, skc18)) % -(proposition(skc14, skc18)) % -(skc21(skc18)) % -(skc16(skc18)) % -(skc25(skc18)) % -(smoke(skc14, skc18)) % +(skc19(skc17)) % +(skc17(skc19)) % +(existent(skc15, skc18)) % +(existent(skc24, skc18)) % -(nonexistent(skc14, skc18)) % +(specific(skc15, skc18)) % +(specific(skc24, skc18)) % -(general(skc14, skc18)) % +(thing(skc15, skc18)) % +(thing(skc24, skc18)) % +(singleton(skc14, skc18)) % +(unisex(skc15, skc19)) % +(unisex(skc24, skc19)) % -(male(skc14, skc19)) % +(general(skc15, skc19)) % +(general(skc24, skc19)) % -(specific(skc14, skc19)) % +(nonhuman(skc15, skc19)) % +(nonhuman(skc24, skc19)) % -(human(skc14, skc19)) % +(thing(skc15, skc19)) % +(thing(skc24, skc19)) % +(singleton(skc14, skc19)) % -(man(skc14, skc20)) % -(entity(skc14, skc20)) % -(organism(skc15, skc20)) % -(abstraction(skc14, skc20)) % -(relation(skc15, skc20)) % -(male(skc15, skc15)) % -(male(skc24, skc15)) % -(man(skc14, skc15)) % -(specific(skc15, skc15)) % -(specific(skc24, skc15)) % -(entity(skc14, skc15)) % -(eventuality(skc14, skc15)) % -(human(skc15, skc15)) % -(human(skc24, skc15)) % -(human_person(skc14, skc15)) % +(singleton(skc15, skc15)) % +(singleton(skc24, skc15)) % -(relation(skc15, skc22)) % -(state(skc15, skc22)) % -(event(skc15, skc22)) % -(relation(skc24, skc22)) % -(state(skc24, skc22)) % -(event(skc24, skc22)) % -(relname(skc14, skc22)) % -(proposition(skc14, skc22)) % -(skc21(skc22)) % -(skc16(skc22)) % -(skc25(skc22)) % -(smoke(skc14, skc22)) % +(existent(skc15, skc22)) % +(existent(skc24, skc22)) % -(nonexistent(skc14, skc22)) % +(specific(skc15, skc22)) % +(specific(skc24, skc22)) % -(general(skc14, skc22)) % +(thing(skc15, skc22)) % +(thing(skc24, skc22)) % +(singleton(skc14, skc22)) % +(unisex(skc15, skc23)) % +(unisex(skc24, skc23)) % -(male(skc14, skc23)) % +(general(skc15, skc23)) % +(general(skc24, skc23)) % -(specific(skc14, skc23)) % +(nonhuman(skc15, skc23)) % +(nonhuman(skc24, skc23)) % -(human(skc14, skc23)) % +(thing(skc15, skc23)) % +(thing(skc24, skc23)) % +(singleton(skc14, skc23)) % -(man(skc15, skc25)) % -(man(skc24, skc25)) % -(skc18(skc25)) % -(skc22(skc25)) % -(skc27(skc25)) % -(entity(skc15, skc25)) % -(entity(skc24, skc25)) % -(organism(skc14, skc25)) % -(abstraction(skc15, skc25)) % -(abstraction(skc24, skc25)) % -(relation(skc14, skc25)) % +(unisex(skc15, skc26)) % +(unisex(skc24, skc26)) % -(male(skc14, skc26)) % +(general(skc15, skc26)) % +(general(skc24, skc26)) % -(specific(skc14, skc26)) % +(nonhuman(skc15, skc26)) % +(nonhuman(skc24, skc26)) % -(human(skc14, skc26)) % +(thing(skc15, skc26)) % +(thing(skc24, skc26)) % +(singleton(skc14, skc26)) % -(relation(skc15, skc27)) % -(state(skc15, skc27)) % -(event(skc15, skc27)) % -(relation(skc24, skc27)) % -(state(skc24, skc27)) % -(event(skc24, skc27)) % -(relname(skc14, skc27)) % -(proposition(skc14, skc27)) % -(skc21(skc27)) % -(skc16(skc27)) % -(skc25(skc27)) % -(smoke(skc14, skc27)) % +(existent(skc15, skc27)) % +(existent(skc24, skc27)) % -(nonexistent(skc14, skc27)) % +(specific(skc15, skc27)) % +(specific(skc24, skc27)) % -(general(skc14, skc27)) % +(thing(skc15, skc27)) % +(thing(skc24, skc27)) % +(singleton(skc14, skc27)) % +(unisex(skc24, skf1(V_2447_7898))) % +(nonexistent(skc24, skf1(V_2447_7908))) % +(specific(skc24, skf1(V_2447_7918))) % +(thing(skc24, skf1(V_2447_7928))) % +(unisex(skc15, skc24)) % +(unisex(skc24, skc24)) % -(male(skc14, skc24)) % +(general(skc15, skc24)) % +(general(skc24, skc24)) % -(specific(skc14, skc24)) % +(nonhuman(skc15, skc24)) % +(nonhuman(skc24, skc24)) % -(human(skc14, skc24)) % +(thing(skc15, skc24)) % +(thing(skc24, skc24)) % +(singleton(skc14, skc24)) % -(male(skc15, skc21)) % -(male(skc24, skc21)) % -(man(skc14, skc21)) % -(existent(skc15, skc21)) % -(existent(skc24, skc21)) % -(entity(skc14, skc21)) % -(general(skc15, skc21)) % -(general(skc24, skc21)) % -(abstraction(skc14, skc21)) % +(singleton(skc15, skc21)) % +(singleton(skc24, skc21)) % +(abstraction(skc15, skc17)) % +(abstraction(skc24, skc17)) % +(unisex(skc14, skc17)) % +(general(skc14, skc17)) % +(nonhuman(skc14, skc17)) % +(thing(skc14, skc17)) % -(male(skc15, skc16)) % -(male(skc24, skc16)) % -(man(skc14, skc16)) % -(existent(skc15, skc16)) % -(existent(skc24, skc16)) % -(entity(skc14, skc16)) % -(general(skc15, skc16)) % -(general(skc24, skc16)) % -(abstraction(skc14, skc16)) % +(singleton(skc15, skc16)) % +(singleton(skc24, skc16)) % -(abstraction(skc15, skc18)) % -(eventuality(skc15, skc18)) % -(abstraction(skc24, skc18)) % -(eventuality(skc24, skc18)) % -(relation(skc14, skc18)) % -(state(skc14, skc18)) % -(event(skc14, skc18)) % -(nonhuman(skc15, skc18)) % -(nonhuman(skc24, skc18)) % +(living(skc15, skc18)) % +(living(skc24, skc18)) % +(impartial(skc15, skc18)) % +(impartial(skc24, skc18)) % +(tpos(skc19, skc19)) % +(tpos(skc19, skc17)) % +(tpos(skc17, skc19)) % +(tpos(skc17, skc17)) % +(entity(skc15, skc18)) % +(entity(skc24, skc18)) % +(existent(skc14, skc18)) % +(specific(skc14, skc18)) % +(thing(skc14, skc18)) % +(abstraction(skc15, skc19)) % +(abstraction(skc24, skc19)) % +(unisex(skc14, skc19)) % +(general(skc14, skc19)) % +(nonhuman(skc14, skc19)) % +(thing(skc14, skc19)) % -(male(skc14, skc20)) % -(man(skc15, skc20)) % -(existent(skc14, skc20)) % -(entity(skc15, skc20)) % -(general(skc14, skc20)) % -(abstraction(skc15, skc20)) % +(unisex(skc15, skc15)) % +(unisex(skc24, skc15)) % -(male(skc14, skc15)) % +(general(skc15, skc15)) % +(general(skc24, skc15)) % -(specific(skc14, skc15)) % +(nonhuman(skc15, skc15)) % +(nonhuman(skc24, skc15)) % -(human(skc14, skc15)) % +(thing(skc15, skc15)) % +(thing(skc24, skc15)) % +(singleton(skc14, skc15)) % -(abstraction(skc15, skc22)) % -(eventuality(skc15, skc22)) % -(abstraction(skc24, skc22)) % -(eventuality(skc24, skc22)) % -(relation(skc14, skc22)) % -(state(skc14, skc22)) % -(event(skc14, skc22)) % -(nonhuman(skc15, skc22)) % -(nonhuman(skc24, skc22)) % +(living(skc15, skc22)) % +(living(skc24, skc22)) % +(impartial(skc15, skc22)) % +(impartial(skc24, skc22)) % +(tpos(skc23, skc23)) % +(entity(skc15, skc22)) % +(entity(skc24, skc22)) % +(existent(skc14, skc22)) % +(specific(skc14, skc22)) % +(thing(skc14, skc22)) % +(abstraction(skc15, skc23)) % +(abstraction(skc24, skc23)) % +(unisex(skc14, skc23)) % +(general(skc14, skc23)) % +(nonhuman(skc14, skc23)) % +(thing(skc14, skc23)) % -(male(skc15, skc25)) % -(male(skc24, skc25)) % -(man(skc14, skc25)) % -(existent(skc15, skc25)) % -(existent(skc24, skc25)) % -(entity(skc14, skc25)) % -(general(skc15, skc25)) % -(general(skc24, skc25)) % -(abstraction(skc14, skc25)) % +(singleton(skc15, skc25)) % +(singleton(skc24, skc25)) % +(abstraction(skc15, skc26)) % +(abstraction(skc24, skc26)) % +(unisex(skc14, skc26)) % +(general(skc14, skc26)) % +(nonhuman(skc14, skc26)) % +(thing(skc14, skc26)) % -(abstraction(skc15, skc27)) % -(eventuality(skc15, skc27)) % -(abstraction(skc24, skc27)) % -(eventuality(skc24, skc27)) % -(relation(skc14, skc27)) % -(state(skc14, skc27)) % -(event(skc14, skc27)) % -(nonhuman(skc15, skc27)) % -(nonhuman(skc24, skc27)) % +(living(skc15, skc27)) % +(living(skc24, skc27)) % +(impartial(skc15, skc27)) % +(impartial(skc24, skc27)) % +(tpos(skc26, skc26)) % +(entity(skc15, skc27)) % +(entity(skc24, skc27)) % +(existent(skc14, skc27)) % +(specific(skc14, skc27)) % +(thing(skc14, skc27)) % +(eventuality(skc24, skf1(V_2447_8967))) % +(abstraction(skc15, skc24)) % +(abstraction(skc24, skc24)) % +(unisex(skc14, skc24)) % +(general(skc14, skc24)) % +(nonhuman(skc14, skc24)) % +(thing(skc14, skc24)) % +(unisex(skc15, skc21)) % +(unisex(skc24, skc21)) % -(male(skc14, skc21)) % +(nonexistent(skc15, skc21)) % +(nonexistent(skc24, skc21)) % -(existent(skc14, skc21)) % +(specific(skc15, skc21)) % +(specific(skc24, skc21)) % -(general(skc14, skc21)) % +(thing(skc15, skc21)) % +(thing(skc24, skc21)) % +(singleton(skc14, skc21)) % +(relation(skc15, skc17)) % +(relation(skc24, skc17)) % +(abstraction(skc14, skc17)) % +(unisex(skc15, skc16)) % +(unisex(skc24, skc16)) % -(male(skc14, skc16)) % +(nonexistent(skc15, skc16)) % +(nonexistent(skc24, skc16)) % -(existent(skc14, skc16)) % +(specific(skc15, skc16)) % +(specific(skc24, skc16)) % -(general(skc14, skc16)) % +(thing(skc15, skc16)) % +(thing(skc24, skc16)) % +(singleton(skc14, skc16)) % -(unisex(skc15, skc18)) % -(unisex(skc24, skc18)) % -(abstraction(skc14, skc18)) % -(eventuality(skc14, skc18)) % +(animate(skc15, skc18)) % +(animate(skc24, skc18)) % +(human(skc15, skc18)) % +(human(skc24, skc18)) % -(nonhuman(skc14, skc18)) % +(organism(skc15, skc18)) % +(organism(skc24, skc18)) % +(living(skc14, skc18)) % +(impartial(skc14, skc18)) % +(entity(skc14, skc18)) % +(relation(skc15, skc19)) % +(relation(skc24, skc19)) % +(abstraction(skc14, skc19)) % -(male(skc15, skc20)) % -(existent(skc15, skc20)) % -(general(skc15, skc20)) % +(singleton(skc15, skc20)) % +(abstraction(skc15, skc15)) % +(abstraction(skc24, skc15)) % +(unisex(skc14, skc15)) % +(general(skc14, skc15)) % +(nonhuman(skc14, skc15)) % +(thing(skc14, skc15)) % -(unisex(skc15, skc22)) % -(unisex(skc24, skc22)) % -(abstraction(skc14, skc22)) % -(eventuality(skc14, skc22)) % +(animate(skc15, skc22)) % +(animate(skc24, skc22)) % +(human(skc15, skc22)) % +(human(skc24, skc22)) % -(nonhuman(skc14, skc22)) % +(organism(skc15, skc22)) % +(organism(skc24, skc22)) % +(living(skc14, skc22)) % +(impartial(skc14, skc22)) % +(entity(skc14, skc22)) % +(relation(skc15, skc23)) % +(relation(skc24, skc23)) % +(abstraction(skc14, skc23)) % +(unisex(skc15, skc25)) % +(unisex(skc24, skc25)) % -(male(skc14, skc25)) % +(nonexistent(skc15, skc25)) % +(nonexistent(skc24, skc25)) % -(existent(skc14, skc25)) % +(specific(skc15, skc25)) % +(specific(skc24, skc25)) % -(general(skc14, skc25)) % +(thing(skc15, skc25)) % +(thing(skc24, skc25)) % +(singleton(skc14, skc25)) % +(relation(skc15, skc26)) % +(relation(skc24, skc26)) % +(abstraction(skc14, skc26)) % -(unisex(skc15, skc27)) % -(unisex(skc24, skc27)) % -(abstraction(skc14, skc27)) % -(eventuality(skc14, skc27)) % +(animate(skc15, skc27)) % +(animate(skc24, skc27)) % +(human(skc15, skc27)) % +(human(skc24, skc27)) % -(nonhuman(skc14, skc27)) % +(organism(skc15, skc27)) % +(organism(skc24, skc27)) % +(living(skc14, skc27)) % +(impartial(skc14, skc27)) % +(entity(skc14, skc27)) % +(agent(skc24, skf1(skc27), skc27)) % +(agent(skc24, skf1(skc22), skc22)) % +(agent(skc24, skf1(skc18), skc18)) % +(event(skc24, skf1(V_2447_9749))) % +(present(skc24, skf1(V_2447_9759))) % +(smoke(skc24, skf1(V_2447_9769))) % +(relation(skc15, skc24)) % +(relation(skc24, skc24)) % +(abstraction(skc14, skc24)) % +(event(skc15, skc21)) % +(event(skc24, skc21)) % +(eventuality(skc15, skc21)) % +(eventuality(skc24, skc21)) % +(unisex(skc14, skc21)) % +(nonexistent(skc14, skc21)) % +(specific(skc14, skc21)) % +(thing(skc14, skc21)) % +(relname(skc15, skc17)) % +(relname(skc24, skc17)) % +(relation(skc14, skc17)) % +(eventuality(skc15, skc16)) % +(eventuality(skc24, skc16)) % +(unisex(skc14, skc16)) % +(nonexistent(skc14, skc16)) % +(specific(skc14, skc16)) % +(thing(skc14, skc16)) % +(male(skc15, skc18)) % +(male(skc24, skc18)) % -(unisex(skc14, skc18)) % +(human_person(skc15, skc18)) % +(human_person(skc24, skc18)) % +(animate(skc14, skc18)) % +(human(skc14, skc18)) % +(organism(skc14, skc18)) % +(relname(skc15, skc19)) % +(relname(skc24, skc19)) % +(relation(skc14, skc19)) % +(unisex(skc15, skc20)) % +(nonexistent(skc15, skc20)) % +(specific(skc15, skc20)) % +(thing(skc15, skc20)) % +(relation(skc15, skc15)) % +(relation(skc24, skc15)) % +(abstraction(skc14, skc15)) % +(male(skc15, skc22)) % +(male(skc24, skc22)) % -(unisex(skc14, skc22)) % +(human_person(skc15, skc22)) % +(human_person(skc24, skc22)) % +(animate(skc14, skc22)) % +(human(skc14, skc22)) % +(organism(skc14, skc22)) % +(relname(skc15, skc23)) % +(relname(skc24, skc23)) % +(relation(skc14, skc23)) % +(eventuality(skc15, skc25)) % +(eventuality(skc24, skc25)) % +(unisex(skc14, skc25)) % +(nonexistent(skc14, skc25)) % +(specific(skc14, skc25)) % +(thing(skc14, skc25)) % +(relname(skc15, skc26)) % +(relname(skc24, skc26)) % +(relation(skc14, skc26)) % +(male(skc15, skc27)) % +(male(skc24, skc27)) % -(unisex(skc14, skc27)) % +(human_person(skc15, skc27)) % +(human_person(skc24, skc27)) % +(animate(skc14, skc27)) % +(human(skc14, skc27)) % +(organism(skc14, skc27)) % +(tpos(skc24, skc24)) % +(theme(skc15, skc25, skc24)) % +(theme(skc24, skc25, skc24)) % +(be(skc24, skc21, skc22, skc22)) % +(of(skc24, skc26, skc27)) % +(of(skc24, skc23, skc22)) % +(of(skc24, skc19, skc18)) % +(of(skc24, skc17, skc18)) % +(theme(skc24, skc16, skc15)) % +(agent(skc24, skc25, skc27)) % +(agent(skc24, skc16, skc18)) % +(jules_forename(skc24, skc23)) % +(jules_forename(skc24, skc19)) % +(vincent_forename(skc24, skc26)) % +(vincent_forename(skc24, skc17)) % +(forename(skc24, skc26)) % +(forename(skc24, skc23)) % +(forename(skc24, skc19)) % +(forename(skc24, skc17)) % +(man(skc24, skc27)) % +(man(skc24, skc22)) % +(man(skc24, skc18)) % +(state(skc24, skc21)) % +(proposition(skc24, skc15)) % +(proposition(skc24, skc24)) % +(think_believe_consider(skc24, skc25)) % +(think_believe_consider(skc24, skc16)) % +(present(skc24, skc25)) % +(present(skc24, skc16)) % +(event(skc24, skc25)) % +(event(skc24, skc16)) % +(proposition(skc15, skc24)) % +(relation(skc14, skc24)) % +(be(skc15, skc21, skc22, skc22)) % +(tpos(skc22, skc22)) % +(state(skc15, skc21)) % +(event(skc14, skc21)) % +(eventuality(skc14, skc21)) % +(of(skc15, skc17, skc18)) % +(forename(skc15, skc17)) % +(relname(skc14, skc17)) % +(vincent_forename(skc15, skc17)) % +(tpos(skc15, skc15)) % +(theme(skc15, skc16, skc15)) % +(agent(skc15, skc16, skc18)) % +(think_believe_consider(skc15, skc16)) % +(present(skc15, skc16)) % +(event(skc15, skc16)) % +(eventuality(skc14, skc16)) % +(of(skc15, skc19, skc18)) % +(man(skc15, skc18)) % +(male(skc14, skc18)) % +(human_person(skc14, skc18)) % +(forename(skc15, skc19)) % +(relname(skc14, skc19)) % +(jules_forename(skc15, skc19)) % +(eventuality(skc15, skc20)) % +(proposition(skc15, skc15)) % +(relation(skc14, skc15)) % +(of(skc15, skc26, skc27)) % +(of(skc15, skc23, skc22)) % +(agent(skc15, skc25, skc27)) % +(jules_forename(skc15, skc23)) % +(vincent_forename(skc15, skc26)) % +(forename(skc15, skc26)) % +(forename(skc15, skc23)) % +(man(skc15, skc27)) % +(man(skc15, skc22)) % +(think_believe_consider(skc15, skc25)) % +(present(skc15, skc25)) % +(event(skc15, skc25)) % +(male(skc14, skc22)) % +(human_person(skc14, skc22)) % +(relname(skc14, skc23)) % +(eventuality(skc14, skc25)) % +(relname(skc14, skc26)) % +(male(skc14, skc27)) % +(human_person(skc14, skc27)) % +(theme(skc14, skc25, skc24)) % +(accessible_world(skc14, skc24)) % +(proposition(skc14, skc24)) % +(be(skc14, skc21, skc22, skc22)) % +(state(skc14, skc21)) % +(of(skc14, skc17, skc18)) % +(forename(skc14, skc17)) % +(vincent_forename(skc14, skc17)) % +(theme(skc14, skc16, skc15)) % +(agent(skc14, skc16, skc18)) % +(think_believe_consider(skc14, skc16)) % +(present(skc14, skc16)) % +(event(skc14, skc16)) % +(agent(skc15, skc20, skc18)) % +(of(skc14, skc19, skc18)) % +(man(skc14, skc18)) % +(forename(skc14, skc19)) % +(jules_forename(skc14, skc19)) % +(smoke(skc15, skc20)) % +(present(skc15, skc20)) % +(event(skc15, skc20)) % +(proposition(skc14, skc15)) % +(accessible_world(skc14, skc15)) % +(of(skc14, skc23, skc22)) % +(man(skc14, skc22)) % +(jules_forename(skc14, skc23)) % +(forename(skc14, skc23)) % +(agent(skc14, skc25, skc27)) % +(event(skc14, skc25)) % +(present(skc14, skc25)) % +(think_believe_consider(skc14, skc25)) % +(of(skc14, skc26, skc27)) % +(forename(skc14, skc26)) % +(vincent_forename(skc14, skc26)) % +(man(skc14, skc27)) % +(actual_world(skc14)) % +(skc24(skc24)) % +(skc21(skc21)) % +(skc17(skc17)) % +(skc16(skc16)) % +(skc18(skc18)) % +(skc19(skc19)) % +(skc20(skc20)) % +(skc15(skc15)) % +(skc22(skc22)) % +(skc23(skc23)) % +(skc25(skc25)) % +(skc26(skc26)) % +(skc27(skc27)) % +(skc14(skc14)) % +(skf1(_2418_11151, skf1(_2418_11151))) % +(_11157) % %------------------------------------------------------------------------------