Alexander Burger wrote:
'or' takes not singular expressions, but whole clause bodies in each
argument, to allow the implicit 'and' of Prolog. Thus, an additional
level of parentheses is required.
A working version would be:
(be bT (@N) (or ((t1 @N)) ((t2 @N))) )
Helpful as ever! Thank you. With that explanation I eventually got also
my 'assertz' got right! Previously it did not assert my desired clause.
But you explanation above let me realize, that there too, a extra pair
of parentheses were lacking ... :-)
Cheers, - Alex