continue;
GdlRelation relation = (GdlRelation) proposition.getName();
if (relation.getName().getValue().equals("legal")) {
GdlConstant name = (GdlConstant) relation.get(0);
Role r = new Role(name);
if (!legalPropositions.containsKey(r)) {
legalPropositions.put(r, new HashSet<Proposition>());
}
legalPropositions.get(r).add(proposition);
}