Prior read (7) as “God knows everything about everything” but it could be given a more explicitly de re formulation as “every property and every individual is such that if the individual has the property then God knows of that individual and property that the former has the latter”. Despite the woodenness of the expression, it does seem, as Prior says, that this is a proposition “which a believer in God’s omniscience would wish to maintain”. The question then becomes whether (D1) (or (D4)) includes such knowledge de re.