属性信息-
definition
X connects_on Y, Z, R iff whenever Z is on a R, X is adjacent to a Y and adjacent to a Z.