(OR AW (AND B C))