• 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

• If ?AGENT is a customer of ?CUST and ?AGENT has ?PHYS and ?PHYS is a subclass of object and ?X is an instance of ?PHYS,
• then ?AGENT allows ?CUST to perform task of the type there exists ?PROC such that ?PROC is an instance of process and ?X is a resource for ?PROC or ?X is an instrument for ?PROC or ?X is a patient of ?PROC and ?CUST is an agent of ?PROC or ?CUST experiences ?PROC

• If ?AGENT provides ?OBJ and ?AGENT is a customer of ?CUST and ?X is an instance of ?OBJ and there exists ?PROC such that ?PROC is an instance of intentional process and ?X is a patient of ?PROC and ?CUST is an agent of ?PROC,
• then ?AGENT allows ?CUST to perform task of the type ?X uses ?CUST

• If ?CUST is a guest at ?HOTEL and ?CUST stays at ?R and ?R is an element of belongings of ?HOTEL and ?R is an instance of ?ROOM and ?OBJ is an amenity in ?ROOM and ?OBJ is a subclass of object,
• then there exists ?O such that ?O is an instance of ?OBJ and ?O is located at ?R and ?HOTEL allows ?CUST to perform task of the type there exists ?PROC such that ?CUST is an agent of ?PROC and ?O is an instrument for ?PROC or ?O is a patient of ?PROC or ?O is a resource for ?PROC

• If ?AOC is an instance of AOC number and ?AIRLINE is an instance of Airline and ?AIRLINE possesses ?AOC,
• then Federal Aviation Administration allows ?AIRLINE to perform task of the type there exists ?AIR such that ?AIR is an instance of Air Transportation Service and ?AIRLINE provides a service during ?AIR

• If ?AR is an instance of armed reconnaissance and ?AGENT is an agent of ?AR and ?HOSTILE is a patient of ?AR and ?AGENT and ?HOSTILE are enemies of each other holds during the time of existence of ?AR,
• then ?AR allows ?AGENT to perform task of the type there exists ?ATTACK such that ?ATTACK is an instance of attack and ?AGENT is an agent of ?ATTACK and ?HOSTILE is a patient of ?ATTACK

• If ?AWARD is an instance of legal award and ?AWARD includes a reference to ?ACTION and ?ACTION is an instance of legal action and ?PLAINTIFF is an agent of ?ACTION,
• then ?AWARD allows ?PLAINTIFF to perform task of the type there exist ?GET, ?OBJ and ?VALUE such that ?GET is an instance of getting and ?PLAINTIFF experiences ?GET and ?OBJ is a patient of ?GET and value of ?OBJ is ?VALUE

• If ?INHERIT is an instance of inheriting and ?HEIR is an agent of ?INHERIT and ?INHERIT originates at ?PERSON and ?PROPERTY is a patient of ?INHERIT,
• then there exists ?DEATH such that ?DEATH is an instance of death and ?PERSON experiences ?DEATH and the time of existence of ?DEATH happens earlier than the time of existence of ?INHERIT and ?PERSON possesses ?PROPERTY holds during immediately before the time of existence of ?DEATH and ?PERSON allows ?HEIR to perform task of the type ?HEIR possesses ?PROPERTY

• If ?ORG is an instance of organization and air transportation industry is an attribute of ?ORG,
• then there exist ?EV and ?MEM such that ?MEM is a member of ?ORG and ?EV is an agent of ?MEM and there exists ?P such that ?EV is an instance of selling and ?P is an instance of human and ?P is a patient of ?EV and ?MEM allows ?P to perform task of the type there exist ?FLY and ?PLANE such that ?FLY is an instance of transportation and ?P is a patient of ?FLY or ?P possesses ?OBJ and ?OBJ is a patient of ?FLY and ?OBJ is an instance of object and ?ORG possesses ?PLANE and ?PLANE is an instance of aircraft

• If ?ORG is an instance of organization and couriers and messengers is an attribute of ?ORG,
• then there exist ?EV and ?MEM such that ?MEM is a member of ?ORG and ?EV is an agent of ?MEM and there exist ?P and ?OBJ such that ?EV is an instance of selling and ?OBJ is an instance of object and ?P is an instance of human and ?P is a patient of ?EV and ?MEM allows ?P to perform task of the type there exists ?TRANS such that ?TRANS is an instance of transportation and ?P possesses ?OBJ and ?OBJ is a patient of ?TRANS

• If ?ORG is an instance of organization and pipeline transportation is an attribute of ?ORG,
• then there exist ?EV and ?MEM such that ?MEM is a member of ?ORG and ?EV is an agent of ?MEM and there exists ?P such that ?EV is an instance of selling and ?P is an instance of human and ?P is a patient of ?EV and ?MEM allows ?P to perform task of the type there exist ?T and ?V such that ?T is an instance of transportation and ?P possesses ?OBJ and ?OBJ is a patient of ?T and ?OBJ is an instance of substance and ?ORG possesses ?V and ?PIPE is an instrument for ?T and ?PIPE is an instance of pipeline

• If ?ORG is an instance of organization and postal service is an attribute of ?ORG,
• then there exist ?EV and ?MEM such that ?MEM is a member of ?ORG and ?EV is an agent of ?MEM and there exist ?P and ?OBJ such that ?EV is an instance of selling and ?OBJ is an instance of object and ?P is an instance of human and ?P is a patient of ?EV and ?MEM allows ?P to perform task of the type there exists ?TRANS such that ?TRANS is an instance of transportation and ?P possesses ?OBJ and ?OBJ is a patient of ?TRANS

• If ?ORG is an instance of organization and rail transportation is an attribute of ?ORG,
• then there exist ?EV and ?MEM such that ?MEM is a member of ?ORG and ?EV is an agent of ?MEM and there exists ?P such that ?EV is an instance of selling and ?P is an instance of human and ?P is a patient of ?EV and ?MEM allows ?P to perform task of the type there exist ?MOVE and ?RR such that ?MOVE is an instance of transportation and ?P is a patient of ?MOVE or ?P possesses ?OBJ and ?OBJ is a patient of ?MOVE and ?OBJ is an instance of object and ?ORG possesses ?RR and ?RR is an instance of rail vehicle

• If ?ORG is an instance of organization and scenic and sightseeing transportation is an attribute of ?ORG,
• then there exist ?EV and ?MEM such that ?MEM is a member of ?ORG and ?EV is an agent of ?MEM and there exists ?P such that ?EV is an instance of selling and ?P is an instance of human and ?P is a patient of ?EV and ?MEM allows ?P to perform task of the type there exist ?TRANS and ?VEH such that ?TRANS is an instance of transportation and ?TRANS is an instance of recreation or exercise and ?P is a patient of ?TRANS and ?ORG possesses ?VEH and ?VEH is an instance of vehicle

• If ?ORG is an instance of organization and transit and ground passenger transportation is an attribute of ?ORG,
• then there exist ?EV and ?MEM such that ?MEM is a member of ?ORG and ?EV is an agent of ?MEM and there exists ?P such that ?EV is an instance of selling and ?P is an instance of human and ?P is a patient of ?EV and ?MEM allows ?P to perform task of the type there exist ?T and ?V such that ?T is an instance of transportation and ?P is a patient of ?T and ?ORG possesses ?V and ?V is an instance of land vehicle

• If ?ORG is an instance of organization and truck transportation is an attribute of ?ORG,
• then there exist ?EV and ?MEM such that ?MEM is a member of ?ORG and ?EV is an agent of ?MEM and there exists ?P such that ?EV is an instance of selling and ?P is an instance of human and ?P is a patient of ?EV and ?MEM allows ?P to perform task of the type there exist ?T and ?V such that ?T is an instance of transportation and ?P possesses ?OBJ and ?OBJ is a patient of ?T and ?OBJ is an instance of object and ?ORG possesses ?V and ?V is an instance of land vehicle

• If ?ORG is an instance of organization and warehousing and storage is an attribute of ?ORG,
• then there exist ?EV and ?MEM such that ?MEM is a member of ?ORG and ?EV is an agent of ?MEM and there exist ?P and ?OBJ such that ?EV is an instance of selling and ?OBJ is an instance of object and ?P is an instance of human and ?P is a patient of ?EV and ?MEM allows ?P to perform task of the type there exist ?B and ?T such that ?T is an instance of time interval and ?B is an instance of building and ?P possesses ?OBJ and ?B is located at ?OBJ holds during ?T

• If ?ORG is an instance of organization and water transportation industry is an attribute of ?ORG,
• then there exist ?EV and ?MEM such that ?MEM is a member of ?ORG and ?EV is an agent of ?MEM and there exists ?P such that ?EV is an instance of selling and ?P is an instance of human and ?P is a patient of ?EV and ?MEM allows ?P to perform task of the type there exist ?T and ?V such that ?T is an instance of transportation and ?P is a patient of ?T or ?P possesses ?OBJ and ?OBJ is a patient of ?T and ?OBJ is an instance of object and ?ORG possesses ?V and ?V is an instance of water vehicle

• If ?STEAL is an instance of stealing and ?STEAL ends up at ?AGENT and ?STEAL originates at ?VICTIM and ?VICTIM is an instance of cognitive agent,
• then ?VICTIM doesn't allow ?AGENT to perform task of the type ?STEAL ends up at ?AGENT

• If ?TA_CTRL is an instance of terminal attack control and ?AGENT1 is an agent of ?TA_CTRL and ?TARGET is a patient of ?TA_CTRL,
• then there exists ?AGENT2 such that ?TA_CTRL allows ?AGENT2 to perform task of the type there exists ?ATTACK such that ?ATTACK is an instance of attack and ?AGENT2 is an agent of ?ATTACK and ?TARGET is a patient of ?ATTACK

• If ?TA_CTRL is an instance of terminal attack control and ?AGENT1 is an agent of ?TA_CTRL and ?TARGET is a patient of ?TA_CTRL,
• then ?TA_CTRL doesn't allow ?AGENT2 to perform task of the type there exists ?ATTACK such that ?ATTACK is an instance of attack and ?AGENT2 is an agent of ?ATTACK and ?TARGET is a patient of ?ATTACK

• If ?BUS possesses ?PARK and ?BUS is an instance of commercial agent and ?PARK is an instance of parking lot and ?BLDG is an instance of building and ?BUS is located at ?BLDG and ?CUST is a customer of ?BUS and ?DRIVE is an instance of driving and ?VEHICLE is a patient of ?DRIVE and ?CUST is an agent of ?DRIVE and ?DRIVE ends up at ?BLDG,
• then ?BUS allows ?CUST to perform task of the type ?PUT is an instance of keeping and ?PUT ends up at ?PARK and ?VEHICLE is a patient of ?PUT holds during ?CUST is located at ?BLDG

( ! [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))))'))
)

• If arts and recreation tickets is an attribute of ?X,
• then ?X has purpose there exist ?SELL and ?TICKET such that ?SELL is an instance of selling and ?TICKET is a patient of ?SELL and ?X is an agent of ?SELL and ?TICKET is an instance of ticket and ?SELL ends up at ?CUST and ?TICKET has purpose ?X allows ?CUST to perform task of the type there exist ?WATCH and ?PERF such that ?WATCH is an instance of seeing and ?CUST is an agent of ?WATCH and ?PERF is a patient of ?WATCH and ?PERF is an instance of performance or ?PERF is an instance of sport

• If ?E obligates ?A to perform task of the type ?F,
• then ?E allows ?A to perform task of the type ?F

• 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