%------------------------------------------------------------------------------ % File : SPASS-SCL---0.1 % Problem : CSR298+1 : TPTP v9.2.1. Released v7.3.0. % Transfm : none % Format : tptp % Command : /export/starexec/sandbox2/solver/bin/execute.py 300 /export/starexec/sandbox2/benchmark/theBenchmark.p % Computer : n013.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 : Thu May 7 07:20:54 PM UTC 2026 % Result : Unknown 1.22s 0.85s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.11/0.13 % Problem : CSR298+1 : TPTP v9.2.1. Released v7.3.0. % 0.11/0.14 % Command : /export/starexec/sandbox2/solver/bin/execute.py 300 /export/starexec/sandbox2/benchmark/theBenchmark.p % 0.15/0.35 % Computer : n013.cluster.edu % 0.15/0.35 % Model : x86_64 x86_64 % 0.15/0.35 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.15/0.35 % Memory : 8042.1875MB % 0.15/0.35 % OS : Linux 3.10.0-693.el7.x86_64 % 0.15/0.35 % CPULimit : 300 % 0.15/0.35 % WCLimit : 300 % 0.15/0.35 % DateTime : Thu May 7 11:47:12 EDT 2026 % 0.15/0.35 % CPUTime : % 0.15/0.35 SPASS-SCL-FOL version: % 0.15/0.45 SPASS-SCL-FOL 0.1 (595c0c7b1) [parallel mode] % 0.35/0.79 Starting: ./SPASS-SCL-FOL --heuristics_normal -t 300 /export/starexec/sandbox2/benchmark/theBenchmark.p % 0.35/0.79 Starting: ./SPASS-SCL-FOL --heuristics_resolution_1 -t 300 /export/starexec/sandbox2/benchmark/theBenchmark.p % 0.35/0.79 Starting: ./SPASS-SCL-FOL --heuristics_resolution_2 -t 300 /export/starexec/sandbox2/benchmark/theBenchmark.p % 0.35/0.79 Starting: ./SPASS-SCL-FOL --heuristics_resolution_3 -t 300 /export/starexec/sandbox2/benchmark/theBenchmark.p % 0.35/0.79 Starting: ./SPASS-SCL-FOL --heuristics_lmodel_grow -t 300 /export/starexec/sandbox2/benchmark/theBenchmark.p % 0.35/0.79 Execution normal ended with status: gaveup % 0.35/0.79 Execution resolution_1 ended with status: gaveup % 0.35/0.79 Execution resolution_2 ended with status: gaveup % 0.35/0.79 Execution resolution_3 ended with status: gaveup % 0.35/0.79 Execution lmodel_grow ended with status: gaveup % 0.35/0.79 No successful execution. % 0.35/0.79 % 0.35/0.79 Input Clauses: % 1.22/0.84 % 1.22/0.84 Predicates: p__d__subclass = p__d__instance p__d__disjoint p__d__partition3 p__d__exhaustiveDecomposition3 p__d__disjointDecomposition3 p__d__partition4 p__d__exhaustiveDecomposition4 p__d__disjointDecomposition4 p__d__partition5 p__d__exhaustiveDecomposition5 p__d__disjointDecomposition5 p__d__partition6 p__d__exhaustiveDecomposition6 p__d__disjointDecomposition6 p__d__partition7 p__d__exhaustiveDecomposition7 p__d__disjointDecomposition7 p__subrelation p__immediateInstance p__subclass p__instance p__inverse p__d__holds3 p__immediateSubclass p__valence p__d__holds4 p__d__holds5 p__d__holds6 p__disjoint p__relatedInternalConcept p__disjointRelation p__contraryAttribute2 p__attribute p__contraryAttribute4 p__exhaustiveAttribute3 p__exhaustiveAttribute6 p__subAttribute p__successorAttribute p__successorAttributeClosure p__greaterThanByQuality p__d__topClass p__located p__time p__side p__part p__overlapsSpatially p__properPart p__piece p__contains p__hole p__properlyFills p__result p__material p__member p__subCollection p__represents p__agent p__instrument p__patient p__lessThanOrEqualTo p__lessThan p__greaterThanOrEqualTo p__greaterThan p__increasesLikelihood p__conditionalProbability p__decreasesLikelihood p__independentProbability p__inScopeOfInterest p__needs p__wants p__hasPurposeForAgent p__knows p__believes p__truth p__inList p__range p__reflexiveOn p__irreflexiveOn p__partialOrderingOn p__totalOrderingOn p__trichotomizingOn p__equivalenceRelationOn p__subProcess p__relatedEvent p__causes p__earlier p__causesSubclass p__holdsDuring p__causesProposition p__beforeOrEqual p__copy p__entails p__capability p__exploits p__resource p__hasPurpose p__hasSkill p__partlyLocated p__eventPartlyLocated p__eventLocated p__origin p__destination p__exactlyLocated p__between p__betweenOnPath p__traverses p__crosses p__penetrates p__precondition p__representsForAgent p__representsInLanguage p__subsumesContentClass p__equivalentContentClass p__containsInformation p__subsumesContentInstance p__equivalentContentInstance p__realization p__expressedInLanguage p__subProposition p__uses p__multiplicativeFactor p__identityElement p__average p__subset p__element p__graphPart p__links p__subGraph p__arcWeight p__pathLength p__subSystem p__systemPart p__graphMeasure p__abstractCounterpart p__measure p__length p__linearExtent p__radius p__pointOfFigure p__geometricDistance p__diameter p__distance p__altitude p__orientation p__top p__depth p__bottom p__larger p__before p__temporallyBetween p__temporalPart p__starts p__finishes p__temporallyBetweenOrEqual p__overlapsTemporally p__during p__meetsTemporally p__cooccur p__duration p__connected p__meetsSpatially p__connects p__overlapsPartially p__superficialPart p__interiorPart p__surface p__width p__height p__partiallyFills p__completelyFills p__fills p__experiencer p__parent p__mother p__father p__refers p__changesLocation p__moves p__path p__typicalPart p__typicallyContainsPart p__initialPart p__transactionAmount p__monetaryValue p__involvedInEvent p__attends p__consistent p__modalAttribute p__desires p__confersNorm p__deprivesNorm p__meltingPoint p__boilingPoint p__leader p__inhabits p__component p__authors p__publishes p__date p__version p__home p__wears p__connectedEngineeringComponents p__engineeringSubcomponent p__connectsEngineeringComponents p__age p__familyRelation p__ancestor p__daughter p__son p__sibling p__legalRelation p__confersObligation p__subOrganization p__conclusion p__premise p__property p__employs p__occupiesPosition p__confersRight p__holdsRight p__holdsObligation p__pointOfIntersection p__parallel p__yearOfFounding p__dateEstablished p__dateUsed p__axis p__powerPlant p__discovers p__potentialOfHydrogen p__fleetSize p__possesses p__memberCount p__carries p__tangent p__geometricPart p__sideOfFigure p__angleOfFigure p__lineMeasure p__patientMedical p__parasite p__conjugate p__protonNumber p__neighbor p__capacity p__postContactSite p__landlord p__tenant p__customer p__insured p__fears p__hopes p__doubts p__contestParticipant p__price p__geopoliticalSubdivision p__hostileForces p__secretesSubstance p__dislikes p__disapproves p__half p__third p__quarter p__most p__creator p__partyToAgreement p__agreementClause p__spouse p__serviceProvider p__serviceRecipient p__record p__stored p__commentator p__describes p__issuedBy p__subPlan p__student p__teacher p__domain p__monetaryWage p__onboard p__waterDepth p__hasAward p__hasExpertise p__meatOfAnimal p__wife p__subField p__hasOccupation p__memberType p__memberTypeCount p__locatedAtTime p__memberAtTime p__inventory p__subordinateInOrganization p__subordinatePosition p__abstractPart p__benefits p__aunt p__sister p__cousin p__grandmother p__grandfather p__nephew p__niece p__uncle p__brother p__stepfather p__stepmother p__playsRoleInEvent p__playsRoleInEventOfType p__geographicSubregion p__controlled p__arrested p__detainee p__conveyance p__transported p__financialAsset p__birthplace p__birthdate p__deathdate p__deathplace p__equipmentType p__inString p__subString p__stringLength p__stringConcatenation p__precedesInString p__canonicalPlaceName p__names p__unitNumber p__floorCode p__postNeighborhood p__postCity p__postDistrict p__postCountry p__postPostcodeArea p__postStreet p__telecomCoreNumber p__telecomAreaCode p__telecomCountryCode p__telecomExtension p__telecomCode2 p__telephoneNumber p__siteForContact p__color p__structure p__voltageMeasure p__hasUniform p__conforms p__policyOwner p__atomicNumber p__suffers p__covers p__beforeOnPath p__subList p__initialList p__identicalListItems p__direction p__targetInAttack p__experimentalControl p__gainsControl p__losesControl p__considers p__rangeSubclass p__FrontFn p__BackFn p__manner p__ProbabilityFn p__closedOn p__CardinalityFn p__barometricPressure p__frequency p__HoleHostFn p__HoleSkinFn p__developmentalForm p__editor p__husband p__citizen p__loss p__profit p__familyName p__middleName p__givenName p__operator p__cargo p__grandparent p__alias p__workAddress p__homeAddress p__deceptiveIdentifier p__postStreetNumber p__postPostOfficeBox p__postAddressText p__telecomContactDevice p__deviceTelecomNumber p__personalPhoneNumber p__homePhoneNumber p__workPhoneNumber p__mobilePhoneNumber p__faxNumber p__hindersSubclass p__preventsSubclass p__prevents p__hinders p__smaller p__ancestorOrganization p__relative p__mutualAcquaintance p__friend p__coworker p__cohabitant p__mutualStranger p__domesticPartner p__legalGuardian p__KiloFn p__MegaFn p__GigaFn p__TeraFn p__MilliFn p__MicroFn p__NanoFn p__PicoFn p__PowerSetFn p__ExtensionFn p__ListLengthFn p__PropertyFn p__AbsoluteValueFn p__CeilingFn p__CosineFn p__DenominatorFn p__FloorFn p__ImaginaryPartFn p__IntegerSquareRootFn p__NumeratorFn p__RationalNumberFn p__RealNumberFn p__ReciprocalFn p__RoundFn p__SignumFn p__SineFn p__SquareRootFn p__TangentFn p__SuccessorFn p__PredecessorFn p__ComplementFn p__GeneralizedUnionFn p__GeneralizedIntersectionFn p__InitialNodeFn p__TerminalNodeFn p__BeginNodeFn p__EndNodeFn p__PathWeightFn p__CutSetFn p__MinimalCutSetFn p__MagnitudeFn p__UnitFn p__CenterOfCircleFn p__WealthFn p__BeginFn p__EndFn p__WhenFn p__PastFn p__ImmediatePastFn p__FutureFn p__ImmediateFutureFn p__YearFn p__MereologicalComplementFn p__FoodForFn p__ImmediateFamilyFn p__GovernmentFn p__PremisesFn p__DeadFn p__StartFn p__StopFn p__DiameterFn p__RadiusFn p__LastFn p__FirstFn p__DescendantsFn p__ResidentFn p__OperatingFn p__OccupationFn p__StringLengthFn p__CoveringFn p__externalImage p__distributes p__weight p__acquaintance p__faces p__angularMeasure p__older p__speaksLanguage p__soundFrequency p__effectiveRange p__deviceState p__measurementReading p__emailAddress p__sliceOfFigure p__humanCapacity p__expects p__medicalPatient p__intelligenceQuotient p__agreementPeriod p__agreementEffectiveDate p__agreementExpirationDate p__localLongName p__localShortName p__registeredItem p__occupation p__constructionPeriod p__contractor p__electronNumber p__stranger p__initiallyContainsPart p__affiliatedOrganization p__ideologicalAffiliationOfOrganization p__religiousAffiliationOfOrganization p__allegiance p__anniversary p__grammaticalRelation p__distanceOnPath p__approximateValue p__CitizenryFn p__groupMember p__grasps p__plaintiff p__reactant p__reagent p__defendant p__wavelength p__airTemperature p__stays p__headquartersOfOrganization p__enjoys p__lacks p__approves p__uniqueIdentifier p__titles p__formerName p__birthday p__sententialObject p__sententialSubject p__MultiplicationFn p__AdditionFn p__SubtractionFn p__DivisionFn p__MaxFn p__MinFn p__ListOrderFn p__ListConcatenateFn p__WhereFn p__ExponentiationFn p__LogFn p__RemainderFn p__UnionFn p__IntersectionFn p__RelativeComplementFn p__KappaFn p__MinimalWeightedPathFn p__MaximalWeightedPathFn p__GraphPathFn p__MeasureFn p__IntervalFn p__PerFn p__TimeIntervalFn p__RecurrentTimeIntervalFn p__MonthFn p__DayFn p__HourFn p__MinuteFn p__SecondFn p__TemporalCompositionFn p__MereologicalSumFn p__MereologicalProductFn p__MereologicalDifferenceFn p__EditionFn p__RelativeTimeFn p__PerCapitaFn p__TimePeriodFn p__SeriesVolumeFn p__PeriodicalIssueFn p__StringConcatenateFn p__domainSubclass p__documentation p__format p__termFormat p__relatedExternalConcept p__prefers p__comment p__areaOfResponsibility p__equipmentCount p__DensityFn p__SpeedFn p__synonymousExternalConcept p__subsumingExternalConcept p__subsumedExternalConcept p__SubstringFn p__VelocityFn p__StreetAddressFn p__exhaustiveAttribute p__exhaustiveDecomposition p__disjointDecomposition p__partition p__AssignmentFn ren1 ren2 ren3 ren4 ren5 ren6 ren7 ren8 ren9 ren10 ren11 ren12 ren13 ren14 ren15 ren16 ren17 ren18 ren19 ren20 ren21 ren22 ren23 ren24 ren25 ren26 ren27 ren28 ren29 ren30 ren31 ren32 ren33 ren34 ren35 ren36 ren37 ren38 ren39 ren40 ren41 ren42 ren43 ren44 ren45 ren46 ren47 ren48 ren49 ren50 ren51 ren52 ren53 ren54 ren55 ren56 ren57 ren58 ren59 ren60 ren61 ren62 ren63 ren64 ren65 ren66 ren67 ren68 ren69 ren70 ren71 ren72 ren73 ren74 ren75 ren76 ren77 ren78 ren79 ren80 ren81 ren82 ren83 ren84 ren85 ren86 ren87 ren88 ren89 ren90 ren91 ren92 ren93 ren94 ren95 ren96 ren97 ren98 ren99 ren100 ren101 ren102 ren103 ren104 ren105 ren106 ren107 ren108 ren109 ren110 ren111 ren112 ren113 ren114 ren115 ren116 ren117 ren118 ren119 ren120 ren121 ren122 ren123 ren124 ren125 ren126 ren127 ren128 ren129 ren130 ren131 ren132 ren133 ren134 ren135 ren136 ren137 ren138 ren139 ren140 ren141 ren142 ren143 ren144 ren145 ren146 ren147 ren148 ren149 ren150 ren151 ren152 ren153 ren154 ren155 ren156 ren157 ren158 ren159 ren160 ren161 ren162 ren163 ren164 ren165 ren166 ren167 ren168 ren169 ren170 ren171 ren172 ren173 ren174 ren175 ren176 ren177 ren178 ren179 ren180 ren181 ren182 ren183 ren184 ren185 ren186 ren187 ren188 ren189 ren190 ren191 ren192 ren193 ren194 ren195 ren196 ren197 ren198 ren199 ren200 ren201 ren202 ren203 ren204 ren205 ren206 ren207 ren208 ren209 ren210 ren211 ren212 ren213 ren214 ren215 ren216 ren217 ren218 ren219 ren220 ren221 ren222 ren223 ren224 ren225 ren226 ren227 ren228 ren229 ren230 ren231 ren232 ren233 ren234 ren235 ren236 ren237 ren238 ren239 ren240 ren241 ren242 ren243 ren244 ren245 ren246 ren247 ren248 ren249 ren250 ren251 ren252 ren253 ren254 ren255 ren256 ren257 ren258 ren259 ren260 ren261 ren262 ren263 ren264 ren265 ren266 ren267 ren268 ren269 ren270 ren271 ren272 ren273 ren274 ren275 ren276 ren277 ren278 ren279 ren280 ren281 ren282 ren283 ren284 ren285 ren286 ren287 ren288 ren289 ren290 ren291 ren292 ren293 ren294 ren295 ren296 ren297 ren298 ren299 ren300 ren301 ren302 ren303 ren304 ren305 ren306 ren307 ren308 ren309 ren310 ren311 ren312 ren313 ren314 ren315 ren316 ren317 ren318 ren319 ren320 ren321 ren322 ren323 ren324 ren325 ren326 ren327 ren328 ren329 ren330 ren331 ren332 ren333 ren334 ren335 ren336 ren337 ren338 ren339 ren340 ren341 ren342 ren343 ren344 ren345 ren346 ren347 ren348 ren349 ren350 ren351 ren352 ren353 ren354 ren355 ren356 ren357 ren358 ren359 ren360 ren361 ren362 ren363 ren364 ren365 ren366 ren367 ren368 ren369 ren370 ren371 ren372 ren373 ren374 ren375 ren376 ren377 ren378 ren379 ren380 ren381 ren382 ren383 ren384 ren385 ren386 ren387 ren388 ren389 ren390 ren391 ren392 ren393 ren394 ren395 ren396 ren397 ren398 ren399 ren400 ren401 ren402 ren403 ren404 ren405 ren406 ren407 ren408 ren409 ren410 ren411 ren412 ren413 ren414 ren415 ren416 ren417 ren418 ren419 ren420 ren421 ren422 ren423 ren424 ren425 ren426 ren427 ren428 ren429 ren430 ren431 ren432 ren433 ren434 ren435 ren436 ren437 ren438 ren439 ren440 ren441 ren442 ren443 ren444 ren445 ren446 ren447 ren448 ren449 ren450 ren451 ren452 ren453 ren454 ren455 ren456 ren457 ren458 ren459 ren460 ren461 ren462 ren463 ren464 ren465 ren466 ren467 ren468 ren469 ren470 ren471 ren472 ren473 ren474 ren475 ren476 ren477 ren478 ren479 ren480 ren481 ren482 ren483 ren484 ren485 ren486 ren487 ren488 ren489 ren490 ren491 ren492 ren493 ren494 ren495 ren496 ren497 ren498 ren499 ren500 ren501 ren502 ren503 ren504 ren505 ren506 ren507 ren508 ren509 ren510 ren511 ren512 ren513 ren514 ren515 ren516 ren517 ren518 ren519 ren520 ren521 ren522 ren523 ren524 ren525 ren526 ren527 ren528 ren529 ren530 ren531 ren532 ren533 ren534 ren535 ren536 ren537 ren538 ren539 ren540 ren541 ren542 ren543 ren544 ren545 ren546 ren547 ren548 ren549 ren550 ren551 ren552 ren553 ren554 ren555 ren556 ren557 ren558 ren559 ren560 ren561 ren562 ren563 ren564 ren565 ren566 ren567 ren568 ren569 ren570 ren571 ren572 ren573 ren574 ren575 ren576 ren577 ren578 ren579 ren580 ren581 ren582 ren583 ren584 ren585 ren586 ren587 ren588 ren589 ren590 ren591 ren592 ren593 ren594 ren595 ren596 ren597 ren598 ren599 ren600 ren601 ren602 ren603 ren604 ren605 ren606 ren607 ren608 ren609 ren610 ren611 ren612 ren613 ren614 ren615 ren616 ren617 ren618 ren619 ren620 ren621 ren622 ren623 ren624 ren625 ren626 ren627 ren628 ren629 ren630 ren631 ren632 ren633 ren634 ren635 ren636 ren637 ren638 ren639 ren640 ren641 ren642 ren643 ren644 ren645 ren646 ren647 ren648 ren649 ren650 ren651 ren652 ren653 ren654 ren655 ren656 ren657 ren658 ren659 ren660 ren661 ren662 ren663 ren664 ren665 ren666 ren667 ren668 ren669 ren670 ren671 ren672 ren673 ren674 ren675 ren676 ren677 ren678 ren679 ren680 ren681 ren682 ren683 ren684 ren685 ren686 ren687 ren688 ren689 ren690 ren691 ren692 ren693 ren694 ren695 ren696 ren697 ren698 ren699 ren700 ren701 ren702 ren703 ren704 ren705 ren706 ren707 ren708 ren709 ren710 ren711 ren712 ren713 ren714 ren715 ren716 ren717 ren718 ren719 ren720 ren721 ren722 ren723 ren724 ren725 ren726 ren727 ren728 ren729 ren730 ren731 ren732 ren733 ren734 ren735 ren736 ren737 ren738 ren739 ren740 ren741 ren742 ren743 ren744 ren745 ren746 ren747 ren748 ren749 ren750 ren751 ren752 ren753 ren754 ren755 ren756 ren757 ren758 ren759 ren760 ren761 ren762 ren763 ren764 ren765 ren766 ren767 ren768 ren769 ren770 ren771 ren772 ren773 ren774 ren775 ren776 ren777 ren778 ren779 ren780 ren781 ren782 ren783 ren784 ren785 ren786 ren787 ren788 ren789 ren790 ren791 ren792 ren793 ren794 ren795 ren796 ren797 ren798 ren799 ren800 ren801 ren802 ren803 ren804 ren805 ren806 ren807 ren808 ren809 ren810 ren811 ren812 ren813 ren814 ren815 ren816 ren817 ren818 ren819 ren820 ren821 ren822 ren823 ren824 ren825 ren826 ren827 ren828 ren829 ren830 ren831 ren832 ren833 ren834 ren835 ren836 ren837 ren838 ren839 ren840 ren841 ren842 ren843 ren844 ren845 ren846 ren847 ren848 ren849 ren850 ren851 ren852 ren853 ren854 ren855 ren856 ren857 ren858 ren859 ren860 ren861 ren862 ren863 ren864 ren865 ren866 ren867 ren868 ren869 ren870 ren871 ren872 ren873 ren874 ren875 ren876 ren877 ren878 ren879 ren880 ren881 ren882 ren883 ren884 ren885 ren886 ren887 ren888 ren889 ren890 ren891 ren892 ren893 ren894 ren895 ren896 ren897 ren898 ren899 ren900 ren901 ren902 ren903 ren904 ren905 ren906 ren907 ren908 ren909 ren910 ren911 ren912 ren913 ren914 ren915 ren916 ren917 ren918 ren919 ren920 ren921 ren922 ren923 ren924 ren925 ren926 ren927 ren928 ren929 ren930 ren931 ren932 ren933 ren934 ren935 ren936 ren937 ren938 ren939 ren940 ren941 ren942 ren943 ren944 ren945 ren946 ren947 ren948 ren949 ren950 ren951 ren952 ren953 ren954 ren955 ren956 ren957 ren958 ren959 ren960 ren961 ren962 ren963 ren964 ren965 ren966 ren967 ren968 ren969 ren970 ren971 ren972 ren973 ren974 ren975 ren976 ren977 ren978 ren979 ren980 ren981 ren982 ren983 ren984 ren985 ren986 ren987 ren988 ren989 ren990 ren991 ren992 ren993 ren994 ren995 ren996 ren997 ren998 ren999 ren1000 ren1001 ren1002 ren1003 ren1004 ren1005 ren1006 ren1007 ren1008 ren1009 ren1010 ren1011 ren1012 ren1013 ren1014 ren1015 ren1016 ren1017 ren1018 ren1019 ren1020 ren1021 ren1022 ren1023 ren1024 ren1025 ren1026 ren1027 ren1028 ren1029 ren1030 ren1031 ren1032 ren1033 ren1034 ren1035 ren1036 ren1037 ren1038 ren1039 ren1040 ren1041 ren1042 ren1043 ren1044 ren1045 ren1046 ren1047 ren1048 ren1049 ren1050 ren1051 ren1052 ren1053 ren1054 ren1055 ren1056 ren1057 ren1058 ren1059 ren1060 ren1061 ren1062 ren1063 ren1064 ren1065 ren1066 ren1067 ren1068 ren1069 ren1070 ren1071 ren1072 ren1073 ren1074 ren1075 ren1076 ren1077 ren1078 ren1079 ren1080 ren1081 ren1082 ren1083 ren1084 ren1085 ren1086 ren1087 ren1088 ren1089 ren1090 ren1091 ren1092 ren1093 ren1094 ren1095 ren1096 ren1097 ren1098 ren1099 ren1100 ren1101 ren1102 ren1103 ren1104 ren1105 ren1106 ren1107 ren1108 ren1109 ren1110 ren1111 ren1112 ren1113 ren1114 ren1115 ren1116 ren1117 ren1118 ren1119 ren1120 ren1121 ren1122 ren1123 ren1124 ren1125 ren1126 ren1127 ren1128 ren1129 ren1130 ren1131 ren1132 ren1133 ren1134 ren1135 ren1136 ren1137 ren1138 ren1139 ren1140 ren1141 ren1142 ren1143 ren1144 ren1145 ren1146 ren1147 ren1148 ren1149 ren1150 ren1151 ren1152 ren1153 ren1154 ren1155 ren1156 ren1157 ren1158 ren1159 ren1160 ren1161 ren1162 ren1163 ren1164 ren1165 ren1166 ren1167 ren1168 ren1169 ren1170 ren1171 ren1172 ren1173 ren1174 ren1175 ren1176 ren1177 ren1178 ren1179 ren1180 ren1181 ren1182 ren1183 ren1184 ren1185 ren1186 ren1187 ren1188 ren1189 ren1190 ren1191 ren1192 ren1193 ren1194 ren1195 ren1196 ren1197 ren1198 ren1199 ren1200 ren1201 ren1202 ren1203 ren1204 ren1205 ren1206 ren1207 ren1208 ren1209 ren1210 ren1211 ren1212 ren1213 ren1214 ren1215 ren1216 ren1217 ren1218 ren1219 ren1220 ren1221 ren1222 ren1223 ren1224 ren1225 ren1226 ren1227 ren1228 ren1229 ren1230 ren1231 ren1232 ren1233 ren1234 ren1235 ren1236 ren1237 ren1238 ren1239 ren1240 ren1241 ren1242 ren1243 ren1244 ren1245 ren1246 ren1247 ren1248 ren1249 ren1250 ren1251 ren1252 ren1253 ren1254 ren1255 ren1256 ren1257 ren1258 ren1259 ren1260 ren1261 ren1262 ren1263 ren1264 ren1265 ren1266 ren1267 ren1268 ren1269 ren1270 ren1271 ren1272 ren1273 ren1274 ren1275 ren1276 ren1277 ren1278 ren1279 ren1280 ren1281 ren1282 ren1283 ren1284 ren1285 ren1286 ren1287 ren1288 ren1289 ren1290 ren1291 ren1292 ren1293 ren1294 ren1295 ren1296 ren1297 ren1298 ren1299 ren1300 ren1301 ren1302 ren1303 ren1304 ren1305 ren1306 ren1307 ren1308 ren1309 ren1310 ren1311 ren1312 ren1313 ren1314 ren1315 ren1316 ren1317 ren1318 ren1319 ren1320 ren1321 ren1322 ren1323 ren1324 ren1325 ren1326 ren1327 ren1328 ren1329 ren1330 ren1331 ren1332 ren1333 ren1334 ren1335 ren1336 ren1337 ren1338 ren1339 ren1340 ren1341 ren1342 ren1343 ren1344 ren1345 ren1346 ren1347 ren1348 ren1349 ren1350 ren1351 ren1352 ren1353 ren1354 ren1355 ren1356 ren1357 ren1358 ren1359 ren1360 ren1361 ren1362 ren1363 ren1364 ren1365 ren1366 ren1367 ren1368 ren1369 ren1370 ren1371 ren1372 ren1373 ren1374 ren1375 ren1376 ren1377 ren1378 ren1379 ren1380 ren1381 ren1382 ren1383 ren1384 ren1385 ren1386 ren1387 ren1388 ren1389 ren1390 ren1391 ren1392 ren1393 ren1394 ren1395 ren1396 ren1397 ren1398 ren1399 ren1400 ren1401 ren1402 ren1403 ren1404 ren1405 ren1406 ren1407 ren1408 ren1409 ren1410 ren1411 ren1412 ren1413 ren1414 ren1415 ren1416 ren1417 ren1418 ren1419 ren1420 ren1421 ren1422 ren1423 ren1424 ren1425 ren1426 ren1427 ren1428 ren1429 ren1430 ren1431 ren1432 ren1433 ren1434 ren1435 ren1436 ren1437 ren1438 ren1439 ren1440 ren1441 ren1442 ren1443 ren1444 ren1445 ren1446 ren1447 ren1448 ren1449 ren1450 ren1451 ren1452 ren1453 ren1454 ren1455 ren1456 ren1457 ren1458 ren1459 ren1460 ren1461 ren1462 ren1463 ren1464 ren1465 ren1466 ren1467 ren1468 ren1469 ren1470 ren1471 ren1472 ren1473 ren1474 ren1475 ren1476 ren1477 ren1478 ren1479 ren1480 ren1481 ren1482 ren1483 ren1484 ren1485 ren1486 ren1487 ren1488 ren1489 ren1490 ren1491 ren1492 ren1493 ren1494 ren1495 ren1496 ren1497 ren1498 ren1499 ren1500 ren1501 ren1502 ren1503 ren1504 ren1505 ren1506 ren1507 ren1508 ren1509 ren1510 ren1511 ren1512 ren1513 ren1514 ren1515 ren1516 ren1517 ren1518 ren1519 ren1520 ren1521 ren1522 ren1523 ren1524 ren1525 ren1526 ren1527 ren1528 ren1529 ren1530 ren1531 ren1532 ren1533 ren1534 ren1535 ren1536 ren1537 ren1538 ren1539 ren1540 ren1541 ren1542 ren1543 ren1544 ren1545 ren1546 ren1547 ren1548 ren1549 ren1550 ren1551 ren1552 ren1553 ren1554 ren1555 ren1556 ren1557 ren1558 ren1559 ren1560 ren1561 ren1562 ren1563 ren1564 ren1565 ren1566 ren1567 ren1568 ren1569 ren1570 ren1571 ren1572 ren1573 ren1574 ren1575 ren1576 ren1577 ren1578 ren1579 ren1580 ren1581 ren1582 ren1583 ren1584 ren1585 ren1586 ren1587 ren1588 ren1589 ren1590 ren1591 ren1592 ren1593 ren1594 ren1595 ren1596 ren1597 ren1598 ren1599 ren1600 ren1601 ren1602 ren1603 ren1604 ren1605 ren1606 ren1607 ren1608 ren1609 ren1610 ren1611 ren1612 ren1613 ren1614 ren1615 ren1616 ren1617 ren1618 ren1619 ren1620 ren1621 ren1622 ren1623 ren1624 ren1625 ren1626 ren1627 ren1628 ren1629 ren1630 ren1631 ren1632 ren1633 ren1634 ren1635 ren1636 ren1637 ren1638 ren1639 ren1640 ren1641 ren1642 ren1643 ren1644 ren1645 ren1646 ren1647 ren1648 ren1649 ren1650 ren1651 ren1652 ren1653 ren1654 ren1655 ren1656 ren1657 ren1658 ren1659 ren1660 ren1661 ren1662 ren1663 ren1664 ren1665 ren1666 ren1667 ren1668 ren1669 ren1670 ren1671 ren1672 ren1673 ren1674 ren1675 ren1676 ren1677 ren1678 ren1679 ren1680 ren1681 ren1682 ren1683 ren1684 ren1685 ren1686 ren1687 ren1688 ren1689 ren1690 ren1691 ren1692 ren1693 ren1694 ren1695 ren1696 ren1697 ren1698 ren1699 ren1700 ren1701 ren1702 ren1703 ren1704 ren1705 ren1706 ren1707 ren1708 ren1709 ren1710 ren1711 ren1712 ren1713 ren1714 ren1715 ren1716 ren1717 ren1718 ren1719 ren1720 ren1721 ren1722 ren1723 ren1724 ren1725 ren1726 ren1727 ren1728 ren1729 ren1730 ren1731 ren1732 ren1733 ren1734 ren1735 ren1736 ren1737 ren1738 ren1739 ren1740 ren1741 ren1742 ren1743 ren1744 ren1745 ren1746 ren1747 ren1748 ren1749 ren1750 ren1751 ren1752 ren1753 ren1754 ren1755 ren1756 ren1757 ren1758 ren1759 ren1760 ren1761 ren1762 ren1763 ren1764 ren1765 ren1766 ren1767 ren1768 ren1769 ren1770 ren1771 ren1772 ren1773 ren1774 ren1775 ren1776 ren1777 ren1778 ren1779 ren1780 ren1781 ren1782 ren1783 ren1784 ren1785 ren1786 ren1787 ren1788 ren1789 ren1790 ren1791 ren1792 ren1793 ren1794 ren1795 ren1796 ren1797 ren1798 ren1799 ren1800 ren1801 ren1802 ren1803 ren1804 ren1805 ren1806 ren1807 ren1808 ren1809 ren1810 ren1811 ren1812 ren1813 ren1814 ren1815 ren1816 ren1817 ren1818 ren1819 ren1820 ren1821 ren1822 ren1823 ren1824 ren1825 ren1826 ren1827 ren1828 ren1829 ren1830 ren1831 ren1832 ren1833 ren1834 ren1835 ren1836 ren1837 ren1838 ren1839 ren1840 ren1841 ren1842 ren1843 ren1844 ren1845 ren1846 ren1847 ren1848 ren1849 ren1850 ren1851 ren1852 ren1853 ren1854 ren1855 ren1856 ren1857 ren1858 ren1859 ren1860 ren1861 ren1862 ren1863 ren1864 ren1865 ren1866 ren1867 ren1868 ren1869 ren1870 ren1871 ren1872 ren1873 ren1874 ren1875 ren1876 ren1877 ren1878 ren1879 ren1880 ren1881 ren1882 ren1883 ren1884 ren1885 ren1886 ren1887 ren1888 ren1889 ren1890 ren1891 ren1892 ren1893 ren1894 ren1895 ren1896 ren1897 ren1898 ren1899 ren1900 ren1901 ren1902 ren1903 ren1904 ren1905 ren1906 ren1907 ren1908 ren1909 ren1910 ren1911 ren1912 ren1913 ren1914 ren1915 ren1916 ren1917 ren1918 ren1919 ren1920 ren1921 ren1922 ren1923 ren1924 ren1925 ren1926 ren1927 ren1928 ren1929 ren1930 ren1931 ren1932 ren1933 ren1934 ren1935 ren1936 ren1937 ren1938 ren1939 ren1940 ren1941 ren1942 ren1943 ren1944 ren1945 ren1946 ren1947 ren1948 ren1949 ren1950 ren1951 ren1952 ren1953 ren1954 ren1955 ren1956 ren1957 ren1958 ren1959 ren1960 ren1961 ren1962 ren1963 ren1964 ren1965 ren1966 ren1967 ren1968 ren1969 ren1970 ren1971 ren1972 ren1973 ren1974 ren1975 ren1976 ren1977 ren1978 ren1979 ren1980 ren1981 ren1982 ren1983 ren1984 ren1985 ren1986 ren1987 ren1988 ren1989 ren1990 ren1991 ren1992 ren1993 ren1994 ren1995 ren1996 ren1997 ren1998 ren1999 ren2000 ren2001 ren2002 ren2003 ren2004 ren2005 ren2006 ren2007 ren2008 ren2009 ren2010 ren2011 ren2012 ren2013 ren2014 ren2015 ren2016 ren2017 ren2018 ren2019 ren2020 ren2021 ren2022 ren2023 ren2024 ren2025 ren2026 ren2027 ren2028 ren2029 ren2030 ren2031 ren2032 ren2033 ren2034 ren2035 ren2036 ren2037 ren2038 ren2039 ren2040 ren2041 ren2042 ren2043 ren2044 ren2045 ren2046 ren2047 ren2048 ren2049 ren2050 ren2051 ren2052 ren2053 ren2054 ren2055 ren2056 ren2057 ren2058 ren2059 ren2060 ren2061 ren2062 ren2063 ren2064 ren2065 ren2066 ren2067 ren2068 ren2069 ren2070 ren2071 ren2072 ren2073 ren2074 ren2075 ren2076 ren2077 ren2078 ren2079 ren2080 ren2081 ren2082 ren2083 ren2084 ren2085 ren2086 ren2087 ren2088 ren2089 ren2090 ren2091 ren2092 ren2093 ren2094 ren2095 ren2096 ren2097 ren2098 ren2099 ren2100 ren2101 ren2102 ren2103 ren2104 ren2105 ren2106 ren2107 ren2108 ren2109 ren2110 ren2111 ren2112 ren2113 ren2114 ren2115 ren2116 ren2117 ren2118 ren2119 ren2120 ren2121 ren2122 ren2123 ren2124 ren2125 ren2126 ren2127 ren2128 ren2129 ren2130 ren2131 ren2132 ren2133 ren2134 ren2135 ren2136 ren2137 ren2138 ren2139 ren2140 ren2141 ren2142 ren2143 ren2144 ren2145 ren2146 ren2147 ren2148 ren2149 ren2150 ren2151 ren2152 ren2153 ren2154 ren2155 ren2156 ren2157 ren2158 ren2159 ren2160 % 1.22/0.84 Fol Constants: c__instance c__BinaryPredicate c__immediateInstance c__AsymmetricRelation c__IntransitiveRelation c__SetOrClass c__inverse c__IrreflexiveRelation c__SymmetricRelation c__BinaryRelation c__subclass c__PartialOrderingRelation c__immediateSubclass c__subrelation c__Relation c__PositiveInteger c__TernaryRelation c__QuaternaryRelation c__QuintaryRelation c__InheritableRelation c__domain c__TernaryPredicate c__domainSubclass c__equal c__EquivalenceRelation c__RelationExtendedToQuantities c__range c__rangeSubclass c__valence c__SingleValuedRelation c__documentation c__format c__termFormat c__disjoint c__disjointRelation c__contraryAttribute c__Predicate c__VariableArityRelation c__Attribute c__Object c__exhaustiveAttribute c__exhaustiveDecomposition c__partition c__disjointDecomposition c__relatedInternalConcept c__relatedExternalConcept c__synonymousExternalConcept c__subsumedExternalConcept c__subsumingExternalConcept c__externalImage c__subAttribute c__successorAttribute c__successorAttributeClosure c__TransitiveRelation c__greaterThanByQuality c__entails c__AssignmentFn c__Function c__PowerSetFn c__UnaryFunction c__TotalValuedRelation c__Entity c__Physical c__Abstract c__Class c__Process c__TimePosition c__SelfConnectedObject c__OrganicThing c__FrontFn c__SpatialRelation c__PartialValuedRelation c__BackFn c__part c__properPart c__piece c__Substance c__component c__material c__contains c__partlyLocated c__Hole c__PureSubstance c__Mixture c__SyntheticSubstance c__NaturalSubstance c__IntentionalProcess c__CompoundSubstance c__ElementalSubstance c__Metal c__Atom c__Proton c__Electron c__AtomicNucleus c__SubatomicParticle c__Neutron c__CorpuscularObject c__Region c__Collection c__member c__element c__subCollection c__ContentBearingPhysical c__ContentBearingProcess c__ContentBearingObject c__SymbolicString c__Character c__containsInformation c__represents c__Icon c__MotionPicture c__Text c__LinguisticExpression c__Language c__AnimalLanguage c__HumanLanguage c__ComputerLanguage c__Agent c__Animal c__Human c__ArtificialLanguage c__Machine c__NaturalLanguage c__ConstructedLanguage c__SpokenHumanLanguage c__ManualHumanLanguage c__Planning c__EnglishLanguage c__Word c__Formula c__Sentence c__SentientAgent c__CognitiveAgent c__LegalAgent c__leader c__DualObjectProcess c__SingleAgentProcess c__Quantity c__Proposition c__InternalAttribute c__RelationalAttribute c__PerceptualAttribute c__property c__attribute c__manner c__ExtensionFn c__PhysicalAttribute c__Number c__RealNumber c__ImaginaryNumber c__ComplexNumber c__lessThan c__greaterThan c__lessThanOrEqualTo c__greaterThanOrEqualTo c__NegativeRealNumber c__NonnegativeRealNumber c__RationalNumber c__IrrationalNumber c__0 c__PositiveRealNumber c__Integer c__OddInteger c__EvenInteger c__NegativeInteger c__NonnegativeInteger c__PrimeNumber c__1 c__2 c__3 c__4 c__5 c__6 c__7 c__8 c__9 c__10 c__11 c__12 c__13 c__14 c__15 c__16 c__17 c__18 c__19 c__20 c__21 c__22 c__23 c__24 c__25 c__26 c__27 c__28 c__29 c__30 c__31 c__32 c__33 c__34 c__35 c__36 c__37 c__38 c__39 c__40 c__41 c__42 c__43 c__44 c__45 c__46 c__47 c__48 c__49 c__50 c__51 c__52 c__53 c__54 c__55 c__56 c__57 c__58 c__59 c__60 c__61 c__62 c__63 c__64 c__65 c__66 c__67 c__68 c__69 c__70 c__71 c__72 c__73 c__74 c__75 c__76 c__77 c__78 c__79 c__80 c__81 c__82 c__83 c__84 c__85 c__86 c__87 c__88 c__89 c__90 c__91 c__92 c__93 c__94 c__95 c__96 c__97 c__98 c__99 c__100 c__101 c__102 c__103 c__104 c__105 c__106 c__107 c__108 c__109 c__110 c__147 c__180 c__210 c__222 c__223 c__226 c__227 c__231 c__237 c__242 c__243 c__247 c__249 c__253 c__254 c__256 c__261 c__262 c__263 c__265 c__266 c__267 c__272 c__360 c__365 c__400 c__746 c__1000 c__1024 c__2000 c__2205 c__2240 c__1000000 c__1000000000 c__1000000000000 c__BinaryNumber c__PhysicalQuantity c__ConstantQuantity c__FunctionQuantity c__TimeMeasure c__TimeDuration c__TimeInterval c__TimePoint c__UnaryConstantFunctionQuantity c__TimeDependentQuantity c__Set c__List c__ReflexiveRelation c__AntisymmetricRelation c__TrichotomizingRelation c__TotalOrderingRelation c__CaseRole c__involvedInEvent c__agent c__destination c__experiencer c__instrument c__patient c__origin c__resource c__result c__ProbabilityRelation c__ProbabilityFn c__conditionalProbability c__increasesLikelihood c__decreasesLikelihood c__independentProbability c__TemporalRelation c__IntentionalRelation c__prefers c__PropositionalAttitude c__ObjectAttitude c__inScopeOfInterest c__needs c__wants c__desires c__considers c__believes c__knows c__True c__UniqueList c__NullList c__ListFn c__ListOrderFn c__BinaryFunction c__ListLengthFn c__ListConcatenateFn c__inList c__subList c__initialList c__identicalListItems c__OneToOneFunction c__SequenceFunction c__AssociativeFunction c__CommutativeFunction c__TernaryFunction c__QuaternaryFunction c__ContinuousFunction c__QuaternaryPredicate c__QuintaryPredicate c__LogicalOperator c__closedOn c__reflexiveOn c__irreflexiveOn c__partialOrderingOn c__totalOrderingOn c__trichotomizingOn c__equivalenceRelationOn c__distributes c__relatedEvent c__causes c__causesSubclass c__causesProposition c__copy c__time c__located c__holdsDuring c__capability c__exploits c__hasPurpose c__hasPurposeForAgent c__hasSkill c__confersNorm c__deprivesNorm c__eventPartlyLocated c__eventLocated c__exactlyLocated c__between c__betweenOnPath c__traverses c__crosses c__connected c__penetrates c__meetsSpatially c__WhereFn c__WhenFn c__possesses c__PropertyFn c__precondition c__hindersSubclass c__preventsSubclass c__prevents c__hinders c__refers c__names c__uniqueIdentifier c__representsForAgent c__representsInLanguage c__equivalentContentClass c__subsumesContentClass c__equivalentContentInstance c__subsumesContentInstance c__realization c__expressedInLanguage c__subProposition c__subPlan c__uses c__MultiplicationFn c__AdditionFn c__SubtractionFn c__DivisionFn c__AbsoluteValueFn c__CeilingFn c__CosineFn c__DenominatorFn c__ExponentiationFn c__FloorFn c__GreatestCommonDivisorFn c__multiplicativeFactor c__ImaginaryPartFn c__IntegerSquareRootFn c__LeastCommonMultipleFn c__LogFn c__MaxFn c__MinFn c__NumeratorFn c__Pi c__NumberE c__RationalNumberFn c__RealNumberFn c__ReciprocalFn c__RemainderFn c__RoundFn c__SignumFn c__SineFn c__SquareRootFn c__TangentFn c__PlaneAngleMeasure c__identityElement c__SuccessorFn c__PredecessorFn c__average c__subset c__UnionFn c__IntersectionFn c__RelativeComplementFn c__ComplementFn c__GeneralizedUnionFn c__GeneralizedIntersectionFn c__CardinalityFn c__NullSet c__NonNullSet c__FiniteSet c__PairwiseDisjointClass c__MutuallyDisjointClass c__KappaFn c__Graph c__GraphNode c__GraphArc c__GraphPath c__DirectedGraph c__Tree c__GraphElement c__GraphLoop c__GraphCircuit c__MultiGraph c__PseudoGraph c__links c__graphPart c__subGraph c__pathLength c__InitialNodeFn c__TerminalNodeFn c__BeginNodeFn c__EndNodeFn c__arcWeight c__PathWeightFn c__MinimalWeightedPathFn c__MaximalWeightedPathFn c__GraphPathFn c__CutSetFn c__MinimalCutSetFn c__abstractCounterpart c__PhysicalSystem c__subSystem c__systemPart c__graphMeasure c__UnitOfMeasure c__CompositeUnitOfMeasure c__NonCompositeUnitOfMeasure c__SystemeInternationalUnit c__LengthMeasure c__UnitOfLength c__MassMeasure c__UnitOfMass c__AreaMeasure c__UnitOfArea c__VolumeMeasure c__UnitOfVolume c__TemperatureMeasure c__UnitOfTemperature c__CurrencyMeasure c__UnitOfCurrency c__AngleMeasure c__UnitOfAngularMeasure c__SolidAngleMeasure c__UnitOfInformation c__UnitOfDuration c__MeasureFn c__InformationMeasure c__UnitOfMeasureMultiplier c__KiloFn c__MegaFn c__GigaFn c__TeraFn c__MilliFn c__MicroFn c__NanoFn c__PicoFn c__IntervalFn c__RecurrentTimeIntervalFn c__MagnitudeFn c__UnitFn c__PerFn c__DensityFn c__SpeedFn c__VelocityFn c__DirectionalAttribute c__Meter c__Gram c__SecondDuration c__Ampere c__KelvinDegree c__Mole c__Candela c__Liter c__Centimeter c__Millimeter c__Kilometer c__Radian c__Steradian c__FrequencyMeasure c__UnitOfFrequency c__Hertz c__Newton c__Pascal c__Joule c__Watt c__Horsepower c__Coulomb c__Volt c__Farad c__Ohm c__Siemens c__Weber c__Tesla c__Henry c__CelsiusDegree c__Lumen c__Lux c__Becquerel c__Gray c__Sievert c__DayDuration c__HourDuration c__MinuteDuration c__WeekDuration c__MonthDuration c__YearDuration c__Amu c__ElectronVolt c__Angstrom c__FootLength c__Inch c__Mile c__UnitedStatesGallon c__UnitedKingdomGallon c__Quart c__Pint c__Cup c__Ounce c__AtomGram c__Kilogram c__weight c__measure c__PoundMass c__Slug c__RankineDegree c__FahrenheitDegree c__PoundForce c__Calorie c__BritishThermalUnit c__AngularDegree c__UnitedStatesDollar c__UnitedStatesCent c__EuroDollar c__EuroCent c__Bit c__Byte c__KiloByte c__MegaByte c__age c__linearExtent c__width c__height c__length c__Oval c__ClosedTwoDimensionalFigure c__Circle c__CenterOfCircleFn c__radius c__GeometricPoint c__diameter c__distance c__altitude c__Above c__depth c__Below c__larger c__smaller c__monetaryValue c__WealthFn c__barometricPressure c__UnitOfAtmosphericPressure c__InchMercury c__MmMercury c__PositiveInfinity c__NegativeInfinity c__duration c__frequency c__temporalPart c__BeginFn c__EndFn c__starts c__finishes c__before c__beforeOrEqual c__earlier c__temporallyBetween c__temporallyBetweenOrEqual c__overlapsTemporally c__during c__meetsTemporally c__cooccur c__TimeIntervalFn c__PastFn c__ImmediatePastFn c__FutureFn c__ImmediateFutureFn c__date c__YearFn c__MonthFn c__DayFn c__HourFn c__MinuteFn c__SecondFn c__Year c__LeapYear c__Month c__January c__February c__March c__April c__May c__June c__July c__August c__September c__October c__November c__December c__Day c__Monday c__Tuesday c__Week c__Wednesday c__Thursday c__Friday c__Saturday c__Sunday c__Hour c__Minute c__Second c__TemporalCompositionFn c__connects c__overlapsSpatially c__overlapsPartially c__superficialPart c__surface c__interiorPart c__bottom c__top c__side c__PositionalAttribute c__MereologicalSumFn c__MereologicalProductFn c__MereologicalDifferenceFn c__MereologicalComplementFn c__hole c__HoleHostFn c__Fillable c__ShapeAttribute c__partiallyFills c__properlyFills c__completelyFills c__fills c__HoleSkinFn c__subProcess c__BiologicalProcess c__InternalChange c__Organism c__PhysiologicProcess c__AutonomicProcess c__OrganOrTissueProcess c__OrganismProcess c__Organ c__Tissue c__Birth c__Death c__Breathing c__Ingesting c__Eating c__Solid c__Drinking c__Liquid c__Digesting c__ChemicalDecomposition c__Growth c__Replication c__ReproductiveBody c__SexualReproduction c__AsexualReproduction c__PsychologicalProcess c__PathologicProcess c__DiseaseOrSyndrome c__Injuring c__Damaging c__Poisoning c__AnatomicalStructure c__BiologicallyActiveSubstance c__NaturalProcess c__IntentionalPsychologicalProcess c__RecreationOrExercise c__OrganizationalProcess c__Organization c__Election c__ReligiousProcess c__ReligiousOrganization c__JoiningAnOrganization c__LeavingAnOrganization c__Graduation c__EducationalOrganization c__Matriculation c__Hiring c__TerminatingEmployment c__PoliticalProcess c__Government c__JudicialProcess c__JudicialOrganization c__LegalDecision c__Declaring c__LegalAction c__Deciding c__MilitaryProcess c__RegulatoryProcess c__Guiding c__Managing c__Plan c__Designing c__Interpreting c__QuantityChange c__Increasing c__Decreasing c__Heating c__Cooling c__moves c__changesLocation c__Translocation c__Motion c__MotionUpward c__MotionDownward c__path c__BodyMotion c__BodyPart c__VocalCords c__Vocalizing c__RadiatingSound c__Speaking c__LinguisticCommunication c__Ambulating c__Walking c__Running c__Swimming c__WaterArea c__Dancing c__GeologicalProcess c__WeatherProcess c__Precipitation c__WaterMotion c__Falling c__Water c__LiquidMotion c__GasMotion c__Gas c__Wind c__DirectionChange c__Transfer c__Carrying c__Removing c__Uncovering c__Covering c__Putting c__Inserting c__Injecting c__Substituting c__Impelling c__Shooting c__Touching c__grasps c__Grabbing c__Attaching c__Releasing c__Impacting c__Transportation c__TransportationDevice c__Driving c__Vehicle c__EducationalProcess c__ChangeOfPossession c__SocialInteraction c__Giving c__Getting c__Funding c__Currency c__UnilateralGiving c__Transaction c__Lending c__Borrowing c__GivingBack c__UnilateralGetting c__FinancialTransaction c__FinancialInstrument c__transactionAmount c__ServiceProcess c__CommercialService c__CommercialAgent c__Betting c__Buying c__Selling c__Learning c__Discovering c__Pursuing c__Classifying c__Reasoning c__Selecting c__Voting c__Judging c__Comparing c__Calculating c__Measuring c__Counting c__Predicting c__Remembering c__Keeping c__Confining c__Maintaining c__Repairing c__TherapeuticProcess c__Surgery c__Cutting c__Destruction c__Killing c__Poking c__Detaching c__Ungrasping c__Combining c__Separating c__ChemicalProcess c__ChemicalSynthesis c__Combustion c__RadiatingLight c__Flammable c__SurfaceChange c__Coloring c__ShapeChange c__ContentDevelopment c__Reading c__Writing c__Encoding c__Decoding c__Translating c__Wetting c__Drying c__Creation c__Making c__Constructing c__StationaryArtifact c__Manufacture c__Publication c__Cooking c__Hunting c__Investigating c__Experimenting c__DiagnosticProcess c__Pretending c__Communication c__Stating c__Supposing c__Directing c__Committing c__Expressing c__Disseminating c__Demonstrating c__attends c__Gesture c__Advertising c__StateOfMind c__Disagreeing c__Ordering c__Obligation c__Requesting c__Questioning c__Promise c__Offering c__ObjectiveNorm c__Naming c__Cooperation c__Meeting c__Contest c__ViolentContest c__War c__Battle c__GeopoliticalArea c__Game c__Sport c__Maneuver c__Attack c__DefensiveManeuver c__Perception c__Seeing c__Looking c__Smelling c__OlfactoryAttribute c__Tasting c__TasteAttribute c__Hearing c__SoundAttribute c__Audible c__Listening c__TactilePerception c__Radiating c__RadiatingElectromagnetic c__Illuminated c__RadiatingInfrared c__RadiatingXRay c__MakingMusic c__MakingInstrumentalMusic c__MakingVocalMusic c__MusicalInstrument c__Singing c__RadiatingNuclear c__StateChange c__atomicNumber c__boilingPoint c__meltingPoint c__Melting c__Boiling c__Evaporating c__Condensing c__Freezing c__AstronomicalBody c__GeographicArea c__LandArea c__LocalizablePlace c__geographicSubregion c__geopoliticalSubdivision c__SaltWaterArea c__FreshWaterArea c__Continent c__Island c__ShoreArea c__Nation c__StateOrProvince c__City c__County c__Transitway c__LandTransitway c__Roadway c__Mineral c__developmentalForm c__OrganicObject c__Artifact c__Plant c__Microorganism c__inhabits c__home c__stays c__FloweringPlant c__NonFloweringPlant c__Alga c__Fern c__Moss c__Fungus c__Vertebrate c__Invertebrate c__Bacterium c__Cell c__Virus c__Worm c__Mollusk c__Arthropod c__Arachnid c__Myriapod c__Insect c__Crustacean c__ColdBloodedVertebrate c__Amphibian c__Fish c__Reptile c__WarmBloodedVertebrate c__Bird c__Mammal c__AquaticMammal c__HoofedMammal c__Marsupial c__Rodent c__Primate c__Carnivore c__Canine c__Feline c__Ape c__Monkey c__Hominid c__Man c__Woman c__Male c__Female c__Nutrient c__Protein c__Carbohydrate c__Vitamin c__Enzyme c__LiquidMixture c__Solution c__Suspension c__GasMixture c__Cloud c__Smoke c__WaterCloud c__Air c__BodySubstance c__AnimalSubstance c__PlantSubstance c__Hormone c__Gland c__Blood c__FoodForFn c__Meat c__AbnormalAnatomicalStructure c__AnimalAnatomicalStructure c__PlantAnatomicalStructure c__Egg c__Seed c__Pollen c__FruitOrVegetable c__Spore c__BodyCovering c__BodyJunction c__BodyCavity c__BodyVessel c__Bone c__Muscle c__FatTissue c__Noun c__Verb c__Adjective c__Adverb c__ParticleWord c__Morpheme c__Phrase c__VerbPhrase c__NounPhrase c__PrepositionalPhrase c__FactualText c__FictionalText c__authors c__editor c__publishes c__EditionFn c__Summary c__Certificate c__Patent c__Molecule c__Product c__version c__Building c__Room c__House c__ResidentialBuilding c__SingleFamilyResidence c__Residence c__PermanentResidence c__TemporaryResidence c__ArtWork c__RepresentationalArtWork c__Fabric c__WearableItem c__Clothing c__wears c__Device c__MeasuringDevice c__AttachingDevice c__Weapon c__EngineeringComponent c__engineeringSubcomponent c__connectedEngineeringComponents c__EngineeringConnection c__connectsEngineeringComponents c__Business c__Corporation c__Manufacturer c__MercantileOrganization c__Group c__GroupOfPeople c__AgeGroup c__FamilyGroup c__SocialUnit c__ImmediateFamilyFn c__relative c__familyRelation c__spouse c__ancestor c__parent c__mother c__father c__daughter c__son c__sibling c__brother c__sister c__legalRelation c__acquaintance c__mutualAcquaintance c__husband c__wife c__EthnicGroup c__BeliefGroup c__employs c__PoliticalOrganization c__MilitaryForce c__MilitaryOrganization c__GovernmentOrganization c__ParamilitaryOrganization c__GovernmentFn c__PoliceOrganization c__subOrganization c__citizen c__FieldOfStudy c__Procedure c__ComputerProgram c__ComputerProgramming c__Argument c__DeductiveArgument c__InductiveArgument c__ValidDeductiveArgument c__InvalidDeductiveArgument c__Explanation c__premise c__PremisesFn c__conclusion c__consistent c__orientation c__direction c__faces c__TruthValue c__False c__truth c__North c__South c__East c__West c__Vertical c__Horizontal c__SymmetricPositionalAttribute c__AntiSymmetricPositionalAttribute c__On c__Adjacent c__Near c__Left c__Right c__TimeZone c__CoordinatedUniversalTimeZone c__PacificTimeZone c__MountainTimeZone c__CentralTimeZone c__EasternTimeZone c__RelativeTimeFn c__SocialRole c__Unemployed c__Position c__occupiesPosition c__NormativeAttribute c__modalAttribute c__Permission c__Possibility c__SubjectiveAssessmentAttribute c__ContestAttribute c__AlethicAttribute c__Necessity c__holdsRight c__confersRight c__holdsObligation c__confersObligation c__DeonticAttribute c__Law c__Prohibition c__ProbabilityAttribute c__Likely c__Unlikely c__PhysicalState c__Plasma c__Fluid c__VisualAttribute c__Unilluminated c__ColorAttribute c__PrimaryColor c__Red c__Blue c__Yellow c__White c__Black c__Monochromatic c__Polychromatic c__StructureAttribute c__Pliable c__Rigid c__TextureAttribute c__Smooth c__Rough c__GeometricFigure c__OneDimensionalFigure c__TwoDimensionalFigure c__ThreeDimensionalFigure c__OpenTwoDimensionalFigure c__TwoDimensionalAngle c__geometricPart c__pointOfFigure c__angleOfFigure c__pointOfIntersection c__parallel c__angularMeasure c__lineMeasure c__geometricDistance c__SaturationAttribute c__Dry c__Damp c__Wet c__BiologicalAttribute c__BodyPosition c__Standing c__Sitting c__Prostrate c__AnimacyAttribute c__Living c__Dead c__SexAttribute c__DevelopmentalAttribute c__FullyFormed c__NonFullyFormed c__Larval c__Embryonic c__PsychologicalAttribute c__TraitAttribute c__EmotionalState c__ConsciousnessAttribute c__Asleep c__Unconscious c__Awake c__PsychologicalDysfunction c__comment c__OrganismRemains c__HumanCorpse c__DeadFn c__HumanSlave c__HumanAdult c__HumanYouth c__HumanChild c__Teenager c__Boy c__Girl c__HumanBaby c__older c__StartFn c__StopFn c__Dodging c__Mounting c__Stepping c__Wading c__Jumping c__Somersaulting c__Reflecting c__ReflectingLight c__wavelength c__RadioEmission c__RadiatingUltraviolet c__XRayRadiation c__RadiatingVisibleLight c__Sunlight c__RadioReceiver c__ReceiverDevice c__Script c__WrittenCommunication c__Orthography c__Lyrics c__Paragraph c__sententialObject c__grammaticalRelation c__sententialSubject c__speaksLanguage c__MonophonicMusic c__PolyphonicMusic c__MusicalTone c__RadiatingSoundUltrasonic c__soundFrequency c__Corresponding c__Mailing c__Reminding c__Threatening c__Punishing c__Registering c__Answering c__Arguing c__Statement c__TellingALie c__Founding c__Club c__yearOfFounding c__dateEstablished c__dateUsed c__Accrediting c__Indicating c__Divorcing c__Appointing c__Public c__TurningOffDevice c__TurningOnDevice c__Projectile c__ProjectileShell c__Container c__ProjectileLauncher c__Spear c__Sword c__Whip c__Gun c__ArtilleryGun c__Firearm c__MortarGun c__Bullet c__BulletCartridge c__CartridgeCase c__GunBarrel c__GunPowder c__Lever c__Explosion c__GunTrigger c__LoadingWeapon c__effectiveRange c__GunStock c__WeaponOfMassDestruction c__Handle c__Shield c__Mast c__WaterVehicle c__WingDevice c__Aircraft c__Tube c__PhotographicFilm c__PictureFrame c__Shelf c__Furniture c__AutomaticGun c__Rifle c__Pistol c__RevolverGun c__ContainerEmpty c__ContainerFull c__Holster c__Wastebasket c__ArrowProjectile c__DriveComponent c__PetroleumProduct c__Oil c__OrganicCompound c__FossilFuel c__Fuel c__Wax c__LiquefiedPetroleumGas c__Gasoline c__DieselFuel c__Transducer c__Engine c__powerPlant c__SelfPoweredDevice c__Battery c__SteamEngine c__Turbine c__Windmill c__InternalCombustionEngine c__Manifold c__ElectricMotor c__ElectricDevice c__SwitchDevice c__Microphone c__CommunicationDevice c__Telegraph c__ProjectionScreen c__Pencil c__WritingDevice c__DeviceAttribute c__Functioning c__Malfunctioning c__DeviceStateAttribute c__DeviceClosed c__DeviceOff c__DeviceOn c__DeviceOpen c__deviceState c__Aerator c__Aerating c__Broom c__BrushOrComb c__MatchDevice c__VendingDevice c__SmokingDevice c__SmokingPipe c__Shower c__BathingDevice c__Wall c__Ceiling c__Floor c__BathTub c__FluidContainer c__Excrement c__Feces c__Intestine c__Urine c__Kidney c__Excretion c__Urination c__Defecation c__Sewage c__Bidet c__WashingDevice c__Toilet c__Bathroom c__Toothbrush c__CigarOrCigarette c__Tobacco c__Tableware c__Compass c__MajorAppliance c__Refrigerator c__Freezer c__CookingRange c__CookingOven c__HotWaterHeater c__ClothesWashingMachine c__ClothesDryer c__Dishwasher c__CoolingDevice c__FanDevice c__HeatingDevice c__Oven c__Stove c__PotOrPan c__Ramp c__RecreationOrExerciseDevice c__WalkingCane c__MaterialHandlingEquipment c__Crane c__HoistingDevice c__OpticalDevice c__EyeGlass c__Lens c__Microscope c__Filter c__FileDevice c__Electricity c__PowerSource c__DCPowerSource c__Radar c__discovers c__Sonar c__Echoing c__ElectricalSignalling c__Signalling c__ElectronicSignalling c__SecurityDevice c__Lock c__Key c__Locked c__SafeContainer c__AnimalController c__AnimalPoweredDevice c__Flat c__LongAndThin c__LevelShape c__SymmetricShape c__Baton c__SecurityAlarm c__FiniteQuantity c__InfiniteQuantity c__Clock c__WatchClock c__Wrist c__Thermometer c__PressureMeasuringDevice c__measurementReading c__Telephone c__Telephoning c__Fax c__ArtifactMediatedCommunication c__FaxMachine c__TelephonyDevice c__emailAddress c__LightFixture c__Candle c__Lightning c__Thunder c__VehicleLight c__Headlight c__Taillight c__PaintedPicture c__Paint c__Painting c__WatercolorPicture c__WatercolorPaint c__Wallpaper c__Paper c__Sculpture c__Portrait c__Face c__Sketch c__Collage c__Folding c__OilPaint c__OilPicture c__ArtPainting c__PaintingDevice c__potentialOfHydrogen c__Tracing c__Blueprint c__ComposingMusic c__MusicalComposition c__Drawing c__Focusing c__DisplayArtifact c__VehicleWheel c__Wheel c__LandVehicle c__VehicleController c__SteeringWheel c__VehicleBrake c__VehicleThrottle c__VehicleTire c__VehicleWindow c__Window c__Windshield c__RearWindow c__RoadVehicle c__Fleet c__fleetSize c__Axle c__CurrencyBill c__CurrencyCoin c__Wire c__WireSpring c__WireLine c__TelephoneLine c__String c__Plug c__Pottery c__Clay c__Pillow c__Mirror c__Seat c__Chair c__Sofa c__Bed c__KingBed c__QueenBed c__DoubleBed c__SingleBed c__BunkBed c__MurphyBed c__RollawayBed c__SofaBed c__Crib c__Hammock c__Mattress c__BedFrame c__FourPosterBed c__Quadrilateral c__BedAttribute c__WaterBed c__BedLinen c__Table c__Desk c__ChestOrCabinet c__Coffin c__Compartment c__Mailbox c__Screw c__Screwdriver c__Hammer c__Nail c__Tape c__Anchor c__BoatDeck c__Button c__Clamp c__Washer c__Holder c__Saddle c__HorseRiding c__Horse c__carries c__Tray c__Dish c__Bag c__Box c__TrapOrCage c__Envelope c__TravelContainer c__Bottle c__DrinkingCup c__Beverage c__SwimmingPool c__BoardOrBlock c__Brick c__Veneer c__tangent c__TwoDimensionalObject c__sliceOfFigure c__RoundShape c__Cone c__Cylinder c__ObliqueAngle c__RightAngle c__AcuteAngle c__Polygon c__Triangle c__RightTriangle c__Rectangle c__Square c__DiameterFn c__RadiusFn c__CircleSector c__sideOfFigure c__Sphere c__Bubble c__Nest c__OutdoorClothing c__Apron c__Belt c__TieClothing c__Neck c__Cloak c__Collar c__Coat c__Shirt c__Glove c__Hand c__Hat c__Head c__Trousers c__Leg c__Shoe c__Foot c__ShoeSole c__Sandal c__Sock c__Sleeve c__Arm c__Dress c__ClothingSuit c__Rug c__Towel c__Leather c__Skin c__Silk c__Wool c__Hair c__Sheep c__Pocket c__Blanket c__Cotton c__CottonFabric c__Veil c__Concealing c__Dressing c__ChangingClothing c__RemovingClothing c__Cleaning c__Sweeping c__Washing c__CleaningDevice c__Tying c__Untying c__Sewing c__Soldering c__MetallicAlloy c__SolderingIron c__patientMedical c__Bandage c__Massaging c__RelievingPain c__NonspecificDisease c__BacterialDisease c__InfectiousDisease c__TakingIll c__ViralDisease c__Diarrhea c__Emphysema c__Lung c__Fever c__Goiter c__ThyroidGland c__Tuberculosis c__RecoveringFromIllness c__Protozoa c__parasite c__Cancer c__Tumor c__Neurosis c__Psychosis c__Atrophy c__Bloating c__ConjugatedSubstance c__conjugate c__Biting c__Mouth c__Strangling c__Throat c__Spitting c__Punching c__Fist c__Kicking c__Messaging c__Message c__neighbor c__capacity c__humanCapacity c__LastFn c__FirstFn c__StreetAddressFn c__PostalPlace c__ArtStudio c__Workshop c__Mine c__MobileResidence c__Prison c__detainee c__targetInAttack c__VotingPoll c__Camp c__Tent c__Monument c__Tomb c__ApartmentUnit c__ApartmentBuilding c__landlord c__Renting c__tenant c__CondominiumUnit c__CondominiumBuilding c__Dormitory c__School c__AnimalResidence c__SportsFacility c__SportsLeague c__PlaceOfCommerce c__CommercialBuilding c__CommercialUnit c__Warehouse c__Store c__FarmBuilding c__Farm c__Agency c__EntertainmentCompany c__Performance c__FinancialCompany c__SavingsAndLoan c__insured c__Contract c__InsuranceCompany c__TransportationCompany c__FinancialService c__loss c__Financing c__Partnership c__Scholarship c__Welfare c__ServiceOrganization c__Publisher c__FamilyBusiness c__Restaurant c__RestaurantBuilding c__DiningArea c__Proprietorship c__Auditorium c__PerformanceStage c__AuditoriumSeat c__enjoys c__expects c__fears c__hopes c__doubts c__dislikes c__disapproves c__lacks c__DescendantsFn c__GroupOfAnimals c__Brood c__AnimalTeam c__Pulling c__SportsTeam c__TeamSport c__Racing c__groupMember c__headquartersOfOrganization c__CommunicationOrganization c__CommunicationSystem c__MediaOrganization c__profit c__NonprofitOrganization c__CareOrganization c__HospitalOrganization c__MedicalClinic c__medicalPatient c__HospitalBuilding c__MedicalClinicBuilding c__Cafeteria c__Tavern c__AlcoholicBeverage c__Shipping c__CommercialShipping c__Smuggling c__CriminalAction c__customer c__price c__WholesaleStore c__RetailStore c__ShoppingMall c__DrugStore c__Medicine c__GroceryStore c__OfferingForSale c__OfferingToPurchase c__BargainSale c__ChristianBible c__Book c__NewTestament c__OldTestament c__ChristianGospel c__BeforeCommonEra c__CommonEra c__MissionOrganization c__ReligiousBuilding c__PlaceOfWorship c__Steeple c__Ceremony c__Wedding c__ReligiousService c__Baptizing c__Praying c__ReferenceText c__IndependentState c__DependencyOrSpecialSovereigntyArea c__OverseasArea c__ResidentFn c__CitizenryFn c__PerCapitaFn c__CityDistrict c__Downtown c__Cemetery c__Park c__PublicPark c__CultivatedLandArea c__Agriculture c__Campground c__CityBlock c__AerobicExerciseDevice c__AnaerobicExerciseDevice c__SkilledOccupation c__OccupationalRole c__ManualLabor c__UnskilledOccupation c__OccupationalTrade c__Profession c__GovernmentSecretary c__GovernmentPosition c__SecretaryOfTheInterior c__SecretaryOfTheTreasury c__StateGovernment c__CityGovernment c__MilitaryService c__CoastGuard c__Army c__AirForce c__MilitaryUnit c__MilitaryReserveForce c__MilitarySquad c__MilitaryCorps c__CavalryUnit c__MilitarySurplus c__MilitaryArtifact c__hostileForces c__Commission c__Library c__PublicLibrary c__Museum c__OrganizationalBoard c__SecurityUnit c__UnionOrganization c__Carbon c__Urea c__Steroid c__Hydrocarbon c__Hydrogen c__Alcohol c__Alkaloid c__ChemicalBase c__Nitrogen c__Drugged c__Sober c__Drunk c__AminoAcid c__ChemicalAcid c__Cholesterol c__Liver c__ChemicalSalt c__SodiumChloride c__Sodium c__Chlorine c__Diamond c__SalineSolution c__Oxygen c__reactant c__reagent c__Surfactant c__Detergent c__Bathing c__WashBasin c__Glue c__Glass c__Steel c__Iron c__Brass c__Copper c__Zinc c__Powder c__Fallout c__Fog c__Ice c__Field c__BotanicalTree c__Lawn c__Grass c__MilitaryFront c__SpaceRegion c__AtmosphericRegion c__StreamWaterArea c__FlowRegion c__StaticWaterArea c__OuterSpaceRegion c__StormFront c__Inside c__Outside c__Outdoors c__Indoors c__BiologicalSpecies c__Wood c__Cellulose c__WoodArtifact c__OakWood c__Rubber c__Plastic c__Polypropylene c__Polystyrene c__Starch c__Sugar c__Nectar c__Stimulant c__Depressant c__Opium c__Lilac c__Lesion c__Scar c__Tendon c__Sweat c__PlantLeaf c__PlantBranch c__TreeBranch c__WillowTree c__PlantRoot c__Flower c__Antibody c__Antibiotic c__Antigen c__AntigenA c__AntigenB c__BloodCell c__RedBloodCell c__CellNucleus c__WhiteBloodCell c__BloodTypeA c__BloodTypeAB c__BloodTypeB c__BloodTypeO c__NerveCell c__NervousSystem c__LiquidBodySubstance c__Serum c__TearSubstance c__Eye c__Milk c__CellPart c__Tea c__PreparedFood c__Wine c__DistilledAlcoholicBeverage c__Beer c__SpinalColumn c__SpinalCord c__Tail c__Wing c__Limb c__Retina c__BronchialDuct c__BloodVessel c__Alveolus c__Artery c__Heart c__Vein c__PulmonaryArtery c__PulmonaryVein c__Capillary c__Spleen c__Inhaling c__Exhaling c__Nostril c__Nose c__Tongue c__Hoof c__Tooth c__Skull c__Horn c__Ivory c__AnimalShell c__Ossification c__Chewing c__Feeding c__Lip c__Kissing c__Licking c__Embracing c__Skeleton c__Exoskeleton c__BodyJoint c__Airway c__FacialHair c__HairRemoval c__Peeling c__Brain c__intelligenceQuotient c__Stomach c__Hypothalamus c__Ear c__Eyelid c__secretesSubstance c__ThyroidHormone c__PituitaryGland c__HormoneTSH c__Pancreas c__Insulin c__DigitAppendage c__Toad c__Finger c__Thumb c__NailDigit c__Fingerprint c__Snake c__Rattlesnake c__ConstrictorSnake c__AntInsect c__Anaconda c__Bee c__BumbleBee c__FlyInsect c__Grasshopper c__Moth c__QueenInsect c__WorkerInsect c__Ankle c__Elbow c__Toe c__Knee c__Shoulder c__Knuckle c__Torso c__Breast c__Chin c__ExpressingApproval c__ExpressingDisapproval c__Regretting c__ExpressingFarewell c__Congratulating c__FacialExpression c__Smiling c__Frowning c__Laughing c__Weeping c__Nodding c__HandGesture c__Waving c__Clapping c__Inclining c__Bowing c__Sinking c__Ducking c__ExpressingInLanguage c__TonalLanguage c__Thanking c__Greeting c__half c__third c__quarter c__most c__Chart c__Flag c__NationalFlag c__GraphDiagram c__ArrowIcon c__Map c__Photograph c__Image c__Recording c__Photographing c__Camera c__TonMass c__MetricTon c__LongTon c__CubicFoot c__RegistryTon c__Page c__LiquorShot c__MillenniumDuration c__Acre c__SquareMile c__SquareYard c__YardLength c__creator c__Music c__Song c__LyricalContent c__LegislativeBill c__PassingABill c__InternationalLaw c__Illegal c__Legal c__PoliticalCrime c__PoliticalRevolution c__LawEnforcement c__Imprisoning c__Espionage c__Polling c__MilitaryInfiltration c__Agreement c__partyToAgreement c__agreementPeriod c__agreementEffectiveDate c__TimePeriodFn c__agreementExpirationDate c__agreementClause c__ActiveAgreement c__NakedPromise c__MarriageContract c__PurchaseContract c__ServiceContract c__Warranty c__Treaty c__Supposition c__Question c__Request c__Order c__Fact c__AudioRecording c__record c__DataStorageDevice c__stored c__Blank c__MusicRecording c__SheetMusic c__MusicText c__VideoRecording c__MediaSystem c__Label c__FormText c__TestForm c__Ballot c__Application c__Announcement c__PerformanceProgram c__MotionPictureShot c__MotionPictureScene c__Documentary c__BroadcastProgram c__Series c__Broadcasting c__NewsProgram c__SeriesVolumeFn c__Periodical c__PeriodicalIssueFn c__Article c__Chapter c__titles c__formerName c__familyName c__middleName c__givenName c__localLongName c__localShortName c__Report c__Newspaper c__Magazine c__Letter c__Holiday c__FixedHoliday c__MoveableHoliday c__HolidayCard c__HistoricalAccount c__NarrativeText c__Biography c__FinancialText c__FinancialBill c__ReferenceBook c__Dictionary c__ShortStory c__MysteryStory c__Novel c__DramaticPlay c__Opera c__FrenchLanguage c__GermanLanguage c__GreekLanguage c__LatinLanguage c__RussianLanguage c__SpanishLanguage c__LiteracyAttribute c__Industry c__Chimney c__Curb c__Sidewalk c__Paved c__Unpaved c__Stairway c__Steps c__BuildingLevel c__Ladder c__Transparent c__Curtain c__WindowCovering c__Skylight c__AdjoiningRoom c__Door c__TransitwayObstacle c__Doorway c__Hinge c__Roof c__Fireplace c__Balcony c__Basement c__Elevator c__Pump c__Oar c__Garage c__Closet c__DressingRoom c__SittingArea c__KitchenArea c__Kitchen c__DiningRoom c__Bedroom c__Classroom c__Porch c__Fence c__SportsGround c__IndustrialPlant c__Laboratory c__experimentalControl c__MilitaryInstallation c__Barn c__PerformanceStageWing c__Magnetism c__RadioBroadcasting c__TelevisionBroadcasting c__PeriodicalPublisher c__Antenna c__DramaticActing c__PerformanceAct c__Lecture c__Proclaiming c__Commenting c__commentator c__Reciting c__MusicalPerformance c__Sermon c__DramaticPerformance c__DramaticCast c__SocialParty c__FormalMeeting c__Funeral c__Interviewing c__Choreographing c__Resolution c__Smoking c__Jury c__CriminalGang c__LegalCharge c__LegalAppeal c__Pleading c__describes c__Testifying c__CourtRoom c__LegalOpinion c__LegalAward c__LegalConviction c__LegalDismissal c__LegalSummons c__LegalAquittal c__Sentencing c__defendant c__plaintiff c__GameCall c__BeginningOperations c__CeasingOperations c__OrganizationalMerging c__BecomingDrunk c__SoberingUp c__FallingAsleep c__WakingUp c__GainingConsciousness c__LosingConsciousness c__issuedBy c__AcademicDegree c__EducationalProgram c__License c__Ticket c__Passport c__PassCertificate c__Testament c__Bequeathing c__registeredItem c__EducationalCourse c__SportsPlay c__PublicSchool c__PrivateSchool c__HighSchool c__College c__SecondarySchool c__VocationalSchool c__PostSecondarySchool c__JuniorCollege c__University c__GraduateSchool c__MedicalSchool c__ArtSchool c__DaySchool c__student c__teacher c__DriversLicense c__InsurancePolicy c__EconomicRelation c__LaborStriking c__EmploymentFiring c__Resigning c__Retiring c__TransferringPosition c__monetaryWage c__GameArtifact c__GameBoard c__GamePiece c__GameDie c__Ball c__ShotBall c__GameShot c__Score c__GameGoal c__SportServe c__Throwing c__Pitching c__Catching c__Sign c__PlayingCard c__Stretching c__Lengthening c__Accelerating c__Decelerating c__Shortening c__Flying c__TakingOff c__Landing c__Returning c__Escaping c__Leaving c__Arriving c__Immigrating c__Boarding c__onboard c__Deboarding c__Rotating c__Tremor c__axis c__CentrifugalMotion c__CentripetalMotion c__Reversing c__Dripping c__Stirring c__Pouring c__WaterWave c__waterDepth c__Flooding c__Spraying c__Submarine c__AirTransportation c__SpaceTransportation c__Spacecraft c__Rocket c__Missile c__Bomb c__BallisticMissile c__WaterTransportation c__Rowing c__LandTransportation c__TransportViaRoadVehicle c__FlyingAircraft c__Helicopter c__ExplosiveDevice c__ExplosiveMine c__ExplosiveSubstance c__Driveway c__OperatingFn c__Installing c__Rock c__Soil c__Humus c__Burying c__Digging c__Tilling c__Entombing c__MovingResidence c__Harvesting c__Drilling c__Drill c__CuttingDevice c__Saw c__PaperShredder c__Memorizing c__Imagining c__Dreaming c__Frightening c__Execution c__Suicide c__Trespassing c__Protecting c__Murder c__Suffocating c__Hanging c__Starving c__MusicalConducting c__OrchestralConducting c__Orchestra c__MusicalGroup c__DramaticDirecting c__Sharing c__Stealing c__Robbing c__Inheriting c__Awarding c__hasAward c__SeizingProperty c__FullTimePosition c__PartTimePosition c__CollegeFreshman c__CollegeStudentPosition c__CollegeJunior c__CollegeSenior c__CollegeSophomore c__Comedian c__EntertainmentProfession c__Treasurer c__SalesPosition c__ClericalSecretary c__ServicePosition c__Dentist c__Pharmacist c__Researcher c__Science c__Teacher c__SportsPosition c__Journalist c__ModellingPosition c__Soldier c__ConfederateSoldier c__Sailor c__ShipCaptain c__ShipOfficer c__ShipMate c__MilitaryPrivate c__MilitaryOfficer c__MilitaryGeneral c__MajorGeneral c__BrigadierGeneral c__Lieutenant c__CaptainOfficer c__Colonel c__Sergeant c__Corporal c__CenturyDuration c__DecadeDuration c__Nanometer c__NightTime c__DayTime c__Sunrise c__Sunset c__Morning c__AnteMeridiem c__PostMeridiem c__Afternoon c__Weekend c__SeasonOfYear c__WinterSeason c__SpringSeason c__SummerSeason c__FallSeason c__Upstairs c__Downstairs c__LinguisticAttribute c__Happiness c__Satisfaction c__Tranquility c__Anxiety c__Unhappiness c__Excitement c__Anger c__Pain c__Headache c__Surprise c__structure c__color c__SecondaryColor c__GrayColor c__Pink c__Brown c__OrangeColor c__Green c__Purple c__LineFormation c__Stressed c__Syllable c__AlphabeticCharacter c__DigitCharacter c__Consonant c__Vowel c__Lost c__Won c__TieScore c__GameAttribute c__SportsAttribute c__Foul c__SportsOut c__PoliticoEconomicAttribute c__FormOfGovernment c__EconomicAttribute c__ChemicalReduction c__Oxidation c__Dialysis c__Diluting c__ChemicalEquilibrium c__Chromatography c__BreakabilityAttribute c__Fragile c__Unbreakable c__contestParticipant c__CivilWar c__Debating c__Negotiating c__BusinessCompetition c__VisualAcuityAttribute c__ColorBlind c__Disability c__PhysicalDisability c__SensoryDisability c__Blind c__Deaf c__Hungry c__Pregnant c__Puberty c__LyingDown c__Handstand c__Kneeling c__Splitting c__Squatting c__SittingDown c__StandingUp c__EyeMotion c__OpeningEyes c__Opening c__ClosingEyes c__Closing c__Winking c__Shrugging c__Trembling c__ReflexiveProcess c__Dismounting c__DomesticAnimal c__Fodder c__Herbivore c__Antelope c__Buffalo c__DomesticCat c__DomesticDog c__Fox c__Elephant c__Pig c__Donkey c__Gastropod c__Mule c__Lamb c__Cow c__Calf c__Bull c__FemaleCow c__Poultry c__Chicken c__Hen c__Rooster c__Duck c__Goose c__Owl c__Pigeon c__Vulture c__Feather c__meatOfAnimal c__Beef c__ChickenMeat c__Pork c__Mouse c__Rat c__Rabbit c__Squirrel c__Hay c__Copying c__Vacationing c__Working c__OccupationFn c__occupation c__Farming c__Serving c__Sales c__Retired c__Housewife c__Waiter c__Maid c__Janitor c__TheaterProfession c__FilmDirector c__FilmMakingProfession c__FilmMaking c__FilmProducer c__Coach c__GameReferee c__Carpenter c__Carpentry c__constructionPeriod c__contractor c__FarmHand c__Plumber c__Potter c__ReligiousPosition c__Cleric c__Deacon c__PoliceOfficer c__PlacingUnderArrest c__PoliceCaptain c__PoliceSergeant c__Sheriff c__Marshal c__Deputy c__Coroner c__PoliceDetective c__PrivateDetective c__Lawyer c__Attorney c__FieldOfLaw c__AttorneyGeneral c__PublicDefender c__PublicProsecutor c__Judge c__Professor c__MedicalDoctor c__Surgeon c__Circumision c__NewsReporter c__ArtCritic c__Accountant c__Literature c__Mathematics c__InteriorDesign c__SocialScience c__PoliticalScience c__Anthropology c__Architecture c__Economics c__Linguistics c__Psychology c__Biology c__Physiology c__MedicalScience c__Chemistry c__Physics c__Engineering c__Electronics c__Theology c__MilitaryScience c__History c__Philosophy c__subField c__hasExpertise c__hasOccupation c__Bleeding c__Blushing c__Aborting c__ClosingContract c__Diet c__SolidFood c__LiquidFood c__CookedAttribute c__RawAttribute c__Baking c__BreadOrBiscuit c__Dough c__Sandwich c__Flour c__Butter c__CerealGrain c__RiceGrain c__WheatGrain c__Pea c__Honey c__Coconut c__MaizeGrain c__SoupStock c__Coffee c__Apple c__DateFruit c__PearFruit c__Avocado c__Ion c__FreeAtom c__protonNumber c__electronNumber c__AtomicGroup c__Ambush c__Blockade c__MilitaryManeuver c__Fire c__Arson c__Bombing c__CarBombing c__ChemicalAttack c__HandgrenadeAttack c__HandGrenade c__Hijacking c__HostageTaking c__IncendiaryDeviceAttack c__Infiltration c__Kidnapping c__KnifeAttack c__Knife c__Blade c__LetterBombAttack c__Lynching c__MortarAttack c__Mortar c__RocketMissileAttack c__Stoning c__SuicideBombing c__Vandalism c__VehicleAttack c__BusinessPerson c__BusinessExecutive c__Celebrity c__Knight c__Musician c__Veteran c__Road c__Civilian c__MilitaryPerson c__Widowed c__Convoy c__Diplomat c__GovernmentPerson c__Dissident c__EmbassyBuilding c__GovernmentBuilding c__EntertainmentBuilding c__Marketplace c__StoreOwner c__Militant c__OfficeBuilding c__PeaceKeepingMission c__PoliceFacility c__PolicePerson c__PoliticalFigure c__ReligiousFigure c__EducationalFacility c__Student c__Subway c__Tourist c__TouristSite c__TerroristOrganization c__memberCount c__memberType c__memberTypeCount c__memberAtTime c__inventory c__subordinateInOrganization c__subordinatePosition c__operator c__ClassificationScheme c__Taxonomy c__abstractPart c__Ontology c__transported c__cargo c__serviceProvider c__serviceRecipient c__benefits c__areaOfResponsibility c__friend c__coworker c__cohabitant c__grandparent c__grandmother c__grandfather c__aunt c__cousin c__nephew c__niece c__uncle c__stepfather c__stepmother c__NuclearFamily c__alias c__workAddress c__postContactSite c__homeAddress c__playsRoleInEvent c__playsRoleInEventOfType c__locatedAtTime c__deceptiveIdentifier c__stranger c__mutualStranger c__domesticPartner c__legalGuardian c__Seating c__AchievingControl c__controlled c__gainsControl c__ChangeOfControl c__losesControl c__Capturing c__arrested c__conveyance c__GasolineEngine c__DieselEngine c__typicalPart c__typicallyContainsPart c__initialPart c__initiallyContainsPart c__CausingHappiness c__CausingPain c__CausingUnhappiness c__Saving c__financialAsset c__Barking c__Menstruation c__Organification c__BiologicalConception c__ContraceptiveDevice c__BirdEgg c__Biopsy c__Mating c__Raping c__LayingEggs c__affiliatedOrganization c__ideologicalAffiliationOfOrganization c__religiousAffiliationOfOrganization c__allegiance c__ancestorOrganization c__anniversary c__birthday c__birthplace c__birthdate c__deathdate c__deathplace c__equipmentCount c__equipmentType c__distanceOnPath c__inString c__subString c__SubstringFn c__StringLengthFn c__stringLength c__StringConcatenateFn c__stringConcatenation c__precedesInString c__Descriptor c__Name c__Identifier c__PlaceDescriptor c__DescriptorPart c__NamePart c__IdentifierPart c__PlaceID c__LocalizablePlaceID c__PlaceAddress c__ContactSite c__canonicalPlaceName c__siteForContact c__unitNumber c__floorCode c__Neighborhood c__postNeighborhood c__postCountry c__postDistrict c__postCity c__PostcodeArea c__postPostcodeArea c__postStreet c__postStreetNumber c__postPostOfficeBox c__PostalAddressText c__postAddressText c__telecomContactDevice c__VirtualPlaceID c__VirtualAddress c__TelecomNumber c__deviceTelecomNumber c__telecomCoreNumber c__telecomCountryCode c__telecomAreaCode c__telecomCode2 c__telecomExtension c__telephoneNumber c__personalPhoneNumber c__homePhoneNumber c__workPhoneNumber c__FixedPhone c__MobileCellPhone c__mobilePhoneNumber c__faxNumber c__FabricIron c__IroningBoard c__Smoothing c__Ironing c__WhirlpoolTub c__HotTub c__SizeAttribute c__DoubleSize c__Kennel c__DryingDevice c__HairDryer c__SelfServiceLaundry c__CommunalAttribute c__Microwave c__SmokeDetector c__Sprinkler c__WaterSprinkler c__FireSprinklerSystem c__FireExtinguisher c__IceMachine c__AlarmClock c__AMFMAlarmClock c__ElectricCoffeeMaker c__Clean c__Dirty c__Whiteboard c__Steam c__WaterHeater c__airTemperature c__TemperatureAttribute c__ColdTemperature c__HotTemperature c__CoolTemperature c__WarmTemperature c__Multilingual c__RecreationalVehicle c__ElectronicLock c__RunningTrack c__KnockLight c__PrayerMat c__VideoGame c__VideoGamePlayer c__ElectricalOutlet c__ElectricalPlug c__OutletAdapter c__AirConditioner c__Surrounded c__Courtyard c__SpeakerDevice c__Earphone c__PublicAddressSystem c__Wheelchair c__WheelchairAccessible c__HandicappedFriendly c__Recliner c__VisualContentBearingPhysical c__VisualContentBearingObject c__MultimediaProjector c__AudioRecorder c__VideoDisplay c__TDDPhone c__Photocopier c__Photocopying c__Sail c__ACPowerSource c__SinglePhasePowerSource c__ThreePhasePowerSource c__voltageMeasure c__Document c__GuideBook c__DiningGuide c__TelephoneHandset c__FireAlarm c__GrabBar c__HighRise c__Soaking c__GrecianTub c__HemisphereFigure c__Dome c__Historical c__Rural c__Suburban c__Urban c__Patio c__Lanai c__hasUniform c__UniformClothing c__Tripod c__Easel c__Solarium c__ExerciseCenter c__GameRoom c__Nursery c__SteamBath c__HeatedPool c__RoomHeater c__DanceHall c__NightClub c__ScubaDiving c__AmericansWithDisabilitiesAct c__conforms c__USFEMA c__approves c__WetBar c__SurveillanceSystem c__TelephoneCommunication c__OperatorAssistedTelephoneCommunication c__DirectDialTelephoneCommunication c__VoiceMail c__Local c__Domestic c__International c__PrivateAttribute c__Policy c__policyOwner c__Helium c__Lithium c__Beryllium c__Boron c__Fluorine c__Neon c__Magnesium c__Aluminum c__Silicon c__Phosphorus c__Sulphur c__Argon c__Potassium c__Calcium c__Scandium c__Titanium c__Vanadium c__Chromium c__Manganese c__Cobalt c__Nickel c__Gallium c__Germanium c__Arsenic c__Selenium c__Bromine c__Krypton c__Rubidium c__Strontium c__Yttrium c__Zirconium c__Niobium c__Molybdenum c__Technetium c__Ruthenium c__Rhodium c__Palladium c__Silver c__Cadmium c__Indium c__Tin c__Antimony c__Tellurium c__Iodine c__Xenon c__Caesium c__Barium c__Lanthanum c__Cerium c__Praseodymium c__Neodymium c__Promethium c__Samarium c__Europium c__Gadolinium c__Terbium c__Dysprosium c__Holmium c__Erbium c__Thulium c__Ytterbium c__Lutetium c__Hafnium c__Tantalum c__Tungsten c__Rhenium c__Osmium c__Iridium c__Platinum c__Gold c__Mercury c__Thallium c__Lead c__Bismuth c__Polonium c__Astatine c__Radon c__Francium c__Radium c__Actinium c__Thorium c__Protactinium c__Uranium c__Neptunium c__Plutonium c__Americium c__Curium c__Berkelium c__Californium c__Einsteinium c__Fermium c__Mendelevium c__Nobelium c__Lawrencium c__Unnilquadium c__Unnilpentium c__Unnilhexium c__Unnilseptium c__Unniloctium c__Meitnerium c__Unnildecium c__VehicleDoor c__DeviceNormal c__DeviceDamaged c__Vending c__VendingMachine c__CoinOperated c__FishTank c__Collectible c__TradingCard c__SmartPhone c__suffers c__Apologizing c__Confirming c__Elaborating c__Restating c__Correcting c__Prompting c__CoveringFn c__covers c__beforeOnPath c__approximateValue skc27 % 1.22/0.84 Fol Functions: f__FrontFn1 f__BackFn1 f__ProbabilityFn1 f__WhenFn1 f__BeginFn1 f__SuccessorFn1 f__AdditionFn2 f__PredecessorFn1 f__SubtractionFn2 f__DivisionFn2 f__AbsoluteValueFn1 f__CeilingFn1 f__FloorFn1 f__MultiplicationFn2 f__MaxFn2 f__MinFn2 f__ReciprocalFn1 f__RemainderFn2 f__SignumFn1 f__SquareRootFn1 f__TangentFn1 f__SineFn1 f__CosineFn1 f__CardinalityFn1 f__BeginNodeFn1 f__EndNodeFn1 f__TerminalNodeFn1 f__InitialNodeFn1 f__PathWeightFn1 f__GraphPathFn2 f__MinimalCutSetFn1 f__MeasureFn2 f__KiloFn1 f__MegaFn1 f__GigaFn1 f__TeraFn1 f__MagnitudeFn1 f__UnitFn1 f__VelocityFn4 f__SpeedFn2 f__EndFn1 f__TimeIntervalFn2 f__PastFn1 f__ImmediatePastFn1 f__FutureFn1 f__ImmediateFutureFn1 f__TemporalCompositionFn2 f__MereologicalSumFn2 f__WhereFn2 f__MereologicalComplementFn1 f__MereologicalProductFn2 f__MereologicalDifferenceFn2 f__HoleSkinFn1 f__HoleHostFn1 f__GovernmentFn1 f__EditionFn2 f__ImmediateFamilyFn1 f__PremisesFn1 f__RelativeTimeFn2 f__YearFn1 f__DiameterFn1 f__RadiusFn1 f__CenterOfCircleFn1 f__StreetAddressFn4 f__DescendantsFn1 f__ResidentFn1 f__PerCapitaFn2 f__PerFn2 f__TimePeriodFn2 f__SeriesVolumeFn2 f__PeriodicalIssueFn2 f__StringLengthFn1 f__StringConcatenateFn2 skf1 skf2 skf3 skf4 skf5 skf6 skf7 skf8 skf9 skf10 skf11 skf12 skf13 skf14 skf15 skf16 skf17 skf18 skf19 skf20 skf21 skf22 skf23 skf24 skf25 skf26 skf28 skf29 skf30 skf31 skf32 skf33 skf34 skf35 skf36 skf37 skf38 skf39 skf40 skf41 skf42 skf43 skf44 skf45 skf46 skf47 skf48 skf49 skf50 skf51 skf52 skf53 skf54 skf55 skf56 skf57 skf58 skf59 skf60 skf61 skf62 skf63 skf64 skf65 skf66 skf67 skf68 skf69 skf70 skf71 skf72 skf73 skf74 skf75 skf76 skf77 skf78 skf79 skf80 skf81 skf82 skf83 skf84 skf85 skf86 skf87 skf88 skf89 skf90 skf91 skf92 skf93 skf94 skf95 skf96 skf97 skf98 skf99 skf100 skf101 skf102 skf103 skf104 skf105 skf106 skf107 skf108 skf109 skf110 skf111 skf112 skf113 skf114 skf115 skf116 skf117 skf118 skf119 skf120 skf121 skf122 skf123 skf124 skf125 skf126 skf127 skf128 skf129 skf130 skf131 skf132 skf133 skf134 skf135 skf136 skf137 skf138 skf139 skf140 skf141 skf142 skf143 skf144 skf145 skf146 skf147 skf148 skf149 skf150 skf151 skf152 skf153 skf154 skf155 skf156 skf157 skf158 skf159 skf160 skf161 skf162 skf163 skf164 skf165 skf166 skf167 skf168 skf169 skf170 skf171 skf172 skf173 skf174 skf175 skf176 skf177 skf178 skf179 skf180 skf181 skf182 skf183 skf184 skf185 skf186 skf187 skf188 skf189 skf190 skf191 skf192 skf193 skf194 skf195 skf196 skf197 skf198 skf199 skf200 skf201 skf202 skf203 skf204 skf205 skf206 skf207 skf208 skf209 skf210 skf211 skf212 skf213 skf214 skf215 skf216 skf217 skf218 skf219 skf220 skf221 skf222 skf223 skf224 skf225 skf226 skf227 skf228 skf229 skf230 skf231 skf232 skf233 skf234 skf235 skf236 skf237 skf238 skf239 skf240 skf241 skf242 skf243 skf244 skf245 skf246 skf247 skf248 skf249 skf250 skf251 skf252 skf253 skf254 skf255 skf256 skf257 skf258 skf259 skf260 skf261 skf262 skf263 skf264 skf265 skf266 skf267 skf268 skf269 skf270 skf271 skf272 skf273 skf274 skf275 skf276 skf277 skf278 skf279 skf280 skf281 skf282 skf283 skf284 skf285 skf286 skf287 skf288 skf289 skf290 skf291 skf292 skf293 skf294 skf295 skf296 skf297 skf298 skf299 skf300 skf301 skf302 skf303 skf304 skf305 skf306 skf307 skf308 skf309 skf310 skf311 skf312 skf313 skf314 skf315 skf316 skf317 skf318 skf319 skf320 skf321 skf322 skf323 skf324 skf325 skf326 skf327 skf328 skf329 skf330 skf331 skf332 skf333 skf334 skf335 skf336 skf337 skf338 skf339 skf340 skf341 skf342 skf343 skf344 skf345 skf346 skf347 skf348 skf349 skf350 skf351 skf352 skf353 skf354 skf355 skf356 skf357 skf358 skf359 skf360 skf361 skf362 skf363 skf364 skf365 skf366 skf367 skf368 skf369 skf370 skf371 skf372 skf373 skf374 skf375 skf376 skf377 skf378 skf379 skf380 skf381 skf382 skf383 skf384 skf385 skf386 skf387 skf388 skf389 skf390 skf391 skf392 skf393 skf394 skf395 skf396 skf397 skf398 skf399 skf400 skf401 skf402 skf403 skf404 skf405 skf406 skf407 skf408 skf409 skf410 skf411 skf412 skf413 skf414 skf415 skf416 skf417 skf418 skf419 skf420 skf421 skf422 skf423 skf424 skf425 skf426 skf427 skf428 skf429 skf430 skf431 skf432 skf433 skf434 skf435 skf436 skf437 skf438 skf439 skf440 skf441 skf442 skf443 skf444 skf445 skf446 skf447 skf448 skf449 skf450 skf451 skf452 skf453 skf454 skf455 skf456 skf457 skf458 skf459 skf460 skf461 skf462 skf463 skf464 skf465 skf466 skf467 skf468 skf469 skf470 skf471 skf472 skf473 skf474 skf475 skf476 skf477 skf478 skf479 skf480 skf481 skf482 skf483 skf484 skf485 skf486 skf487 skf488 skf489 skf490 skf491 skf492 skf493 skf494 skf495 skf496 skf497 skf498 skf499 skf500 skf501 skf502 skf503 skf504 skf505 skf506 skf507 skf508 skf509 skf510 skf511 skf512 skf513 skf514 skf515 skf516 skf517 skf518 skf519 skf520 skf521 skf522 skf523 skf524 skf525 skf526 skf527 skf528 skf529 skf530 skf531 skf532 skf533 skf534 skf535 skf536 skf537 skf538 skf539 skf540 skf541 skf542 skf543 skf544 skf545 skf546 skf547 skf548 skf549 skf550 skf551 skf552 skf553 skf554 skf555 skf556 skf557 skf558 skf559 skf560 skf561 skf562 skf563 skf564 skf565 skf566 skf567 skf568 skf569 skf570 skf571 skf572 skf573 skf574 skf575 skf576 skf577 skf578 skf579 skf580 skf581 skf582 skf583 skf584 skf585 skf586 skf587 skf588 skf589 skf590 skf591 skf592 skf593 skf594 skf595 skf596 skf597 skf598 skf599 skf600 skf601 skf602 skf603 skf604 skf605 skf606 skf607 skf608 skf609 skf610 skf611 skf612 skf613 skf614 skf615 skf616 skf617 skf618 skf619 skf620 skf621 skf622 skf623 skf624 skf625 skf626 skf627 skf628 skf629 skf630 skf631 skf632 skf633 skf634 skf635 skf636 skf637 skf638 skf639 skf640 skf641 skf642 skf643 skf644 skf645 skf646 skf647 skf648 skf649 skf650 skf651 skf652 skf653 skf654 skf655 skf656 skf657 skf658 skf659 skf660 skf661 skf662 skf663 skf664 skf665 skf666 skf667 skf668 skf669 skf670 skf671 skf672 skf673 skf674 skf675 skf676 skf677 skf678 skf679 skf680 skf681 skf682 skf683 skf684 skf685 skf686 skf687 skf688 skf689 skf690 skf691 skf692 skf693 skf694 skf695 skf696 skf697 skf698 skf699 skf700 skf701 skf702 skf703 skf704 skf705 skf706 skf707 skf708 skf709 skf710 skf711 skf712 skf713 skf714 skf715 skf716 skf717 skf718 skf719 skf720 skf721 skf722 skf723 skf724 skf725 skf726 skf727 skf728 skf729 skf730 skf731 skf732 skf733 skf734 skf735 skf736 skf737 skf738 skf739 skf740 skf741 skf742 skf743 skf744 skf745 skf746 skf747 skf748 skf749 skf750 skf751 skf752 skf753 skf754 skf755 skf756 skf757 skf758 skf759 skf760 skf761 skf762 skf763 skf764 skf765 skf766 skf767 skf768 skf769 skf770 skf771 skf772 skf773 skf774 skf775 skf776 skf777 skf778 skf779 skf780 skf781 skf782 skf783 skf784 skf785 skf786 skf787 skf788 skf789 skf790 skf791 skf792 skf793 skf794 skf795 skf796 skf797 skf798 skf799 skf800 skf801 skf802 skf803 skf804 skf805 skf806 skf807 skf808 skf809 skf810 skf811 skf812 skf813 skf814 skf815 skf816 skf817 skf818 skf819 skf820 skf821 skf822 skf823 skf824 skf825 skf826 skf827 skf828 skf829 skf830 skf831 skf832 skf833 skf834 skf835 skf836 skf837 skf838 skf839 skf840 skf841 skf842 skf843 skf844 skf845 skf846 skf847 skf848 skf849 skf850 skf851 skf852 skf853 skf854 skf855 skf856 skf857 skf858 skf859 skf860 skf861 skf862 skf863 skf864 skf865 skf866 skf867 skf868 skf869 skf870 skf871 skf872 skf873 skf874 skf875 skf876 skf877 skf878 skf879 skf880 skf881 skf882 skf883 skf884 skf885 skf886 skf887 skf888 skf889 skf890 skf891 skf892 skf893 skf894 skf895 skf896 skf897 skf898 skf899 skf900 skf901 skf902 skf903 skf904 skf905 skf906 skf907 skf908 skf909 skf910 skf911 skf912 skf913 skf914 skf915 skf916 skf917 skf918 skf919 skf920 skf921 skf922 skf923 skf924 skf925 skf926 skf927 skf928 skf929 skf930 skf931 skf932 skf933 skf934 skf935 skf936 skf937 skf938 skf939 skf940 skf941 skf942 skf943 skf944 skf945 skf946 skf947 skf948 skf949 skf950 skf951 skf952 skf953 skf954 skf955 skf956 skf957 skf958 skf959 skf960 skf961 skf962 skf963 skf964 skf965 skf966 skf967 skf968 skf969 skf970 skf971 skf972 skf973 skf974 skf975 skf976 skf977 skf978 skf979 skf980 skf981 skf982 skf983 skf984 skf985 skf986 skf987 skf988 skf989 skf990 skf991 skf992 skf993 skf994 skf995 skf996 skf997 skf998 skf999 skf1000 skf1001 skf1002 skf1003 skf1004 skf1005 skf1006 skf1007 skf1008 skf1009 skf1010 skf1011 skf1012 skf1013 skf1014 skf1015 skf1016 skf1017 skf1018 skf1019 skf1020 skf1021 skf1022 skf1023 skf1024 skf1025 skf1026 skf1027 skf1028 skf1029 skf1030 skf1031 skf1032 skf1033 skf1034 skf1035 skf1036 skf1037 skf1038 skf1039 skf1040 skf1041 skf1042 skf1043 skf1044 skf1045 skf1046 skf1047 skf1048 skf1049 skf1050 skf1051 skf1052 skf1053 skf1054 skf1055 skf1056 skf1057 skf1058 skf1059 skf1060 skf1061 skf1062 skf1063 skf1064 skf1065 skf1066 skf1067 skf1068 skf1069 skf1070 skf1071 skf1072 skf1073 skf1074 skf1075 skf1076 skf1077 skf1078 skf1079 skf1080 skf1081 skf1082 skf1083 skf1084 skf1085 skf1086 skf1087 skf1088 skf1089 skf1090 skf1091 skf1092 skf1093 skf1094 skf1095 skf1096 skf1097 skf1098 skf1099 skf1100 skf1101 skf1102 skf1103 skf1104 skf1105 skf1106 skf1107 skf1108 skf1109 skf1110 skf1111 skf1112 skf1113 skf1114 skf1115 skf1116 skf1117 skf1118 skf1119 skf1120 skf1121 skf1122 skf1123 skf1124 skf1125 skf1126 skf1127 skf1128 skf1129 skf1130 skf1131 skf1132 skf1133 skf1134 skf1135 skf1136 skf1137 skf1138 skf1139 skf1140 skf1141 skf1142 skf1143 skf1144 skf1145 skf1146 skf1147 skf1148 skf1149 skf1150 skf1151 skf1152 skf1153 skf1154 skf1155 skf1156 skf1157 skf1158 skf1159 skf1160 skf1161 skf1162 skf1163 skf1164 skf1165 skf1166 skf1167 skf1168 skf1169 skf1170 skf1171 skf1172 skf1173 skf1174 skf1175 skf1176 skf1177 skf1178 skf1179 skf1180 skf1181 skf1182 skf1183 skf1184 skf1185 skf1186 skf1187 skf1188 skf1189 skf1190 skf1191 skf1192 skf1193 skf1194 skf1195 skf1196 skf1197 skf1198 skf1199 skf1200 skf1201 skf1202 skf1203 skf1204 skf1205 skf1206 skf1207 skf1208 skf1209 skf1210 skf1211 skf1212 skf1213 skf1214 skf1215 skf1216 skf1217 skf1218 skf1219 skf1220 skf1221 skf1222 skf1223 skf1224 skf1225 skf1226 skf1227 skf1228 skf1229 skf1230 skf1231 skf1232 skf1233 skf1234 skf1235 skf1236 skf1237 skf1238 skf1239 skf1240 skf1241 skf1242 skf1243 skf1244 skf1245 skf1246 skf1247 skf1248 skf1249 skf1250 skf1251 skf1252 skf1253 skf1254 skf1255 skf1256 skf1257 skf1258 skf1259 skf1260 skf1261 skf1262 skf1263 skf1264 skf1265 skf1266 skf1267 skf1268 skf1269 skf1270 skf1271 skf1272 skf1273 skf1274 skf1275 skf1276 skf1277 skf1278 skf1279 skf1280 skf1281 skf1282 skf1283 skf1284 skf1285 skf1286 skf1287 skf1288 skf1289 skf1290 skf1291 skf1292 % 1.22/0.84 Problem Properties: % 1.22/0.84 This is a full first-order problem with equality. % 1.22/0.84 SZS status GaveUp % 1.22/0.84 SPASS beiseite: SPASS does currently not support non-BS equality problems. % 1.22/0.84 %------------------------------------------------------------------------------