Let is related to Allow. Allow is a different concept from Refuse. Refuse is related to Protest. 
Law is a type of Collection. String is a type of Collection. 
Let <--RelatedTo--> Allow <--DistinctFrom--> Refuse <--RelatedTo--> Protest 
Law --IsA--> Collection <--IsA-- String 