What's this in his arm? I've never seen such notation.
This look like Frege's "Begriffsschrift". Try to translate it using the syntax desciption in the Wikipedia article I linked.