// GroundRule tDistRule = new GroundRegularRule(tDistHead, tDistBody, new TM());
// rules.add(tDistRule);
GroundLiteral aHead = createRegLiteral("a");
ArrayList<FaspFuzzyExpression> aBody = new ArrayList<FaspFuzzyExpression>();
aBody.add(createNafLiteral("b",new NM()));
GroundRule aRule = new GroundRegularRule(aHead,aBody,new TW());
GroundLiteral bHead = createRegLiteral("b");
ArrayList<FaspFuzzyExpression> bBody = new ArrayList<FaspFuzzyExpression>();
bBody.add(createNafLiteral("a",new NM()));
GroundRule bRule = new GroundRegularRule(bHead,bBody,new TW());
ArrayList<GroundRule> rules = new ArrayList<GroundRule>();
rules.add(aRule);
rules.add(bRule);