believes(Fabian,(notNecessarilyA(some0,gold):+glitter(some0))).

step(rule(believes('Fabian', A), answer(believes('Fabian', A))), believes('Fabian', (notNecessarilyA(some0, gold):+glitter(some0))), answer(believes('Fabian', (notNecessarilyA(some0, gold):+glitter(some0))))).
