Record IRI as being an Annotation, Object, or Data property if property
type is guessed at during translation.
Process property ranges before handling any other triples that might
need to rely on guessed-at property types.
Test Case for type inference using CIDOC CRM v5.0.4.

Checks for no extra annotation properties,
       all object and data properties disjoint
       range, domain, and super property of P11_had_participant (Object
Property)
       range, domain, and super property of
P79_beginning_is_qualified_by (Data Property)