a	concept:proxyfor	a
a	concept:atlocation	a
a	concept:proxyfor	b
a	concept:atlocation	b
