is with where
An Existence declaration that allows selecting specific Instances based on some condition that has to be fulfilled regarding that Instance.
VARIABLE is ONTOLOGY, ROLE_1, ... ROLE_N where CONDITION
A match with the name
VARIABLEis created for an instance that has the Ontology
ONTOLOGYand all the roles (
ROLE_N), and the value for the
Information Fieldmatches the
selfcan be used inside the condition instead of
p is Person where p.first_name = 'John'
If there is a
PersonInstance in the Case and the value of its Information Field
first_nameis 'John', it will be available in the variable
p. In this example the
p.first_name = 'John'.
p is Person where self.first_name = 'John'
The same expression can be written with
CONDITIONto obtain the same result.