Reporter: Inline explain of a property checking