.println( "Query 7 is subsumed by query 8: " + QuerySubsumption.isSubsumedBy( q7, q8 ) );
System.out.print( "Subsumption mappings: " );
QueryResult mappings = QuerySubsumption.getSubsumptionMappings( q7, q8 );
for( Iterator<ResultBinding> i = mappings.iterator(); i.hasNext(); ) {
ResultBinding mapping = i.next();
for( Iterator<?> j = q8.getVars().iterator(); j.hasNext(); ) {
ATermAppl var = (ATermAppl) j.next();
System.out.print( var.getArgument( 0 ) + " -> " + mapping.getValue( var )); //I get var(x) as opposed to x
if( j.hasNext() )
System.out.print( ", " );
}
}
System.out.println();