end_of_file. 'intensional-subclass'(_G18216, _G18222)and (isa(_G18228, _G18216)=>isa(_G18228, _G18222)). 'intensional-subclass'(_G18435, _G18441)and (instance(_G18447, _G18435)=>instance(_G18447, _G18441)). isa('Fn'(_G16270, _G16276), _G16264). genls('Fn'(_G16312, _G16318), _G16306). isa(_G15534, 'Individual'). isa(_G15492, 'Function'). isa(_G15555, 'Microtheory'). isa(_G15534, 'Quantifier'). reflexive_args(_G15576). isa(_G15445, _G15451). genls(_G15583, _G15589). 'surface-macro'([arity, _G16941, _G16947], [valence, _G16941, _G16947]). 'surface-macro'([arityMax, _G16995, _G17001], [valence, _G16995, _G17001]). 'surface-macro'([arityMin, _G16995, _G17001], [valence, _G16995, _G17001]). 'surface-macro'([temporallySubsumes, _G17334, _G17340], [existant, _G17340, _G17334]). 'surface-macro'([isa, _G20410, 'ReflexiveBinaryPredicate'], [and, [valence, _G20410, 2], [and, [isa, _G20410, reflexive], [and, [isa, _G20410, 'Predicate'], [isa, _G20410, 'ReflexiveRelation']]]]). 'surface-macro'([evaluate, _G17133, _G17139], [equal, _G17133, _G17139]). 'surface-macro'([different, _G18215, _G18221], [not, [equal, _G18215, _G18221]]). 'surface-macro'([hasMembers, _G16872, _G16878], [member, _G16878, _G16872]). 'surface-macro'([negativeVestedInterest, _G17998, _G18004], [desires, _G17998, [attribute, _G18004, 'Dead']]). 'surface-macro'([residenceOfOrganization, _G17406, _G17412], [located, _G17406, _G17412]). 'surface-macro'([statementOfPurpose, _G22633, _G22645], [exists, _G22639, [and, [instance, _G22639, 'SocialInteraction'], [and, [agent, _G22639, _G22633], [and, [instance, _G22645, 'ContentBearingObject'], [patient, _G22639, _G22645]]]]]). 'surface-macro'([assertedFormula, _G17113], [knows, 'SigmaSystem', _G17113]). 'surface-macro'(['DateInSituationFn', 'CalendarDay', _G18949, _G18943], ['WhenFn', ['AdditionFn', ['BeginFn', _G18943], ['DayFn', _G18949, 0]]]). 'surface-macro'([relationInstanceExistsMany, _G17378, _G17366, _G17372], [_G17378, _G17366, _G17372]). 'surface-macro'([endingDate, _G18043, _G18049], [equal, ['EndFn', ['WhenFn', _G18043]], _G18049]). 'surface-macro'([startingDate, _G18082, _G18088], [equal, ['BeginFn', ['WhenFn', _G18082]], _G18088]). 'surface-macro'(['causes-SitProp', _G19466, _G19454], [exists, _G19460, [and, [causes, _G19466, _G19472], [refers, _G19454, _G19472]]]). chain_mode(_G21459, must_be_bound_before_call(must_be_bound_before_call, must_be_bound_before_call, must_be_bound_before_call, must_be_bound_before_call, must_be_bound_before_call, must_be_bound_before_call, must_be_bound_before_call, must_be_bound_before_call, must_be_bound_before_call)). 'browser-only'(documentation). 'browser-only'(sharedNotes). 'browser-only'(exampleAssertions). 'browser-only'(exampleNATs). 'browser-only'(arg1Format). 'browser-only'(arg2Format). 'browser-only'(arg3Format). 'browser-only'(arg4Format). 'browser-only'(arg5Format). 'browser-only'(arg6Format). 'browser-only'(arg7Format). 'browser-only'(arg8Format). 'browser-only'(arg9Format). 'browser-only'(argFormat). 'browser-only'('SUMO-BasedProject'). 'browser-only'('SUMOConstant'). 'browser-only'('SUMOExpression'). 'browser-only'('SUMOFormula'). 'browser-only'('SUMOIndexedTerm'). 'browser-only'('SUMOAssertionDirection'). 'browser-only'('SUMOlist'). 'browser-only'(cyckifrovenotes). 'browser-only'('SUMOlistsMt'). 'browser-only'('SUMOSystemAtom'). 'browser-only'('SUMOSystemInteger'). 'browser-only'(prettyName). 'browser-only'('SUMOSystemKeyword'). 'browser-only'('SUMOSystemList'). 'browser-only'('SUMOSystemRealNumber'). 'browser-only'('SUMOSystemString'). 'browser-only'('SUMOSystemSymbol'). 'browser-only'('SUMOTerm'). 'browser-only'(constantID). 'browser-only'(constanprovename). 'browser-only'(substring). 'browser-only'(myCreationPurpose). 'browser-only'(myCreationSecond). 'browser-only'(myCreationTime). 'browser-only'(myCreator). 'browser-only'('substring-CaseInsensitive'). 'browser-only'('SetTheFormat'). 'browser-only'(evaluateAtEL). 'browser-only'(genFormat). 'browser-only'('Guest'). 'browser-only'('HumanSUMOlist'). 'browser-only'(genKeyword). 'browser-only'('DocumentationConstant'). 'browser-only'('ELFormulaTemplate'). 'browser-only'(elInverse). 'browser-only'('ELRelation'). 'browser-only'('ELTemplate'). 'browser-only'('equalStrings-CaseInsensitive'). 'browser-only'(equalSymbols). 'browser-only'('EverythingPSC'). 'browser-only'(genMassNoun). 'browser-only'(oldConstanprovename). 'browser-only'('PATR-Specification'). 'browser-only'(genPreferredKeyword). 'browser-only'(comment). 'browser-only'('Format'). 'browser-only'(indexicalReferent). 'browser-only'('InferencePSC'). 'browser-only'('LinguisticAVM'). 'browser-only'(stringSubword). 'browser-only'('ListTheFormat'). 'not-implemented'(fanOutArg). 'not-implemented'('GeneralizedIntersectionFn'). 'not-implemented'('GeneralizedUnionFn'). 'not-implemented'('IntersectionFn'). 'not-implemented'('UnionFn'). 'not-implemented'('DomainFn'). 'not-implemented'('RangeFn'). 'not-implemented'('AbstractionFn'). 'not-implemented'('IntersectionFn'). 'not-implemented'('AbsolutevalueFn'). 'not-implemented'('AbsoluteValueFn'). 'not-implemented'('MaxFn'). 'not-implemented'('MinFn'). 'not-implemented'('IdentityFn'). 'not-implemented'('NullSet'). 'not-implemented'('ComplementFn'). 'not-implemented'('RelativeComplementFn'). 'not-implemented'('AssignmentFn'). 'not-implemented'('ExtensionFn'). 'not-implemented'('IntensionFn'). 'not-implemented'(equal). 'not-implemented'(exhaustiveDecomposition). 'not-implemented'('NonnegativeRealNumber'). 'surface-word'('ScalarInterval', 'Quantity'). 'surface-word'('SUMOELVariable', 'Entity'). 'surface-word'('SUMOFormula', 'Formula'). 'surface-word'('Country', 'Nation'). 'surface-word'('DifferenceFn', 'SubtractionFn'). 'surface-word'(trueFormula, 'clause-form'). 'surface-word'(thereExists, exists). 'surface-word'('WagingWar', 'War'). 'surface-word'(implies, =>). 'surface-word'(firstSubEvents, subProcess). 'surface-word'(equiv, <=>). 'surface-word'(equivalent, <=>). 'surface-word'('Equivalent', <=>). 'surface-word'('Implies', =>). 'surface-word'('And', and). 'surface-word'(arity, valence). 'surface-word'('Arity', valence). 'surface-word'(equivalenceRelation, equivalenceRelationOn). 'surface-word'(genls, subclass). 'surface-word'('subclass-of', subclass). 'surface-word'('instance-of', instance). 'surface-word'(domain, domain). 'surface-word'('nth-subclass', domainSubclass). 'surface-word'('nth-domain-subclass', domainSubclass). 'surface-word'('subrelation-of', subrelation). 'surface-word'('component-of', component). 'surface-word'('effector-of', effector). 'surface-word'('attribute-of', attribute). 'surface-word'(located, located). 'surface-word'(meets, meetsTemporally). 'surface-word'(refers, refers, refers). 'surface-word'(part, part). 'surface-word'('KIF-Formula', 'Formula'). 'surface-word'('subAttribute-of', subAttribute). 'surface-word'('Unit-Of-Measure', 'UnitOfMeasure'). 'surface-word'('Dollar-UnitedStates', 'DollarUnitedStates'). 'surface-word'(deviceUsed, instrument). 'surface-word'('instrument-Generic', instrument). 'surface-word'('SUMOSystemRealNumber', 'RealNumber'). 'surface-word'('TemporalThing', 'TimeMeasure'). 'surface-word'('SUMOFormula', 'Formula'). 'surface-word'('ScalarInterval', 'UnitOfMeasure'). 'surface-word'('TemporalThing', 'TimeDuration'). 'surface-word'(evaluate, equal). 'surface-word'(evaluate, equal). 'surface-word'(eval, equal). 'surface-word'(equals, equal). 'surface-word'('Equals', equal). 'surface-word'('Same', equal). 'surface-word'(same, equal). 'surface-word'(objectActedOn, experiencer). 'surface-word'('Or', or). 'surface-word'(thereExists, exists). 'surface-word'('ThereExists', exists). 'surface-word'('Exists', exists). 'surface-word'('ForEach', forall). 'surface-word'('ForAll', forall). 'surface-word'(all, forall). 'surface-word'(forAll, forall). 'surface-word'(genls, subclass). 'surface-word'(consistent, possible). 'surface-word'('Genls', subclass). 'surface-word'(argIsa, domain). 'surface-word'(isa, instance). 'surface-word'('Always', and). 'surface-word'('Never', not). 'surface-word'(never, not). 'surface-word'('Not', not). 'surface-word'(non, not). 'surface-word'(genlPreds, subrelation). 'surface-word'('Thing', 'Entity'). 'surface-word'(entity, 'Entity'). 'surface-word'(=, equal). 'surface-word'(termOfUnit, equal). 'surface-word'('TermOfUnit', equal). 'surface-word'(genlInverse, inverse). 'surface-word'(resultIsa, range). 'surface-word'('TemporalThing', 'TimeInterval'). 'surface-word'(plus, 'AdditionFn'). 'surface-word'('PlusFn', 'AdditionFn'). 'surface-word'('MinusFn', 'SubtractionFn'). 'surface-word'(minus, 'SubtractionFn'). 'surface-word'('QuotentFn', 'DivisionFn'). 'surface-word'('QuotientFn', 'DivisionFn'). 'surface-word'('DivFn', 'DivisionFn'). 'surface-word'('TimesFn', 'MultiplicationFn'). 'surface-word'(sibling, siblings). 'surface-word'(nec, and). 'not-compiled'('Fn'(_G15951, _G15957)). 'surface-single-arity'(true). 'surface-single-arity'(query). 'surface-single-arity'(not). 'surface-multiple-arity'(=>). 'surface-multiple-arity'(<=>). 'surface-multiple-arity'('AdditionFn'). 'surface-multiple-arity'('DivisionFn'). 'surface-multiple-arity'('MultiplicationFn'). 'surface-multiple-arity'('SubtractionFn'). 'surface-multiple-arity'(and). 'surface-multiple-arity'(or). 'surface-multiple-arity'('Xor'). 'surface-quantifier'(exists). 'surface-quantifier'(thereExists). 'surface-quantifier'(forall). 'surface-quantifier'(findall). 'surface-quantifier'(findAll). 'surface-quantifier'(some). 'surface-macro'(['PerFn', _G17165, _G17159], ['Fn', 'Division', _G17165, _G17159]). 'surface-macro'(['Percent', _G16831], ['DivisionFn', _G16831, 100]). 'surface-macro'(['RealNumber', _G16568], [number, _G16568]). 'surface-macro'(['RoundUpFn', _G16526], [floor, _G16526]). 'surface-macro'(['PositiveInteger', _G17688], [and, [integer, _G17688], [>, _G17688, 0]]). 'surface-macro'(['NonNegativeInteger', _G17826], [and, [integer, _G17826], [>=, _G17826, 0]]). 'surface-macro'(['NegativeInteger', _G17688], [and, [integer, _G17688], [<, _G17688, 0]]). 'surface-macro'(['RoundDownFn', _G16672], [floor, _G16672, 0]). 'surface-macro'(['RoundUpFn', _G16630], [floor, _G16630, 1]). 'surface-macro'(['RoundClosestFn', _G16901], [floor, _G16901, 0.5]). 'surface-macro'([<, =, _G16892, _G16886], [=>, _G16886, _G16892]). /* 'Arity'(_G16533, 1)and isa(_G16533, 'Function'). 'Arity'(_G16554, 1)and isa(_G16554, 'Predicate'). 'Arity'(_G16554, 2)and isa(_G16554, 'Predicate'). 'Arity'(_G16533, 3)and isa(_G16533, 'Function'). 'Arity'(_G16554, 3)and isa(_G16554, 'Predicate'). 'Arity'(_G16554, 4)and isa(_G16554, 'Predicate'). 'Arity'(_G16533, 5)and isa(_G16533, 'Function'). 'Arity'(_G16554, 5)and isa(_G16554, 'Predicate'). */ genMt(_G15583, _G15589). subquery(_G15886, _G15892). 'surface-quantifier'(relationAllExists). 'surface-quantifier'(relationAllExistsCount). 'surface-quantifier'(relationAllExistsMax). 'surface-quantifier'(relationAllExistsMin). 'surface-quantifier'(relationAllInstance). 'surface-quantifier'(relationInstanceAll). 'surface-quantifier'(relationExistsAll). 'surface-quantifier'(relationExistsCountAll). 'surface-quantifier'(relationExistsMaxAll). 'surface-quantifier'(relationExistsMinAll). /* isa(_G15492, 'Individgual'). skolemize(_G15339). skolemize(_G15339). */ 'surface-macro'([followingIntervalType, _G18018, _G18024], ['subsequent-ordinal', _G18018, _G18024]). 'surface-macro'([followingValue, _G17880, _G17886], ['subsequent-ordinal', _G17880, _G17886]). 'surface-instance'(<=>, 'EquivalancyConnective'). 'surface-instance'(=>, 'ImplicationConnective'). 'surface-instance'(<=>, 'PropositionalConnective'). 'surface-instance'(=>, 'PropositionalConnective'). 'surface-instance'(query, 'PropositionalConnective'). 'surface-instance'(queryyn, 'PropositionalConnective'). 'surface-instance'(subquery, 'PropositionalConnective'). 'surface-instance'(ist, 'PropositionalConnective'). 'surface-instance'(believe, 'PropositionalConnective'). 'surface-instance'(iff, 'PropositionalConnective'). 'surface-instance'(keStrongSuggestion, 'PropositionalConnective'). 'surface-instance'(goals, 'PropositionalConnective'). 'surface-instance'(forall, 'UniversalQuantifier'). 'surface-instance'(no, 'UniversalQuantifier'). 'surface-instance'(neg, 'NegConnective'). 'surface-instance'(not, 'NegConnective'). 'surface-instance'(no, 'NegConnective'). 'surface-instance'(-, 'NegConnective'). 'surface-instance'(not, 'NegConnective'). 'surface-instance'(and, 'ConjunctiveConnective'). 'surface-instance'(or, 'DisjunctiveConnective'). 'surface-instance'(xor, 'DisjunctiveConnective'). 'surface-instance'(exists, 'ExistentualQuantifier'). 'surface-instance'(findall, 'ExistentualQuantifier'). 'surface-instance'(findall, 'Quantifier'). 'surface-instance'(some, 'ExistentualQuantifier'). 'surface-instance'('DateInSituationFn', 'Function'). 'surface-instance'(domain, 'DomainConstraintPredicate'). 'surface-instance'(domainSubclass, 'DomainConstraintPredicate'). 'surface-instance'(valence, 'DomainConstraintPredicate'). 'surface-instance'(isa, 'InvolvedInDomainConstraintPredicate'). 'surface-instance'(true, 'Predicate'). 'surface-subclass'('BinaryConnective', 'Connective'). 'surface-subclass'('Connective', 'Quantifier'). 'surface-subclass'('ExistentualQuantifier', 'Quantifier'). 'surface-subclass'('UniversalQuantifier', 'Quantifier'). 'surface-subclass'('Connective', 'PropositionalConnective'). 'surface-subclass'('Connective', 'NegConnective'). 'surface-subclass'('Connective', 'ConjunctiveConnective'). 'surface-subclass'('Connective', 'DisjunctiveConnective'). 'surface-subclass'('Junctive', 'ConjunctiveConnective'). 'surface-subclass'('Junctive', 'DisjunctiveConnective'). 'surface-subclass'('Connective', 'ImplicationConnective'). 'surface-subclass'('Connective', 'EquivalancyConnective'). 'surface-subclass'('Predicate', 'DomainConstraintPredicate'). 'surface-subclass'('Predicate', 'InvolvedInDomainConstraintPredicate'). 'surface-subclass'('Function', 'ReifiableTerm'). 'surface-class'('Class'). 'surface-class'('Collection'). 'surface-class'('TransitiveBinaryPredicate'). 'surface-class'('VariableArityRelation'). 'surface-class'('SymmetricBinaryPredicate'). 'surface-class'('FixedArityRelation'). 'surface-class'(natFunction). 'surface-class'('ExceptionRelation'). 'surface-class'('EvaluatableFunction'). 'surface-class'('EvaluatableRelationship'). 'surface-class'('CollectionDenotingFunction'). 'surface-class'('CommutativeRelation'). 'surface-class'('AssociativeRelation'). 'surface-class'('AntiSymmetricBinaryPredicate'). 'surface-class'('AntiTransitiveBinaryPredicate'). 'surface-class'('AsymmetricBinaryPredicate'). 'surface-class'('BookkeepingPredicate'). 'surface-class'('DistributingMetaKnowledgePredicate'). 'surface-class'('DefaultMonotonicPredicate'). 'surface-class'('RelationExpression'). 'surface-class'('Relationship'). 'surface-class'('ReifiableFunction'). 'surface-class'(completeExtentKnown). 'surface-class'(completeCollectionExtent). 'surface-class'(extentCardinality). 'surface-class'(minimizeExtent). 'surface-class'('ReifiableNAT'). 'surface-class'('ReifiableTerm'). 'surface-macro'([argsIsa, _G17380, _G17374], [domain, _G17380, _G17386, _G17374]). 'surface-macro'([arg1Isa, _G17303, _G17297], [domain, _G17303, 1, _G17297]). 'surface-macro'([arg2Isa, _G17258, _G17252], [domain, _G17258, 2, _G17252]). 'surface-macro'([arg3Isa, _G17258, _G17252], [domain, _G17258, 3, _G17252]). 'surface-macro'([arg4Isa, _G17258, _G17252], [domain, _G17258, 4, _G17252]). 'surface-macro'([arg5Isa, _G17258, _G17252], [domain, _G17258, 5, _G17252]). 'surface-macro'([arg6Isa, _G17258, _G17252], [domain, _G17258, 6, _G17252]). 'surface-macro'([arg7Isa, _G17258, _G17252], [domain, _G17258, 7, _G17252]). 'surface-macro'([arg8Isa, _G17258, _G17252], [domain, _G17258, 8, _G17252]). 'surface-macro'([arg9Isa, _G17258, _G17252], [domain, _G17258, 9, _G17252]). 'surface-macro'([argsisa, _G17530, _G17524], [domainSubclass, _G17530, _G17536, _G17524]). 'surface-macro'([arg1isa, _G17258, _G17252], [domain, _G17258, 1, _G17252]). 'surface-macro'([arg2isa, _G17258, _G17252], [domain, _G17258, 2, _G17252]). 'surface-macro'([arg3isa, _G17258, _G17252], [domain, _G17258, 3, _G17252]). 'surface-macro'([arg4isa, _G17258, _G17252], [domain, _G17258, 4, _G17252]). 'surface-macro'([arg5isa, _G17258, _G17252], [domain, _G17258, 5, _G17252]). 'surface-macro'([arg6isa, _G17258, _G17252], [domain, _G17258, 6, _G17252]). 'surface-macro'([arg7isa, _G17258, _G17252], [domain, _G17258, 7, _G17252]). 'surface-macro'([arg8isa, _G17258, _G17252], [domain, _G17258, 8, _G17252]). 'surface-macro'([arg9isa, _G17258, _G17252], [domain, _G17258, 9, _G17252]). 'surface-macro'([argsGenls, _G17572, _G17566], [domainSubclass, _G17572, _G17578, _G17566]). 'surface-macro'([arg1Genl, _G17447, _G17441], [domainSubclass, _G17447, 1, _G17441]). 'surface-macro'([arg2genls, _G17468, _G17462], [domainSubclass, _G17468, 2, _G17462]). 'surface-macro'([arg2Genl, _G17447, _G17441], [domainSubclass, _G17447, 2, _G17441]). 'surface-macro'([arg3Genl, _G17447, _G17441], [domainSubclass, _G17447, 3, _G17441]). 'surface-macro'([arg4Genl, _G17447, _G17441], [domainSubclass, _G17447, 4, _G17441]). 'surface-macro'([arg5Genl, _G17447, _G17441], [domainSubclass, _G17447, 5, _G17441]). 'surface-macro'([arg6Genl, _G17447, _G17441], [domainSubclass, _G17447, 6, _G17441]). 'surface-macro'([arg7Genl, _G17447, _G17441], [domainSubclass, _G17447, 7, _G17441]). 'surface-macro'([arg8Genl, _G17447, _G17441], [domainSubclass, _G17447, 8, _G17441]). 'surface-macro'([arg9Genl, _G17447, _G17441], [domainSubclass, _G17447, 9, _G17441]). 'surface-macro'([interArgResultIsa, _G21128, 'ArgN', _G21116, _G21122], [and, [isa, _G21128, 'Function'], [=>, [valence, _G21128, 'Arity'], ['domain-related', _G21128, 'ArgN', 'Arity', _G21116, _G21122]]]). 'surface-macro'([interArgResultGenl, _G21128, 'ArgN', _G21116, _G21122], [and, [isa, _G21128, 'Function'], [=>, [valence, _G21128, 'Arity'], ['domain-related', _G21128, 'ArgN', 'Arity', _G21116, _G21122]]]). 'surface-macro'([interArgIsa, _G19770, _G19758, _G19746, _G19764, _G19752], ['domain-related', _G19770, _G19758, _G19764, _G19746, _G19752]). 'surface-macro'(['interArgIsa1-2', _G18539, _G18527, _G18533], ['domain-related', _G18539, 1, 2, _G18527, _G18533]). 'surface-macro'(['interArgIsa1-3', _G18539, _G18527, _G18533], ['domain-related', _G18539, 1, 3, _G18527, _G18533]). 'surface-macro'(['interArgIsa1-4', _G18539, _G18527, _G18533], ['domain-related', _G18539, 1, 4, _G18527, _G18533]). 'surface-macro'(['interArgIsa1-5', _G18539, _G18527, _G18533], ['domain-related', _G18539, 1, 5, _G18527, _G18533]). 'surface-macro'(['interArgIsa1-6', _G18539, _G18527, _G18533], ['domain-related', _G18539, 1, 6, _G18527, _G18533]). 'surface-macro'(['interArgIsa2-2', _G18539, _G18527, _G18533], ['domain-related', _G18539, 2, 2, _G18527, _G18533]). 'surface-macro'(['interArgIsa2-3', _G18539, _G18527, _G18533], ['domain-related', _G18539, 2, 3, _G18527, _G18533]). 'surface-macro'(['interArgIsa2-4', _G18539, _G18527, _G18533], ['domain-related', _G18539, 2, 4, _G18527, _G18533]). 'surface-macro'(['interArgIsa2-5', _G18539, _G18527, _G18533], ['domain-related', _G18539, 2, 5, _G18527, _G18533]). 'surface-macro'(['interArgIsa2-6', _G18539, _G18527, _G18533], ['domain-related', _G18539, 2, 6, _G18527, _G18533]). 'surface-macro'(['interArgIsa3-2', _G18539, _G18527, _G18533], ['domain-related', _G18539, 3, 2, _G18527, _G18533]). 'surface-macro'(['interArgIsa3-3', _G18539, _G18527, _G18533], ['domain-related', _G18539, 3, 3, _G18527, _G18533]). 'surface-macro'(['interArgIsa3-4', _G18539, _G18527, _G18533], ['domain-related', _G18539, 3, 4, _G18527, _G18533]). 'surface-macro'(['interArgIsa3-5', _G18539, _G18527, _G18533], ['domain-related', _G18539, 3, 5, _G18527, _G18533]). 'surface-macro'(['interArgIsa3-6', _G18539, _G18527, _G18533], ['domain-related', _G18539, 3, 6, _G18527, _G18533]). 'surface-macro'(['interArgIsa4-2', _G18539, _G18527, _G18533], ['domain-related', _G18539, 4, 2, _G18527, _G18533]). 'surface-macro'(['interArgIsa4-3', _G18539, _G18527, _G18533], ['domain-related', _G18539, 4, 3, _G18527, _G18533]). 'surface-macro'(['interArgIsa4-4', _G18539, _G18527, _G18533], ['domain-related', _G18539, 4, 4, _G18527, _G18533]). 'surface-macro'(['interArgIsa4-5', _G18539, _G18527, _G18533], ['domain-related', _G18539, 4, 5, _G18527, _G18533]). 'surface-macro'(['interArgIsa4-6', _G18539, _G18527, _G18533], ['domain-related', _G18539, 4, 6, _G18527, _G18533]). 'surface-macro'(['interArgIsa5-2', _G18539, _G18527, _G18533], ['domain-related', _G18539, 5, 2, _G18527, _G18533]). 'surface-macro'(['interArgIsa5-3', _G18539, _G18527, _G18533], ['domain-related', _G18539, 5, 3, _G18527, _G18533]). 'surface-macro'(['interArgIsa5-4', _G18539, _G18527, _G18533], ['domain-related', _G18539, 5, 4, _G18527, _G18533]). 'surface-macro'(['interArgIsa5-5', _G18539, _G18527, _G18533], ['domain-related', _G18539, 5, 5, _G18527, _G18533]). 'surface-macro'(['interArgIsa5-6', _G18539, _G18527, _G18533], ['domain-related', _G18539, 5, 6, _G18527, _G18533]). 'surface-macro'(['interArgReln1-2', _G17791, 'Relation'], ['nth-relation-exists', _G17791, 1, 2, 'Relation']). 'surface-macro'(['interArgReln1-3', _G17767, 'Relation'], ['nth-relation-exists', _G17767, 1, 3, 'Relation']). 'surface-macro'(['interArgReln1-4', _G17767, 'Relation'], ['nth-relation-exists', _G17767, 1, 4, 'Relation']). 'surface-macro'(['interArgReln1-5', _G17767, 'Relation'], ['nth-relation-exists', _G17767, 1, 5, 'Relation']). 'surface-macro'(['interArgReln1-6', _G17767, 'Relation'], ['nth-relation-exists', _G17767, 1, 6, 'Relation']). 'surface-macro'(['interArgReln2-2', _G18262, 'Relation'], ['nth-relation-exists', _G18262, 2, 2, 'Relation']). 'surface-macro'(['interArgReln2-3', _G17767, 'Relation'], ['nth-relation-exists', _G17767, 2, 3, 'Relation']). 'surface-macro'(['interArgReln2-4', _G17767, 'Relation'], ['nth-relation-exists', _G17767, 2, 4, 'Relation']). 'surface-macro'(['interArgReln2-5', _G17767, 'Relation'], ['nth-relation-exists', _G17767, 2, 5, 'Relation']). 'surface-macro'(['interArgReln2-6', _G17767, 'Relation'], ['nth-relation-exists', _G17767, 2, 6, 'Relation']). 'surface-macro'(['interArgReln3-2', _G17767, 'Relation'], ['nth-relation-exists', _G17767, 3, 2, 'Relation']). 'surface-macro'(['interArgReln3-3', _G17767, 'Relation'], ['nth-relation-exists', _G17767, 3, 3, 'Relation']). 'surface-macro'(['interArgReln3-4', _G17767, 'Relation'], ['nth-relation-exists', _G17767, 3, 4, 'Relation']). 'surface-macro'(['interArgReln3-5', _G17767, 'Relation'], ['nth-relation-exists', _G17767, 3, 5, 'Relation']). 'surface-macro'(['interArgReln3-6', _G17767, 'Relation'], ['nth-relation-exists', _G17767, 3, 6, 'Relation']). 'surface-macro'(['interArgReln4-2', _G17767, 'Relation'], ['nth-relation-exists', _G17767, 4, 2, 'Relation']). 'surface-macro'(['interArgReln4-3', _G17767, 'Relation'], ['nth-relation-exists', _G17767, 4, 3, 'Relation']). 'surface-macro'(['interArgReln4-4', _G17767, 'Relation'], ['nth-relation-exists', _G17767, 4, 4, 'Relation']). 'surface-macro'(['interArgReln4-5', _G17767, 'Relation'], ['nth-relation-exists', _G17767, 4, 5, 'Relation']). 'surface-macro'(['interArgReln4-6', _G17767, 'Relation'], ['nth-relation-exists', _G17767, 4, 6, 'Relation']). 'surface-macro'(['interArgReln5-2', _G17767, 'Relation'], ['nth-relation-exists', _G17767, 5, 2, 'Relation']). 'surface-macro'(['interArgReln5-3', _G17767, 'Relation'], ['nth-relation-exists', _G17767, 5, 3, 'Relation']). 'surface-macro'(['interArgReln5-4', _G17767, 'Relation'], ['nth-relation-exists', _G17767, 5, 4, 'Relation']). 'surface-macro'(['interArgReln5-5', _G17767, 'Relation'], ['nth-relation-exists', _G17767, 5, 5, 'Relation']). 'surface-macro'(['interArgReln5-6', _G17767, 'Relation'], ['nth-relation-exists', _G17767, 5, 6, 'Relation']). end_of_file. end_of_file.