controls(c1,c2). controls(c1,c3). controls(c1,c4). controls(c3,c4).