Here are two versions.
when
$app: Approver( employeeName == "Charles" )
Products( approvalPath contains $pp )
And:
when
Products( $ap: approvalPath )
Approver( employeeName == "Charles" ) from $ap
Number 1 requires the insertion of Approver objects as facts.