public static boolean premiseContains(String rule, String p)
	{
		String premise = rule.split("=>")[0];
		String[] conjuncts = premise.split("&");
		// check if p is in the premise
		if (conjuncts.length==1)
			return premise.equals(p);
		else
			return Arrays.asList(conjuncts).contains(p);
	}