How to find patterns/atoms with the same attributes/types?

[CICS-Oleg]

I need to implement the following procedure/rule.

The rule infers that if two eventualities are direct instantiations of the same abstract eventuality (i.e., they both describe the same action/state with the same thematic roles) but for at least one thematic role, for which it is asserted that one of the two eventualities has a certain value on that thematic role while the other one does not, then the two eventualities are connected by the "not" property.

Typed variant:

(: Seal Eventuality)
(: Unseal Eventuality)
(: Pay Eventuality)
(: not1 Eventuality)

(: has-agent ThematicRole)

(Seal (has-agent User))
(Seal (has-agent))
(Unseal (has-agent User))
(Pay (has-agent))

Tupled variant:

(Eventuality Seal)
(Eventuality Unseal)
(Eventuality Pay)
(Eventuality not1)

(ThematicRole has-agent)

(Seal (has-agent User))
(Seal (has-agent))
(Unseal (has-agent User))
(Pay (has-agent))

Expected result:

(not1 (Seal (has-agent User)) (Seal (has-agent)))
(not1 (Unseal (has-agent User)) (Seal (has-agent)))
(not1 (Unseal (has-agent User)) (Pay (has-agent)))
(not1 (Seal (has-agent User)) (Pay (has-agent)))

Reference sparql code:

CONSTRUCT{?e1 :not ?e2}
  WHERE{?e1 rdf:type ?c. ?e2 rdf:type ?c. ?c rdf:type :Eventuality. FILTER(?e1!=?e2)
	?trn rdf:type :ThematicRole. ?e1 ?trn ?vn. ?r rdf:type :false,:hold; rdf:subject ?e2; rdf:predicate ?trn; rdf:object ?vn.
	NOT EXISTS{?tr rdf:type :ThematicRole. FILTER(?tr!=?trn) ?e1 ?tr ?tv1. NOT EXISTS{?e2 ?tr ?tv2}}
	NOT EXISTS{?tr rdf:type :ThematicRole. FILTER(?tr!=?trn) ?e2 ?tr ?tv2. NOT EXISTS{?e1 ?tr ?tv1}}
	NOT EXISTS{?tr rdf:type :ThematicRole. FILTER(?tr!=?trn) ?e1 ?tr ?tv1. ?e2 ?tr ?tv2. FILTER(?tv1!=?tv2)}}

[Necr0x0Der]

I'm not sure I got the description.

if two eventualities are direct instantiations of the same abstract eventuality

What is the abstract eventuality here? What are direct instantiations? What does (has-agent) mean? Why does has-agent have another arity in case of (has-agent User)? Why the type is defined as (: Seal Eventuality) while (Seal (has-agent)) looks like Seal should have an arrow type?
Do you have an example of query doing what you need? Or what is the issue?