Unusual formatting of sCASP output for proved abduced statements

General
1

I notice that in s(CASP) when an abduction appears inside the context of a “proved”, it appears differently, specifically, as the string:

“abducible$$threw(bob,_,testgame)$”

instead of the object

{ functor: ‘abduced’, args […]}

Is that an expected behaviour? It’s a little strange, because the specific thing abduced in that model is not even included in the string.

It’s happening through a pengines connection, but it doesn’t seem like that would be relevant.

Thanks,

Jason

2

Can you produce an example we can run? It seems this is using the bundled http demo?

3

I’ll try to generate a sharable version, thanks for your patience. It’s using pengines.