VariableBinding binding = new VariableBinding(kb.getABox());
binding.set(x, mary);
binding.set(y, robert);
RuleAtom atom = new IndividualPropertyAtom(p, x, y);
TrivialSatisfactionHelpers tester = new TrivialSatisfactionHelpers(kb.getABox());
assertTrue(tester.isAtomTrue(atom, binding) != null);
}