void processAxiom(){
		LHS = axiom.lhs;
		RHSrole = axiom.rhsRole;
		RHSFiller = axiom.rhsFiller;
		if(RHSrole != null)
			RHS = factory.testREXObjectSomeValuesFrom(RHSrole, RHSFiller);
		else
			RHS = RHSFiller;

//		if(LHS.toString().equals("Image") && RHSFiller.toString().contains("has_image_format"))
//			System.out.println();
//		if(LHS.toString().equals("ImageFormat") && RHSFiller.toString().equals("Thing"))
//			System.out.println();
//		if(LHS.toString().contains("(has_image_format SOME Thing)") && RHSFiller.toString().equals("PhysicalBioAssay"))
//			System.out.println();
//		if(LHS.toString().contains("has_image_format") && RHSFiller.toString().contains("PhysicalBioAssay"))
//			System.out.println();
//		if(LHS.toString().equals("PhysicalBioAssay") && RHSFiller.toString().equals("BioAssay"))
//			System.out.println();
		proceedTBox();
	}