Redundant check in the code

[kovvalsky]

If left.getLeft().isFunctor() is true than left.getLeft().isNounOrNP() is false, right?

easyccg/src/uk/ac/ed/easyccg/syntax/Combinator.java

Lines 518 to 528 in ad2fad1

	@Override
	public boolean canApply(Category left, Category right)
	{
	if (left.isFunctor() && right.isFunctor() && left.getLeft().isFunctor()) {
	Category leftLeft = left.getLeft();
	return right.getRight().matches(leftLeft.getLeft()) && leftLeft.getSlash() == leftSlash && right.getSlash() == rightSlash
	&& !(english && left.getLeft().isNounOrNP()); // Additional constraint from Steedman (2000)
	} else {
	return false;
	}
	}

[texttheater]

True. Seems this was copy and pasted from BackwardComposition – here, in the case of GeneralizedBackwardComposition, left should probably be changed to leftLeft on line 524. But would have to find the rule restriction in Steedman (2000) to be completely sure. :)