added example of using assertf to generate asserted facts programmatically