Alien Family Tree 2

For this particular version of Alien Family Tree exercise, you will be given almost strictly quantified statements. Higher tiers mean higher chances of seeing multiple quantifiers. Press 'Confirm' to begin. You will also start seeing more 2-place and even 3-place predicates. Press 'Tutorial' on a detailed explanation of the logicise. Press 'Show Symbolization' to see the meaning of the predicate. Answer the problem by clicking the 'Choose Truth Value' button.