?- P = new( professor( turing, [computing] ) ),
A = new( associate( newman, [engineering], P )),
A !bagof(X, knowsof(X), Topics).
As a remark, we may ask an associate
for all topics he or she knows of,
since being a researcher he or she is willing to
accept anything that interrupts the work.