Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - confersRight
confersRight

appearance as argument number 1
-------------------------


s__documentation(s__confersRight__m,s__ChineseLanguage,'这是用来表达 FormulaEntityCognitiveAgent 三者之间的一种关系,那就是 Entity 授权于 CognitiveAgent 去实现 Formula 所指的。')

Merge.kif 17697-17699
s__documentation(s__confersRight__m,s__EnglishLanguage,'Expresses the relationship between a Formula, an Entity, and a CognitiveAgent when the Entity authorizes the CognitiveAgent to bring it about that the Formula is true.')

Merge.kif 17694-17696
s__domain(s__confersRight__m,1,s__Formula)

Merge.kif 17691-17691 The number 1 argument of confers right is an instance of formula
s__domain(s__confersRight__m,2,s__Entity)

Merge.kif 17692-17692 The number 2 argument of confers right is an instance of entity
s__domain(s__confersRight__m,3,s__CognitiveAgent)

Merge.kif 17693-17693 The number 3 argument of confers right is an instance of cognitive agent
s__instance(s__confersRight__m,s__TernaryPredicate)

s__instance(s__TernaryPredicate,s__SetOrClass)

Merge.kif 17690-17690 confers right is an instance of ternary predicate

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__confersRight__m,'%2 %n{doesnt} 允许 %3 执行 %1 的任务')

chinese_format.kif 203-203
s__format(s__EnglishLanguage,s__confersRight__m,'%2 %n{doesnt} allow%p{s} %3 to perform task of the type %1')

english_format.kif 128-128
s__format(s__FrenchLanguage,s__confersRight__m,'%2 %n{n} autorise %n{pas} %3 � ex�cut� des t�ches du type %1')

french_format.kif 121-121
s__format(s__ItalianLanguage,s__confersRight__m,'%2 permette a %3 di compiere il compito di tipo %1')

relations-it.txt 51-51
s__format(s__PortugueseLanguage,s__confersRight__m,'%2 %n{nao} autoriza %n %3 a executar tarefas de tipo %1')

portuguese_format.kif 73-73
s__format(s__ar__m,s__confersRight__m,'%2 %n{لا} يَسْمَح بـ %3 تَنْفِيذ مَهَمَّة مِن النَّوع %1')

arabic_format.kif 71-71
s__format(s__de__m,s__confersRight__m,'%2 erlaubt %3, die Aufgabe der Art von %1 durchzuf�hren %n{nicht}')

relations-de.txt 261-261
s__format(s__hi__m,s__confersRight__m,'%2 %3 ko %1 ke prakaara kaa kaama karane kaa adhikaara detaa hai')

relations-hindi.txt 92-92
s__format(s__tg__m,s__confersRight__m,'%2 nagpapahintulot %3 gawin ang gawain sa ang klase %1')

relations-cb.txt 85-85
s__relatedInternalConcept(s__confersObligation__m,s__confersRight__m)

Merge.kif 17720-17720 confers obligation is internally related to confers right
s__termFormat(s__EnglishLanguage,s__confersRight__m,'confers right')

domainEnglishFormat.kif 3186-3186 "confers right" is the printable form of confers right in english language
s__termFormat(s__ar__m,s__confersRight__m,'«يَسْمَح بـ تَنْفِيذ مَهَمَّة مِن النَّوع»')

arabic_format.kif 521-521 "«يَسْمَح بـ تَنْفِيذ مَهَمَّة مِن النَّوع»" is the printable form of confers right in ar
s__termFormat(s__tg__m,s__confersRight__m,'nakikipaghirap nagpapahintulot')

relations-tg.txt 119-119 "nakikipaghirap nagpapahintulot" is the printable form of confers right in tg

antecedent
-------------------------


( ! [V__AGR,V__DATE,V__FORMULA,V__AGENT,V__TIME] :
   ((s__agreementEffectiveDate(V__AGR,V__DATE)
     &
     s__confersRight(V__FORMULA,V__AGR,V__AGENT)
   &
   s__instance(V__TIME,V__DATE))
=>
s__holdsDuring(s__ImmediateFutureFn(V__TIME)
,'s__holdsRight(V__FORMULA,V__AGENT)'))
)

Government.kif 715-720
  • If ?DATE is an agreement effective date of ?AGR and ?AGR allows ?AGENT to perform task of the type ?FORMULA and ?TIME is an instance of ?DATE,
  • then ?AGENT has the right to perform ?FORMULA holds during immediately after ?TIME
( ! [V__POL,V__DATE,V__FORMULA,V__AGENT,V__TIME] :
   ((s__policyEffectiveDate(V__POL,V__DATE)
     &
     s__confersRight(V__FORMULA,V__POL,V__AGENT)
   &
   s__instance(V__TIME,V__DATE))
=>
s__holdsDuring(s__ImmediateFutureFn(V__TIME)
,'s__holdsRight(V__FORMULA,V__AGENT)'))
)

TravelPolicies.kif 199-204
  • If ?POL is effective as of ?DATE and ?POL allows ?AGENT to perform task of the type ?FORMULA and ?TIME is an instance of ?DATE,
  • then ?AGENT has the right to perform ?FORMULA holds during immediately after ?TIME
( ! [V__FORMULA,V__AGENT1,V__AGENT2] :
   (s__confersRight(V__FORMULA,V__AGENT1,V__AGENT2)
   =>
   s__holdsRight(V__FORMULA,V__AGENT2))
)

Merge.kif 17701-17703
  • If ?AGENT1 allows ?AGENT2 to perform task of the type ?FORMULA,
  • then ?AGENT2 has the right to perform ?FORMULA

consequent
-------------------------


( ! [V__AGENT,V__POLITY] :
   ((s__citizen(V__AGENT,V__POLITY)
     &
     s__subProposition(s__UniversalSuffrageLaw,s__RegionalLawFn(V__POLITY)))
=>
s__confersRight('(! [V__VOTINGAGE,V__AGE,V__ELECTION] : ((s__citizen(V__AGENT,V__POLITY) & s__suffrageAgeMinimum(V__POLITY,V__VOTINGAGE) & s__age(V__AGENT,V__AGE) & greatereq(V__AGE,V__VOTINGAGE) & s__instance(V__ELECTION,s__ElectionFn(V__POLITY))) => (? [V__VOTING] : (s__instance(V__VOTING,s__VotingFn(V__ELECTION)) & s__agent(V__VOTING,V__AGENT)))))',s__RegionalLawFn(V__POLITY)
,V__AGENT))
)

Government.kif 1103-1121
  • If ?AGENT is a citizen of ?POLITY and universal suffrage law is a sub-proposition of the regional law of ?POLITY,
  • then the regional law of ?POLITY allows ?AGENT to perform task of the type for all ?VOTINGAGE, ?AGE and ?ELECTION
    • if ?AGENT is a citizen of ?POLITY and ?VOTINGAGE is a suffrage age minimum of ?POLITY and the age of ?AGENT is ?AGE and ?AGE is greater than or equal to ?VOTINGAGE and ?ELECTION is an instance of the election of ?POLITY,
    • then there exists ?VOTING such that ?VOTING is an instance of the voting of ?ELECTION and ?AGENT is an agent of ?VOTING
No TPTP formula. May not be expressible in strict first order. Hotel.kif 477-493
No TPTP formula. May not be expressible in strict first order. Dining.kif 339-350
No TPTP formula. May not be expressible in strict first order. Hotel.kif 289-308
( ! [V__AOC,V__AIRLINE] :
   ((s__instance(V__AOC,s__AOCnumber) &
       s__instance(V__AIRLINE,s__Airline) &
       s__possesses(V__AIRLINE,V__AOC))
   =>
   s__confersRight('(? [V__AIR] : (s__instance(V__AIR,s__AirTransportationService) & s__serviceProvider(V__AIR,V__AIRLINE)))',s__FederalAviationAdministration,V__AIRLINE))
)

Transportation.kif 3104-3114
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 89-103
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13587-13598
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15880-15892
No TPTP formula. May not be expressible in strict first order. naics.kif 7962-7987
No TPTP formula. May not be expressible in strict first order. naics.kif 8661-8681
No TPTP formula. May not be expressible in strict first order. naics.kif 8390-8413
No TPTP formula. May not be expressible in strict first order. naics.kif 8632-8652
No TPTP formula. May not be expressible in strict first order. naics.kif 8043-8068
No TPTP formula. May not be expressible in strict first order. naics.kif 8453-8474
No TPTP formula. May not be expressible in strict first order. naics.kif 8269-8289
No TPTP formula. May not be expressible in strict first order. naics.kif 8178-8200
No TPTP formula. May not be expressible in strict first order. naics.kif 8701-8722
No TPTP formula. May not be expressible in strict first order. naics.kif 8089-8114
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15847-15853
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 473-486
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 523-536
No TPTP formula. May not be expressible in strict first order. TransportDetail.kif 102-119
( ! [V__CUST] :
   (s__attribute(s__EndNodeFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__EndNodeFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__EndNodeFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__EndNodeFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__RadiusFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__RadiusFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__RadiusFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__RadiusFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__TerminalNodeFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__TerminalNodeFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__TerminalNodeFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__TerminalNodeFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__AfternoonFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__AfternoonFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__AfternoonFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__AfternoonFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__TeraFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__TeraFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__TeraFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__TeraFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__ElevationHighPointFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__ElevationHighPointFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__ElevationHighPointFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__ElevationHighPointFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__BackFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__BackFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__BackFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__BackFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__OccupationFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__OccupationFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__OccupationFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__OccupationFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__CabinetFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__CabinetFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__CabinetFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__CabinetFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__MorningFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__MorningFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__MorningFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__MorningFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__BeginNodeFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__BeginNodeFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__BeginNodeFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__BeginNodeFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__DatumFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__DatumFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__DatumFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__DatumFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__PortFacilityFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__PortFacilityFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__PortFacilityFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__PortFacilityFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__DemonymFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__DemonymFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__DemonymFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__DemonymFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__StartupFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__StartupFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__StartupFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__StartupFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__EndFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__EndFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__EndFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__EndFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__LyricalComponentFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__LyricalComponentFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__LyricalComponentFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__LyricalComponentFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__AuctionGMBFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__AuctionGMBFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__AuctionGMBFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__AuctionGMBFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__CardinalityFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__CardinalityFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__CardinalityFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__CardinalityFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__ShipBerthingFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__ShipBerthingFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__ShipBerthingFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__ShipBerthingFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__InitialNodeFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__InitialNodeFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__InitialNodeFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__InitialNodeFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__AgricultureFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__AgricultureFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__AgricultureFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__AgricultureFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__GPSFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__GPSFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__GPSFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__GPSFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__FutureFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__FutureFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__FutureFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__FutureFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__ClassOnSportFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__ClassOnSportFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__ClassOnSportFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__ClassOnSportFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__CurrencyFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__CurrencyFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__CurrencyFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__CurrencyFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__SineFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__SineFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__SineFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__SineFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__DocumentFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__DocumentFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__DocumentFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__DocumentFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__ConversionRateFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__ConversionRateFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__ConversionRateFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__ConversionRateFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__ElevationLowPointFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__ElevationLowPointFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__ElevationLowPointFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__ElevationLowPointFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__AccountFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__AccountFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__AccountFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__AccountFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__HoleSkinFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__HoleSkinFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__HoleSkinFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__HoleSkinFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__ImmediateFutureFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__ImmediateFutureFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__ImmediateFutureFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__ImmediateFutureFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__PPSFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__PPSFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__PPSFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__PPSFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__InnerBoundaryFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__InnerBoundaryFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__InnerBoundaryFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__InnerBoundaryFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__RationalNumberFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__RationalNumberFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__RationalNumberFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__RationalNumberFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__GreatestCommonDivisorFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__GreatestCommonDivisorFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__GreatestCommonDivisorFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__GreatestCommonDivisorFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__ExtensionFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__ExtensionFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__ExtensionFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__ExtensionFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__GigaFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__GigaFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__GigaFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__GigaFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__RoundFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__RoundFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__RoundFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__RoundFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__TripFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__TripFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__TripFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__TripFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__MaritimeContiguousZoneFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__MaritimeContiguousZoneFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__MaritimeContiguousZoneFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__MaritimeContiguousZoneFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__DenominatorFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__DenominatorFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__DenominatorFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__DenominatorFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__ProbabilityFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__ProbabilityFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__ProbabilityFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__ProbabilityFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__GeneralizedUnionFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__GeneralizedUnionFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__GeneralizedUnionFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__GeneralizedUnionFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__AddressFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__AddressFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__AddressFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__AddressFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__MilliFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__MilliFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__MilliFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__MilliFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__GovernmentFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__GovernmentFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__GovernmentFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__GovernmentFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__ListFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__ListFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__ListFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__ListFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__QualifiedTreatmentsFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__QualifiedTreatmentsFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__QualifiedTreatmentsFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__QualifiedTreatmentsFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__ListLengthFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__ListLengthFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__ListLengthFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__ListLengthFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__ExecutiveBranchFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__ExecutiveBranchFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__ExecutiveBranchFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__ExecutiveBranchFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__FitForMilitaryServiceMaleFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__FitForMilitaryServiceMaleFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__FitForMilitaryServiceMaleFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__FitForMilitaryServiceMaleFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__LessonOnInstrumentFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__LessonOnInstrumentFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__LessonOnInstrumentFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__LessonOnInstrumentFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__ReciprocalFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__ReciprocalFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__ReciprocalFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__ReciprocalFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__FlowRegionFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__FlowRegionFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__FlowRegionFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__FlowRegionFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__PathWeightFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__PathWeightFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__PathWeightFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__PathWeightFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__DescendantsFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__DescendantsFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__DescendantsFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__DescendantsFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__HoleHostFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__HoleHostFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__HoleHostFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__HoleHostFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__ImmediatePastFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__ImmediatePastFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__ImmediatePastFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__ImmediatePastFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__MusicalComponentFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__MusicalComponentFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__MusicalComponentFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__MusicalComponentFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__ShipRegisterFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__ShipRegisterFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__ShipRegisterFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__ShipRegisterFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__PastFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__PastFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__PastFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__PastFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__SquareRootFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__SquareRootFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__SquareRootFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__SquareRootFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__NanoFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__NanoFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__NanoFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__NanoFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__ConstitutionFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__ConstitutionFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__ConstitutionFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__ConstitutionFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__LessonOnCookingFoodFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__LessonOnCookingFoodFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__LessonOnCookingFoodFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__LessonOnCookingFoodFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__TerritorialSeaFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__TerritorialSeaFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__TerritorialSeaFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__TerritorialSeaFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__ClassOnLanguageFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__ClassOnLanguageFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__ClassOnLanguageFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__ClassOnLanguageFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__AvailableForMilitaryServiceMaleFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__AvailableForMilitaryServiceMaleFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__AvailableForMilitaryServiceMaleFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__AvailableForMilitaryServiceMaleFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__AgentOfOrganismFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__AgentOfOrganismFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__AgentOfOrganismFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__AgentOfOrganismFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__StringLengthFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__StringLengthFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__StringLengthFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__StringLengthFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__MerchantMarineFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__MerchantMarineFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__MerchantMarineFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__MerchantMarineFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__StartFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__StartFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__StartFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__StartFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__FoodForFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__FoodForFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__FoodForFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__FoodForFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__AgreementOrganizationFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__AgreementOrganizationFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__AgreementOrganizationFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__AgreementOrganizationFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__QualifyingPurchasesFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__QualifyingPurchasesFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__QualifyingPurchasesFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__QualifyingPurchasesFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__PicoFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__PicoFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__PicoFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__PicoFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__OverseasAreaFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__OverseasAreaFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__OverseasAreaFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__OverseasAreaFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__ShutdownFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__ShutdownFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__ShutdownFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__ShutdownFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__PowerSetFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__PowerSetFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__PowerSetFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__PowerSetFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__GMVFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__GMVFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__GMVFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__GMVFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__YearFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__YearFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__YearFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__YearFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__CoveringFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__CoveringFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__CoveringFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__CoveringFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__SquareUnitFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__SquareUnitFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__SquareUnitFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__SquareUnitFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__ASPFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__ASPFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__ASPFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__ASPFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__LeastCommonMultipleFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__LeastCommonMultipleFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__LeastCommonMultipleFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__LeastCommonMultipleFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__IntegerSquareRootFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__IntegerSquareRootFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__IntegerSquareRootFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__IntegerSquareRootFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__ClassOnAcademicFieldFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__ClassOnAcademicFieldFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__ClassOnAcademicFieldFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__ClassOnAcademicFieldFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__ExtendedFishingZoneFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__ExtendedFishingZoneFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__ExtendedFishingZoneFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__ExtendedFishingZoneFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__TransitFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__TransitFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__TransitFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__TransitFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__CenterOfCircleFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__CenterOfCircleFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__CenterOfCircleFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__CenterOfCircleFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__JudiciaryFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__JudiciaryFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__JudiciaryFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__JudiciaryFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__StopFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__StopFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__StopFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__StopFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__BoughtItemsFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__BoughtItemsFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__BoughtItemsFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__BoughtItemsFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__ComplementFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__ComplementFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__ComplementFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__ComplementFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__InitialProfileFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__InitialProfileFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__InitialProfileFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__InitialProfileFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__ShortageFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__ShortageFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__ShortageFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__ShortageFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__OuterBoundaryFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__OuterBoundaryFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__OuterBoundaryFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__OuterBoundaryFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__ImmediateFamilyFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__ImmediateFamilyFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__ImmediateFamilyFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__ImmediateFamilyFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__MicroFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__MicroFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__MicroFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__MicroFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__PopulationFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__PopulationFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__PopulationFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__PopulationFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__BeginFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__BeginFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__BeginFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__BeginFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__FlowFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__FlowFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__FlowFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__FlowFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__CeilingFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__CeilingFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__CeilingFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__CeilingFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__GMBFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__GMBFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__GMBFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__GMBFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__SupremeCourtFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__SupremeCourtFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__SupremeCourtFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__SupremeCourtFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__TransportationFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__TransportationFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__TransportationFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__TransportationFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__SignumFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__SignumFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__SignumFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__SignumFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__ImaginaryPartFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__ImaginaryPartFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__ImaginaryPartFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__ImaginaryPartFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__EveningFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__EveningFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__EveningFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__EveningFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__LastFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__LastFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__LastFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__LastFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__DeadFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__DeadFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__DeadFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__DeadFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__GeneralizedIntersectionFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__GeneralizedIntersectionFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__GeneralizedIntersectionFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__GeneralizedIntersectionFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__MaritimeShelfAreaFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__MaritimeShelfAreaFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__MaritimeShelfAreaFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__MaritimeShelfAreaFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__ABPFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__ABPFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__ABPFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__ABPFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__PerDiemFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__PerDiemFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__PerDiemFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__PerDiemFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__MinimalCutSetFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__MinimalCutSetFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__MinimalCutSetFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__MinimalCutSetFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__MegaFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__MegaFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__MegaFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__MegaFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__NumeratorFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__NumeratorFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__NumeratorFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__NumeratorFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__PredecessorFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__PredecessorFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__PredecessorFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__PredecessorFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__FirstFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__FirstFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__FirstFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__FirstFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__TourOnAreaFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__TourOnAreaFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__TourOnAreaFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__TourOnAreaFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__PlayingInstrumentFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__PlayingInstrumentFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__PlayingInstrumentFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__PlayingInstrumentFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__SiteSpeedFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__SiteSpeedFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__SiteSpeedFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__SiteSpeedFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__OperatingFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__OperatingFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__OperatingFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__OperatingFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__FiscalYearFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__FiscalYearFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__FiscalYearFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__FiscalYearFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__PressingKeyFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__PressingKeyFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__PressingKeyFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__PressingKeyFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__LegislatureFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__LegislatureFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__LegislatureFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__LegislatureFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__KiloFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__KiloFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__KiloFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__KiloFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__MaritimeExclusiveEconomicZoneFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__MaritimeExclusiveEconomicZoneFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__MaritimeExclusiveEconomicZoneFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__MaritimeExclusiveEconomicZoneFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__ElectionFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__ElectionFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__ElectionFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__ElectionFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__FloorFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__FloorFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__FloorFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__FloorFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__AbsoluteValueFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__AbsoluteValueFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__AbsoluteValueFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__AbsoluteValueFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__GeographicCenterFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__GeographicCenterFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__GeographicCenterFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__GeographicCenterFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__CutSetFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__CutSetFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__CutSetFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__CutSetFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__CitizenryFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__CitizenryFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__CitizenryFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__CitizenryFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__MakingFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__MakingFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__MakingFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__MakingFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__AccountOfServiceFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__AccountOfServiceFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__AccountOfServiceFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__AccountOfServiceFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__CosineFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__CosineFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__CosineFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__CosineFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__contraryAttribute__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__contraryAttribute__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__contraryAttribute__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__contraryAttribute__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__TreatedUsersFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__TreatedUsersFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__TreatedUsersFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__TreatedUsersFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__DiameterFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__DiameterFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__DiameterFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__DiameterFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__WealthFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__WealthFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__WealthFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__WealthFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__MagnitudeFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__MagnitudeFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__MagnitudeFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__MagnitudeFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__MaritimeClaimsTerritorialSeaFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__MaritimeClaimsTerritorialSeaFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__MaritimeClaimsTerritorialSeaFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__MaritimeClaimsTerritorialSeaFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__BidCountFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__BidCountFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__BidCountFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__BidCountFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__VotingFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__VotingFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__VotingFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__VotingFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__MaleToFemaleRatioFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__MaleToFemaleRatioFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__MaleToFemaleRatioFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__MaleToFemaleRatioFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__TangentFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__TangentFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__TangentFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__TangentFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__SuccessorFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__SuccessorFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__SuccessorFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__SuccessorFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__NationalAnthemFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__NationalAnthemFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__NationalAnthemFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__NationalAnthemFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__BeliefGroupMemberFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__BeliefGroupMemberFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__BeliefGroupMemberFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__BeliefGroupMemberFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__PropertyFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__PropertyFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__PropertyFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__PropertyFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__QPViewsFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__QPViewsFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__QPViewsFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__QPViewsFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__MemberFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__MemberFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__MemberFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__MemberFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__FrontFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__FrontFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__FrontFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__FrontFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__PremisesFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__PremisesFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__PremisesFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__PremisesFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__UnitFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__UnitFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__UnitFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__UnitFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__RealNumberFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__RealNumberFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__RealNumberFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__RealNumberFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__CPUUtilizationFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__CPUUtilizationFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__CPUUtilizationFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__CPUUtilizationFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__WhenFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__WhenFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__WhenFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__WhenFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__ShipCrewFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__ShipCrewFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__ShipCrewFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__ShipCrewFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__JuiceOfFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__JuiceOfFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__JuiceOfFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__JuiceOfFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__SRPEngagementFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__SRPEngagementFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__SRPEngagementFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__SRPEngagementFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__QualifyingEventsFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__QualifyingEventsFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__QualifyingEventsFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__QualifyingEventsFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__ReceivingAnObjectFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__ReceivingAnObjectFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__ReceivingAnObjectFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__ReceivingAnObjectFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__PerimeterAreaFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__PerimeterAreaFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__PerimeterAreaFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__PerimeterAreaFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__ResidentFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__ResidentFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__ResidentFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__ResidentFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__RegionalLawFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__RegionalLawFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__RegionalLawFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__RegionalLawFn__m,V__CUST))))'))
)

( ! [V__CUST] :
   (s__attribute(s__ExclusiveFishingZoneFn__m,s__ArtsAndRecreationTicketingServices) =>
     s__hasPurpose(s__ExclusiveFishingZoneFn__m,'(? [V__SELL,V__TICKET] : (s__instance(V__SELL,s__Selling) & s__patient(V__SELL,V__TICKET) & s__agent(V__SELL,s__ExclusiveFishingZoneFn__m) & s__instance(V__TICKET,s__Ticket) & s__destination(V__SELL,V__CUST) & s__hasPurpose(V__TICKET,s__confersRight((? [V__WATCH,V__PERF] : (s__instance(V__WATCH,s__Seeing) & s__agent(V__WATCH,V__CUST) & s__patient(V__WATCH,V__PERF) & (s__instance(V__PERF,s__Performance) | s__instance(V__PERF,s__Sport)))),s__ExclusiveFishingZoneFn__m,V__CUST))))'))
)

Hotel.kif 2294-2313
( ! [V__F,V__E,V__A] :
   (s__confersObligation(V__F,V__E,V__A)
   =>
   s__confersRight(V__F,V__E,V__A))
)

Law.kif 382-384
  • If ?E obligates ?A to perform task of the type ?F,
  • then ?E allows ?A to perform task of the type ?F
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27601-27621
  • If ?INVOICE is an instance of Invoice,
  • then there exist ?NUMBER, ?BUYER,, , ?SELLER and ?ENT such that the unique identifier of ?NUMBER is ?INVOICE and ?BUYER buys ?ENT from ?SELLER and ?SELLER allows ?BUYER to perform task of the type there exists ?SELLING such that the beginning of the time of existence of ?INVOICE happens before the beginning of the time of existence of ?SELLING and ?SELLING is an instance of selling and ?PRODUCT is an instance of product and the object transferred in ?SELLING is ?PRODUCT and ?INVOICE includes a reference to ?PRODUCT and ?SELLER is an agent of ?SELLING and ?BUYER is a patient of ?SELLING

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners