-
Notifications
You must be signed in to change notification settings - Fork 18
Open
Labels
Description
Normally, when operating on a $ref/$rep statement, $ref/$rep arcs should not be followed, to make sure the exact target statement is created/deleted.
But maybe $ref/$rep statements higher up in the tree should still be processed?
=!:uuid:1111[$msg]*!:uuid:1234/$do/(=!:uuid:1111/=!:uuid:1111)$do
=!:uuid:1111[$msg]*!:uuid:1234/$is()/(=!:uuid:1111)
=!:uuid:1111[$msg]*!:uuid:1234<$secret><$token>/&/"alice"
(=!:uuid:1111[$msg]*!:uuid:1234$do/$set)(=!:uuid:1111)#profile<#phone>/$rep/(=!:uuid:1111)<#verified><#phone>
In this case, even though we are creating a $rep statement, the following $ref statement should perhaps still be followed:
(=!:uuid:1111)/$ref/