ATermAppl[] names = new ATermAppl[] { mary, robert, victor };
ATermAppl[] values = new ATermAppl[] { data1, data2, data3, data4 };
for (ATermAppl xName : names) {
for (ATermAppl yName : names) {
for (ATermAppl zValue : values) {
Individual xNode = kb.getABox().getIndividual(xName);
Individual yNode = kb.getABox().getIndividual(yName);
Literal zNode = kb.getABox().addLiteral(zValue);
if (kb.hasPropertyValue(xName, dp2, zValue) && kb.hasPropertyValue(yName, dp2, zValue)) {
binding = new VariableBinding(kb.getABox());
binding.set(x, xNode);