A is touchable
A is not touchable
A is touching something
Something is touching A
A touches B
A touches B with C