[rules-users] Questions about logically justified objects