Could use an explanation of the notation for an oracle adversary
This represents the probability over all $K$ that $A$ given an oracle access to $F_K(\cdot)$ outputs 1. You usually compare that to the probability of A ouptputting 1 while having oracle access to a random function and the difference tells you how well $A$ does at telling $F_K$ from random