(OR G (AND HE (NOT G)))