Input Specification Logical Relationship