error in showA

[stefjoosten]

What happened

I have run the following script:

CONTEXT "Issue1293"

   REPRESENT A TYPE INTEGER

   RELATION r[A * B] = [ (1,"aap"), (2,"noot"), (3,"mies") ]
   RELATION s[A * B] = [ (2,"noot"), (3,"mies") ]

--    ROLE ExecEngine MAINTAINS Issue
   RULE  r - (I#"aap") |- s
--    VIOLATION ( TXT "{EX} InsPair;personPhoneNumber;Person;",SRC I, TXT ";PhoneNumber;", TGT I )

ENDCONTEXT

I ran "ampersand proofs" on this script, which gave the following analysis: Rules and their conjuncts for Issue1293

    rule r: rule@/Users/sjo00577/git/Nutwente/model/Issue1293.adl:9:10
    formalExpression r: r [A*B]-(I[A]#"aap"[B]) |- s [A*B]
    conjNF: V [A*B]
    conj: V [A*B]

What I expected

I expected that -r [A*B]-(I[A]#"aap"[B])\/s [A*B] would have been printed as -(r [A*B]-(I[A]#"aap"[B]))\/s [A*B] (with extra brackets, that is). So, there is clearly a mistake in printing expressions.

Version of ampersand that was used

Ampersand-v4.6.3