According to the manual (section 3.3.1), ($TISvar)/Sel
should be equivalent to $TISvar/Sel, but it isn't:
| ?- check_condition((($is)/shared)=X).
no
% source_info
| ?- check_condition(($is/shared)=X).
X =
record([com=set([]),actions=stackset([top]),issues=stackset([_A^action(_A)]),qud=stackset([_A^action(_A)]),pm=set([greet]),lu=record([...
= ...,... = ...])]) ?
It is not clear whether the manual or the
implementation should be fixed.