Vocabulary
logic.examples.zebra

Definition

TUPLE: house color nationality drink smoke pet ;