Vocabulary
logic.examples.zebra2

Definition

TUPLE: house color nationality drink smoke pet ;