src-gu/mir-reasoner/src/reasoner/ApplyMIRReasonerPW.java
//This new input file contains a new articulation and is meant to reason down to the most deduced it can be.
This new input file contains a new articulation and is meant to reason down to the most deduced it can be.
This new input file contains a new articulation and is meant to reason down to the most deduced it can be .
private static TaxonomyInfo createTaxonomyInfo(Map<TaxonPair, String> articulations, Taxonomy inputT1, Taxonomy inputT2){
		List<SimpleRelation> interrelations = new ArrayList<SimpleRelation>();
		for(Map.Entry<TaxonPair, String> entry : articulations.entrySet()){
			interrelations.add(new SimpleRelation(entry.getKey().getTaxon1().toString(), entry.getValue(), entry.getKey().getTaxon2().toString()));
		}
		return (new TaxonomyInfo(inputT1, inputT2, interrelations));
	}
private static TaxonomyInfo createTaxonomyInfo ( Map < TaxonPair , String > articulations , Taxonomy inputT1 , Taxonomy inputT2 ) { List < SimpleRelation > interrelations = new ArrayList < SimpleRelation > ( ) ; for ( Map . Entry < TaxonPair , String > entry : articulations . entrySet ( ) ) { interrelations . add ( new SimpleRelation ( entry . getKey ( ) . getTaxon1 ( ) . toString ( ) , entry . getValue ( ) , entry . getKey ( ) . getTaxon2 ( ) . toString ( ) ) ) ; } return ( new TaxonomyInfo ( inputT1 , inputT2 , interrelations ) ) ; }
This new input file contains a new articulation and is meant to reason down to the most deduced it can be.
This new input file contains a new articulation and is meant to reason down to the most deduced it can be .