for (FaspConstant a : atm) {
for (FaspConstant t : town) {
tDistBody.add(createRegLiteral("atmNear", a, t));
}
}
GroundRule tDistRule = new GroundRegularRule(tDistHead, tDistBody, new TM());
rules.add(tDistRule);
/*GroundLiteral tDistHead = createRegLiteral("totNear");
ArrayList<FaspFuzzyExpression> tDistBody = new ArrayList<FaspFuzzyExpression>();
for (FaspConstant t : town) {