A Complete Logical Calculus for Record Structures Representing Linguistic Information